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

150 Team Members
Filters -> Year: 2024
441
TÍTULO: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations PDF
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Vincent Laporte; Tiago Oliveira; Pierre Yves Strub;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1904.04606
INDEXADO EM: DBLP arXiv
442
TÍTULO: Towards Intra-Datacentre High-Availability in CloudDBAppliance
AUTORES: Ferreira, L ; Coelho, F ; Alonso, AN ; Pereira, J ;
PUBLICAÇÃO: 2019, FONTE: 9th International Conference on Cloud Computing and Services Science (CLOSER) in CLOSER: PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, PÁGINAS: 635-641
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
443
TÍTULO: Towards using Memoization for Saving Energy in Android
AUTORES: Rui Rua ; Marco Couto ; Adriano Pinto; Jácome Cunha ; João Saraiva ;
PUBLICAÇÃO: 2019, FONTE: 22nd Ibero-American Conference on Software Engineering, CIbSE 2019 in Proceedings of the XXII Iberoamerican Conference on Software Engineering, CIbSE 2019, La Habana, Cuba, April 22-26, 2019., PÁGINAS: 279-292
INDEXADO EM: Scopus DBLP
444
TÍTULO: Trends on Engineering Interactive Systems: an overview of works presented in workshops at EICS 2019. an overview of works presented in workshops at EICS 2019
AUTORES: Distante, D; Winckler, M; Bernhaupt, R; Bowen, J; Campos, JC ; Müller, F; Palanque, P; Van Den Bergh, J; Weyers, B; Voit, A;
PUBLICAÇÃO: 2019, FONTE: 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS (EICS'19), PÁGINAS: 22:1-22:6
INDEXADO EM: Scopus WOS DBLP CrossRef
445
TÍTULO: TRUSTFS: An SGX-enabled Stackable File System Framework
AUTORES: Tania Esteves ; Ricardo Macedo ; Alberto Faria ; Bernardo Portela ; Joao Paulo ; Jose Pereira ; Danny Harnik;
PUBLICAÇÃO: 2019, FONTE: 38th International Symposium on Reliable Distributed Systems (SRDS) in 2019 38TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS WORKSHOPS (SRDSW 2019), PÁGINAS: 25-30
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
446
TÍTULO: Verification Templates for the Analysis of User Interface Software Design  Full Text
AUTORES: Harrison, MD; Masci, P; Campos, JC ;
PUBLICAÇÃO: 2019, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 45, NÚMERO: 8, PÁGINAS: 802-822
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
447
TÍTULO: Yet a Smarter Irrigation System
AUTORES: Sérgio F Lopes; Rui M S Pereira; Sofia O Lopes; Micael Coutinho; Aureliano Malheiro; Victor Fonte ;
PUBLICAÇÃO: 2019, FONTE: Science and Technologies for Smart Cities - 5th EAI International Summit, SmartCity360°, Braga, Portugal, December 4-6, 2019, Proceedings, VOLUME: 323, PÁGINAS: 337-346
INDEXADO EM: DBLP
448
TÍTULO: 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018, Lisbon, Portugal, October 1-4, 2018
AUTORES: Jácome Cunha ; João Paulo Fernandes ; Caitlin Kelleher; Gregor Engels; Jorge Mendes ;
PUBLICAÇÃO: 2018, FONTE: VL/HCC
INDEXADO EM: DBLP
449
TÍTULO: A Building Automation Case Study Setup and Challenges
AUTORES: Cambeiro, J; Gomes, C; Amaral, V; Rodrigues, A; Cunha, J ;
PUBLICAÇÃO: 2018, FONTE: 4th IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) in 2018 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SMART CYBER-PHYSICAL SYSTEMS (SESCPS), VOLUME: Part F138012, PÁGINAS: 41-44
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
450
TÍTULO: A Generalized Approach to Verification Condition Generation  Full Text
AUTORES: Cláudio Belo Lourenço; Maria João Frade ; Shin Nakajima; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2018, FONTE: 42nd IEEE Computer Software and Applications Conference, COMPSAC 2018 in 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 1, VOLUME: 1, PÁGINAS: 194-203
INDEXADO EM: Scopus DBLP CrossRef: 1
451
TÍTULO: A logic for the stepwise development of reactive systems  Full Text
AUTORES: Alexandre Madeira ; Luis S Barbosa ; Rolf Hennicker; Manuel A Martins ;
PUBLICAÇÃO: 2018, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744, PÁGINAS: 78-96
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
452
TÍTULO: A Modular Tool for Benchmarking IoT Publish-Subscribe Middleware
AUTORES: Zilhao, L; Ricardo Morla ; Ana Aguiar ;
PUBLICAÇÃO: 2018, FONTE: 19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM) in 2018 IEEE 19TH INTERNATIONAL SYMPOSIUM ON A WORLD OF WIRELESS, MOBILE AND MULTIMEDIA NETWORKS (WOWMOM), PÁGINAS: 14-19
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
453
TÍTULO: A Note on Reactive Transitions and Reo Connectors
AUTORES: Daniel Figueiredo; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865, PÁGINAS: 57-67
INDEXADO EM: Scopus DBLP CrossRef: 3
455
TÍTULO: A Research Agenda on Quantum Algoritmics
AUTORES: Luis S Barbosa ; Alexandre Madeira ;
PUBLICAÇÃO: 2018, FONTE: ERCIM NEWS, VOLUME: 2018, NÚMERO: 113, PÁGINAS: 44-45
INDEXADO EM: WOS DBLP
456
TÍTULO: A Semantics for Hybrid Iteration PDF
AUTORES: Sergey Goncharov; Julian Jakob; Renato Neves ;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1807.01053
INDEXADO EM: DBLP arXiv
457
TÍTULO: A Semantics for Hybrid Iteration
AUTORES: Sergey Goncharov; Julian Jakob; Renato Neves ;
PUBLICAÇÃO: 2018, FONTE: 29th International Conference on Concurrency Theory, CONCUR 2018 in 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, VOLUME: 118, PÁGINAS: 22:1-22:17
INDEXADO EM: Scopus DBLP
458
TÍTULO: A taxonomy for planning and designing smart mobility services
AUTORES: Guillermina Cledou ; Elsa Estevez; Luis Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 35, NÚMERO: 1, PÁGINAS: 61-76
INDEXADO EM: WOS DBLP CrossRef: 41
459
TÍTULO: Assessment of an IoT platform for data collection and analysis for medical sensors
AUTORES: Rei, J; Brito, C ; Sousa, A ;
PUBLICAÇÃO: 2018, FONTE: 4th IEEE International Conference on Collaboration and Internet Computing, CIC 2018 in Proceedings - 4th IEEE International Conference on Collaboration and Internet Computing, CIC 2018, PÁGINAS: 405-411
INDEXADO EM: Scopus CrossRef: 1
460
TÍTULO: Benchmarking Pub/Sub IoT middleware platforms for smart services
AUTORES: Carlos Pereira; João Cardoso; Ana Aguiar ; Ricardo Morla ;
PUBLICAÇÃO: 2018, FONTE: J. Reliable Intelligent Environments, VOLUME: 4, NÚMERO: 1, PÁGINAS: 25-37
INDEXADO EM: Scopus DBLP CrossRef: 16

Results per Page: 20.
Página 23 de 75. Total de resultados: 1490.