High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável

Inesc Technology and Science (INESC TEC) :: CS: Computer Science

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
External   Internal

Publications Count: 1241

112 Team Members
Filters -> Year: 2020
41
TITLE: Rapid detection of spammers through collaborative information sharing across multiple service providers  Full Text
AUTHORS: Muhammad Ajmal Azad; Ricardo Morla ;
SOURCE: 17th International Conference on Collaboration Technologies and Systems (CTS) in FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 95, PAGES: 841-854, PUBLISHED: 2019
INDEXED IN: Scopus WOS CrossRef: 1
42
TITLE: Recovery in CloudDBAppliance’s High-availability Middleware
AUTHORS: Abreu, H; Ferreira, L; Coelho, F ; Alonso, AN; Pereira, J;
SOURCE: 8th International Conference on Data Science, Technology and Applications, DATA 2019 in DATA 2019 - Proceedings of the 8th International Conference on Data Science, Technology and Applications, PAGES: 447-453, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
43
TITLE: ROSY: An elegant language to teach the pure reactive nature of robot programming PDF
AUTHORS: Hugo Pacheco ; Nuno Macedo ;
SOURCE: CoRR, VOLUME: abs/1911.03262, PUBLISHED: 2019
INDEXED IN: DBLP arXiv
44
TITLE: Scalable eventually consistent counters over unreliable networks PDF  Full Text
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ;
SOURCE: DISTRIBUTED COMPUTING, VOLUME: 32, ISSUE: 1, PAGES: 69-89, PUBLISHED: 2019
INDEXED IN: WOS DBLP arXiv CrossRef
45
TITLE: Sharing and Learning Alloy on the Web PDF
AUTHORS: Nuno Macedo ; Alcino Cunha; José Pereira; Renato Carvalho; Ricardo Silva; Ana C R Paiva; Miguel S Ramalho; Daniel Castro Silva;
SOURCE: CoRR, VOLUME: abs/1907.02275, PUBLISHED: 2019
INDEXED IN: DBLP arXiv
46
TITLE: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTHORS: Chong Liu; Nuno Macedo ; Alcino Cunha ;
SOURCE: 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 in Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, VOLUME: 11951, PAGES: 38-55, PUBLISHED: 2019
INDEXED IN: Scopus DBLP CrossRef
47
TITLE: Simulation under Arbitrary Temporal Logic Constraints PDF  Full Text
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
SOURCE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., VOLUME: 310, PAGES: 63-69, PUBLISHED: 2019
INDEXED IN: Scopus DBLP arXiv CrossRef
48
TITLE: Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages
AUTHORS: Marcus V M Ramos; Jose Carlos B Bacelar Almeida ; Nelma Moreira ; Ruy J G B de Queiroz;
SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 151-167, PUBLISHED: 2019
INDEXED IN: Scopus WOS DBLP CrossRef
49
TITLE: Static-time Extraction and Analysis of the ROS Computation Graph
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
SOURCE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), PAGES: 62-69, PUBLISHED: 2019
INDEXED IN: Scopus WOS DBLP CrossRef
50
TITLE: Taming Hierarchical Connectors
AUTHORS: Proença, J ; Madeira, A;
SOURCE: 8th International Conference on Fundamentals of Software Engineering, FSEN 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11761 LNCS, PAGES: 186-193, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
51
TITLE: Towards a Simulation-Based Medical Education Platform for PVSio-Web
AUTHORS: Silva, C; Campos, JC ;
SOURCE: 1st International Conference on Graphics and Interaction, ICGI 2018 in Proceedings - ICGI 2018: International Conference on Graphics and Interaction, PUBLISHED: 2019
INDEXED IN: Scopus
52
TITLE: Towards intra-datacentre high-availability in clouddbappliance
AUTHORS: Ferreira, L; Coelho, F ; Alonso, AN; Pereira, J;
SOURCE: 9th International Conference on Cloud Computing and Services Science, CLOSER 2019 in CLOSER 2019 - Proceedings of the 9th International Conference on Cloud Computing and Services Science, PAGES: 635-641, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
53
TITLE: Towards using memoization for saving energy in android
AUTHORS: Rua, R ; Couto, M ; Pinto, A; Cunha, J; Saraiva, J;
SOURCE: 22nd Ibero-American Conference on Software Engineering, CIbSE 2019 in XXII Ibero-American Conference on Software Engineering, CIbSE 2019, PAGES: 279-292, PUBLISHED: 2019
INDEXED IN: Scopus
54
TITLE: Trends on engineering interactive systems: An overview of works presented in workshops at EICS 2019
AUTHORS: Distante, D; Winckler, M; Bernhaupt, R; Bowen, J; Campos, JC ; Müller, F; Palanque, P; Van Den Bergh, J; Weyers, B; Voit, A;
SOURCE: 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2019 in Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2019, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
55
TITLE: TrusTFS: An SGX-enabled Stackable File System Framework
AUTHORS: Esteves, T; Macedo, R ; Faria, A ; Portela, B; Paulo, J; Pereira, J; Harnik, D;
SOURCE: 38th International Symposium on Reliable Distributed Systems Workshops, SRDSW 2019 in Proceedings - 2019 38th International Symposium on Reliable Distributed Systems Workshops, SRDSW 2019, PAGES: 25-30, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
56
TITLE: Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum  Full Text
AUTHORS: Cunha, A ; Macedo, N ;
SOURCE: International Journal on Software Tools for Technology Transfer, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef: 1
57
TITLE: Verification Templates for the Analysis of User Interface Software Design  Full Text
AUTHORS: Michael D Harrison; Paolo Masci; Jose C Campos ;
SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 45, ISSUE: 8, PAGES: 802-822, PUBLISHED: 2019
INDEXED IN: Scopus WOS CrossRef: 2
58
TITLE: A Family of Graded Epistemic Logics
AUTHORS: Mario R F Benevides; Alexandre Madeira ; Manuel A Martins;
SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338, PAGES: 45-59, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef
59
TITLE: A Generalized Approach to Verification Condition Generation  Full Text
AUTHORS: Cláudio Belo Lourenço; Maria João Frade ; Shin Nakajima; Jorge Sousa Pinto ;
SOURCE: 42nd IEEE Computer Software and Applications Conference, COMPSAC 2018 in 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 1, VOLUME: 1, PAGES: 194-203, PUBLISHED: 2018
INDEXED IN: Scopus DBLP CrossRef
60
TITLE: A logic for the stepwise development of reactive systems  Full Text
AUTHORS: Alexandre Madeira ; Luis S Barbosa ; Rolf Hennicker; Manuel A Martins;
SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744, PAGES: 78-96, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef: 2

Results per Page: 20.
Page 3 of 63. Total results: 1241.