2008 |
20 | 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 |
19 | | Paulo E. S. Barbosa,
Franklin Ramalho,
Jorge C. A. de Figueiredo,
Antonio D. dos S. Junior:
Incorporating Semantic Algebra in the MDA Framework.
ICSOFT (SE/MUSE/GSDCA) 2008: 330-336 |
2007 |
18 | EE | Patrícia D. L. Machado,
Jorge C. A. de Figueiredo,
Emerson F. A. Lima,
Ana E. V. Barbosa,
Helton S. Lima:
Component-based integration testing from UML interaction diagrams.
SMC 2007: 2679-2686 |
17 | EE | Daniel L. Barbosa,
Helton S. Lima,
Patrícia D. L. Machado,
Jorge C. A. de Figueiredo,
Makelli A. Jucá,
Wilkerson de L. Andrade:
Automating Functional Testing of Components from UML Specifications.
International Journal of Software Engineering and Knowledge Engineering 17(3): 339-358 (2007) |
2006 |
16 | 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 |
15 | 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 |
14 | 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 |
13 | EE | Emerson F. A. Lima,
Patrícia D. L. Machado,
Fláavio R. Sampaio,
Jorge C. A. de Figueiredo:
An approach to modelling and applying mobile agent design patterns.
ACM SIGSOFT Software Engineering Notes 29(3): 1-8 (2004) |
12 | 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) |
2003 |
11 | EE | Lívia M. R. Sampaio,
Francisco Vilar Brasileiro,
Walfredo Cirne,
Jorge C. A. de Figueiredo:
How Bad Are Wrong Suspicions? Towards Adaptive Distributed Protocols.
DSN 2003: 551- |
2001 |
10 | 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 |
1997 |
9 | | Tomaz C. Barros,
Jorge C. A. de Figueiredo,
Angelo Perkusich:
A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems.
J. Braz. Comp. Soc. 4(2): (1997) |
8 | EE | Angelo Perkusich,
Jorge C. A. de Figueiredo:
G-Nets: A petri net based approach for logical and timing analysis of complex software systems.
Journal of Systems and Software 39(1): 39-59 (1997) |
1996 |
7 | | Evandro de Barros Costa,
Angelo Perkusich,
Jorge C. A. de Figueiredo:
A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software Systems.
SEKE 1996: 253-260 |
1995 |
6 | | Angelo Perkusich,
Jorge C. A. de Figueiredo:
On the Object Oriented Design of a Track-Vehicle System.
SEKE 1995: 283-290 |
5 | | Jorge C. A. de Figueiredo,
Angelo Perkusich,
Brazif S. K. Chang:
Antecipated Faults in Real-Time Distributed Systems.
SEKE 1995: 411-418 |
1994 |
4 | | Jorge C. A. de Figueiredo,
Angelo Perkusich,
Shi-Kuo Chang:
Timing analysis of real-time software systems using fuzzy time Petri nets.
SEKE 1994: 257-266 |
3 | EE | Angelo Perkusich,
Jorge C. A. de Figueiredo,
Shi-Kuo Chang:
Embedding fault-tolerant properties in the design of complex software systems.
Journal of Systems and Software 25(1): 23-37 (1994) |
1993 |
2 | | Yi Deng,
Shi-Kuo Chang,
Jorge C. A. de Figueiredo,
Angelo Perkusich:
Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems.
Application and Theory of Petri Nets 1993: 206-223 |
1 | | Shi-Kuo Chang,
Angelo Perkusich,
Jorge C. A. de Figueiredo,
Bing Yu,
Wolfgang D. Ehrenberger:
The Design of Real-Time Distributed information Systems with Object-Oriented and Fault-Tolerant Characteristics.
SEKE 1993: 36-45 |