High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
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.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 1539
150 Team MembersFilters -> Year: 2024
AUTHORS: Areias, S; Da Cruz, D; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension, PAGES: 62-63
AUTHORS: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLISHED: 2010, SOURCE: Innovations in Systems and Software Engineering, VOLUME: 6, ISSUE: 3, PAGES: 203-218
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.6596
AUTHORS: Nuno M. Preguiça; Carlos Baquero ; Paulo Sérgio Almeida ; Victor Fonte ; Ricardo Gonçalves;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.5808
AUTHORS: Paulo J Azevedo ; Alipio Mario Jorge ;
PUBLISHED: 2010, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 21, ISSUE: 1, PAGES: 91-129
AUTHORS: Ferreira, V; Santos, LP ; Simoes, R ; Franzen, M; Ghouati, OO;
PUBLISHED: 2010, SOURCE: 12th WSEAS International Conference on Mathematical and Computational Methods in Science and Engineering, MACMESE'10 in International Conference on Mathematical and Computational Methods in Science and Engineering - Proceedings, PAGES: 63-68
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sergio Almeida ;
PUBLISHED: 2010, SOURCE: 29th IEEE International Symposium on Reliable Distributed Systems in 2010 29TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS SRDS 2010, PAGES: 37-43
AUTHORS: Radu Muschevici; Dave Clarke; José Proença ;
PUBLISHED: 2010, SOURCE: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools), PAGES: 99-106
AUTHORS: Borges, P; MacHado, J ; Villani, E; Campos, JC ;
PUBLISHED: 2010, SOURCE: IFAC Workshop on Intelligent Control Systems, WICS2010 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 8, ISSUE: PART 1, PAGES: 46-51
AUTHORS: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications - LDTA '10
AUTHORS: Da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010 in Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010, PAGES: 3
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PAGES: 331-352
AUTHORS: Di Jin; Dongxiao X He; Dayou Y Liu; Carlos Baquero ;
PUBLISHED: 2010, SOURCE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1, PAGES: 105-112
AUTHORS: João Carlos Silva; José Creissac Campos ; João Saraiva ;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
AUTHORS: Nuno Salta; Ricardo Morla ; Manuel Ricardo ;
PUBLISHED: 2010, SOURCE: 9th IFIP Annual Mediterranean Ad Hoc Networking Workshop, MED-HOC-NET 2010 in The 9th IFIP Annual Mediterranean Ad Hoc Networking Workshop, Med-Hoc-Net 2010, Juan Les Pins, France, 23-25 June, 2010, PAGES: 1-8
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PAGES: 271-287
AUTHORS: Nuno A Carvalho; Jose Pereira ;
PUBLISHED: 2010, SOURCE: On the Move Confederated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II, VOLUME: 6427, ISSUE: PART 2, PAGES: 829-842
AUTHORS: Joshi, A; Oliveira, R ; Prakash, A;
PUBLISHED: 2010, SOURCE: 29th IEEE Symposium on Reliable Distributed Systems, SRDS 2010 in Proceedings of the IEEE Symposium on Reliable Distributed Systems
AUTHORS: Andre Carvalho; Joel Carvalho; Jorge Sousa Pinto ; Simao Melo de Sousa ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, ISSUE: PART 2, PAGES: 191-205
AUTHORS: Morla, R ; Massa, D;
PUBLISHED: 2010, SOURCE: 13th International Conference on Network-Based Information Systems, NBiS 2010 in Proceedings - 13th International Conference on Network-Based Information Systems, NBiS 2010, PAGES: 195-200