José Proença

83 papers A 2B 4C 12Misc 2Journal 22Unranked 35

Year	Rank	Type	Title / Venue / Authors
2026	B	`ed.`	Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers SEFM José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck
2025	J	`jnl`	An Adequate While-Language for Stochastic Hybrid Computation. CoRR Renato Neves, José Proença, Juliana Souza
2025	C	`conf`	An adequate while-language for stochastic hybrid computation. PPDP Renato Neves, José Proença, Juliana Souza
2025	—	`conf`	Analyzing Many Simulations of Hybrid Programs in Lince. FMAS@iFM Reydel Arrieta, José Proença, Patrick Meumeu Yomsi
2025	—	`conf`	Animating Rebeca. Rebeca for Actor Analysis in Action Maurice H. ter Beek, José Proença
2025	—	`conf`	CoMPSeT: A Framework for Comparing Multiparty Session Types. EXPRESS/SOS Telmo Ribeiro, José Proença, Mário Florido
2025	J	`jnl`	Introduction to the Special Collection from FACS 2022. Formal Aspects Comput. Silvia Lizeth Tapia Tarifa, José Proença, José N. Oliveira
2025	J	`jnl`	Logic and Calculi for All on the occasion of Luís Barbosa's 60th birthday. J. Log. Algebraic Methods Program. Alexandre Madeira, José Nuno Oliveira, José Proença, Renato Neves
2025	J	`jnl`	Overview and Roadmap of Team Automata. CoRR Maurice H. ter Beek, Rolf Hennicker, José Proença
2025	C	`conf`	RebeCaos. COORDINATION José Proença, Maurice H. ter Beek
2025	J	`jnl`	The CAOS framework for Scala: Computer-aided design of SOS. Sci. Comput. Program. José Proença, Luc Edixhoven
2024	J	`jnl`	Branching pomsets: Design, expressiveness and applications to choreographies. J. Log. Algebraic Methods Program. Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani
2024	—	`conf`	Formal Simulation and Visualisation of Hybrid Programs. FMAS@iFM Pedro Mendes, Ricardo Correia, Renato Neves, José Proença
2024	C	`conf`	MARS: Safely Instrumenting Runtime Monitors in Real-Time Resource-Constrained Distributed Systems. INDIN Giann Spilere Nandi, David Pereira, José Proença, Eduardo Tovar
2024	—	`conf`	Message from the VERDI Workshop Chairs; DSN-W 2024. DSN-W David Pereira, José Proença, Behrooz Sangchoolie
2024	—	`conf`	Reactive Graphs in Action. FACS David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença
2024	J	`jnl`	Reactive graphs in action (extended version). CoRR David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença
2024	—	`conf`	Reducing the gap between theory and practice in real-time systems with MARS. DSN-S Giann Spilere Nandi, David Pereira, José Proença, Eduardo Tovar, Luís Nogueira
2024	C	`conf`	Team Automata: Overview and Roadmap. COORDINATION Maurice H. ter Beek, Rolf Hennicker, José Proença
2023	B	`conf`	Can We Communicate? Using Dynamic Logic to Verify Team Automata. FM Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
2023	J	`jnl`	Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial). CoRR José Proença, Luc Edixhoven
2023	C	`conf`	Caos: A Reusable Scala Web Animator of Operational Semantics. COORDINATION José Proença, Luc Edixhoven
2023	—	`conf`	Overview on Constrained Multiparty Synchronisation in Team Automata. FACS José Proença
2023	C	`conf`	Realisability of Global Models of Interaction. ICTAC Maurice H. ter Beek, Rolf Hennicker, José Proença
2023	—	`conf`	Spreadsheet-based Configuration of Families of Real-Time Specifications. TiCSA@ETAPS José Proença, David Pereira, Giann Spilere Nandi, Sina Borrami, Jonas Melchert
2022	J	`jnl`	API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact). Dagstuhl Artifacts Ser. Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença
2022	A	`conf`	API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. ECOOP Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença
2022	—	`conf`	Branching Pomsets for Choreographies. ICE Luc Edixhoven, Sung-Shik Jongmans, José Proença, Guillermina Cledou
2022	—	`ed.`	Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings FACS Silvia Lizeth Tapia Tarifa, José Proença
2022	—	`conf`	ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming. ISoLA (1) Sung-Shik Jongmans, José Proença
2022	J	`jnl`	Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017). Sci. Comput. Program. José Proença, Markus Lumpe
2022	—	`conf`	Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems. RSSRail José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi
2021	Misc	`conf`	A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems. QUATIC Jose Luis de la Vara, Thomas Bauer, Bernhard Fischer, Mustafa Karaca, Henrique Madeira, Martin Matschnig, Silvia Mazzini, Giann Spilere Nandi, Fabio Patrone, David Pereira, José Proença, Rupert Schlick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie
2021	—	`conf`	Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper. SAMOS Thomas Bauer, Joseba Andoni Agirre, David Fürcho, Wolfgang Herzner, Bob Hruska, Mustafa Karaca, David Pereira, José Proença, Rupert Schlick, Robert Sicher, Ales Smrcka, Ugur Yayan, Behrooz Sangchoolie
2021	B	`conf`	Featured Team Automata. FM Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
2021	J	`jnl`	Featured Team Automata. CoRR Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
2021	J	`jnl`	Hubs for VirtuosoNext: Online verification of real-time coordinators. Sci. Comput. Program. Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst
2021	—	`ed.`	Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021. F-IDE@NFM José Proença, Andrei Paskevich
2021	J	`jnl`	The VALU3S ECSEL project: Verification and validation of automated systems safety and security. Microprocess. Microsystems Joseba Andoni Agirre, Leire Etxeberria, Raul Barbosa, Stylianos Basagiannis, Georgios Giantamidis, Thomas Bauer, Enrico Ferrari, Mikel Labayen Esnaola, Vanessa Orani, Johnny Öberg, David Pereira, José Proença, Rupert Schlick, Ales Smrcka, Walter Tiberti, Stefano Tonetta, Marco Bozzano, Ahmet Yazici, Behrooz Sangchoolie
2020	C	`conf`	ARx: Reactive Programming for Synchronous Connectors. COORDINATION José Proença, Guillermina Cledou
2020	C	`conf`	Implementing Hybrid Semantics: From Functional to Imperative. ICTAC Sergey Goncharov, Renato Neves, José Proença
2020	J	`jnl`	Implementing Hybrid Semantics: From Functional to Imperative. CoRR Sergey Goncharov, Renato Neves, José Proença
2020	A	`conf`	Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems. RTSS Giann Spilere Nandi, David Pereira, José Proença, Eduardo Tovar
2019	C	`conf`	Coordination of Tasks on a Real-Time OS. COORDINATION Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst
2019	—	`ed.`	Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019. F-IDE@FM Rosemary Monahan, Virgile Prevosto, José Proença
2019	—	`conf`	Taming Hierarchical Connectors. FSEN José Proença, Alexandre Madeira
2018	—	`conf`	ReoLive: Analysing Connectors in Your Browser. STAF Workshops Rúben Cruz, José Proença
2018	J	`jnl`	Teaching how to program using automated assessment and functional glossy games (experience report). Proc. ACM Program. Lang. José Bacelar Almeida, Alcino Cunha, Nuno Macedo, Hugo Pacheco, José Proença
2017	—	`conf`	A Refinement Relation for Families of Timed Automata. SBMF Guillermina Cledou, José Proença, Luís Soares Barbosa
2017	—	`conf`	Composing Families of Timed Automata. FSEN Guillermina Cledou, José Proença, Luís Soares Barbosa
2017	—	`ed.`	Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings FACS José Proença, Markus Lumpe
2017	—	`conf`	Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. FormaliSE@ICSE Raju Halder, José Proença, Nuno Macedo, André Santos
2017	—	`conf`	Quality-Aware Reactive Programming for the Internet of Things. FSEN José Proença, Carlos Baquero
2017	J	`jnl`	Typed connector families and their semantics. Sci. Comput. Program. José Proença, Dave Clarke
2016	J	`jnl`	A procedure for splitting data-aware processes and its application to coordination. Sci. Comput. Program. Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença
2016	C	`ed.`	Coordination Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings COORDINATION Alberto Lluch-Lafuente, José Proença
2016	J	`jnl`	Feature Nets: behavioural modelling of software product lines. Softw. Syst. Model. Radu Muschevici, José Proença, Dave Clarke
2016	J	`jnl`	Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things. J. Internet Serv. Appl. Gowri Sankar Ramachandran, José Proença, Wilfried Daniels, Mario Pickavet, Dimitri Staessens, Christophe Huygens, Wouter Joosen, Danny Hughes
2015	—	`conf`	Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks. CBSE Gowri Sankar Ramachandran, Wilfried Daniels, José Proença, Sam Michiels, Wouter Joosen, Danny Hughes, Barry Porter
2015	—	`ed.`	Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014. FOCLASA Javier Cámara, José Proença
2015	—	`ed.`	Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2015, Madrid, Spain, 5th September 2015. FOCLASA José Proença, Massimo Tivoli
2015	—	`conf`	Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications. CBSE Wilfried Daniels, José Proença, Dave Clarke, Wouter Joosen, Danny Hughes
2015	—	`conf`	Tomography: lowering management overhead for distributed component-based applications. M4IoT@Middleware Wilfried Daniels, José Proença, Nelson Matthys, Wouter Joosen, Danny Hughes
2015	—	`conf`	Typed Connector Families. FACS José Proença, Dave Clarke
2013	—	`conf`	Data Abstraction in Coordination Constraints. ESOCC Workshops José Proença, Dave Clarke
2013	—	`conf`	Executable modelling of dynamic software product lines in the ABS language. FOSD Radu Muschevici, Dave Clarke, José Proença
2013	C	`conf`	Interactive Interaction Constraints. COORDINATION José Proença, Dave Clarke
2012	—	`conf`	A Procedure for Splitting Processes and its Application to Coordination FOCLASA Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença
2012	Misc	`conf`	Dreams: a framework for distributed synchronous coordination. SAC José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab
2012	—	`conf`	Formal analysis of policies in wireless sensor network applications. SESENA Marco Patrignani, Nelson Matthys, José Proença, Danny Hughes, Dave Clarke
2012	C	`conf`	Partial Connector Colouring. COORDINATION Dave Clarke, José Proença
2012	J	`jnl`	The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. Int. J. Softw. Tools Technol. Transf. Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença, Jan Schäfer, Rudolf Schlatte
2011	J	`jnl`	Channel-based coordination via constraint satisfaction. Sci. Comput. Program. Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab
2011	—	`conf`	Decoupled execution of synchronous coordination models via behavioural automata FOCLASA José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab
2011	B	`conf`	Modular Modelling of Software Product Lines with Feature Nets. SEFM Radu Muschevici, José Proença, Dave Clarke
2010	—	`conf`	Feature Petri Nets. SPLC Workshops Radu Muschevici, Dave Clarke, José Proença
2010	—	`conf`	Towards a Theory of Views for Feature Models. SPLC Workshops Dave Clarke, José Proença
2010	—	`conf`	Variability Modelling in the ABS Language. FMCO Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte
2009	—	`conf`	Coordination via Interaction Constraints I: Local Logic ICE Dave Clarke, José Proença
2008	—	`conf`	Deconstructing Reo. FOCLASA@ICALP Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab
2008	J	`jnl`	Reconfiguration of Reo Connectors Triggered by Dataflow. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Christian Koehler, David Costa, José Proença, Farhad Arbab
2007	—	`conf`	Coordination Models Orc and Reo Compared. FOCLASA José Proença, Dave Clarke
2005	—	`conf`	A Framework for Point-Free Program Transformation. IFL Alcino Cunha, Jorge Sousa Pinto, José Proença