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

150 Team Members
Filters -> Year: 2025
561
TÍTULO: Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution  Full Text
AUTORES: Paulo Sergio Almeida ; Carlos Baquero ; Martin Farach Colton; Paulo Jesus; Miguel A Mosteiro;
PUBLICAÇÃO: 2017, FONTE: DISTRIBUTED COMPUTING, VOLUME: 30, NÚMERO: 4, PÁGINAS: 281-291
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
562
TÍTULO: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTORES: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
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: 29
563
TÍTULO: Global-Local View: Scalable Consistency for Concurrent Data Types PDF
AUTORES: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1705.03704
INDEXADO EM: DBLP arXiv
565
TÍTULO: Helping Programmers Improve the Energy Efficiency of Source Code
AUTORES: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
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: 12
566
TÍTULO: HTAPBench: Hybrid Transactional and Analytical Processing Benchmark. Hybrid Transactional and Analytical Processing Benchmark
AUTORES: Fábio Coelho ; João Paulo ; Ricardo Vilaça ; José Orlando Pereira ; Rui Oliveira ;
PUBLICAÇÃO: 2017, FONTE: 8th ACM/SPEC International Conference on Performance Engineering, ICPE 2017 in Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, ICPE 2017, L'Aquila, Italy, April 22-26, 2017, PÁGINAS: 293-304
INDEXADO EM: Scopus DBLP CrossRef Handle
567
TÍTULO: Identifying Persistent and Recurrent QoE Anomalies for DASH Streaming in the Cloud
AUTORES: Chen Wang; Hyong Kim; Ricardo Morla ;
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
568
TÍTULO: Inside packet sampling techniques: exploring modularity to enhance network measurements. INSIDE PACKET SAMPLING TECHNIQUES  Full Text
AUTORES: Silva, JMC ; Carvalho, P; Lima, SR;
PUBLICAÇÃO: 2017, FONTE: International Journal of Communication Systems, VOLUME: 30, NÚMERO: 6
INDEXADO EM: Scopus CrossRef: 7
569
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: DBLP
570
TÍTULO: Jasmin: High-Assurance and High-Speed Cryptography. High-Assurance and High-Speed Cryptography  Full Text
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, VOLUME: Part F131467, PÁGINAS: 1807-1823
INDEXADO EM: Scopus WOS DBLP CrossRef: 61
571
TÍTULO: Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data
AUTORES: Manuel Barbosa ; Dario Catalano; Dario Fiore;
PUBLICAÇÃO: 2017, FONTE: 22nd European Symposium on Research in Computer Security, ESORICS 2017 in Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I, VOLUME: 10492, PÁGINAS: 146-166
INDEXADO EM: Scopus DBLP CrossRef: 15
572
TÍTULO: Labeled Homomorphic Encryption: Scalable and Privacy-Preserving Processing of Outsourced Data
AUTORES: Manuel Barbosa ; Dario Catalano; Dario Fiore;
PUBLICAÇÃO: 2017, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2017, PÁGINAS: 326
INDEXADO EM: DBLP
573
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
574
TÍTULO: LiteSense: An Adaptive Sensing Scheme for WSNs
AUTORES: Joao Marco C Silva ; Kalil Araujo Bispo; Paulo Carvalho; Solange Rito Lima;
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 CrossRef: 2
575
TÍTULO: LiteSense: An adaptive sensing scheme for WSNs
AUTORES: João Marco C Silva ; Kalil Araujo Bispo; Paulo Carvalho; Solange Rito Lima;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE Symposium on Computers and Communications, ISCC 2017, Heraklion, Greece, July 3-6, 2017, PÁGINAS: 1209-1212
INDEXADO EM: DBLP
576
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 Handle
577
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: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, PÁGINAS: 1799-1801
INDEXADO EM: DBLP
578
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: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, PÁGINAS: 782-790
INDEXADO EM: DBLP
579
TÍTULO: Modeling Families of Public Licensing Services: A Case Study
AUTORES: Guillermina Cledou ; Luis Soares Barbosa ;
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
580
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: 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017 in Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017, Lisbon, Portugal, June 26-29, 2017, PÁGINAS: 111-116
INDEXADO EM: Scopus DBLP CrossRef Handle

Results per Page: 20.
Página 29 de 75. Total de resultados: 1498.