HASLab - Artigos em revistas internacionais : [204] Statistics

Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit date in descending order): 1 to 20 of 204
Issue DateTitleAuthor(s)TypeAccess
Mar-2015Quantifying usability of domain-specific languages: An empirical study on software maintenanceAlbuquerque, Diego; Cafeo, Bruno; Garcia, Alessandro, et al.ArticleOpen access
2019Scalable eventually consistent counters over unreliable networksAlmeida, Paulo Sérgio; Baquero, CarlosArticleOpen access
2016An automated model based approach to mobile UI specification and developmentRibeiro, António Nestor; Costa, Rogério AraújoConference paperOpen access
2016Efficient Deduplication in a Distributed Primary Storage InfrastructurePaulo, Joao; Pereira, JoséArticleRestricted access (UMinho)
1-Aug-2017Fault-tolerant aggregation: Flow-Updating meets Mass-DistributionAlmeida, Paulo Sérgio; Baquero, Carlos; Farach-Colton, Martin, et al.ArticleOpen access
2018Runtime verification of autopilot systems using a fragment of MTL-∫Matos Pedro, André; Pinto, Jorge Sousa; Pereira, David, et al.ArticleRestricted access (UMinho)
Apr-2016Why logical clocks are easyBaquero, Carlos; Preguiça, NunoArticleOpen access
2015A survey of distributed data aggregation algorithmsJesus, Paulo Alexandre Marques; Baquero, Carlos; Almeida, Paulo SérgioArticleOpen access
2016Worlds of events: deduction with partial knowledge about causalityHaeri, Seyed Hossein; Van Roy, Peter; Baquero, Carlos, et al.Conference paperOpen access
2018Delta state replicated data typesAlmeida, Paulo Sérgio; Shoker, Ali; Baquero, CarlosArticleOpen access
Jul-2017A feature-based classification of model repair approachesMacedo, Nuno; Jorge, Tiago Manuel Silva; Cunha, AlcinoArticleOpen access
Dec-2017Verification of user interface software: the example of use-related safety requirements and programmable medical devicesHarrison, Michael douglas; Masci, Paolo; Campos, José C., et al.ArticleOpen access
Apr-2016Formal verification of a space system's user Interface with the IVY workbenchCampos, José C.; Sousa, Manuel; Alves, Miriam C. Bergue, et al.ArticleOpen access
2017Don't go in there!: using the APEX framework in the design of ambient assisted living systemsCampos, José C.; Abade, Tiago; Silva, José Luís Cardoso, et al.ArticleOpen access
2017A “more intelligent” test case generation approach through task models manipulationCampos, José C.; Fayollas, Camille; Gonçalves, Marcelo, et al.ArticleOpen access
2017SMT-based schedulability analysis using RMTL-∫Pedro, André Matos; Pereira, David; Pinho, Luís Miguel, et al.ArticleRestricted access (UMinho)
Sep-2016Formal verification with Frama-C: a case study in the space software domainSilva, Rovedy Aparecida Busquim e; Arai, Nanci Naomi; Burgareli, Luciana Akemi, et al.ArticleRestricted access (UMinho)
28-May-2016Formalization of the pumping lemma for context-free languagesRamos, M. V. M.; Queiroz, R. J. G. B. de; Moreira, Nelma, et al.ArticleOpen access
2016A method for rigorous design of reconfigurable systemsMadeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Barbosa, L. S., et al.ArticleOpen access
2016Proof theory for hybrid(ised) logicsNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.ArticleOpen access
Collection's Items (Sorted by Submit date in descending order): 1 to 20 of 204