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

150 Team Members
Filters -> Year: 2024
561
TITLE: Quality-Aware Reactive Programming for the Internet of Things
AUTHORS: Jose Proenca ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522, PAGES: 180-195
INDEXED IN: Scopus WOS DBLP CrossRef: 2
562
TITLE: REQCAP: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems
AUTHORS: Ali Almohammad; Joao F Ferreira; Alexandra Mendes ; Phil White;
PUBLISHED: 2017, SOURCE: 25th IEEE International Requirements Engineering Conference Workshops (REW) in 2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW), PAGES: 351-358
INDEXED IN: Scopus WOS DBLP CrossRef: 1
563
TITLE: Run Time Prediction for Big Data Iterative ML Algorithms: a KMeans case study PDF
AUTHORS: Eduardo Rodrigues; Ricardo Morla ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1710.03040
INDEXED IN: DBLP arXiv
564
TITLE: SafeFS: a modular architecture for secure user-space file systems: one FUSE to rule them all. one FUSE to rule them all
AUTHORS: Rogerio Pontes ; Dorian Burihabwa; Francisco Maia ; João Paulo ; Valerio Schiavoni; Pascal Felber; Hugues Mercier; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 9:1-9:12
INDEXED IN: Scopus DBLP CrossRef: 12
565
TITLE: SAFETHINGS: Data Security by Design in the IoT
AUTHORS: Manuel Barbosa ; Sonia Ben Mokhtar; Pascal Felber; Francisco Maia ; Miguel Matos ; Rui Oliveira ; Etienne Riviere; Valerio Schiavoni; Spyros Voulgaris;
PUBLISHED: 2017, SOURCE: 13th European Dependable Computing Conference (EDCC) in 2017 13TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2017), PAGES: 117-120
INDEXED IN: Scopus WOS DBLP CrossRef: 7
566
TITLE: Safety Analysis of Software Components of a Dialysis Machine Using Model Checking
AUTHORS: Harrison, MD; Drinnan, M; Campos, JC ; Masci, P ; Freitas, L; di Maria, C; Whitaker, M;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 137-154
INDEXED IN: Scopus WOS DBLP CrossRef: 3
567
TITLE: Secure Multiparty Computation from SGX
AUTHORS: Raad Bahmani; Manuel Barbosa ; Ferdinand Brasser; Bernardo Portela ; Ahmad Reza Sadeghi; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2017, SOURCE: 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, PAGES: 477-497
INDEXED IN: Scopus DBLP CrossRef: 42
568
TITLE: Similarity Aware Shuffling for the Distributed Execution of SQL Window Functions
AUTHORS: Fábio Coelho ; Miguel Matos ; José Pereira ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 3-18
INDEXED IN: Scopus DBLP CrossRef
569
TITLE: SMT-based schedulability analysis using RMTL-∫  Full Text
AUTHORS: André de Matos Pedro; David Pereira; Luís Miguel Pinho ; Jorge Sousa Pinto ;
PUBLISHED: 2017, SOURCE: SIGBED Review, VOLUME: 14, ISSUE: 3, PAGES: 40-42
INDEXED IN: DBLP CrossRef Handle
570
TITLE: Systematic Spreadsheet Construction Processes
AUTHORS: Jorge Mendes ; Jacome Cunha ; Francisco Duarte; Gregor Engels; Joao Saraiva ; Stefan Sauer;
PUBLISHED: 2017, SOURCE: 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, PAGES: 123-127
INDEXED IN: Scopus WOS DBLP CrossRef
571
TITLE: Tabula: A Language to Model Spreadsheet Tables PDF
AUTHORS: Jorge Mendes ; João Saraiva ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1707.02833
INDEXED IN: DBLP arXiv
572
TITLE: The Data Cube as a Typed Linear Algebra Operator
AUTHORS: Oliveira, JN ; Macedo, HD;
PUBLISHED: 2017, SOURCE: 16th International Symposium on Database Programming Languages (DBPL) in PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON DATABASE PROGRAMMING LANGUAGES (DBPL 2017), VOLUME: Part F130653
INDEXED IN: Scopus WOS CrossRef
573
TITLE: The Single-Writer Principle in CRDT Composition
AUTHORS: Vitor Enes ; Paulo Sérgio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 4:1-4:3
INDEXED IN: Scopus DBLP CrossRef: 2
574
TITLE: The Specification and Analysis of Use Properties of a Nuclear Control System
AUTHORS: Michael D Harrison ; Paolo M Masci ; José Creissac Campos ; Paul Curzon;
PUBLISHED: 2017, SOURCE: The Handbook of Formal Methods in Human-Computer Interaction., PAGES: 379-403
INDEXED IN: DBLP CrossRef: 1
575
TITLE: TOM: A Model-Based GUI Testing Framework
AUTHORS: Miguel Pinto; Marcelo Goncalves; Paolo Masci ; Jose Creissac Campos ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 155-161
INDEXED IN: Scopus WOS DBLP CrossRef
576
TITLE: Towards a Green Ranking for Programming Languages
AUTHORS: Marco Couto ; Rui Pereira ; Francisco Ribeiro ; Rui Rua ; Joao Saraiva ;
PUBLISHED: 2017, SOURCE: 21st Brazilian Symposium on Programming Languages (SBLP) as Part of 8th Brazilian Conference on Software (CBSoft) in PROCEEDINGS OF THE 21ST BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES (SBLP 2017), VOLUME: Part F130805, PAGES: 7:1-7:8
INDEXED IN: Scopus WOS DBLP CrossRef: 7
577
TITLE: Towards new data management platforms for a DSO as market enabler - UPGRID Portugal demo
AUTHORS: Alonso, A ; Couto, R ; Pacheco, H; Bessa, R ; Gouveia, C ; Seca, L; Moreira, J ; Nunes, P; Matos, PG; Oliveira, A;
PUBLISHED: 2017, SOURCE: 24th International Conference and Exhibition on Electricity Distribution, CIRED 2017 in CIRED - Open Access Proceedings Journal, VOLUME: 2017, ISSUE: 1, PAGES: 2926-2930
INDEXED IN: Scopus CrossRef: 2
578
TITLE: Towards Systematic Spreadsheet Construction Processes
AUTHORS: Jorge Mendes ; Jacome Cunha ; Francisco Duarte; Gregor Engels; Joao Saraiva ; Stefan Sauer;
PUBLISHED: 2017, SOURCE: 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), PAGES: 356-358
INDEXED IN: Scopus WOS DBLP CrossRef
579
TITLE: Transparent cross-system consistency
AUTHORS: Joao Loff; Daniel Porto; Carlos Baquero ; Joao Garcia; Nuno Preguica; Rodrigo Rodrigues ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 8:1-8:4
INDEXED IN: Scopus WOS DBLP CrossRef: 1
580
TITLE: Type-Safe Evolution of Web Services
AUTHORS: João Campinhos; João Costa Seco; Jácome Cunha ;
PUBLISHED: 2017, SOURCE: 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, VACE 2017 in 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, VACE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, PAGES: 20-26
INDEXED IN: Scopus DBLP CrossRef: 6

Results per Page: 20.
Página 29 de 74. Total de resultados: 1463.