Franciny Medeiros Barreto

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 3

Top Topics

Simulation Model

Top Venues

Comput. Informatics

Publications

Franciny Medeiros Barreto, Stéphane Julia
Formal Approach Based on Petri Nets for Modeling and Verification of Video Games. Comput. Informatics 40 (1) (2021)
Franciny Medeiros Barreto, Stéphane Julia
A Possibilistic Simulation Model for Multiplayer Game Scenarios Using CPN Tools. SBES (2020)
Franciny Medeiros Barreto, Stéphane Julia
Modeling of Video Games Using Workflow Nets and State Graphs. SBES (2017)
Franciny Medeiros Barreto, Stéphane Julia
Modeling and analysis of video games based on workflow nets and state graphs. CASCON (2014)
Franciny Medeiros Barreto, Joslaine Cristina Jeske de Freitas, Michel S. Soares, Stéphane Julia
A Straightforward Introduction to Formal Methods Using Coloured Petri Nets. ICEIS (2) (2014)