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: 1551
150 Team MembersFilters -> Year: 2024
1141
TITLE: Privacy Preserving Gate Counting with Collaborative Bluetooth Scanners
AUTHORS: Nelson Goncalves; Rui Jose ; Carlos Baquero ;
PUBLISHED: 2011, SOURCE: Confederated International Workshops and Posters: EI2N plus NSF ICE, ICSP plus INBAST, ISDE, ORM, OTMA, SWWS plus MONET plus SeDeS, and VADER in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2011 WORKSHOPS, VOLUME: 7046, PAGES: 534-543
AUTHORS: Nelson Goncalves; Rui Jose ; Carlos Baquero ;
PUBLISHED: 2011, SOURCE: Confederated International Workshops and Posters: EI2N plus NSF ICE, ICSP plus INBAST, ISDE, ORM, OTMA, SWWS plus MONET plus SeDeS, and VADER in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2011 WORKSHOPS, VOLUME: 7046, PAGES: 534-543
1142
TITLE: Programming from Galois connections
AUTHORS: Mu, SC; Oliveira, JN ;
PUBLISHED: 2011, SOURCE: 12th International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6663 LNCS, PAGES: 294-313
AUTHORS: Mu, SC; Oliveira, JN ;
PUBLISHED: 2011, SOURCE: 12th International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6663 LNCS, PAGES: 294-313
1143
TITLE: Refinement by interpretation in π-institutions Full Text
AUTHORS: César Jesus Rodrigues; Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2011, SOURCE: 15th International Refinement Workshop, Refine 2011 in Proceedings 15th International Refinement Workshop, Refine 2011, Limerick, Ireland, 20th June 2011., VOLUME: 55, PAGES: 53-64
AUTHORS: César Jesus Rodrigues; Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2011, SOURCE: 15th International Refinement Workshop, Refine 2011 in Proceedings 15th International Refinement Workshop, Refine 2011, Limerick, Ireland, 20th June 2011., VOLUME: 55, PAGES: 53-64
1144
TITLE: Revisiting context-aware component interconnection
AUTHORS: Luis S Barbosa ; Marco A C Barbosa; Cesar J Rodrigues;
PUBLISHED: 2011, SOURCE: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) in 12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010), PAGES: 377-384
AUTHORS: Luis S Barbosa ; Marco A C Barbosa; Cesar J Rodrigues;
PUBLISHED: 2011, SOURCE: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) in 12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010), PAGES: 377-384
1145
TITLE: Rigorous Software Development - An Introduction to Program Verification
AUTHORS: José Bacelar Almeida ; Maria João Frade ; Jorge Sousa Pinto ; Simão Melo de Sousa ;
PUBLISHED: 2011, SOURCE: Undergraduate Topics in Computer Science
AUTHORS: José Bacelar Almeida ; Maria João Frade ; Jorge Sousa Pinto ; Simão Melo de Sousa ;
PUBLISHED: 2011, SOURCE: Undergraduate Topics in Computer Science
1146
TITLE: Safe controllers design for industrial automation systems Full Text
AUTHORS: Jose Machado ; Eurico Seabra ; Jose C Campos ; Filomena Soares ; Celina P Leao ;
PUBLISHED: 2011, SOURCE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 60, ISSUE: 4, PAGES: 635-653
AUTHORS: Jose Machado ; Eurico Seabra ; Jose C Campos ; Filomena Soares ; Celina P Leao ;
PUBLISHED: 2011, SOURCE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 60, ISSUE: 4, PAGES: 635-653
1147
TITLE: Shacc: A functional prototyper for a component calculus
AUTHORS: Martins, A; Barbosa, LS ; Rodrigues, NF ;
PUBLISHED: 2011, SOURCE: 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6859 LNCS, PAGES: 413-419
AUTHORS: Martins, A; Barbosa, LS ; Rodrigues, NF ;
PUBLISHED: 2011, SOURCE: 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6859 LNCS, PAGES: 413-419
1148
TITLE: Shortcut fusion rules for the derivation of circular and higher-order programs
AUTHORS: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2011, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 24, ISSUE: 1-2, PAGES: 115-149
AUTHORS: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2011, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 24, ISSUE: 1-2, PAGES: 115-149
1149
TITLE: Special Section on Cultural Heritage Full Text
AUTHORS: Alan Chalmers; Mark Mudge; Luis Paulo Santos ;
PUBLISHED: 2011, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 35, ISSUE: 4
AUTHORS: Alan Chalmers; Mark Mudge; Luis Paulo Santos ;
PUBLISHED: 2011, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 35, ISSUE: 4
1150
TITLE: Special track on dependable and adaptive distributed systems
AUTHORS: Goeschka, KM; Hallsteinsen, SO; Oliveira, R ; Romanovsky, A; Froihofer, L;
PUBLISHED: 2011, SOURCE: 26th Annual ACM Symposium on Applied Computing, SAC 2011 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 195-196
AUTHORS: Goeschka, KM; Hallsteinsen, SO; Oliveira, R ; Romanovsky, A; Froihofer, L;
PUBLISHED: 2011, SOURCE: 26th Annual ACM Symposium on Applied Computing, SAC 2011 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 195-196
INDEXED IN: 
Scopus
Scopus1151
TITLE: Strictification of circular programs
AUTHORS: Fernandes, JP ; Saraiva, J ; Seidel, D; Voigtlander, J;
PUBLISHED: 2011, SOURCE: 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM'11 in PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PAGES: 131-140
AUTHORS: Fernandes, JP ; Saraiva, J ; Seidel, D; Voigtlander, J;
PUBLISHED: 2011, SOURCE: 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM'11 in PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PAGES: 131-140
1152
TITLE: Test case generation from mutated task models
AUTHORS: Barbosa, A; Paiva, ACR ; Campos, JC ;
PUBLISHED: 2011, SOURCE: 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'11 in Proceedings of the 2011 SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2011, PAGES: 175-184
AUTHORS: Barbosa, A; Paiva, ACR ; Campos, JC ;
PUBLISHED: 2011, SOURCE: 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'11 in Proceedings of the 2011 SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2011, PAGES: 175-184
1153
TITLE: The importance of qualitative evaluation on E-learning systems
AUTHORS: Luciana Freire; Pedro M Arezes ; Jose C Campos ;
PUBLISHED: 2011, SOURCE: 7th International Symposium on Occupational Safety and Hygiene (SHO) in SHO2011: INTERNATIONAL SYMPOSIUM ON OCCUPATIONAL SAFETY AND HYGIENE, PAGES: 278-282
AUTHORS: Luciana Freire; Pedro M Arezes ; Jose C Campos ;
PUBLISHED: 2011, SOURCE: 7th International Symposium on Occupational Safety and Hygiene (SHO) in SHO2011: INTERNATIONAL SYMPOSIUM ON OCCUPATIONAL SAFETY AND HYGIENE, PAGES: 278-282
INDEXED IN: 
WOS
WOS1154
TITLE: The Role of Coordination Analysis in Software Integration Projects
AUTHORS: Nuno F Rodrigues ; Nuno Oliveira; Luis S Barbosa ;
PUBLISHED: 2011, SOURCE: Confederated International Workshops and Posters: EI2N plus NSF ICE, ICSP plus INBAST, ISDE, ORM, OTMA, SWWS plus MONET plus SeDeS, and VADER in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2011 WORKSHOPS, VOLUME: 7046, PAGES: 83-92
AUTHORS: Nuno F Rodrigues ; Nuno Oliveira; Luis S Barbosa ;
PUBLISHED: 2011, SOURCE: Confederated International Workshops and Posters: EI2N plus NSF ICE, ICSP plus INBAST, ISDE, ORM, OTMA, SWWS plus MONET plus SeDeS, and VADER in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2011 WORKSHOPS, VOLUME: 7046, PAGES: 83-92
1155
TITLE: Time series motifs statistical significance
AUTHORS: Castro, N ; Azevedo, PJ ;
PUBLISHED: 2011, SOURCE: 11th SIAM International Conference on Data Mining, SDM 2011 in Proceedings of the 11th SIAM International Conference on Data Mining, SDM 2011, PAGES: 687-698
AUTHORS: Castro, N ; Azevedo, PJ ;
PUBLISHED: 2011, SOURCE: 11th SIAM International Conference on Data Mining, SDM 2011 in Proceedings of the 11th SIAM International Conference on Data Mining, SDM 2011, PAGES: 687-698
1156
TITLE: Transformation of structure-shy programs with application to XPath queries and strategic functions Full Text
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2011, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 76, ISSUE: 6, PAGES: 516-539
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2011, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 76, ISSUE: 6, PAGES: 516-539
1157
TITLE: Translating Alloy Specifications to UML Class Diagrams Annotated with OCL
AUTHORS: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2011, SOURCE: 9th International Conference on Software Engineering and Formal Methods, SEFM 2011 in Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, VOLUME: 7041, PAGES: 221-236
AUTHORS: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2011, SOURCE: 9th International Conference on Software Engineering and Formal Methods, SEFM 2011 in Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, VOLUME: 7041, PAGES: 221-236
1158
TITLE: Type-Safe Evolution of Spreadsheets Full Text
AUTHORS: Jacome Cunha ; Joost Visser; Tiago Alves; Joao Saraiva ;
PUBLISHED: 2011, SOURCE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603, PAGES: 186-201
AUTHORS: Jacome Cunha ; Joost Visser; Tiago Alves; Joao Saraiva ;
PUBLISHED: 2011, SOURCE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603, PAGES: 186-201
1159
TITLE: Variability modelling in the ABS language
AUTHORS: Clarke, D; Muschevici, R; Proenca, J ; Schaefer, I; Schlatte, R;
PUBLISHED: 2011, SOURCE: 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6957 LNCS, PAGES: 204-224
AUTHORS: Clarke, D; Muschevici, R; Proenca, J ; Schaefer, I; Schlatte, R;
PUBLISHED: 2011, SOURCE: 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6957 LNCS, PAGES: 204-224
