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: 1642
149 Team MembersFilters -> Year: 2026
1061
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
1062
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 DBLP1063
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
1064
TITLE: Improving transaction abort rates without compromising throughput through judicious scheduling Full Text
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
1065
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
1066
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
1067
TITLE: Interactive Interaction Constraints Full Text
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
1068
TITLE: Interactive Verification of Safety-Critical Software Full Text
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
1069
TITLE: Lightweight, efficient, robust epidemic dissemination Full Text
AUTHORS: Matos, M ; Schiavoni, V; Felber, P; Oliveira, R ; Riviere, 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 ; Riviere, E;
PUBLISHED: 2013, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 73, ISSUE: 7, PAGES: 987-999
1070
TITLE: Logical clock systems and the challenges of autonomous operation
AUTHORS: Victor Fonte ;
PUBLISHED: 2013
AUTHORS: Victor Fonte ;
PUBLISHED: 2013
INDEXED IN: 
Handle
Handle1071
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
1072
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
1073
TITLE: Modeling 802.11 AP usage through daily keep-alive event counts Full Text
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
1074
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
1075
TITLE: Multi-interval Discretization of Continuous Attributes for Label Ranking Full Text
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
1076
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
1077
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
1078
TITLE: On the reconfiguration of software connectors Full Text
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
1079
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 DBLP1080
TITLE: On the Semantic Security of Functional Encryption Schemes
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2013, SOURCE: 16th International Conference on Practice and Theory in Public-Key Cryptography (PKC) in PUBLIC-KEY CRYPTOGRAPHY - PKC 2013, VOLUME: 7778, PAGES: 143-161
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2013, SOURCE: 16th International Conference on Practice and Theory in Public-Key Cryptography (PKC) in PUBLIC-KEY CRYPTOGRAPHY - PKC 2013, VOLUME: 7778, PAGES: 143-161
