High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY4
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
No data about last update.
Rules:
This actions updates publications citations of every team member.
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 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!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
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!
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: 1643
149 Team MembersFilters -> Year: 2026
1061
TITLE: Genetic Algorithm with a Local Search Strategy for Discovering Communities in Complex Networks
AUTHORS: Liu, DY; Jin, D; Baquero, C ; He, DX; Yang, B; Yu, QY;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, VOLUME: 6, ISSUE: 2, PAGES: 354-369
AUTHORS: Liu, DY; Jin, D; Baquero, C ; He, DX; Yang, B; Yu, QY;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, VOLUME: 6, ISSUE: 2, PAGES: 354-369
1062
TITLE: Giving Alloy a family
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2013, SOURCE: IRI, PAGES: 512-519
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2013, SOURCE: IRI, PAGES: 512-519
1063
TITLE: Hybridisation at Work
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: CALCO, VOLUME: 8089 LNCS, PAGES: 340-345
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: CALCO, VOLUME: 8089 LNCS, PAGES: 340-345
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP1064
TITLE: Implementing QVT-R Bidirectional Model Transformations Using Alloy
AUTHORS: Macedo, N ; Cunha, A ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, VOLUME: 7793, PAGES: 297-311
AUTHORS: Macedo, N ; Cunha, A ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, VOLUME: 7793, PAGES: 297-311
1065
TITLE: Improving transaction abort rates without compromising throughput through judicious scheduling
AUTHORS: Ana Nunes Alonso ; José Pereira ;
PUBLISHED: 2013, SOURCE: SAC, PAGES: 493-494
AUTHORS: Ana Nunes Alonso ; José Pereira ;
PUBLISHED: 2013, SOURCE: SAC, PAGES: 493-494
1066
TITLE: Integrating Formal and Informal Learning through a FLOSS-Based Innovative Approach
AUTHORS: Fernandes, S; Martinho, MH ; Cerone, A; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: 19th International Conference on Collaboration and Technology (CRIWG) in COLLABORATION AND TECHNOLOGY, CRIWG 2013, VOLUME: 8224, PAGES: 208-214
AUTHORS: Fernandes, S; Martinho, MH ; Cerone, A; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: 19th International Conference on Collaboration and Technology (CRIWG) in COLLABORATION AND TECHNOLOGY, CRIWG 2013, VOLUME: 8224, PAGES: 208-214
1067
TITLE: Interactive high fidelity visualization of complex materials on the GPU Full Text
AUTHORS: Nuno Silva; Luis Paulo Santos ;
PUBLISHED: 2013, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 37, ISSUE: 7, PAGES: 809-819
AUTHORS: Nuno Silva; Luis Paulo Santos ;
PUBLISHED: 2013, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 37, ISSUE: 7, PAGES: 809-819
1068
TITLE: Interactive Interaction Constraints
AUTHORS: José Proença ; Dave Clarke;
PUBLISHED: 2013, SOURCE: COORDINATION, VOLUME: 7890 LNCS, PAGES: 211-225
AUTHORS: José Proença ; Dave Clarke;
PUBLISHED: 2013, SOURCE: COORDINATION, VOLUME: 7890 LNCS, PAGES: 211-225
1069
TITLE: Interactive Verification of Safety-Critical Software
AUTHORS: da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2013, SOURCE: IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) in 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), PAGES: 519-528
AUTHORS: da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2013, SOURCE: IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) in 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), PAGES: 519-528
1070
TITLE: Lightweight, efficient, robust epidemic dissemination
AUTHORS: Matos, M ; Schiavoni, V; Felber, P; Oliveira, R ; Rivière, E;
PUBLISHED: 2013, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 73, ISSUE: 7, PAGES: 987-999
AUTHORS: Matos, M ; Schiavoni, V; Felber, P; Oliveira, R ; Rivière, E;
PUBLISHED: 2013, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 73, ISSUE: 7, PAGES: 987-999
1071
TITLE: Logical clock systems and the challenges of autonomous operation
AUTHORS: Victor Fonte ;
PUBLISHED: 2013
AUTHORS: Victor Fonte ;
PUBLISHED: 2013
INDEXED IN: 
Handle
Handle1072
TITLE: MeT: workload aware elasticity for NoSQL. workload aware elasticity for NoSQL
AUTHORS: Francisco Cruz ; Francisco Maia ; Miguel Matos ; Rui Oliveira ; João Paulo ; José Pereira ; Ricardo Vilaça ;
PUBLISHED: 2013, SOURCE: EuroSys, PAGES: 183-196
AUTHORS: Francisco Cruz ; Francisco Maia ; Miguel Matos ; Rui Oliveira ; João Paulo ; José Pereira ; Ricardo Vilaça ;
PUBLISHED: 2013, SOURCE: EuroSys, PAGES: 183-196
1073
TITLE: Model Repair and Transformation with Echo
AUTHORS: Macedo, N ; Guimaraes, T; Cunha, A ;
PUBLISHED: 2013, SOURCE: 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), PAGES: 694-697
AUTHORS: Macedo, N ; Guimaraes, T; Cunha, A ;
PUBLISHED: 2013, SOURCE: 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), PAGES: 694-697
1074
TITLE: Modeling 802.11 AP usage through daily keep-alive event counts
AUTHORS: Massa, D; Morla, R ;
PUBLISHED: 2013, SOURCE: WIRELESS NETWORKS, VOLUME: 19, ISSUE: 5, PAGES: 1005-1022
AUTHORS: Massa, D; Morla, R ;
PUBLISHED: 2013, SOURCE: WIRELESS NETWORKS, VOLUME: 19, ISSUE: 5, PAGES: 1005-1022
1075
TITLE: Motion Flow Tracking in Unconstrained Videos for Retail Scenario
AUTHORS: Pereira, EM; Cardoso, JS ; Morla, R ;
PUBLISHED: 2013, SOURCE: 6th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2013, VOLUME: 7887, PAGES: 340-349
AUTHORS: Pereira, EM; Cardoso, JS ; Morla, R ;
PUBLISHED: 2013, SOURCE: 6th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2013, VOLUME: 7887, PAGES: 340-349
1076
TITLE: Multi-interval Discretization of Continuous Attributes for Label Ranking
AUTHORS: de Sá, CR ; Soares, C ; Knobbe, A; Azevedo, P ; Jorge, AM ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, VOLUME: 8140, PAGES: 155-169
AUTHORS: de Sá, CR ; Soares, C ; Knobbe, A; Azevedo, P ; Jorge, AM ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, VOLUME: 8140, PAGES: 155-169
1077
TITLE: Multiple Intermediate Structure Deforestation by Shortcut Fusion
AUTHORS: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2013, SOURCE: SBLP, VOLUME: 8129 LNCS, PAGES: 120-134
AUTHORS: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2013, SOURCE: SBLP, VOLUME: 8129 LNCS, PAGES: 120-134
1078
TITLE: On the Comprehension of DSL SyncTrap Events In IPTV Networks
AUTHORS: Marnerides, AK; Malinowski, S; Morla, R ; Rodrigues, MRD; Kim, HS;
PUBLISHED: 2013, SOURCE: 18th IEEE Symposium on Computers and Communications (ISCC) in 2013 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), PAGES: 670-675
AUTHORS: Marnerides, AK; Malinowski, S; Morla, R ; Rodrigues, MRD; Kim, HS;
PUBLISHED: 2013, SOURCE: 18th IEEE Symposium on Computers and Communications (ISCC) in 2013 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), PAGES: 670-675
1079
TITLE: On the reconfiguration of software connectors
AUTHORS: Nuno Oliveira; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: SAC, PAGES: 1885-1892
AUTHORS: Nuno Oliveira; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: SAC, PAGES: 1885-1892
1080
TITLE: On the Relationship between Functional Encryption, Obfuscation, and Fully Homomorphic Encryption
AUTHORS: Joël Alwen; Manuel Barbosa ; Pooya Farshim; Rosario Gennaro; Dov D Gordon; Stefano Tessaro; David A Wilson;
PUBLISHED: 2013, SOURCE: IMACC, VOLUME: 8308 LNCS, PAGES: 65-84
AUTHORS: Joël Alwen; Manuel Barbosa ; Pooya Farshim; Rosario Gennaro; Dov D Gordon; Stefano Tessaro; David A Wilson;
PUBLISHED: 2013, SOURCE: IMACC, VOLUME: 8308 LNCS, PAGES: 65-84
INDEXED IN: Scopus DBLP
Scopus DBLP