José Proença

Synchronous Coordination of Distributed Components

José Proença · Lirias (KU Leuven) · 2011 · 55 citations · Full text

Formal Verification of ROS-Based Robotic Applications Using Timed-Automata

Raju Halder, José Proença, Nuno Macedo et al. · 2017 · 55 citations · Full text

Robotic Systems, Engineering, Field Robotics +18

The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems

Peter Y. H. Wong, Elvira Albert, Radu Muschevici et al. · International Journal on Software Tools for Technology Transfer · 2012 · 43 citations · Full text

Distributed Object Middleware, Abs Tool Suite, Engineering +13

Dreams

José Proença, Dave Clarke, E.P. de Vink et al. · 2012 · 43 citations · Full text

Engineering, Synchronization Protocol, Synchronous Coordination Systems +11

Modeling, Testing and Executing Reo Connectors with the Eclipse Coordination Tools

Farhad Arbab, Christian Krause, Ziyan Maraikar et al. · CWI's Institutional Repository (Centrum Wiskunde & Informatica) · 2008 · 31 citations · Full text