José Proença

Orcid: 0000-0003-0971-8919

According to our database1, José Proença authored at least 56 papers between 2005 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Branching pomsets: Design, expressiveness and applications to choreographies.
J. Log. Algebraic Methods Program., January, 2024

2023
Spreadsheet-based Configuration of Families of Real-Time Specifications.
Proceedings of the First Workshop on Trends in Configurable Systems Analysis, 2023

Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial).
CoRR, 2023

Realisability of Global Models of Interaction.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

Can We Communicate? Using Dynamic Logic to Verify Team Automata.
Proceedings of the Formal Methods - 25th International Symposium, 2023

Overview on Constrained Multiparty Synchronisation in Team Automata.
Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023

Caos: A Reusable Scala Web Animator of Operational Semantics.
Proceedings of the Coordination Models and Languages, 2023

2022
Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017).
Sci. Comput. Program., 2022

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact).
Dagstuhl Artifacts Ser., 2022

Branching Pomsets for Choreographies.
Proceedings of the Proceedings 15th Interaction and Concurrency Experience, 2022

Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021
The VALU3S ECSEL project: Verification and validation of automated systems safety and security.
Microprocess. Microsystems, November, 2021

Hubs for VirtuosoNext: Online verification of real-time coordinators.
Sci. Comput. Program., 2021

Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper.
Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2021

A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems.
Proceedings of the Quality of Information and Communications Technology, 2021

Featured Team Automata.
Proceedings of the Formal Methods - 24th International Symposium, 2021

2020
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

Implementing Hybrid Semantics: From Functional to Imperative.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

ARx: Reactive Programming for Synchronous Connectors.
Proceedings of the Coordination Models and Languages, 2020

2019
Taming Hierarchical Connectors.
Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

Coordination of Tasks on a Real-Time OS.
Proceedings of the Coordination Models and Languages, 2019

2018
Teaching how to program using automated assessment and functional glossy games (experience report).
Proc. ACM Program. Lang., 2018

ReoLive: Analysing Connectors in Your Browser.
Proceedings of the Software Technologies: Applications and Foundations, 2018

2017
Typed connector families and their semantics.
Sci. Comput. Program., 2017

A Refinement Relation for Families of Timed Automata.
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Formal Verification of ROS-Based Robotic Applications Using Timed-Automata.
Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

Quality-Aware Reactive Programming for the Internet of Things.
Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

Composing Families of Timed Automata.
Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

2016
Feature Nets: behavioural modelling of software product lines.
Softw. Syst. Model., 2016

A procedure for splitting data-aware processes and its application to coordination.
Sci. Comput. Program., 2016

Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things.
J. Internet Serv. Appl., 2016

2015
Tomography: lowering management overhead for distributed component-based applications.
Proceedings of the 2nd Workshop on Middleware for Context-Aware Applications in the IoT, 2015

Typed Connector Families.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks.
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications.
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

2013
Executable modelling of dynamic software product lines in the ABS language.
Proceedings of the 5th International Workshop on Feature-Oriented Software Development, 2013

Data Abstraction in Coordination Constraints.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

Interactive Interaction Constraints.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems.
Int. J. Softw. Tools Technol. Transf., 2012

A Procedure for Splitting Processes and its Application to Coordination
Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012

Formal analysis of policies in wireless sensor network applications.
Proceedings of the Third International Workshop on Software Engineering for Sensor Network Applications, 2012

Dreams: a framework for distributed synchronous coordination.
Proceedings of the ACM Symposium on Applied Computing, 2012

Partial Connector Colouring.
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

2011
Channel-based coordination via constraint satisfaction.
Sci. Comput. Program., 2011

Decoupled execution of synchronous coordination models via behavioural automata
Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011

Modular Modelling of Software Product Lines with Feature Nets.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2010
Feature Petri Nets.
Proceedings of the Software Product Lines - 14th International Conference, 2010

Towards a Theory of Views for Feature Models.
Proceedings of the Software Product Lines - 14th International Conference, 2010

Variability Modelling in the ABS Language.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009
Coordination via Interaction Constraints I: Local Logic
Proceedings of the Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, 2009

2008
Deconstructing Reo.
Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

Reconfiguration of Reo Connectors Triggered by Dataflow.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

2007
Coordination Models Orc and Reo Compared.
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007

2005
A Framework for Point-Free Program Transformation.
Proceedings of the Implementation and Application of Functional Languages, 2005


  Loading...