José Proença

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 37

Top Topics

Operational Semantics

Top Venues

Sci. Comput. Program.

Publications

Maurice H. ter Beek, Rolf Hennicker, José Proença
Team Automata: Overview and Roadmap. COORDINATION (2024)
David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença
Reactive graphs in action (extended version). CoRR (2024)
Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani
Branching pomsets: Design, expressiveness and applications to choreographies. J. Log. Algebraic Methods Program. 136 (2024)
José Proença, David Pereira, Giann Spilere Nandi, Sina Borrami, Jonas Melchert
Spreadsheet-based Configuration of Families of Real-Time Specifications. TiCSA@ETAPS (2023)
José Proença, Luc Edixhoven
Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial). CoRR (2023)
José Proença, Luc Edixhoven
Caos: A Reusable Scala Web Animator of Operational Semantics. COORDINATION (2023)
José Proença
Overview on Constrained Multiparty Synchronisation in Team Automata. FACS (2023)
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
Can We Communicate? Using Dynamic Logic to Verify Team Automata. FM (2023)
Maurice H. ter Beek, Rolf Hennicker, José Proença
Realisability of Global Models of Interaction. ICTAC (2023)
Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems. RSSRail (2022)
Sung-Shik Jongmans, José Proença
ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming. ISoLA (1) (2022)
José Proença, Markus Lumpe
Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017). Sci. Comput. Program. 218 (2022)
Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. ECOOP (2022)
Luc Edixhoven, Sung-Shik Jongmans, José Proença, Guillermina Cledou
Branching Pomsets for Choreographies. ICE (2022)
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
Featured Team Automata. FM (2021)
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
The VALU3S ECSEL project: Verification and validation of automated systems safety and security. Microprocess. Microsystems 87 (2021)
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
Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper. SAMOS (2021)
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
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems. QUATIC (2021)
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
Featured Team Automata. CoRR (2021)
Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst
Hubs for VirtuosoNext: Online verification of real-time coordinators. Sci. Comput. Program. 203 (2021)
Sergey Goncharov, Renato Neves, José Proença
Implementing Hybrid Semantics: From Functional to Imperative. ICTAC (2020)
Giann Spilere Nandi, David Pereira, José Proença, Eduardo Tovar
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems. RTSS (2020)
José Proença, Guillermina Cledou
ARx: Reactive Programming for Synchronous Connectors. COORDINATION (2020)
Sergey Goncharov, Renato Neves, José Proença
Implementing Hybrid Semantics: From Functional to Imperative. CoRR (2020)
José Proença, Alexandre Madeira
Taming Hierarchical Connectors. FSEN (2019)
Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst
Coordination of Tasks on a Real-Time OS. COORDINATION (2019)
Rúben Cruz, José Proença
ReoLive: Analysing Connectors in Your Browser. STAF Workshops (2018)
José Bacelar Almeida, Alcino Cunha, Nuno Macedo, Hugo Pacheco, José Proença
Teaching how to program using automated assessment and functional glossy games (experience report). Proc. ACM Program. Lang. 2 (ICFP) (2018)
Raju Halder, José Proença, Nuno Macedo, André Santos
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. FormaliSE@ICSE (2017)
Guillermina Cledou, José Proença, Luís Soares Barbosa
Composing Families of Timed Automata. FSEN (2017)
José Proença, Dave Clarke
Typed connector families and their semantics. Sci. Comput. Program. 146 (2017)
Guillermina Cledou, José Proença, Luís Soares Barbosa
A Refinement Relation for Families of Timed Automata. SBMF (2017)
José Proença, Carlos Baquero
Quality-Aware Reactive Programming for the Internet of Things. FSEN (2017)
Gowri Sankar Ramachandran, José Proença, Wilfried Daniels, Mario Pickavet, Dimitri Staessens, Christophe Huygens, Wouter Joosen, Danny Hughes
Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things. J. Internet Serv. Appl. 7 (1) (2016)
Radu Muschevici, José Proença, Dave Clarke
Feature Nets: behavioural modelling of software product lines. Softw. Syst. Model. 15 (4) (2016)
Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença
A procedure for splitting data-aware processes and its application to coordination. Sci. Comput. Program. (2016)
Wilfried Daniels, José Proença, Nelson Matthys, Wouter Joosen, Danny Hughes
Tomography: lowering management overhead for distributed component-based applications. M4IoT@Middleware (2015)
José Proença, Dave Clarke
Typed Connector Families. FACS (2015)
Wilfried Daniels, José Proença, Dave Clarke, Wouter Joosen, Danny Hughes
Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications. CBSE (2015)
Gowri Sankar Ramachandran, Wilfried Daniels, José Proença, Sam Michiels, Wouter Joosen, Danny Hughes, Barry Porter
Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks. CBSE (2015)
Radu Muschevici, Dave Clarke, José Proença
Executable modelling of dynamic software product lines in the ABS language. FOSD (2013)
José Proença, Dave Clarke
Data Abstraction in Coordination Constraints. ESOCC Workshops (2013)
José Proença, Dave Clarke
Interactive Interaction Constraints. COORDINATION (2013)
José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab
Dreams: a framework for distributed synchronous coordination. SAC (2012)
Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença, Jan Schäfer, Rudolf Schlatte
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. Int. J. Softw. Tools Technol. Transf. 14 (5) (2012)
Dave Clarke, José Proença
Partial Connector Colouring. COORDINATION (2012)
Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença
A Procedure for Splitting Processes and its Application to Coordination FOCLASA (2012)
Marco Patrignani, Nelson Matthys, José Proença, Danny Hughes, Dave Clarke
Formal analysis of policies in wireless sensor network applications. SESENA (2012)
Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab
Channel-based coordination via constraint satisfaction. Sci. Comput. Program. 76 (8) (2011)
Radu Muschevici, José Proença, Dave Clarke
Modular Modelling of Software Product Lines with Feature Nets. SEFM (2011)
José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab
Decoupled execution of synchronous coordination models via behavioural automata FOCLASA (2011)
Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte
Variability Modelling in the ABS Language. FMCO (2010)
Dave Clarke, José Proença
Towards a Theory of Views for Feature Models. SPLC Workshops (2010)
Radu Muschevici, Dave Clarke, José Proença
Feature Petri Nets. SPLC Workshops (2010)
Dave Clarke, José Proença
Coordination via Interaction Constraints I: Local Logic ICE (2009)
Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab
Deconstructing Reo. Electron. Notes Theor. Comput. Sci. 229 (2) (2009)
Christian Koehler, David Costa, José Proença, Farhad Arbab
Reconfiguration of Reo Connectors Triggered by Dataflow. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
José Proença, Dave Clarke
Coordination Models Orc and Reo Compared. Electron. Notes Theor. Comput. Sci. 194 (4) (2008)
Alcino Cunha, Jorge Sousa Pinto, José Proença
A Framework for Point-Free Program Transformation. IFL (2005)