José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 75



11
TITLE: Overview on Constrained Multiparty Synchronisation in Team Automata
AUTHORS: José Proença ;
PUBLISHED: 2023, SOURCE: Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers, VOLUME: 14485
INDEXED IN: DBLP
IN MY: DBLP
12
TITLE: Realisability of Global Models of Interaction
AUTHORS: Maurice H ter Beek; Rolf Hennicker; José Proença ;
PUBLISHED: 2023, SOURCE: 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023 in Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings, VOLUME: 14446
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
13
TITLE: Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
AUTHORS: Giann Spilere Nandi; David Pereira; José Proença ; Eduardo Tovar; Antonio Rodriguez; Pablo Garrido;
PUBLISHED: 2023, SOURCE: Open Research Europe, VOLUME: 3
INDEXED IN: CrossRef
IN MY: ORCID
14
TITLE: Spreadsheet-based Configuration of Families of Real-Time Specifications
AUTHORS: José Proença ; David Pereira; Giann Spilere Nandi; Sina Borrami; Jonas Melchert;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: DBLP
15
TITLE: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
16
TITLE: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: Dagstuhl Artifacts Ser., VOLUME: 8, ISSUE: 2
INDEXED IN: DBLP
IN MY: ORCID | DBLP
17
TITLE: Branching Pomsets for Choreographies
AUTHORS: Luc Edixhoven; Sung Shik Jongmans; José Proença ; Guillermina Cledou ;
PUBLISHED: 2022, SOURCE: Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022., VOLUME: 365
INDEXED IN: DBLP
IN MY: ORCID | DBLP
18
TITLE: Can we Communicate? Using Dynamic Logic to Verify Team Automata
AUTHORS: Maurice H ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença ;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: DBLP
19
TITLE: Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper. Invited Paper
AUTHORS: 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;
PUBLISHED: 2022, SOURCE: 21st International Conference on Embedded Computer Systems - Architectures, Modeling, and Simulation (SAMOS) in EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2021, VOLUME: 13227
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
20
TITLE: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
AUTHORS: Silvia Lizeth Tapia Tarifa; José Proença ;
PUBLISHED: 2022, SOURCE: FACS, VOLUME: 13712
INDEXED IN: DBLP
IN MY: ORCID | DBLP
Page 2 of 8. Total results: 75.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service