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

150 Team Members
Filters -> Year: 2025
621
TÍTULO: On Kleene Algebras for Weighted Computation
AUTORES: Leandro Gomes ; Alexandre Madeira ; Luis S Barbosa ;
PUBLICAÇÃO: 2017, FONTE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PÁGINAS: 271-286
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
622
TÍTULO: Performance trade-offs on a secure multi-party relational database
AUTORES: Rogerio Pontes ; Mário Pinto; Manuel Barbosa ; Ricardo Vilaça ; Miguel Matos ; Rui Oliveira ;
PUBLICAÇÃO: 2017, FONTE: 32nd Annual ACM Symposium on Applied Computing, SAC 2017 in Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, VOLUME: Part F128005, PÁGINAS: 456-461
INDEXADO EM: Scopus DBLP CrossRef: 1
623
TÍTULO: Practical evaluation of the Lasp programming model at large scale: an experience report. an experience report
AUTORES: Christopher S Meiklejohn; Vitor Enes ; Junghun Yoo; Carlos Baquero ; Peter Van Roy; Annette Bieniusa;
PUBLICAÇÃO: 2017, FONTE: 19th International Symposium on Principles and Practice of Declarative Programming, PPDP 2017 in Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, VOLUME: Part F131196, PÁGINAS: 109-114
INDEXADO EM: Scopus DBLP CrossRef: 5
624
TÍTULO: Preface
AUTORES: Cunha, J ; Fernandes, JP ; Lämmel, R; Saraiva, J ; Zaytsev, V;
PUBLICAÇÃO: 2017, FONTE: 5th Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10223 LNCS
INDEXADO EM: Scopus
625
TÍTULO: Prepared scan: efficient retrieval of structured data from HBase. efficient retrieval of structured data from HBase
AUTORES: Francisco Neves ; Ricardo Vilaça ; José Orlando Pereira ; Rui Oliveira ;
PUBLICAÇÃO: 2017, FONTE: 32nd Annual ACM Symposium on Applied Computing, SAC 2017 in Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, VOLUME: Part F128005, PÁGINAS: 462-464
INDEXADO EM: Scopus DBLP CrossRef Handle
626
TÍTULO: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017, Lisbon, Portugal, June 26-29, 2017
AUTORES: José Creissac Campos ; Nuno Nunes; Pedro Campos; Gaëlle Calvary; Jeffrey Nichols; Célia Martinie; José Luís Silva;
PUBLICAÇÃO: 2017, FONTE: EICS
INDEXADO EM: DBLP CrossRef: 4
627
TÍTULO: Products go Green: Worst-Case Energy Consumption in Software Product Lines. Worst-Case Energy Consumption in Software Product Lines
AUTORES: Couto, M ; Borba, P; Cunha, J ; Fernandes, JP ; Pereira, R ; Saraiva, J ;
PUBLICAÇÃO: 2017, FONTE: 21st International System and Software Product Line Conference (SPLC) in 21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1, VOLUME: 1, PÁGINAS: 84-93
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
628
TÍTULO: Promoting entrepreneurship among informatics engineering students: insights from a case study  Full Text
AUTORES: Fernandes, JM; Afonso, P ; Fonte, V ; Alves, V ; Ribeiro, AN ;
PUBLICAÇÃO: 2017, FONTE: EUROPEAN JOURNAL OF ENGINEERING EDUCATION, VOLUME: 42, NÚMERO: 1, PÁGINAS: 91-108
INDEXADO EM: Scopus WOS CrossRef: 14 Handle
629
TÍTULO: Pure Operation-Based Replicated Data Types PDF
AUTORES: Carlos Baquero ; Paulo Sérgio Almeida ; Ali Shoker ;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1710.04469
INDEXADO EM: DBLP arXiv
630
TÍTULO: Quality-Aware Reactive Programming for the Internet of Things
AUTORES: Jose Proenca ; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522, PÁGINAS: 180-195
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
631
TÍTULO: REQCAP: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems
AUTORES: Ali Almohammad; Joao F Ferreira ; Alexandra Mendes ; Phil White;
PUBLICAÇÃO: 2017, FONTE: 25th IEEE International Requirements Engineering Conference Workshops (REW) in 2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW), PÁGINAS: 351-358
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
632
TÍTULO: Run Time Prediction for Big Data Iterative ML Algorithms: a KMeans case study PDF
AUTORES: Eduardo Rodrigues; Ricardo Morla ;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1710.03040
INDEXADO EM: DBLP arXiv
633
TÍTULO: SafeFS: a modular architecture for secure user-space file systems: one FUSE to rule them all. one FUSE to rule them all
AUTORES: Rogerio Pontes ; Dorian Burihabwa; Francisco Maia ; João Paulo ; Valerio Schiavoni; Pascal Felber; Hugues Mercier; Rui Oliveira ;
PUBLICAÇÃO: 2017, FONTE: 10th ACM International Systems and Storage Conference, SYSTOR 2017 in Proceedings of the 10th ACM International Systems and Storage Conference, SYSTOR 2017, Haifa, Israel, May 22-24, 2017, PÁGINAS: 9:1-9:12
INDEXADO EM: Scopus DBLP CrossRef: 13
634
TÍTULO: SAFETHINGS: Data Security by Design in the IoT
AUTORES: Manuel Barbosa ; Sonia Ben Mokhtar; Pascal Felber; Francisco Maia ; Miguel Matos ; Rui Oliveira ; Etienne Riviere; Valerio Schiavoni; Spyros Voulgaris;
PUBLICAÇÃO: 2017, FONTE: 13th European Dependable Computing Conference (EDCC) in 2017 13TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2017), PÁGINAS: 117-120
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
635
TÍTULO: Safety Analysis of Software Components of a Dialysis Machine Using Model Checking
AUTORES: Harrison, MD; Drinnan, M; Campos, JC ; Masci, P ; Freitas, L; di Maria, C; Whitaker, M;
PUBLICAÇÃO: 2017, FONTE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PÁGINAS: 137-154
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
636
TÍTULO: Secure Multiparty Computation from SGX
AUTORES: Raad Bahmani; Manuel Barbosa ; Ferdinand Brasser; Bernardo Portela ; Ahmad Reza Sadeghi; Guillaume Scerri; Bogdan Warinschi;
PUBLICAÇÃO: 2017, FONTE: 21st International Conference on Financial Cryptography and Data Security, FC 2017 in Financial Cryptography and Data Security - 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers, VOLUME: 10322, PÁGINAS: 477-497
INDEXADO EM: Scopus DBLP CrossRef: 48
637
TÍTULO: Similarity Aware Shuffling for the Distributed Execution of SQL Window Functions
AUTORES: Fábio Coelho ; Miguel Matos ; José Pereira ; Rui Oliveira ;
PUBLICAÇÃO: 2017, FONTE: 17th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2017 - Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017 in Distributed Applications and Interoperable Systems - 17th IFIP WG 6.1 International Conference, DAIS 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, VOLUME: 10320, PÁGINAS: 3-18
INDEXADO EM: Scopus DBLP CrossRef
638
TÍTULO: SMT-based schedulability analysis using RMTL-∫  Full Text
AUTORES: André de Matos Pedro; David Pereira ; Luís Miguel Pinho ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2017, FONTE: SIGBED Review, VOLUME: 14, NÚMERO: 3, PÁGINAS: 40-42
INDEXADO EM: DBLP CrossRef: 3 Handle
639
TÍTULO: Support for automatic refactoring of business logic
AUTORES: Tiago B Fernandes; António N Ribeiro ; David V Nunes; Hugo R Lourenço; Luiz C Santos;
PUBLICAÇÃO: 2017
INDEXADO EM: Handle
640
TÍTULO: Systematic Spreadsheet Construction Processes
AUTORES: Jorge Mendes ; Jacome Cunha ; Francisco Duarte; Gregor Engels; Joao Saraiva ; Stefan Sauer;
PUBLICAÇÃO: 2017, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2017 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC), VOLUME: 2017-October, PÁGINAS: 123-127
INDEXADO EM: Scopus WOS DBLP CrossRef: 4

Results per Page: 20.
Página 32 de 78. Total de resultados: 1544.