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

Publications Count: 1241

112 Team Members
Filters -> Year: 2020
1
TÍTULO: A component-based framework for certification of components in a cloud of HPC services  Full Text
AUTORES: de Oliveira Dantas, AB; de Carvalho Junior, FH; Barbosa, LS ;
FONTE: Science of Computer Programming, VOLUME: 191, PÁGINAS: 102379, PUBLICAÇÃO: 2020
INDEXADO EM: Scopus CrossRef
2
TÍTULO: SPELLing out energy leaks: Aiding developers locate energy inefficient code  Full Text
AUTORES: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha; Joao Paulo Fernandes; Joao Saraiva ;
FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PÁGINAS: 110463, PUBLICAÇÃO: 2020
INDEXADO EM: Scopus WOS CrossRef
3
TÍTULO: A case for dynamically programmable storage background tasks
AUTORES: Macedo, R ; Faria, A ; Paulo, J; Pereira, J;
FONTE: 38th International Symposium on Reliable Distributed Systems Workshops, SRDSW 2019 in Proceedings - 2019 38th International Symposium on Reliable Distributed Systems Workshops, SRDSW 2019, PÁGINAS: 7-12, PUBLICAÇÃO: 2019
INDEXADO EM: Scopus CrossRef
5
TÍTULO: A Generalized Program Verification Workflow Based on Loop Elimination and SA Form
AUTORES: Belo Lourenco, C; Frade, MJ ; Sousa Pinto, J ;
FONTE: 7th IEEE/ACM International Workshop on Formal Methods in Software Engineering, FormaliSE 2019 in Proceedings - 2019 IEEE/ACM 7th International Workshop on Formal Methods in Software Engineering, FormaliSE 2019, PÁGINAS: 75-84, PUBLICAÇÃO: 2019
INDEXADO EM: Scopus CrossRef
6
TÍTULO: A generator of user interface prototypes for the IVY workbench
AUTORES: Araujo, JM; Couto, R; Campos, JC ;
FONTE: 2019 International Conference on Graphics and Interaction, ICGI 2019 in ICGI 2019 - Proceedings of the International Conference on Graphics and Interaction, PÁGINAS: 32-39, PUBLICAÇÃO: 2019
INDEXADO EM: Scopus CrossRef
7
TÍTULO: A Machine-Checked Proof of Security for AWS Key Management Service  Full Text
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Matthew Campagna; Ernie Cohen; Benjamin Gregoire; Vitor Pereira; Bernardo Portela; Pierre Yves Strub; Serdar Tasiran;
FONTE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PÁGINAS: 63-78, PUBLICAÇÃO: 2019
INDEXADO EM: Scopus WOS CrossRef
8
TÍTULO: A Net-Based Formal Framework for Causal Loop Diagrams
AUTORES: Guillermina Cledou ; Shin Nakajima;
FONTE: 3rd International Asia-Pacific Conference on Complex Systems Design and Management (CSD and M Asia) in COMPLEX SYSTEMS DESIGN & MANAGEMENT ASIA: SMART TRANSPORTATION, CSD&M ASIA 2018, VOLUME: 878, PÁGINAS: 1-12, PUBLICAÇÃO: 2019
INDEXADO EM: Scopus WOS CrossRef
9
TÍTULO: A use error taxonomy for improving human-machine interface design in medical devices  Full Text
AUTORES: Silva, C; Masci, P; Zhang, Y; Jones, P; Campos, JC ;
FONTE: ACM SIGBED Review, VOLUME: 16, NÚMERO: 2, PÁGINAS: 24-30, PUBLICAÇÃO: 2019
INDEXADO EM: Scopus CrossRef
10
TÍTULO: An Adequate While-Language for Hybrid Computation PDF
AUTORES: Sergey Goncharov; Renato Neves ;
FONTE: CoRR, VOLUME: abs/1902.07684, PUBLICAÇÃO: 2019
INDEXADO EM: DBLP arXiv
11
TÍTULO: An ontology-based recommendation system for context-aware network monitoring
AUTORES: Silva, RF; Carvalho, P; Rito Lima, S; Álvarez Sabucedo, L; Santos Gago, JM; Silva, JMC ;
FONTE: World Conference on Information Systems and Technologies, WorldCIST 2019 in Advances in Intelligent Systems and Computing, VOLUME: 931, PÁGINAS: 373-384, PUBLICAÇÃO: 2019
INDEXADO EM: Scopus
12
TÍTULO: Anomaly Detection and Modeling in 802.11 Wireless Networks  Full Text
AUTORES: Anisa Allahdadi ; Ricardo Morla ;
FONTE: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, VOLUME: 27, NÚMERO: 1, PÁGINAS: 3-38, PUBLICAÇÃO: 2019
INDEXADO EM: Scopus WOS DBLP CrossRef
13
TÍTULO: Conflict-Free Replicated Data Types CRDTs
AUTORES: Nuno M Preguiça; Carlos Baquero ; Marc Shapiro;
FONTE: Encyclopedia of Big Data Technologies., PUBLICAÇÃO: 2019
INDEXADO EM: DBLP
14
TÍTULO: Coordination of Tasks on a Real-Time OS
AUTORES: Guillermina Cledou ; Jose Proenca ; Bernhard H C Sputh; Eric Verhulst;
FONTE: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION,) Held as Part of the 14th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2019, VOLUME: 11533, PÁGINAS: 250-266, PUBLICAÇÃO: 2019
INDEXADO EM: Scopus WOS CrossRef
15
TÍTULO: Data Security and Trustworthiness in Online Public Services: An Assessment of Portuguese Institutions
AUTORES: Joao Marco C Silva ; Vitor Fonte ;
FONTE: 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV2019), VOLUME: Part F148155, PÁGINAS: 348-353, PUBLICAÇÃO: 2019
INDEXADO EM: Scopus WOS CrossRef
16
TÍTULO: Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation
AUTORES: Nuno Ramos Carvalho; Luis Soares Barbosa ;
FONTE: 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV2019), VOLUME: Part F148155, PÁGINAS: 76-79, PUBLICAÇÃO: 2019
INDEXADO EM: Scopus WOS CrossRef
17
TÍTULO: Distributed Applications and Interoperable Systems
AUTORES: José Pereira ; Laura Ricci;
FONTE: Lecture Notes in Computer Science, PUBLICAÇÃO: 2019
INDEXADO EM: CrossRef
18
TÍTULO: e-LiteSense: Self-adaptive energy-aware data sensing in WSN environments
AUTORES: Silva, JM ; Carvalho, P; Bispo, KA; Rito Lima, S;
FONTE: International Journal of Communication Systems, PUBLICAÇÃO: 2019
INDEXADO EM: Scopus
19
TÍTULO: Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality
AUTORES: Manuel Barbosa ; Dario Catalano; Azam Soleimanian; Bogdan Warinschi;
FONTE: Cryptographers Track at the RSA Conference 2019, CT-RSA 2019 in Topics in Cryptology - CT-RSA 2019 - The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4-8, 2019, Proceedings, VOLUME: 11405, PÁGINAS: 127-148, PUBLICAÇÃO: 2019
INDEXADO EM: Scopus DBLP CrossRef
20
TÍTULO: Efficient Synchronization of State-based CRDTs PDF
AUTORES: Vitor Enes ; Paulo Sergio Almeida ; Carlos Baquero ; Joao Leitao;
FONTE: IEEE 35th International Conference on Data Engineering (ICDE) in 2019 IEEE 35TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE 2019), VOLUME: 2019-April, PÁGINAS: 148-159, PUBLICAÇÃO: 2019
INDEXADO EM: Scopus WOS DBLP arXiv

Results per Page: 20.
Página 1 de 63. Total de resultados: 1241.