 | 2009 |
|---|
| 7 |       | João Brunet,
Dalton Serey Guerrero,
Jorge C. A. de Figueiredo:
Design tests: An approach to programmatically check your code against design rules.
ICSE Companion 2009: 255-258 |
| 2008 |
|---|
| 6 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 |
