2008 |
6 | EE | Lile Hattori,
Dalton Serey Guerrero,
Jorge C. A. de Figueiredo,
João Brunet,
Jemerson Damásio:
On the Precision and Accuracy of Impact Analysis Techniques.
ACIS-ICIS 2008: 513-518 |
2006 |
5 | EE | Cássio L. Rodrigues,
Paulo E. S. Barbosa,
Jairson M. Cabral,
Jorge C. A. de Figueiredo,
Dalton Serey Guerrero:
A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids.
SEFM 2006: 226-235 |
2005 |
4 | EE | Fabrício Vale de Azevedo Guerra,
Jorge Cesar Abrantes de Figueiredo,
Dalton Serey Guerrero:
Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language.
Electr. Notes Theor. Comput. Sci. 130: 187-209 (2005) |
2004 |
3 | EE | Cássio L. Rodrigues,
Dalton Serey Guerrero,
Jorge C. A. de Figueiredo:
Model checking in object-oriented Petri nets.
SMC (5) 2004: 4977-4982 |
2 | EE | Emerson Ferreira de Araújo Lima,
Jorge C. A. de Figueiredo,
Dalton Serey Guerrero:
Using Coloured Petri Nets to Compare Mobile Agent Design Patterns.
Electr. Notes Theor. Comput. Sci. 95: 287-305 (2004) |
2001 |
1 | EE | Dalton Serey Guerrero,
Jorge C. A. de Figueiredo,
Angelo Perkusich:
An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment.
Concurrent Object-Oriented Programming and Petri Nets 2001: 338-354 |