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: 1572

149 Team Members
Filters -> Year: 2025
581
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
583
TÍTULO: TOWARDS ENERGY-AWARE CODING PRACTICES FOR ANDROID  Full Text
AUTORES: João SARAIVA ; HASLab/INESC TEC, University of Minho, Portugal, ; Marco COUTO; Csaba SZABÓ; Dávid NOVÁK; HASLab/INESC TEC, University of Minho, Portugal, ; Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, Slovak Rep, ; Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, Slovak Rep, ;
PUBLICAÇÃO: 2018, FONTE: Acta Electrotechnica et Informatica, VOLUME: 18, NÚMERO: 1, PÁGINAS: 19-25
INDEXADO EM: CrossRef: 2
584
TÍTULO: Towards Verified Handwritten Calculational Proofs
AUTORES: Alexandra Mendes ; Joao F Ferreira;
PUBLICAÇÃO: 2018, FONTE: 9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC) in INTERACTIVE THEOREM PROVING, ITP 2018, VOLUME: 10895, PÁGINAS: 432-440
INDEXADO EM: WOS DBLP
585
TÍTULO: Transforming Legal Documents for Visualization and Analysis
AUTORES: Nuno Ramos Carvalho; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 23-26
INDEXADO EM: Scopus DBLP CrossRef: 6
586
TÍTULO: Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
AUTORES: Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 307-321
INDEXADO EM: Scopus DBLP CrossRef: 17
587
TÍTULO: 2017 Wireless Days, Porto, Portugal, March 29-31, 2017
AUTORES: Manuel Ricardo ; Rui Campos; José Ruela; Ricardo Morla ; Filipe Teixeira; Luís Pessoa ; Henrique Salgado;
PUBLICAÇÃO: 2017, FONTE: Wireless Days
INDEXADO EM: DBLP
588
TÍTULO: A Fast and Verified Software Stack for Secure Function Evaluation  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Gregoire, B; Laporte, V; Pereira, V ;
PUBLICAÇÃO: 2017, FONTE: 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, PÁGINAS: 1989-2006
INDEXADO EM: Scopus WOS DBLP CrossRef: 21 Unpaywall
589
TÍTULO: A Fast and Verified Software Stack for Secure Function Evaluation
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Vitor Pereira ;
PUBLICAÇÃO: 2017, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2017, PÁGINAS: 821
INDEXADO EM: DBLP
590
TÍTULO: A Feature-Based Classification of Model Repair Approaches  Full Text
AUTORES: Nuno Macedo ; Jorge Tiago; Alcino Cunha ;
PUBLICAÇÃO: 2017, FONTE: IEEE Trans. Software Eng., VOLUME: 43, NÚMERO: 7, PÁGINAS: 615-640
INDEXADO EM: Scopus DBLP CrossRef: 44
591
TÍTULO: A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services
AUTORES: Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa ;
PUBLICAÇÃO: 2017, FONTE: CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017., PÁGINAS: 201-212
INDEXADO EM: DBLP
592
TÍTULO: A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices
AUTORES: Paolo Masci ; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLICAÇÃO: 2017, FONTE: 15th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2017 in Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, VOLUME: 10469, PÁGINAS: 284-299
INDEXADO EM: Scopus DBLP CrossRef: 7
593
TÍTULO: A Modular Traffic Sampling Architecture: Bringing Versatility and Efficiency to Massive Traffic Analysis  Full Text
AUTORES: João Marco C Silva ; Paulo Carvalho ; Solange Rito Lima;
PUBLICAÇÃO: 2017, FONTE: J. Netw. Syst. Manag., VOLUME: 25, NÚMERO: 3, PÁGINAS: 643-668
INDEXADO EM: Scopus DBLP CrossRef: 5
594
TÍTULO: A More Intelligent Test Case Generation Approach through Task Models Manipulation
AUTORES: José Creissac Campos ; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A Palanque; Miguel Pinto;
PUBLICAÇÃO: 2017, FONTE: PACMHCI, VOLUME: 1, NÚMERO: 1, PÁGINAS: 9:1-9:20
INDEXADO EM: Scopus DBLP CrossRef: 18
595
TÍTULO: A Practical Framework for Privacy-Preserving NoSQL Databases  Full Text
AUTORES: Ricardo Macedo ; Joao Paulo ; Rogerio Pontes ; Bernardo Portela ; Tiago Oliveira ; Miguel Matos ; Rui Oliveira ;
PUBLICAÇÃO: 2017, FONTE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2017-September, PÁGINAS: 11-20
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
596
TÍTULO: A Refinement Relation for Families of Timed Automata
AUTORES: Guillermina Cledou ; Jose Proenca ; Luis S Barbosa ;
PUBLICAÇÃO: 2017, FONTE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PÁGINAS: 161-178
INDEXADO EM: Scopus WOS DBLP CrossRef
597
TÍTULO: Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis. Literature Review, Trends and Gap Analysis
AUTORES: Morten Meyerhoff Nielsen; Nuno Ramos Carvalho; Linda Veiga ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the 10th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2017, New Delhi, India, March 07 - 09, 2017, VOLUME: Part F128003, PÁGINAS: 140-148
INDEXADO EM: Scopus DBLP CrossRef: 13
598
TÍTULO: Aggregation Protocols in Light of Reliable Communication
AUTORES: Ziad Kassam ; Ali Shoker ; Paulo Sergio Almeida ; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: IEEE 16th International Symposium on Network Computing and Applications (NCA) in 2017 IEEE 16TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), VOLUME: 2017-January, PÁGINAS: 145-148
INDEXADO EM: Scopus WOS DBLP CrossRef
599
TÍTULO: AN ECONOMIC ENERGY APPROACH FOR QUERIES ON DATA CENTERS
AUTORES: Joao Saraiva ; Miguel Guimarales; Orlando Belot;
PUBLICAÇÃO: 2017, FONTE: 3rd Internacional Conference on Energy and Environment (ICEE) - Bringing Together Economics and Engineering in PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON ENERGY AND ENVIRONMENT (ICEE 2017), PÁGINAS: 679-685
INDEXADO EM: WOS
600
TÍTULO: As Secure as Possible Eventual Consistency. Work in Progress
AUTORES: Ali Shoker ; Houssam Yactine ; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PÁGINAS: 5:1-5:5
INDEXADO EM: Scopus WOS DBLP CrossRef: 4

Results per Page: 20.
Página 30 de 79. Total de resultados: 1572.