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: 1572
149 Team MembersFilters -> Year: 2025
561
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 CrossRef562
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
563
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
564
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 International Conference on Big Data (IEEE BigData 2018), Seattle, WA, USA, December 10-13, 2018, 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 International Conference on Big Data (IEEE BigData 2018), Seattle, WA, USA, December 10-13, 2018, PAGES: 1757-1766
565
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
Scopus566
TITLE: Preference rules for label ranking: Mining patterns in multi-target relations Full Text
AUTHORS: Claudio Rebelo de Sa ; Paulo Azevedo ; Carlos Soares ; Alipio Mario Jorge ; Arno Knobbe;
PUBLISHED: 2018, SOURCE: INFORMATION FUSION, VOLUME: 40, PAGES: 112-125
AUTHORS: Claudio Rebelo de Sa ; Paulo Azevedo ; Carlos Soares ; Alipio Mario Jorge ; Arno Knobbe;
PUBLISHED: 2018, SOURCE: INFORMATION FUSION, VOLUME: 40, PAGES: 112-125
567
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 CrossRef568
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
DBLP569
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
570
TITLE: Property-Based Testing for the Robot Operating System
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
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: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
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
571
TITLE: Proposition of an Action Layer for Electrum
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Thomas Hujsa; Nuno Macedo ; Jeanne Tawa;
PUBLISHED: 2018, 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
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Thomas Hujsa; Nuno Macedo ; Jeanne Tawa;
PUBLISHED: 2018, 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
572
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
573
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
DBLP574
TITLE: Reactive Models for Biological Regulatory Networks
AUTHORS: Daniel Figueiredo; Luís Soares Barbosa ;
PUBLISHED: 2018, SOURCE: 1st International Symposium on Molecular Logic and Computational Synthetic Biology, MLCSB 2018 in Molecular Logic and Computational Synthetic Biology - First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers, VOLUME: 11415, PAGES: 74-88
AUTHORS: Daniel Figueiredo; Luís Soares Barbosa ;
PUBLISHED: 2018, SOURCE: 1st International Symposium on Molecular Logic and Computational Synthetic Biology, MLCSB 2018 in Molecular Logic and Computational Synthetic Biology - First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers, VOLUME: 11415, PAGES: 74-88
575
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
576
TITLE: Runtime verification of autopilot systems using a fragment of MTL- Full Text
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
577
TITLE: Systems and methods for SPIT detection in VoIP: Survey and future directions Full Text
AUTHORS: Muhammad Ajmal Azad; Ricardo Morla ; Khaled Salah;
PUBLISHED: 2018, SOURCE: COMPUTERS & SECURITY, VOLUME: 77, PAGES: 1-20
AUTHORS: Muhammad Ajmal Azad; Ricardo Morla ; Khaled Salah;
PUBLISHED: 2018, SOURCE: COMPUTERS & SECURITY, VOLUME: 77, PAGES: 1-20
578
TITLE: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTHORS: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proenca, J ;
PUBLISHED: 2018, 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
AUTHORS: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proenca, J ;
PUBLISHED: 2018, 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
579
TITLE: The electrum analyzer: model checking relational first-order temporal specifications
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2018, 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
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2018, 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
580
TITLE: The MAL Interactors Animator: Supporting model validation through animation. Supporting model validation through animation
AUTHORS: Jose C Campos ; Nuno Sousa;
PUBLISHED: 2018, 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), PAGES: 11:1-11:7
AUTHORS: Jose C Campos ; Nuno Sousa;
PUBLISHED: 2018, 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), PAGES: 11:1-11:7
