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: 1659
149 Team MembersFilters -> Year: 2026
1181
TITLE: Multiadaptive Sampling for Lightweight Network Measurements Full Text
AUTHORS: Joao Marco C Silva ; Solange Rito Lima ;
PUBLISHED: 2012, SOURCE: 21st International Conference on Computer Communications and Networks (ICCCN) in 2012 21ST INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS (ICCCN)
AUTHORS: Joao Marco C Silva ; Solange Rito Lima ;
PUBLISHED: 2012, SOURCE: 21st International Conference on Computer Communications and Networks (ICCCN) in 2012 21ST INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS (ICCCN)
1182
TITLE: Multiadaptive Sampling for Lightweight Network Measurements
AUTHORS: João Marco C Silva ; Solange Rito Lima;
PUBLISHED: 2012, SOURCE: 21st International Conference on Computer Communications and Networks, ICCCN 2012, Munich, Germany, July 30 - August 2, 2012, PAGES: 1-7
AUTHORS: João Marco C Silva ; Solange Rito Lima;
PUBLISHED: 2012, SOURCE: 21st International Conference on Computer Communications and Networks, ICCCN 2012, Munich, Germany, July 30 - August 2, 2012, PAGES: 1-7
INDEXED IN: 
DBLP
DBLP1183
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
1184
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
DBLP1185
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
1186
TITLE: Optimal leverage association rules with numerical interval conditions
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
1187
TITLE: Optimizing network measurements through self-adaptive sampling
AUTHORS: Joao Marco C Silva ; Solange Rito Lima ;
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: Joao Marco C Silva ; Solange Rito Lima ;
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
1188
TITLE: Optimizing Network Measurements through Self-adaptive Sampling
AUTHORS: João Marco C Silva ; Solange Rito Lima;
PUBLISHED: 2012, SOURCE: 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, HPCC-ICESS 2012, Liverpool, United Kingdom, June 25-27, 2012, PAGES: 794-801
AUTHORS: João Marco C Silva ; Solange Rito Lima;
PUBLISHED: 2012, SOURCE: 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, HPCC-ICESS 2012, Liverpool, United Kingdom, June 25-27, 2012, PAGES: 794-801
INDEXED IN: DBLP
DBLP1189
TITLE: Partial Connector Colouring
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
1190
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-+
1191
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
Scopus1192
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 CrossRef1193
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
1194
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
1195
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
1196
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
1197
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
1198
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
1199
TITLE: Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: RAMiCS, VOLUME: 7560 LNCS, PAGES: 146-161
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: RAMiCS, VOLUME: 7560 LNCS, PAGES: 146-161
1200
TITLE: Semantically Secure Functional Encryption, Revisited
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2012, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2012, PAGES: 474
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2012, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2012, PAGES: 474
INDEXED IN: DBLP
DBLP