José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
1
A Refinement Relation for Families of Timed Automata
SBMF 2017
Composing Families of Timed Automata
FSEN 2017
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata
FormaliSE 2017
Quality-Aware Reactive Programming for the Internet of Things
FSEN 2017
Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks
CBSE 2015
Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications
CBSE 2015
Tomography: lowering management overhead for distributed component-based applications
M4IoT@Middleware 2015
Typed Connector Families
FACS 2015
Data Abstraction in Coordination Constraints
FOCLASA 2013
Executable modelling of dynamic software product lines in the ABS language
FOSD 2013
«
»
Cite
×