José Proença

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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
Deconstructing Reo.
Electron. Notes Theor. Comput. Sci., 2009

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

2008
Coordination Models Orc and Reo Compared.
Electron. Notes Theor. Comput. Sci., 2008

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

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


  Loading...