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

149 Team Members
Filters -> Year: 2026
681
TÍTULO: Digital Governance for Sustainable Development
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 2017, FONTE: 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017 in Digital Nations - Smart Cities, Innovation, and Sustainability - 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017, Delhi, India, November 21-23, 2017, Proceedings, VOLUME: 10595, PÁGINAS: 85-93
INDEXADO EM: Scopus DBLP CrossRef: 7
682
TÍTULO: Don't go in there! using the APEX framework in the design of ambient assisted living systems
AUTORES: Campos, JC ; Abade, T; Silva, JL; Harrison, MD;
PUBLICAÇÃO: 2017, FONTE: 9th International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI) in JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, VOLUME: 8, NÚMERO: 4, PÁGINAS: 551-566
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Handle
683
TÍTULO: DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones
AUTORES: Gonçalves, R ; Almeida, PS ; Baquero, C ; Fonte, V ;
PUBLICAÇÃO: 2017, FONTE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), PÁGINAS: 194-203
INDEXADO EM: WOS DBLP CrossRef: 4 Handle
684
TÍTULO: Early identification of spammers through identity linking, social network and call features
AUTORES: Azad, MA ; Morla, R ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF COMPUTATIONAL SCIENCE, VOLUME: 23, PÁGINAS: 157-172
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
685
TÍTULO: Effect of Pipelining and Multiplexing in Estimating HTTP/2.0 Web Object Sizes PDF
AUTORES: Ricardo Morla ;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1707.00641
INDEXADO EM: DBLP arXiv
686
TÍTULO: Energy Consumption Measurement of C/C++ Programs Using Clang Tooling
AUTORES: Mário Santos; João Saraiva ; Zoltán Porkoláb; Dániel Krupp;
PUBLICAÇÃO: 2017, FONTE: SQAMIA, VOLUME: 1938
INDEXADO EM: Scopus DBLP
687
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
688
TÍTULO: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web
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
689
TÍTULO: Exploiting Partial Knowledge for Efficient Model Analysis
AUTORES: Nuno Macedo ; Alcino Cunha ; Eduardo Pessoa;
PUBLICAÇÃO: 2017, FONTE: ATVA, VOLUME: 10482 LNCS, PÁGINAS: 344-362
INDEXADO EM: Scopus DBLP CrossRef: 5
690
TÍTULO: Exploring SDN to deploy flexible sampling-based network monitoring
AUTORES: da Silva, CP; Lima, SR; Silva, JM ;
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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10531 LNCS, PÁGINAS: 109-120
INDEXADO EM: Scopus CrossRef: 1
691
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: Internet of Things, Smart Spaces, and Next Generation Networks and Systems - 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings, VOLUME: 10531, PÁGINAS: 109-120
INDEXADO EM: DBLP
692
TÍTULO: Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution
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
693
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
694
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
695
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
697
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
699
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

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