Luis M. Ceron

According to our database, Luis M. Ceron authored at least 3 papers between 2011 and 2012.

Collaborative distances:

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

2012

Support for early verification of embedded real-time systems through UML models simulation.

Marco A. Wehrmeister, Joao G. Packer, Luis M. Ceron

ACM SIGOPS Oper. Syst. Rev., 2012

Early Verification of Embedded Systems: Testing Automation for UML Models.

Marco A. Wehrmeister, Luis M. Ceron, Johnny L. da Silva

Proceedings of the 2012 Brazilian Symposium on Computing System Engineering, 2012

2011

Framework to Simulate the Behavior of Embedded Real-Time Systems Specified in UML Models.

Marco A. Wehrmeister, Joao G. Packer, Luis M. Ceron

Proceedings of the Brazilian Symposium on Computing System Engineering, 2011