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

150 Team Members
Filters -> Year: 2025
541
TÍTULO: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510, PÁGINAS: 407-421
INDEXADO EM: Scopus DBLP
542
TÍTULO: Compact Resettable Counters through Causal Stability
AUTORES: Georges Younes ; Paulo Sergio Almeida ; 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: 2:1-2:3
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
543
TÍTULO: Composing Families of Timed Automata
AUTORES: Guillermina Cledou ; Jose Proenca ; Luis Soares Barbosa ;
PUBLICAÇÃO: 2017, FONTE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522, PÁGINAS: 51-66
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
544
TÍTULO: COMPOSITION IN STATE-BASED REPLICATED DATA TYPES
AUTORES: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLICAÇÃO: 2017, FONTE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, NÚMERO: 123
INDEXADO EM: WOS DBLP
545
TÍTULO: Computer Aided Verification of Relational Models by Strategic Rewriting  Full Text
AUTORES: Claudia M Necco; Jose N Oliveira ; Joost Visser; Roberto Uzal;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, NÚMERO: 2, PÁGINAS: 140-148
INDEXADO EM: WOS
546
TÍTULO: Continuous Ambulatory Peritoneal Dialysis: Business Intelligence applied to patient monitoring CAPD study and statistics
AUTORES: Catarina Peixoto; Claudia Brito ; Mariana Fontainhas; Peixoto, Hugo ; José Machado ; António Abelha ;
PUBLICAÇÃO: 2017, FONTE: IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud) in 2017 5TH INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD WORKSHOPS (FICLOUDW) 2017, VOLUME: 2017-January, PÁGINAS: 178-185
INDEXADO EM: Scopus WOS DBLP CrossRef
547
TÍTULO: Database replication for enterprise applications
AUTORES: Ana L P N Alonso ;
PUBLICAÇÃO: 2017
INDEXADO EM: Handle
548
TÍTULO: DDFlasks: Deduplicated Very Large Scale Data Store
AUTORES: Francisco Maia ; João Paulo ; Fábio Coelho ; Francisco Neves ; José Pereira ; Rui Oliveira ;
PUBLICAÇÃO: 2017, FONTE: 17th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2017 - Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017 in Distributed Applications and Interoperable Systems - 17th IFIP WG 6.1 International Conference, DAIS 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, VOLUME: 10320, PÁGINAS: 51-66
INDEXADO EM: Scopus DBLP CrossRef
549
TÍTULO: Demonstrating that Medical Devices Satisfy User Related Safety Requirements
AUTORES: Harrison, MD; Masci, P ; Campos, JC ; Curzon, P;
PUBLICAÇÃO: 2017, FONTE: 4th International Symposium on Foundations of Health Information Engineering and Systems (FHIES) / 6th International Workshop on Software Engineering in Healthcare (SEHC) in SOFTWARE ENGINEERING IN HEALTH CARE, SEHC 2014, VOLUME: 9062, PÁGINAS: 113-128
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
550
TÍTULO: Digital Governance for Sustainable Development
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 2017, FONTE: 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017 in Digital Nations - Smart Cities, Innovation, and Sustainability - 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017, Delhi, India, November 21-23, 2017, Proceedings, VOLUME: 10595, PÁGINAS: 85-93
INDEXADO EM: Scopus DBLP CrossRef: 1
551
TÍTULO: Don't go in there! using the APEX framework in the design of ambient assisted living systems
AUTORES: Campos, JC ; Abade, T; Silva, JL; Harrison, MD;
PUBLICAÇÃO: 2017, FONTE: 9th International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI) in JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, VOLUME: 8, NÚMERO: 4, PÁGINAS: 551-566
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
552
TÍTULO: DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones  Full Text
AUTORES: Ricardo Goncalves ; Paulo Sergio Almeida ; Carlos Baquero ; Vitor Fonte ;
PUBLICAÇÃO: 2017, FONTE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), PÁGINAS: 194-203
INDEXADO EM: WOS DBLP CrossRef: 3
553
TÍTULO: Early identification of spammers through identity linking, social network and call features  Full Text
AUTORES: Muhammad Ajmal Azad ; Ricardo Morla ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF COMPUTATIONAL SCIENCE, VOLUME: 23, PÁGINAS: 157-172
INDEXADO EM: Scopus WOS CrossRef: 4
554
TÍTULO: Effect of Pipelining and Multiplexing in Estimating HTTP/2.0 Web Object Sizes PDF
AUTORES: Ricardo Morla ;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1707.00641
INDEXADO EM: DBLP arXiv
555
TÍTULO: Energy Consumption Measurement of C/C++ Programs Using Clang Tooling PDF
AUTORES: Mário Santos; João Saraiva ; Zoltán Porkoláb; Dániel Krupp;
PUBLICAÇÃO: 2017, FONTE: 6th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, SQAMIA 2017 in Proceedings of the Sixth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, Belgrade, Serbia, September 11-13, 2017., VOLUME: 1938
INDEXADO EM: Scopus DBLP
556
TÍTULO: Energy Efficiency across Programming Languages
AUTORES: Rui Pereira ; Marco Couto ; Francisco Ribeiro ; Rui Rua ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLICAÇÃO: 2017, FONTE: 10th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of ACM SIGPLAN Conference on Systems, Programming, Languages and Applications - Software for Humanity (SPLASH) in SLE'17: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, PÁGINAS: 256-267
INDEXADO EM: Scopus WOS DBLP CrossRef: 45
557
TÍTULO: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web PDF  Full Text
AUTORES: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLICAÇÃO: 2017, FONTE: 3rd Workshop on Formal Integrated Development Environment, F-IDE 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/1701.07925, NÚMERO: 240, PÁGINAS: 1-19
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 1
558
TÍTULO: Exploiting Partial Knowledge for Efficient Model Analysis
AUTORES: Nuno Macedo ; Alcino Cunha ; Eduardo Pessoa;
PUBLICAÇÃO: 2017, FONTE: 15th International Conference on Automated Technology for Verification and Analysis, ATVA 2017 in Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, VOLUME: 10482, PÁGINAS: 344-362
INDEXADO EM: Scopus DBLP CrossRef: 3
559
TÍTULO: Exploring SDN to deploy flexible sampling-based network monitoring
AUTORES: da Silva, CP; Lima, SR; Silva, JM ;
PUBLICAÇÃO: 2017, FONTE: 17th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2017, 10th Conference on Internet of Things and Smart Spaces, ruSMART 2017 and 3rd International Workshop on Nano-scale Computing and Communications, NsCC 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10531 LNCS, PÁGINAS: 109-120
INDEXADO EM: Scopus CrossRef
560
TÍTULO: Exploring SDN to Deploy Flexible Sampling-Based Network Monitoring
AUTORES: Catarina Pires da Silva; Solange Rito Lima; João Marco C Silva ;
PUBLICAÇÃO: 2017, FONTE: Internet of Things, Smart Spaces, and Next Generation Networks and Systems - 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings, VOLUME: 10531, PÁGINAS: 109-120
INDEXADO EM: DBLP

Results per Page: 20.
Página 28 de 75. Total de resultados: 1498.