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

149 Team Members
Filters -> Year: 2026
681
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
682
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
683
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
685
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
687
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
688
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
689
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: 88
690
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
691
TÍTULO: Layered Logics, Coalgebraically
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 2017, FONTE: DALI@TABLEAUX, PÁGINAS: 55-63
INDEXADO EM: DBLP
692
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
693
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
694
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
695
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
696
TÍTULO: MISER: Mise-En-Scène Region Support for Staging Narrative Actions in Interactive Storytelling
AUTORES: Jamie Matthews; Fred Charles; Julie Porteous; Alexandra Mendes ;
PUBLICAÇÃO: 2017, FONTE: AAMAS, PÁGINAS: 782-790
INDEXADO EM: DBLP
697
TÍTULO: Modeling Families of Public Licensing Services: A Case Study
AUTORES: Cledou, G ; Barbosa, LS ;
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: 37-43
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
698
TÍTULO: MODUS: model-based user interfaces prototyping. model-based user interfaces prototyping
AUTORES: Marina Machado; Rui Couto ; José Creissac Campos ;
PUBLICAÇÃO: 2017, FONTE: EICS, PÁGINAS: 111-116
INDEXADO EM: Scopus DBLP CrossRef: 7 Handle
699
TÍTULO: Multi-view data types for scalable concurrency in the multi-core era
AUTORES: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: PMLDC@ECOOP, PÁGINAS: 3:1
INDEXADO EM: DBLP
700
TÍTULO: Networks of Universities as a Tool for GCIO Education
AUTORES: Luís Soares Barbosa ; Luís Paulo Santos ;
PUBLICAÇÃO: 2017, FONTE: EGOV, VOLUME: 10428 LNCS, PÁGINAS: 117-127
INDEXADO EM: Scopus DBLP CrossRef

Results per Page: 20.
Página 35 de 82. Total de resultados: 1637.