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: 1641
149 Team MembersFilters -> Year: 2026
1161
TITLE: Mathematical Literacy as a Condition for Sustainable Development
AUTHORS: Luís Soares Barbosa ; Maria Helena Martinho;
PUBLISHED: 2012, SOURCE: 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, 1st International Symposium on InSuEdu 2012, 1st International Symposium on MoKMaSD 2012, 6th International Workshop on Foundations and Techniques for OpenCert 2012 in SEFM Satellite Events, VOLUME: 7991 LNCS, PAGES: 64-77
AUTHORS: Luís Soares Barbosa ; Maria Helena Martinho;
PUBLISHED: 2012, SOURCE: 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, 1st International Symposium on InSuEdu 2012, 1st International Symposium on MoKMaSD 2012, 6th International Workshop on Foundations and Techniques for OpenCert 2012 in SEFM Satellite Events, VOLUME: 7991 LNCS, PAGES: 64-77
1162
TITLE: MDSheet: A Framework for Model-Driven Spreadsheet Engineering
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 34th International Conference on Software Engineering (ICSE) in 2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), PAGES: 1395-1398
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 34th International Conference on Software Engineering (ICSE) in 2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), PAGES: 1395-1398
1163
TITLE: Mitigating SPIT with Social Strength
AUTHORS: Ajmal A Azad ; Ricardo Morla ;
PUBLISHED: 2012, SOURCE: TrustCom, PAGES: 1393-1398
AUTHORS: Ajmal A Azad ; Ricardo Morla ;
PUBLISHED: 2012, SOURCE: TrustCom, PAGES: 1393-1398
1164
TITLE: Model-Based Programming Environments for Spreadsheets
AUTHORS: Jácome Cunha ; João Saraiva ; Joost Visser;
PUBLISHED: 2012, SOURCE: SBLP, VOLUME: 7554 LNCS, PAGES: 117-133
AUTHORS: Jácome Cunha ; João Saraiva ; Joost Visser;
PUBLISHED: 2012, SOURCE: SBLP, VOLUME: 7554 LNCS, PAGES: 117-133
1165
TITLE: Multiadaptive Sampling for Lightweight Network Measurements Full Text
AUTHORS: Silva, JMC ; Lima, SR ;
PUBLISHED: 2012, SOURCE: 21st International Conference on Computer Communications and Networks (ICCCN) in 2012 21ST INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS (ICCCN), PAGES: 1-7
AUTHORS: Silva, JMC ; Lima, SR ;
PUBLISHED: 2012, SOURCE: 21st International Conference on Computer Communications and Networks (ICCCN) in 2012 21ST INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS (ICCCN), PAGES: 1-7
1166
TITLE: Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: ICMT@TOOLS, VOLUME: 7307 LNCS, PAGES: 89-104
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: ICMT@TOOLS, VOLUME: 7307 LNCS, PAGES: 89-104
1167
TITLE: Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008
AUTHORS: Günter Kniesel; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: RULE, VOLUME: 290
AUTHORS: Günter Kniesel; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: RULE, VOLUME: 290
INDEXED IN: 
DBLP
DBLP1168
TITLE: On the Joint Security of Signature and Encryption Schemes under Randomness Reuse: Efficiency and Security Amplification
AUTHORS: Afonso Arriaga; Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2012, SOURCE: ACNS, VOLUME: 7341 LNCS, PAGES: 206-223
AUTHORS: Afonso Arriaga; Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2012, SOURCE: ACNS, VOLUME: 7341 LNCS, PAGES: 206-223
1169
TITLE: Optimal leverage association rules with numerical interval conditions Full Text
AUTHORS: Jorge, AM ; Azevedo, PJ ;
PUBLISHED: 2012, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 16, ISSUE: 1, PAGES: 25-47
AUTHORS: Jorge, AM ; Azevedo, PJ ;
PUBLISHED: 2012, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 16, ISSUE: 1, PAGES: 25-47
1170
TITLE: Optimizing network measurements through self-adaptive sampling
AUTHORS: Silva, JMC ; Lima, SR ;
PUBLISHED: 2012, SOURCE: IEEE 14th International Conference on High Performance Computing and Communications (HPCC) / IEEE 9th International Conference on Embedded Software and Systems (ICESS) in 2012 IEEE 14TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS & 2012 IEEE 9TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (HPCC-ICESS), PAGES: 794-801
AUTHORS: Silva, JMC ; Lima, SR ;
PUBLISHED: 2012, SOURCE: IEEE 14th International Conference on High Performance Computing and Communications (HPCC) / IEEE 9th International Conference on Embedded Software and Systems (ICESS) in 2012 IEEE 14TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS & 2012 IEEE 9TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (HPCC-ICESS), PAGES: 794-801
1171
TITLE: Partial Connector Colouring Full Text
AUTHORS: Dave Clarke; José Proença ;
PUBLISHED: 2012, SOURCE: COORDINATION, VOLUME: 7274 LNCS, PAGES: 59-73
AUTHORS: Dave Clarke; José Proença ;
PUBLISHED: 2012, SOURCE: COORDINATION, VOLUME: 7274 LNCS, PAGES: 59-73
1172
TITLE: Practical Realisation and Elimination of an ECC-Related Software Bug Attack
AUTHORS: Brumley, BB; Barbosa, M ; Page, D; Vercauteren, F;
PUBLISHED: 2012, SOURCE: 12th Cryptographers' Track - RSA Conference in TOPICS IN CRYPTOLOGY - CT-RSA 2012, VOLUME: 7178, PAGES: 171-+
AUTHORS: Brumley, BB; Barbosa, M ; Page, D; Vercauteren, F;
PUBLISHED: 2012, SOURCE: 12th Cryptographers' Track - RSA Conference in TOPICS IN CRYPTOLOGY - CT-RSA 2012, VOLUME: 7178, PAGES: 171-+
1173
TITLE: Preface
AUTHORS: Barbosa, LS ; Settas, D;
PUBLISHED: 2012, SOURCE: Electronic Communications of the EASST, VOLUME: 48
AUTHORS: Barbosa, LS ; Settas, D;
PUBLISHED: 2012, SOURCE: Electronic Communications of the EASST, VOLUME: 48
INDEXED IN: 
Scopus
Scopus1174
TITLE: Proceedings of the 7th Workshop on Middleware for Next Generation Internet Computing, MW4NG@Middleware 2012, Montreal, Quebec, Canada, December 3-7, 2012
AUTHORS: Karl M Göschka; Vladimir Tosic; José Orlando Pereira ; Patrick C K Hung;
PUBLISHED: 2012, SOURCE: MW4NG@Middleware
AUTHORS: Karl M Göschka; Vladimir Tosic; José Orlando Pereira ; Patrick C K Hung;
PUBLISHED: 2012, SOURCE: MW4NG@Middleware
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef1175
TITLE: Prognostic of feature interactions between independently developed pervasive systems
AUTHORS: Christophe Soares ; Moreira, RS ; Morla, R ; Jose M Torres ; Sobral, P ;
PUBLISHED: 2012, SOURCE: 2012 IEEE International Conference on Prognostics and Health Management: Enhancing Safety, Efficiency, Availability, and Effectiveness of Systems Through PHM Technology and Application, PHM 2012 in PHM 2012 - 2012 IEEE Int. Conf.on Prognostics and Health Management: Enhancing Safety, Efficiency, Availability, and Effectiveness of Systems Through PHM Technology and Application, Conference Program
AUTHORS: Christophe Soares ; Moreira, RS ; Morla, R ; Jose M Torres ; Sobral, P ;
PUBLISHED: 2012, SOURCE: 2012 IEEE International Conference on Prognostics and Health Management: Enhancing Safety, Efficiency, Availability, and Effectiveness of Systems Through PHM Technology and Application, PHM 2012 in PHM 2012 - 2012 IEEE Int. Conf.on Prognostics and Health Management: Enhancing Safety, Efficiency, Availability, and Effectiveness of Systems Through PHM Technology and Application, Conference Program
1176
TITLE: Program and Aspect Metrics for MATLAB
AUTHORS: Martins, P ; Lopes, P; Fernandes, JP ; Saraiva, J ; Cardoso, JMP ;
PUBLISHED: 2012, SOURCE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, ISSUE: PART 4, PAGES: 217-233
AUTHORS: Martins, P ; Lopes, P; Fernandes, JP ; Saraiva, J ; Cardoso, JMP ;
PUBLISHED: 2012, SOURCE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, ISSUE: PART 4, PAGES: 217-233
1177
TITLE: Programming from Galois connections Full Text
AUTHORS: Mu, SC; Oliveira, JN ;
PUBLISHED: 2012, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 81, ISSUE: 6, PAGES: 680-704
AUTHORS: Mu, SC; Oliveira, JN ;
PUBLISHED: 2012, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 81, ISSUE: 6, PAGES: 680-704
1178
TITLE: Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings
AUTHORS: Francisco Heron de Carvalho Junior; Luís Soares Barbosa ;
PUBLISHED: 2012, SOURCE: SBLP, VOLUME: 7554
AUTHORS: Francisco Heron de Carvalho Junior; Luís Soares Barbosa ;
PUBLISHED: 2012, SOURCE: SBLP, VOLUME: 7554
1179
TITLE: Real-Time Visualization of a Sparse Parametric Mixture Model for BTF Rendering
AUTHORS: Nuno Silva; Luis Paulo Santos ; Donald Fussell;
PUBLISHED: 2012, SOURCE: 8th International Symposium on Visual Computing (ISVC) in ADVANCES IN VISUAL COMPUTING, ISVC 2012, PT I, VOLUME: 7431, ISSUE: PART 1, PAGES: 719-728
AUTHORS: Nuno Silva; Luis Paulo Santos ; Donald Fussell;
PUBLISHED: 2012, SOURCE: 8th International Symposium on Visual Computing (ISVC) in ADVANCES IN VISUAL COMPUTING, ISVC 2012, PT I, VOLUME: 7431, ISSUE: PART 1, PAGES: 719-728
1180
TITLE: Reconfiguration Mechanisms for Service Coordination
AUTHORS: Nuno Oliveira; Luís Soares Barbosa ;
PUBLISHED: 2012, SOURCE: WS-FM, VOLUME: 7843 LNCS, PAGES: 134-149
AUTHORS: Nuno Oliveira; Luís Soares Barbosa ;
PUBLISHED: 2012, SOURCE: WS-FM, VOLUME: 7843 LNCS, PAGES: 134-149
