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

150 Team Members
Filters -> Year: 2025
621
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
622
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
623
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
624
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
625
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
626
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
627
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
628
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
629
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
630
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
631
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
632
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
633
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
634
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
635
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
636
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
637
TÍTULO: Tabula: A Language to Model Spreadsheet Tables PDF
AUTORES: Jorge Mendes ; João Saraiva ;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1707.02833
INDEXADO EM: DBLP arXiv
638
TÍTULO: The Data Cube as a Typed Linear Algebra Operator
AUTORES: Oliveira, JN ; Macedo, HD;
PUBLICAÇÃO: 2017, FONTE: 16th International Symposium on Database Programming Languages (DBPL) in PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON DATABASE PROGRAMMING LANGUAGES (DBPL 2017), VOLUME: Part F130653
INDEXADO EM: Scopus WOS CrossRef
639
TÍTULO: The Single-Writer Principle in CRDT Composition
AUTORES: Vitor Enes ; Paulo Sérgio Almeida ; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: 2017 Programming Models and Languages for Distributed Computing, PMLDC 2017 in Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, Barcelona, Spain, June 20, 2017, PÁGINAS: 4:1-4:3
INDEXADO EM: Scopus DBLP CrossRef: 3
640
TÍTULO: The Specification and Analysis of Use Properties of a Nuclear Control System
AUTORES: Michael D Harrison ; Paolo M Masci ; José Creissac Campos ; Paul Curzon;
PUBLICAÇÃO: 2017, FONTE: The Handbook of Formal Methods in Human-Computer Interaction., PÁGINAS: 379-403
INDEXADO EM: DBLP CrossRef: 1

Results per Page: 20.
Página 32 de 77. Total de resultados: 1540.