Browsing by Author José Paiva Proença
Showing results 1 to 17 of 17
Issue Date | Title | Author(s) |
2017 | Composing Families of Timed Automata | Guillermina Cledou; José Paiva Proença; Luís Soares Barbosa |
2013 | Data Abstraction in Coordination Constraints | José Paiva Proença; Clarke,D |
2013 | Executable modelling of dynamic software product lines in the ABS language | Muschevici,R; Clarke,D; José Paiva Proença |
2016 | Feature Nets: behavioural modelling of software product lines | Muschevici,R; José Paiva Proença; Clarke,D |
2017 | Formal Verification of ROS-Based Robotic Applications Using Timed-Automata | Halder,R; José Paiva Proença; Nuno Moreira Macedo; Santos,A |
2016 | Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things | Ramachandran,GS; José Paiva Proença; Daniels,W; Pickavet,M; Staessens,D; Huygens,C; Joosen,W; Hughes,D |
2015 | Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks | Ramachandran,GS; Daniels,W; José Paiva Proença; Michiels,S; Joosen,W; Hughes,D; Porter,B |
2013 | Interactive interaction constraints | José Paiva Proença; Clarke,D |
2016 | A procedure for splitting data-aware processes and its application to coordination | Jongmans,SungShikT.Q.; Clarke,Dave; José Paiva Proença |
2017 | Quality-Aware Reactive Programming for the Internet of Things | José Paiva Proença; Carlos Baquero |
2017 | A Refinement Relation for Families of Timed Automata | Guillermina Cledou; José Paiva Proença; Luís Soares Barbosa |
2015 | Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications | Daniels,W; José Paiva Proença; Clarke,D; Joosen,W; Hughes,D |
2018 | ReoLive: Analysing Connectors in Your Browser | José Paiva Proença; Cruz,R; 5901 |
2019 | Taming Hierarchical Connectors | Madeira,A; José Paiva Proença; 5901 |
2015 | Tomography: lowering management overhead for distributed component-based applications | Daniels,W; José Paiva Proença; Matthys,N; Joosen,W; Hughes,D |
2015 | Typed Connector Families | José Paiva Proença; Clarke,Dave |
2017 | Typed connector families and their semantics | José Paiva Proença; Clarke,D |