José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 83



21
TÍTULO: Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
AUTORES: Giann Spilere Nandi; David Pereira ; José Proença ; Eduardo Tovar; Antonio Rodriguez; Pablo Garrido;
PUBLICAÇÃO: 2023, FONTE: Open Research Europe, VOLUME: 3
INDEXADO EM: CrossRef: 2
NO MEU: ORCID
22
TÍTULO: Spreadsheet-based Configuration of Families of Real-Time Specifications
AUTORES: José Proença ; David Pereira; Giann Spilere Nandi; Sina Borrami; Jonas Melchert;
PUBLICAÇÃO: 2023, FONTE: 1st Workshop on Trends in Configurable Systems Analysis, TiCSA 2023 in Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023., VOLUME: 392
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
23
TÍTULO: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
AUTORES: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLICAÇÃO: 2022, FONTE: 36th European Conference on Object-Oriented Programming, ECOOP 2022 in 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., VOLUME: 222
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
24
TÍTULO: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
AUTORES: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLICAÇÃO: 2022, FONTE: Dagstuhl Artifacts Ser., VOLUME: 8, NÚMERO: 2
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
25
TÍTULO: Branching Pomsets for Choreographies
AUTORES: Luc Edixhoven; Sung Shik Jongmans; José Proença ; Guillermina Cledou ;
PUBLICAÇÃO: 2022, FONTE: Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022., VOLUME: 365
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
26
TÍTULO: Can we Communicate? Using Dynamic Logic to Verify Team Automata
AUTORES: Maurice H ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença ;
PUBLICAÇÃO: 2022, FONTE: 25th International Symposium on Formal Methods, FM 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14000 LNCS
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
27
TÍTULO: Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper. Invited Paper
AUTORES: Bauer, Thomas; Agirre, Joseba A.; Fuercho, David; Herzner, Wolfgang; Hruska, Bob; Karaca, Mustafa; Pereira, David; Proenca, Jose ; Schlick, Rupert; Sicher, Robert; Smrcka, Ales; Yayan, Ugur; Sangchoolie, Behrooz;
PUBLICAÇÃO: 2022, FONTE: 21st International Conference on Embedded Computer Systems - Architectures, Modeling, and Simulation (SAMOS) in EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2021, VOLUME: 13227
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
28
TÍTULO: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
AUTORES: Silvia Lizeth Tapia Tarifa; José Proença ;
PUBLICAÇÃO: 2022, FONTE: FACS, VOLUME: 13712
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
29
TÍTULO: Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)
AUTORES: José Proença ; Markus Lumpe;
PUBLICAÇÃO: 2022, FONTE: Sci. Comput. Program., VOLUME: 218
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
30
TÍTULO: ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming
AUTORES: Sung Shik Jongmans; José Proença ;
PUBLICAÇÃO: 2022, FONTE: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 in Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, VOLUME: 13701
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
Página 3 de 9. Total de resultados: 83.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service