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

167 Team Members
Filters -> Year: 2026
641
TÍTULO: Data Management and Privacy in a World of Data Wealth
AUTORES: Francisco Maia ;
PUBLICAÇÃO: 2017, FONTE: EDCC, PÁGINAS: 6-7
INDEXADO EM: DBLP CrossRef: 1
642
TÍTULO: Database replication for enterprise applications
AUTORES: Ana L P N Alonso ;
PUBLICAÇÃO: 2017
INDEXADO EM: Handle
643
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: DAIS, VOLUME: 10320 LNCS, PÁGINAS: 51-66
INDEXADO EM: Scopus DBLP CrossRef
644
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: 2 Handle
645
TÍTULO: Digital Governance for Sustainable Development
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 2017, FONTE: I3E, VOLUME: 10595 LNCS, PÁGINAS: 85-93
INDEXADO EM: Scopus DBLP CrossRef: 8
646
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: 4 Handle
647
TÍTULO: DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones
AUTORES: Gonçalves, R ; Almeida, PS ; Baquero, C ; Fonte, V ;
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: 4 Handle
648
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: SQAMIA, VOLUME: 1938
INDEXADO EM: Scopus DBLP
649
TÍTULO: Energy Efficiency across Programming Languages
AUTORES: Pereira, R ; Couto, M ; Ribeiro, F ; Rua, R ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
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: 184
650
TÍTULO: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web
AUTORES: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 240, NÚMERO: 240, PÁGINAS: 1-19
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
651
TÍTULO: Exploiting Partial Knowledge for Efficient Model Analysis
AUTORES: Macedo, N ; Cunha, A ; Pessoa, E;
PUBLICAÇÃO: 2017, FONTE: AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2017), VOLUME: 10482, PÁGINAS: 344-362
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
652
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: 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 NEW2AN, VOLUME: 10531 LNCS, PÁGINAS: 109-120
INDEXADO EM: Scopus DBLP CrossRef
653
TÍTULO: Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution
AUTORES: Almeida, PS ; Baquero, C ; Farach Colton, M; Jesus, P; Mosteiro, MA;
PUBLICAÇÃO: 2017, FONTE: DISTRIBUTED COMPUTING, VOLUME: 30, NÚMERO: 4, PÁGINAS: 281-291
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
654
TÍTULO: Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
AUTORES: José Proença ; Markus Lumpe;
PUBLICAÇÃO: 2017, FONTE: FACS, VOLUME: 10487
INDEXADO EM: DBLP
655
TÍTULO: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTORES: Halder, R; Proença, J ; Macedo, N ; Santos, A;
PUBLICAÇÃO: 2017, FONTE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PÁGINAS: 44-50
INDEXADO EM: Scopus WOS DBLP CrossRef: 55
656
TÍTULO: Grand Timely Topics in Software Engineering. International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
AUTORES: Jácome Cunha ; João P Fernandes; Ralf Lämmel; João Saraiva; Vadim Zaytsev;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef: 1 Openlibrary
658
TÍTULO: Helping Programmers Improve the Energy Efficiency of Source Code
AUTORES: Pereira, R ; Carçao, T; Couto, M ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLICAÇÃO: 2017, FONTE: IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) in PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), PÁGINAS: 238-240
INDEXADO EM: Scopus WOS DBLP CrossRef: 21
660
TÍTULO: Inside packet sampling techniques: exploring modularity to enhance network measurements
AUTORES: João Marco C Silva ; Paulo Carvalho ; Solange Rito Lima;
PUBLICAÇÃO: 2017, FONTE: Int. J. Commun. Syst., VOLUME: 30, NÚMERO: 6
INDEXADO EM: Scopus DBLP CrossRef: 10

Results per Page: 20.
Página 33 de 79. Total de resultados: 1570.