High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável

Inesc Technology and Science (INESC TEC) :: CS: Computer Science

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 1486

150 Team Members
Filters -> Year: 2024
761
TITLE: Studying Verification Conditions for Imperative Programs  Full Text
AUTHORS: Cláudio Belo Lourenço ; Si Mohamed Lamraoui; Shin Nakajima; Jorge Sousa Pinto ;
PUBLISHED: 2015, SOURCE: ECEASST, VOLUME: 72
INDEXED IN: Scopus DBLP
762
TITLE: Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes
AUTHORS: Jose C Campos ; Tiago Abade; Jose Luis Silva ; Michael D Harrison ;
PUBLISHED: 2015, SOURCE: 7th International Work-Conference on Ambient Assisted Living (IWAAL) in AMBIENT ASSISTED LIVING: ICT-BASED SOLUTIONS IN REAL LIFE SITUATIONS, VOLUME: 9455, PAGES: 49-61
INDEXED IN: Scopus WOS DBLP CrossRef: 1
763
TITLE: The essence of bidirectional programming  Full Text
AUTHORS: Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco ;
PUBLISHED: 2015, SOURCE: SCIENCE CHINA Information Sciences, VOLUME: 58, ISSUE: 5, PAGES: 1-21
INDEXED IN: DBLP CrossRef: 19
764
TITLE: The Modelery: a model-based software development repository
AUTHORS: Couto, R ; Ribeiro, AMN ; de Campos, JFCF ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF WEB INFORMATION SYSTEMS, VOLUME: 11, ISSUE: 2, PAGES: 205-225
INDEXED IN: Scopus WOS DBLP CrossRef
765
TITLE: The Related-Key Analysis of Feistel Constructions
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2015, SOURCE: 21st International Workshop on Fast Software Encryption (FSE) in FAST SOFTWARE ENCRYPTION, FSE 2014, VOLUME: 8540, PAGES: 265-284
INDEXED IN: Scopus WOS DBLP CrossRef: 11
766
TITLE: TOPiCo: Detecting most frequent items from multiple high-rate event streams
AUTHORS: Schiavoni, V; Rivière, E; Sutra, P; Felber, P; Matos, M ; Oliveira, R ;
PUBLISHED: 2015, SOURCE: 9th ACM International Conference on Distributed Event-Based Systems, DEBS 2015 in DEBS 2015 - Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, PAGES: 58-67
INDEXED IN: Scopus DBLP
767
TITLE: Towards a Catalog of Usability Smells
AUTHORS: Diogo Almeida; Jose Creissac Campos ; Joao Saraiva ; Joao Carlos Silva;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 175-181
INDEXED IN: Scopus WOS DBLP CrossRef: 6
768
TITLE: Towards an engine for coordination-based architectural reconfigurations  Full Text
AUTHORS: Flavio Rodrigues; Nuno Oliveira; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 12, ISSUE: 2, PAGES: 607-634
INDEXED IN: Scopus WOS DBLP CrossRef: 1
769
TITLE: Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets PDF
AUTHORS: Pedro Maia; Jorge Mendes ; Jácome Cunha ; Henrique Rebêlo; João Saraiva ;
PUBLISHED: 2015, SOURCE: 2nd Workshop on Software Engineering Methods in Spreadsheets, SEMS 2015, Co-located with the 37th International Conference on Software Engineering, ICSE 2015 in Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015., VOLUME: 1355, PAGES: 7-13
INDEXED IN: Scopus DBLP arXiv Handle
770
TITLE: Translating between Alloy specifications and UML class diagrams annotated with OCL  Full Text
AUTHORS: Alcino Cunha ; Ana Garis; Daniel Riesco;
PUBLISHED: 2015, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 14, ISSUE: 1, PAGES: 5-25
INDEXED IN: Scopus WOS DBLP CrossRef: 23
771
TITLE: Users Know Better: A QoE based Adaptive Control System for VoD in the Cloud
AUTHORS: Chen Wang; Hyong Kim; Ricardo Morla ;
PUBLISHED: 2015, SOURCE: IEEE Global Communications Conference (GLOBECOM) in 2015 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), PAGES: 1-6
INDEXED IN: Scopus WOS DBLP CrossRef: 2
772
TITLE: Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLISHED: 2015, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2015, PAGES: 1241
INDEXED IN: DBLP
773
TITLE: Watch Out for that Tree! A Tutorial on Shortcut Deforestation
AUTHORS: João Paulo Fernandes ; Jácome Cunha ; João Saraiva ; Alberto Pardo;
PUBLISHED: 2015, SOURCE: 6th Central European Functional Programming School, CEFP 2015 in Central European Functional Programming School - 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers, VOLUME: 10094, PAGES: 1-41
INDEXED IN: Scopus DBLP CrossRef
774
TITLE: Welcome to EICS 2015
AUTHORS: Ziegler, J; Nebeling, M; Nigay, L; Campos, J ; Winckler, M;
PUBLISHED: 2015, SOURCE: 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2015 in EICS 2015 - Proceedings of the 2015 ACM SIGCHI Symposium on Engineering Interactive Computing Systems
INDEXED IN: Scopus
775
TITLE: X-Ray: Monitoring and analysis of distributed database queries
AUTHORS: Guimaraes, P; Pereira, J ;
PUBLISHED: 2015, SOURCE: 15th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9038, PAGES: 80-93
INDEXED IN: Scopus DBLP CrossRef: 1
776
TITLE: Zipper-Based Modular and Deforested Computations
AUTHORS: Pedro Martins ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2015, SOURCE: 5th Central European Functional Programming School (CEFP) in Central European Functional Programming School, CEFP 2013, VOLUME: 8606, PAGES: 407-427
INDEXED IN: Scopus WOS DBLP CrossRef
777
TITLE: A Bounded Model Checker for SPARK Programs
AUTHORS: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Automated Technology for Verification and Analysis (ATVA) in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, VOLUME: 8837, PAGES: 24-30
INDEXED IN: Scopus WOS DBLP CrossRef: 1
778
TITLE: A Compositional Monitoring Framework for Hard Real-Time Systems
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PAGES: 16-30
INDEXED IN: Scopus WOS DBLP CrossRef Handle
779
TITLE: A graph-based approach for interference free integration of commercial off-the-shelf elements in pervasive computing systems  Full Text
AUTHORS: Christophe Soares ; Rui S Moreira ; Ricardo Morla ; Jose M Torres ; Pedro Sobral ;
PUBLISHED: 2014, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF GRID COMPUTING AND ESCIENCE, VOLUME: 39, PAGES: 3-15
INDEXED IN: Scopus WOS DBLP CrossRef: 3
780
TITLE: A Hilbert-Style Axiomatisation for Equational Hybrid Logic  Full Text
AUTHORS: Luis S Barbosa ; Manuel A Martins ; Marta Carreteiro;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, ISSUE: 1, PAGES: 31-52
INDEXED IN: Scopus WOS DBLP CrossRef: 4

Results per Page: 20.
Page 39 of 75. Total results: 1486.