Franciny Medeiros Barreto

According to our database, Franciny Medeiros Barreto authored at least 5 papers between 2014 and 2021.

Collaborative distances:

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

2021

Formal Approach Based on Petri Nets for Modeling and Verification of Video Games.

Franciny Medeiros Barreto, Stéphane Julia

Comput. Informatics, 2021

2020

A Possibilistic Simulation Model for Multiplayer Game Scenarios Using CPN Tools.

Franciny Medeiros Barreto, Stéphane Julia

Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

2017

Modeling of Video Games Using Workflow Nets and State Graphs.

Franciny Medeiros Barreto, Stéphane Julia

Proceedings of the 31st Brazilian Symposium on Software Engineering, 2017

2014

A Straightforward Introduction to Formal Methods Using Coloured Petri Nets.

Franciny Medeiros Barreto, Joslaine Cristina Jeske de Freitas, Michel S. Soares, Stéphane Julia

Proceedings of the ICEIS 2014, 2014

Modeling and analysis of video games based on workflow nets and state graphs.

Franciny Medeiros Barreto, Stéphane Julia

Proceedings of 24th Annual International Conference on Computer Science and Software Engineering, 2014