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: 1495
150 Team MembersFilters -> Year: 2025
1021
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
DBLP1022
TITLE: Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: 5th International Conference on Theory and Practice of Model Transformations, ICMT 2012 in Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings, VOLUME: 7307, PAGES: 89-104
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: 5th International Conference on Theory and Practice of Model Transformations, ICMT 2012 in Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings, VOLUME: 7307, PAGES: 89-104
1023
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
DBLP1024
TITLE: On the joint security of signature and encryption schemes under randomness reuse: Efficiency and security amplification
AUTHORS: Arriaga, A; Barbosa, M ; Farshim, P;
PUBLISHED: 2012, SOURCE: 10th International Conference on Applied Cryptography and Network Security, ACNS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7341 LNCS, PAGES: 206-223
AUTHORS: Arriaga, A; Barbosa, M ; Farshim, P;
PUBLISHED: 2012, SOURCE: 10th International Conference on Applied Cryptography and Network Security, ACNS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7341 LNCS, PAGES: 206-223
1025
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: IACR Cryptology ePrint Archive, VOLUME: 2012, PAGES: 382
AUTHORS: Afonso Arriaga; Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2012, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2012, PAGES: 382
INDEXED IN: DBLP
DBLP1026
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
1027
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
1028
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
DBLP1029
TITLE: Practical Realisation and Elimination of an ECC-Related Software Bug Attack
AUTHORS: Billy B Brumley; Manuel Barbosa ; Dan Page; Frederik Vercauteren;
PUBLISHED: 2012, SOURCE: 12th Cryptographers' Track - RSA Conference in TOPICS IN CRYPTOLOGY - CT-RSA 2012, VOLUME: 7178, PAGES: 171-186
AUTHORS: Billy B Brumley; Manuel Barbosa ; Dan Page; Frederik Vercauteren;
PUBLISHED: 2012, SOURCE: 12th Cryptographers' Track - RSA Conference in TOPICS IN CRYPTOLOGY - CT-RSA 2012, VOLUME: 7178, PAGES: 171-186
1031
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
Scopus1032
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 CrossRef1033
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
1034
TITLE: Program and Aspect Metrics for MATLAB
AUTHORS: Pedro Martins ; Paulo Lopes; Joao P Fernandes ; Joao Saraiva ; Joao M P Cardoso ;
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: Pedro Martins ; Paulo Lopes; Joao P Fernandes ; Joao Saraiva ; Joao M P Cardoso ;
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
1035
TITLE: Programming from Galois connections Full Text
AUTHORS: Shin Cheng Mu; Jose Nuno Oliveira ;
PUBLISHED: 2012, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 81, ISSUE: 6, PAGES: 680-704
AUTHORS: Shin Cheng Mu; Jose Nuno Oliveira ;
PUBLISHED: 2012, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 81, ISSUE: 6, PAGES: 680-704
1036
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
1037
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
1038
TITLE: Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, VOLUME: 7560, PAGES: 146-161
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, VOLUME: 7560, PAGES: 146-161
1039
TITLE: Semantically Secure Functional Encryption, Revisited
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2012, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2012, PAGES: 474
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2012, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2012, PAGES: 474
INDEXED IN: DBLP
DBLP1040
TITLE: Significant motifs in time series Full Text
AUTHORS: Castro, NC ; Azevedo, PJ ;
PUBLISHED: 2012, SOURCE: Statistical Analysis and Data Mining, VOLUME: 5, ISSUE: 1, PAGES: 35-53
AUTHORS: Castro, NC ; Azevedo, PJ ;
PUBLISHED: 2012, SOURCE: Statistical Analysis and Data Mining, VOLUME: 5, ISSUE: 1, PAGES: 35-53
