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: 1659
149 Team MembersFilters -> Year: 2026
621
TITLE: Layered logics, coalgebraically
AUTHORS: Barbosa, LS ;
PUBLISHED: 2018, SOURCE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS, PAGES: 55-63
AUTHORS: Barbosa, LS ;
PUBLISHED: 2018, SOURCE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS, PAGES: 55-63
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef622
TITLE: MODELLING BASED TEACHING WITH SPREADSHEET. A STUDY IN A HEALTH CARE COURSE
AUTHORS: Machado, N ; Baptista, M ;
PUBLISHED: 2018, SOURCE: 12th International Technology, Education and Development Conference (INTED) in 12TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED), PAGES: 7289-7295
AUTHORS: Machado, N ; Baptista, M ;
PUBLISHED: 2018, SOURCE: 12th International Technology, Education and Development Conference (INTED) in 12TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED), PAGES: 7289-7295
INDEXED IN: 
WOS CrossRef
WOS CrossRef623
TITLE: nSharma: Numerical simulation heterogeneity aware runtime manager for openFOAM
AUTHORS: Roberto Ribeiro; Luís Paulo Santos ; João Miguel Nóbrega ;
PUBLISHED: 2018, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10860 LNCS, PAGES: 429-443
AUTHORS: Roberto Ribeiro; Luís Paulo Santos ; João Miguel Nóbrega ;
PUBLISHED: 2018, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10860 LNCS, PAGES: 429-443
624
TITLE: Optimized Planning of Different Crops in a Field Using Optimal Control in Portugal Full Text
AUTHORS: Pereira, RMS; Lopes, S; Caldeira, A; Fonte, V ;
PUBLISHED: 2018, SOURCE: SUSTAINABILITY, VOLUME: 10, ISSUE: 12, PAGES: 4648
AUTHORS: Pereira, RMS; Lopes, S; Caldeira, A; Fonte, V ;
PUBLISHED: 2018, SOURCE: SUSTAINABILITY, VOLUME: 10, ISSUE: 12, PAGES: 4648
625
TITLE: Parallel Polyglot Query Processing on Heterogeneous Cloud Data Stores with LeanXcale
AUTHORS: Boyan Kolev; Oleksandra Levchenko; Esther Pacitti; Patrick Valduriez; Ricardo Vilaça ; Rui C Gonçalves; Ricardo Jiménez Peris; Pavlos Kranas;
PUBLISHED: 2018, SOURCE: IEEE BigData, PAGES: 1757-1766
AUTHORS: Boyan Kolev; Oleksandra Levchenko; Esther Pacitti; Patrick Valduriez; Ricardo Vilaça ; Rui C Gonçalves; Ricardo Jiménez Peris; Pavlos Kranas;
PUBLISHED: 2018, SOURCE: IEEE BigData, PAGES: 1757-1766
626
TITLE: Permutability in proof terms for intuitionistic sequent calculus with cuts
AUTHORS: Santo, JE; Frade, MJ ; Pinto, L;
PUBLISHED: 2018, SOURCE: 22nd International Conference on Types for Proofs and Programs, TYPES 2016 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 97
AUTHORS: Santo, JE; Frade, MJ ; Pinto, L;
PUBLISHED: 2018, SOURCE: 22nd International Conference on Types for Proofs and Programs, TYPES 2016 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 97
INDEXED IN: Scopus
Scopus627
TITLE: Preference rules for label ranking: Mining patterns in multi-target relations
AUTHORS: de Sá, CR ; Azevedo, P ; Soares, C ; Jorge, AM ; Knobbe, A;
PUBLISHED: 2018, SOURCE: INFORMATION FUSION, VOLUME: 40, PAGES: 112-125
AUTHORS: de Sá, CR ; Azevedo, P ; Soares, C ; Jorge, AM ; Knobbe, A;
PUBLISHED: 2018, SOURCE: INFORMATION FUSION, VOLUME: 40, PAGES: 112-125
628
TITLE: Proceedings of the 1st Workshop on Privacy by Design in Distributed Systems, P2DS@EuroSys 2018, Porto, Portugal, April 23, 2018
AUTHORS: Francisco Maia ; Hugues Mercier; Andrey Brito;
PUBLISHED: 2018, SOURCE: P2DS@EuroSys
AUTHORS: Francisco Maia ; Hugues Mercier; Andrey Brito;
PUBLISHED: 2018, SOURCE: P2DS@EuroSys
INDEXED IN: 
DBLP CrossRef
DBLP CrossRef629
TITLE: Proceedings of the 6th International Workshop on Green and Sustainable Software, GREENS@ICSE 2018, Gothenburg, Sweden, May 27, 2018
AUTHORS: Ivano Malavolta; Rick Kazman; João Saraiva ;
PUBLISHED: 2018, SOURCE: GREENS@ICSE
AUTHORS: Ivano Malavolta; Rick Kazman; João Saraiva ;
PUBLISHED: 2018, SOURCE: GREENS@ICSE
INDEXED IN: DBLP CrossRef
DBLP CrossRef630
TITLE: Proceedings of the Thirteenth EuroSys Conference, EuroSys 2018, Porto, Portugal, April 23-26, 2018
AUTHORS: Rui Oliveira ; Pascal Felber; Charlie C Hu;
PUBLISHED: 2018, SOURCE: EuroSys
AUTHORS: Rui Oliveira ; Pascal Felber; Charlie C Hu;
PUBLISHED: 2018, SOURCE: EuroSys
INDEXED IN: DBLP
DBLP631
TITLE: Programming from metaphorisms
AUTHORS: Oliveira, JN ;
PUBLISHED: 2018, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 94, PAGES: 15-44
AUTHORS: Oliveira, JN ;
PUBLISHED: 2018, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 94, PAGES: 15-44
632
TITLE: Property-Based Testing for the Robot Operating System
AUTHORS: Santos, A ; Cunha, A ; Macedo, N ;
PUBLISHED: 2018, 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
AUTHORS: Santos, A ; Cunha, A ; Macedo, N ;
PUBLISHED: 2018, 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
633
TITLE: Proposition of an Action Layer for Electrum
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Thomas Hujsa; Nuno Macedo ; Jeanne Tawa;
PUBLISHED: 2018, SOURCE: ABZ, VOLUME: 10817 LNCS, PAGES: 397-402
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Thomas Hujsa; Nuno Macedo ; Jeanne Tawa;
PUBLISHED: 2018, SOURCE: ABZ, VOLUME: 10817 LNCS, PAGES: 397-402
634
TITLE: Qualification offer in EGOV competencies in PALOP-TL
AUTHORS: Silva, JMC ; Ramos, LFM; Fonte, V ;
PUBLISHED: 2018, SOURCE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in ACM International Conference Proceeding Series, PAGES: 308-311
AUTHORS: Silva, JMC ; Ramos, LFM; Fonte, V ;
PUBLISHED: 2018, SOURCE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in ACM International Conference Proceeding Series, PAGES: 308-311
635
TITLE: Qualification offer in EGOV competencies in PALOP-TL
AUTHORS: João Marco C Silva ; Luis Felipe Macías Ramos; Victor Fonte ;
PUBLISHED: 2018, SOURCE: Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018, PAGES: 308-311
AUTHORS: João Marco C Silva ; Luis Felipe Macías Ramos; Victor Fonte ;
PUBLISHED: 2018, SOURCE: Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018, PAGES: 308-311
INDEXED IN: DBLP
DBLP636
TITLE: Reactive Models for Biological Regulatory Networks
AUTHORS: Daniel Figueiredo; Luís Soares Barbosa ;
PUBLISHED: 2018, SOURCE: MLCSB, VOLUME: 11415 LNCS, PAGES: 74-88
AUTHORS: Daniel Figueiredo; Luís Soares Barbosa ;
PUBLISHED: 2018, SOURCE: MLCSB, VOLUME: 11415 LNCS, PAGES: 74-88
637
TITLE: ReoLive: Analysing Connectors in Your Browser
AUTHORS: Rúben Cruz; José Proença ;
PUBLISHED: 2018, SOURCE: STAF Workshops, PAGES: 336-350
AUTHORS: Rúben Cruz; José Proença ;
PUBLISHED: 2018, SOURCE: STAF Workshops, PAGES: 336-350
INDEXED IN: DBLP
DBLP638
TITLE: Run-time heterogeneous-aware power-adaptive scheduling in OpenFOAM
AUTHORS: Ribeiro, R; Santos, LP ; Nobrega, JM ;
PUBLISHED: 2018, SOURCE: International Conference on High Performance Computing & Simulation (HPCS) in PROCEEDINGS 2018 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS), PAGES: 390-397
AUTHORS: Ribeiro, R; Santos, LP ; Nobrega, JM ;
PUBLISHED: 2018, SOURCE: International Conference on High Performance Computing & Simulation (HPCS) in PROCEEDINGS 2018 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS), PAGES: 390-397
639
TITLE: Runtime verification of autopilot systems using a fragment of MTL-
AUTHORS: Pedro, AD; Pinto, JS ; Pereira, D ; Pinho, LM ;
PUBLISHED: 2018, 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
AUTHORS: Pedro, AD; Pinto, JS ; Pereira, D ; Pinho, LM ;
PUBLISHED: 2018, 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
640
TITLE: Semantic Wikis Distributed on Structured Peer-to-Peer Networks
AUTHORS: Charbel Rahhal ;
PUBLISHED: 2018, SOURCE: The International Journal of E-Learning and Educational Technologies in the Digital Media, VOLUME: 4, ISSUE: 2, PAGES: 39-46
AUTHORS: Charbel Rahhal ;
PUBLISHED: 2018, SOURCE: The International Journal of E-Learning and Educational Technologies in the Digital Media, VOLUME: 4, ISSUE: 2, PAGES: 39-46
INDEXED IN: CrossRef
CrossRef