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: 1489
150 Team MembersFilters -> Year: 2024
1021
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
1022
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
DBLP1023
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
1024
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
Scopus1026
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 CrossRef1027
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
1028
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
1029
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
1030
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
1031
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
1032
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
1033
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
DBLP1034
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
1035
TITLE: Slead: Low-memory, steady distributed systems slicing
AUTHORS: Maia, F ; Matos, M ; Riviere, E; Oliveira, R ;
PUBLISHED: 2012, SOURCE: 12th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7272 LNCS, PAGES: 1-15
AUTHORS: Maia, F ; Matos, M ; Riviere, E; Oliveira, R ;
PUBLISHED: 2012, SOURCE: 12th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7272 LNCS, PAGES: 1-15
1036
TITLE: SmellSheet Detective: A Tool for Detecting Bad Smells in Spreadsheets
AUTHORS: Jacome Cunha ; Joao Paulo Fernandes ; Pedro Martins ; Jorge Mendes ; Joao Saraiva ;
PUBLISHED: 2012, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) Co-Located with the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) in 2012 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC), PAGES: 243-244
AUTHORS: Jacome Cunha ; Joao Paulo Fernandes ; Pedro Martins ; Jorge Mendes ; Joao Saraiva ;
PUBLISHED: 2012, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) Co-Located with the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) in 2012 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC), PAGES: 243-244
1037
TITLE: Software components as invariant-typed arrows
AUTHORS: Barbosa, LS ;
PUBLISHED: 2012, SOURCE: 16th Brazilian Symposium on Programming Languages, SBLP 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7554 LNCS, PAGES: 1-5
AUTHORS: Barbosa, LS ;
PUBLISHED: 2012, SOURCE: 16th Brazilian Symposium on Programming Languages, SBLP 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7554 LNCS, PAGES: 1-5
1038
TITLE: Specifying UML Protocol State Machines in Alloy
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, VOLUME: 7321, PAGES: 312-326
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, VOLUME: 7321, PAGES: 312-326
1039
TITLE: Spectra: Robust Estimation of Distribution Functions in Networks
AUTHORS: Miguel Borges; Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2012, SOURCE: 12th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2012 in Distributed Applications and Interoperable Systems - 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, VOLUME: 7272, PAGES: 96-103
AUTHORS: Miguel Borges; Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2012, SOURCE: 12th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2012 in Distributed Applications and Interoperable Systems - 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, VOLUME: 7272, PAGES: 96-103
1040
TITLE: Stopping ongoing broadcasts in large MANETs
AUTHORS: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLISHED: 2012, SOURCE: 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12 in Proceedings of the 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12, Sibiu, Romania, May 8-11, 2012, PAGES: 4:1-4:5
AUTHORS: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLISHED: 2012, SOURCE: 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12 in Proceedings of the 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12, Sibiu, Romania, May 8-11, 2012, PAGES: 4:1-4:5
