José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
1
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
Interactive Interaction Constraints
COORDINATION 2013
«
»
Cite
×