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

Publications Count: 1241

112 Team Members
Filters -> Year: 2020
102
TITLE: Proceedings of the Thirteenth EuroSys Conference, EuroSys 2018, Porto, Portugal, April 23-26, 2018
AUTHORS: Rui Oliveira ; Pascal Felber; Charlie C Hu;
SOURCE: EuroSys, PUBLISHED: 2018
INDEXED IN: DBLP
103
TITLE: Programming from metaphorisms
AUTHORS: Jose Nuno Oliveira ;
SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 94, PAGES: 15-44, PUBLISHED: 2018
INDEXED IN: WOS
104
TITLE: Property-Based Testing for the Robot Operating System
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
SOURCE: 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST) in PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18), PAGES: 56-62, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef
105
TITLE: Proposition of an Action Layer for Electrum
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Thomas Hujsa; Nuno Macedo ; Jeanne Tawa;
SOURCE: 6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018 in Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, VOLUME: 10817, PAGES: 397-402, PUBLISHED: 2018
INDEXED IN: Scopus DBLP CrossRef
106
TITLE: Qualification offer in EGOV competencies in PALOP-TL
AUTHORS: Silva, JMC ; Ramos, LFM; Fonte, V ;
SOURCE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in ACM International Conference Proceeding Series, PAGES: 308-311, PUBLISHED: 2018
INDEXED IN: Scopus CrossRef
107
TITLE: ReoLive: Analysing Connectors in Your Browser
AUTHORS: Rúben Cruz; José Proença ;
SOURCE: Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, VOLUME: 11176, PAGES: 336-350, PUBLISHED: 2018
INDEXED IN: DBLP
108
TITLE: Runtime verification of autopilot systems using a fragment of MTL-  Full Text
AUTHORS: Andre de Matos Pedro; Jorge Sousa Pinto ; David Pereira; Luis Miguel Pinho;
SOURCE: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS) / 16th International Workshop on Automated Verification of Critical Systems (AVoCS) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 20, ISSUE: 4, PAGES: 379-395, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef
109
TITLE: Systems and methods for SPIT detection in VoIP: Survey and future directions  Full Text
AUTHORS: Muhammad Ajmal Azad; Ricardo Morla ; Khaled Salah;
SOURCE: COMPUTERS & SECURITY, VOLUME: 77, PAGES: 1-20, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef
110
TITLE: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTHORS: Jose Bacelar Almeida ; Alcino Cunha ; Nuno Macedo ; Hugo Pacheco ; Jose Proenca ;
SOURCE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, ISSUE: ICFP, PAGES: 82:1-82:17, PUBLISHED: 2018
INDEXED IN: WOS DBLP CrossRef
111
TITLE: The electrum analyzer: model checking relational first-order temporal specifications
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
SOURCE: 33rd IEEE/ACM International Conference on Automated Software Engineering, ASE 2018 in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, PAGES: 884-887, PUBLISHED: 2018
INDEXED IN: Scopus DBLP CrossRef
112
TITLE: The MAL Interactors Animator: Supporting model validation through animation
AUTHORS: Jose C Campos ; Nuno Sousa;
SOURCE: 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS (EICS'18), PUBLISHED: 2018
INDEXED IN: Scopus WOS CrossRef
113
TITLE: Totally Ordered Replication for Massive Scale Key-Value Stores
AUTHORS: José Ribeiro; Nuno Machado ; Francisco Maia ; Miguel Matos;
SOURCE: Distributed Applications and Interoperable Systems - 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings, VOLUME: 10853, PAGES: 58-74, PUBLISHED: 2018
INDEXED IN: DBLP
114
TITLE: Towards a Simulation-Based Medical Education Platform for PVSio-Web
AUTHORS: Carlos Silva ; Jose Creissac Campos ;
SOURCE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018), PUBLISHED: 2018
INDEXED IN: WOS CrossRef
115
TITLE: Towards Verified Handwritten Calculational Proofs - (Short Paper)
AUTHORS: Alexandra Mendes ; João F Ferreira;
SOURCE: Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, VOLUME: 10895, PAGES: 432-440, PUBLISHED: 2018
INDEXED IN: DBLP
116
TITLE: Transforming Legal Documents for Visualization and Analysis
AUTHORS: Nuno Ramos Carvalho; Luís Soares Barbosa ;
SOURCE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018, PAGES: 23-26, PUBLISHED: 2018
INDEXED IN: Scopus DBLP CrossRef
117
TITLE: Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
AUTHORS: Alcino Cunha ; Nuno Macedo ;
SOURCE: 6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018 in Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, VOLUME: 10817, PAGES: 307-321, PUBLISHED: 2018
INDEXED IN: Scopus DBLP CrossRef
118
TITLE: 2017 Wireless Days, Porto, Portugal, March 29-31, 2017
AUTHORS: Manuel Ricardo ; Rui Campos; José Ruela; Ricardo Morla ; Filipe Teixeira; L. M. Pessoa ; Henrique Salgado;
SOURCE: Wireless Days, PUBLISHED: 2017
INDEXED IN: DBLP
119
TITLE: 802.11 Wireless Access Point Usage Simulation and Anomaly Detection PDF
AUTHORS: Anisa Allahdadi ; Ricardo Morla ;
SOURCE: CoRR, VOLUME: abs/1707.02933, PUBLISHED: 2017
INDEXED IN: DBLP arXiv
120
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation  Full Text
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Francois Dupressoir; Benjamin Gregoire; Vincent Laporte; Vitor Pereira ;
SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467, PAGES: 1989-2006, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 3

Results per Page: 20.
Page 6 of 63. Total results: 1241.