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

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 1641

149 Team Members
Filters -> Year: 2026
621
TÍTULO: Preference rules for label ranking: Mining patterns in multi-target relations  Full Text
AUTORES: de Sá, CR ; Azevedo, P ; Soares, C ; Jorge, AM ; Knobbe, A;
PUBLICAÇÃO: 2018, FONTE: INFORMATION FUSION, VOLUME: 40, PÁGINAS: 112-125
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
622
TÍTULO: Proceedings of the 1st Workshop on Privacy by Design in Distributed Systems, P2DS@EuroSys 2018, Porto, Portugal, April 23, 2018
AUTORES: Francisco Maia ; Hugues Mercier; Andrey Brito;
PUBLICAÇÃO: 2018, FONTE: P2DS@EuroSys
INDEXADO EM: DBLP CrossRef
623
TÍTULO: Proceedings of the 6th International Workshop on Green and Sustainable Software, GREENS@ICSE 2018, Gothenburg, Sweden, May 27, 2018
AUTORES: Ivano Malavolta; Rick Kazman; João Saraiva ;
PUBLICAÇÃO: 2018, FONTE: GREENS@ICSE
INDEXADO EM: DBLP CrossRef
624
TÍTULO: Proceedings of the Thirteenth EuroSys Conference, EuroSys 2018, Porto, Portugal, April 23-26, 2018
AUTORES: Rui Oliveira ; Pascal Felber; Charlie C Hu;
PUBLICAÇÃO: 2018, FONTE: EuroSys
INDEXADO EM: DBLP
625
TÍTULO: Programming from metaphorisms
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 2018, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 94, PÁGINAS: 15-44
INDEXADO EM: Scopus WOS CrossRef: 3
626
TÍTULO: Property-Based Testing for the Robot Operating System
AUTORES: Santos, A ; Cunha, A ; Macedo, N ;
PUBLICAÇÃO: 2018, FONTE: 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), PÁGINAS: 56-62
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
627
TÍTULO: Proposition of an Action Layer for Electrum
AUTORES: Brunel, J; Chemouil, D; Cunha, A ; Hujsa, T; Macedo, N ; Tawa, J;
PUBLICAÇÃO: 2018, FONTE: ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2018, VOLUME: 10817, PÁGINAS: 397-402
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
628
TÍTULO: Qualification offer in EGOV competencies in PALOP-TL
AUTORES: Silva, JMC ; Ramos, LFM; Fonte, V ;
PUBLICAÇÃO: 2018, FONTE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in ACM International Conference Proceeding Series, PÁGINAS: 308-311
INDEXADO EM: Scopus CrossRef: 1
629
TÍTULO: Qualification offer in EGOV competencies in PALOP-TL
AUTORES: João Marco C Silva ; Luis Felipe Macías Ramos; Victor Fonte ;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018, PÁGINAS: 308-311
INDEXADO EM: DBLP
630
TÍTULO: Reactive Models for Biological Regulatory Networks
AUTORES: Daniel Figueiredo; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: MLCSB, VOLUME: 11415 LNCS, PÁGINAS: 74-88
INDEXADO EM: Scopus DBLP CrossRef: 6
631
TÍTULO: ReoLive: Analysing Connectors in Your Browser
AUTORES: Rúben Cruz; José Proença ;
PUBLICAÇÃO: 2018, FONTE: STAF Workshops, PÁGINAS: 336-350
INDEXADO EM: DBLP
632
TÍTULO: Run-time heterogeneous-aware power-adaptive scheduling in OpenFOAM
AUTORES: Ribeiro, R; Santos, LP ; Nobrega, JM ;
PUBLICAÇÃO: 2018, FONTE: International Conference on High Performance Computing & Simulation (HPCS) in PROCEEDINGS 2018 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS), PÁGINAS: 390-397
INDEXADO EM: Scopus WOS CrossRef
633
TÍTULO: Runtime verification of autopilot systems using a fragment of MTL-  Full Text
AUTORES: Pedro, AD; Pinto, JS ; Pereira, D ; Pinho, LM ;
PUBLICAÇÃO: 2018, FONTE: 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, NÚMERO: 4, PÁGINAS: 379-395
INDEXADO EM: Scopus WOS DBLP CrossRef: 5 Handle
634
TÍTULO: Semantic Wikis Distributed on Structured Peer-to-Peer Networks
AUTORES: Charbel Rahhal ;
PUBLICAÇÃO: 2018, FONTE: The International Journal of E-Learning and Educational Technologies in the Digital Media, VOLUME: 4, NÚMERO: 2, PÁGINAS: 39-46
INDEXADO EM: CrossRef
635
TÍTULO: Systems and methods for SPIT detection in VoIP: Survey and future directions  Full Text
AUTORES: Azad, MA; Morla, R ; Salah, K;
PUBLICAÇÃO: 2018, FONTE: COMPUTERS & SECURITY, VOLUME: 77, PÁGINAS: 1-20
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
636
TÍTULO: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTORES: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proença, J ;
PUBLICAÇÃO: 2018, FONTE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, NÚMERO: ICFP, PÁGINAS: 82:1-82:17
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
637
TÍTULO: The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications
AUTORES: Brunel, J; Chemouil, D; Cunha, A ; Macedo, N ;
PUBLICAÇÃO: 2018, FONTE: PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18), PÁGINAS: 884-887
INDEXADO EM: Scopus WOS DBLP CrossRef: 24
638
TÍTULO: The MAL Interactors Animator: Supporting model validation through animation. Supporting model validation through animation
AUTORES: Campos, JC ; Sousa, N;
PUBLICAÇÃO: 2018, FONTE: 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS (EICS'18), PÁGINAS: 11:1-11:7
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
639
TÍTULO: Totally Ordered Replication for Massive Scale Key-Value Stores
AUTORES: José Ribeiro; Nuno Machado ; Francisco Maia ; Miguel Matos ;
PUBLICAÇÃO: 2018, FONTE: DAIS, VOLUME: 10853 LNCS, PÁGINAS: 58-74
INDEXADO EM: Scopus DBLP CrossRef
640
TÍTULO: Towards a Simulation-Based Medical Education Platform for PVSio-Web
AUTORES: Silva, C; Campos, JC ;
PUBLICAÇÃO: 2018, FONTE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018), PÁGINAS: 1-8
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 32 de 83. Total de resultados: 1641.