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

149 Team Members
Filters -> Year: 2026
681
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: 177
682
TÍTULO: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web  Full Text
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
683
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
684
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
685
TÍTULO: Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution  Full Text
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
686
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
687
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: 53
688
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
690
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
692
TÍTULO: Identifying Persistent and Recurrent QoE Anomalies for DASH Streaming in the Cloud
AUTORES: Wang, C; Kim, H; Morla, R ;
PUBLICAÇÃO: 2017, FONTE: 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom) in 2017 9TH IEEE INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), VOLUME: 2017-December, PÁGINAS: 263-271
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
694
TÍTULO: Jasmin: High-Assurance and High-Speed Cryptography. High-Assurance and High-Speed Cryptography
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
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, PÁGINAS: 1807-1823
INDEXADO EM: Scopus WOS DBLP CrossRef: 86
695
TÍTULO: Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data. Scalable and Privacy-Preserving Processing of Outsourced Data
AUTORES: Manuel Barbosa ; Dario Catalano; Dario Fiore;
PUBLICAÇÃO: 2017, FONTE: ESORICS (1), VOLUME: 10492 LNCS, PÁGINAS: 146-166
INDEXADO EM: Scopus DBLP CrossRef: 16
696
TÍTULO: Layered Logics, Coalgebraically
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 2017, FONTE: Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings, VOLUME: 10669, PÁGINAS: 55-63
INDEXADO EM: DBLP
697
TÍTULO: LiteSense: An Adaptive Sensing Scheme for WSNs
AUTORES: Silva, JMC ; Bispo, KA; Carvalho, P ; Lima, SR;
PUBLICAÇÃO: 2017, FONTE: IEEE Symposium on Computers and Communications (ISCC) in 2017 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), PÁGINAS: 1209-1212
INDEXADO EM: Scopus WOS DBLP CrossRef
698
TÍTULO: Locating Energy Hotspots in Source Code
AUTORES: Pereira, R ;
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: 88-90
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
699
TÍTULO: Mining the Usage Patterns of ROS Primitives
AUTORES: Santos, A ; Cunha, A ; Macedo, N ; Arrais, R ; dos Santos, FN ;
PUBLICAÇÃO: 2017, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2017 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), VOLUME: 2017-September, PÁGINAS: 3855-3860
INDEXADO EM: Scopus WOS DBLP CrossRef: 20 Handle
700
TÍTULO: Mise-En-Scène of Narrative Action in Interactive Storytelling
AUTORES: Jamie Matthews; Fred Charles; Julie Porteous; Alexandra Mendes ;
PUBLICAÇÃO: 2017, FONTE: AAMAS, PÁGINAS: 1799-1801
INDEXADO EM: DBLP

Results per Page: 20.
Página 35 de 83. Total de resultados: 1641.