Óscar R. Ribeiro

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

José Luís Silva, Óscar R. Ribeiro, João M. Fernandes, José Creissac Campos, Michael D. Harrison
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets. HCSE (2010)
Óscar R. Ribeiro, João M. Fernandes
Validation of Scenario-Based Business Requirements with Coloured Petri Nets. ICSEA (2009)
Óscar R. Ribeiro, João M. Fernandes
Validation of Reactive Software from Scenario-Based Models. QUATIC (2007)
Óscar R. Ribeiro, João M. Fernandes
Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties. SIES (2007)
Óscar R. Ribeiro, João M. Fernandes, Luís F. Pinto
Model Checking Embedded Systems with PROMELA. ECBS (2005)