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
641
TÍTULO: Systems and methods for SPIT detection in VoIP: Survey and future directions
AUTORES: Azad, MA; Morla, R ; Salah, K;
PUBLICAÇÃO: 2018, FONTE: COMPUTERS & SECURITY, VOLUME: 77, PÁGINAS: 1-20
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
642
TÍTULO: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTORES: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proença, J ;
PUBLICAÇÃO: 2018, FONTE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, NÚMERO: ICFP, PÁGINAS: 82:1-82:17
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
643
TÍTULO: The electrum analyzer: model checking relational first-order temporal specifications
AUTORES: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2018, FONTE: ASE, PÁGINAS: 884-887
INDEXADO EM: Scopus DBLP CrossRef: 24
644
TÍTULO: The MAL Interactors Animator: Supporting model validation through animation. Supporting model validation through animation
AUTORES: Campos, JC ; Sousa, N;
PUBLICAÇÃO: 2018, FONTE: 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS (EICS'18), PÁGINAS: 11:1-11:7
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
645
TÍTULO: Totally Ordered Replication for Massive Scale Key-Value Stores
AUTORES: José Ribeiro; Nuno Machado ; Francisco Maia ; Miguel Matos ;
PUBLICAÇÃO: 2018, FONTE: DAIS, VOLUME: 10853 LNCS, PÁGINAS: 58-74
INDEXADO EM: Scopus DBLP CrossRef
646
TÍTULO: Towards a Simulation-Based Medical Education Platform for PVSio-Web
AUTORES: Silva, C; Campos, JC ;
PUBLICAÇÃO: 2018, FONTE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018), PÁGINAS: 1-8
INDEXADO EM: Scopus WOS DBLP CrossRef
648
TÍTULO: TOWARDS ENERGY-AWARE CODING PRACTICES FOR ANDROID  Full Text
AUTORES: João SARAIVA ; HASLab/INESC TEC, University of Minho, Portugal, ; Marco COUTO; Csaba SZABÓ; Dávid NOVÁK; HASLab/INESC TEC, University of Minho, Portugal, ; Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, Slovak Rep, ; Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, Slovak Rep, ;
PUBLICAÇÃO: 2018, FONTE: Acta Electrotechnica et Informatica, VOLUME: 18, NÚMERO: 1, PÁGINAS: 19-25
INDEXADO EM: CrossRef: 2
649
TÍTULO: Towards Verified Handwritten Calculational Proofs
AUTORES: Mendes, A ; Ferreira, JF;
PUBLICAÇÃO: 2018, FONTE: 9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC) in INTERACTIVE THEOREM PROVING, ITP 2018, VOLUME: 10895, PÁGINAS: 432-440
INDEXADO EM: Scopus WOS DBLP
650
TÍTULO: Transforming Legal Documents for Visualization and Analysis
AUTORES: Nuno Ramos Carvalho; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: ICEGOV, PÁGINAS: 23-26
INDEXADO EM: Scopus DBLP CrossRef: 6
651
TÍTULO: Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
AUTORES: Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2018, FONTE: ABZ, VOLUME: 10817 LNCS, PÁGINAS: 307-321
INDEXADO EM: Scopus DBLP CrossRef: 17
652
TÍTULO: 2017 Wireless Days, Porto, Portugal, March 29-31, 2017
AUTORES: Manuel Ricardo ; Rui Campos; José Ruela; Ricardo Morla ; Filipe Teixeira; Luís M Pessoa ; Henrique M Salgado;
PUBLICAÇÃO: 2017, FONTE: Wireless Days
INDEXADO EM: DBLP
653
TÍTULO: A Fast and Verified Software Stack for Secure Function Evaluation
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Grégoire, B; Laporte, V; Pereira, V ;
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: 1989-2006
INDEXADO EM: Scopus WOS DBLP CrossRef: 21 Unpaywall
654
TÍTULO: A Feature-Based Classification of Model Repair Approaches
AUTORES: Nuno Macedo ; Jorge Tiago; Alcino Cunha ;
PUBLICAÇÃO: 2017, FONTE: IEEE Trans. Software Eng., VOLUME: 43, NÚMERO: 7, PÁGINAS: 615-640
INDEXADO EM: Scopus DBLP CrossRef: 46
655
TÍTULO: A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services
AUTORES: Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa ;
PUBLICAÇÃO: 2017, FONTE: CLOSER, PÁGINAS: 201-212
INDEXADO EM: DBLP
656
TÍTULO: A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices
AUTORES: Paolo Masci ; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLICAÇÃO: 2017, FONTE: SEFM, VOLUME: 10469 LNCS, PÁGINAS: 284-299
INDEXADO EM: Scopus DBLP CrossRef: 7
657
TÍTULO: A Modular Traffic Sampling Architecture: Bringing Versatility and Efficiency to Massive Traffic Analysis  Full Text
AUTORES: João Marco C Silva ; Paulo Carvalho ; Solange Rito Lima;
PUBLICAÇÃO: 2017, FONTE: J. Netw. Syst. Manag., VOLUME: 25, NÚMERO: 3, PÁGINAS: 643-668
INDEXADO EM: Scopus DBLP CrossRef: 5
658
TÍTULO: A More Intelligent Test Case Generation Approach through Task Models Manipulation
AUTORES: José Creissac Campos ; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A Palanque; Miguel Pinto;
PUBLICAÇÃO: 2017, FONTE: Proc. ACM Hum. Comput. Interact., VOLUME: 1, NÚMERO: EICS, PÁGINAS: 9:1-9:20
INDEXADO EM: Scopus DBLP CrossRef: 19
659
TÍTULO: A Practical Framework for Privacy-Preserving NoSQL Databases
AUTORES: Macedo, R ; Paulo, J ; Pontes, R ; Portela, B ; Oliveira, T ; Matos, M ; Oliveira, R ;
PUBLICAÇÃO: 2017, FONTE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2017-September, PÁGINAS: 11-20
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
660
TÍTULO: A Refinement Relation for Families of Timed Automata
AUTORES: Cledou, G ; Proença, J ; Barbosa, LS ;
PUBLICAÇÃO: 2017, FONTE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PÁGINAS: 161-178
INDEXADO EM: Scopus WOS DBLP CrossRef

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