Óscar R. Ribeiro

According to our database, Óscar R. Ribeiro authored at least 5 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets.

José Luís Silva, Óscar R. Ribeiro, João M. Fernandes, José Creissac Campos, Michael D. Harrison

Proceedings of the Human-Centred Software Engineering - Third International Conference, 2010

2009

Validation of Scenario-Based Business Requirements with Coloured Petri Nets.

Óscar R. Ribeiro, João M. Fernandes

Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

2007

Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties.

Óscar R. Ribeiro, João M. Fernandes

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

Validation of Reactive Software from Scenario-Based Models.

Óscar R. Ribeiro, João M. Fernandes

Proceedings of the Quality of Information and Communications Technology, 2007

2005

Model Checking Embedded Systems with PROMELA.

Óscar R. Ribeiro, João M. Fernandes, Luís F. Pinto

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005