dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jorge C. A. de Figueiredo Home Page Coauthor index pubzone.org

Jorge Cesar Abrantes de Figueiredo

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Brunet, Dalton Serey Guerrero, Jorge C. A. de Figueiredo: Structural conformance checking with design tests: An evaluation of usability and calability. ICSM 2011: 143-152
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCássio L. Rodrigues, Karina R. G. da Silva, Henrique do N. Cunha, Jorge C. A. de Figueiredo, Dalton Dario Serey Guerrero, Elmar U. K. Melcher: Enhancing IP cores specifications using hierarchical composition and set theory. Design Autom. for Emb. Sys. 15(3-4): 225-245 (2011)
2010
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMirna Carelli Oliveira Maia, Roberto Almeida Bittencourt, Jorge Cesar Abrantes de Figueiredo, Dalton Dario Serey Guerrero: The Hybrid Technique for Object-Oriented Software Change Impact Analysis. CSMR 2010: 252-255
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnikó Costa, Paulo E. S. Barbosa, Luís Gomes, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior: Properties Preservation in Distributed Execution of Petri Nets Models. DoCEIS 2010: 241-250
2009
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoã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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior, Anikó Costa, Luís Gomes: Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. J. UCS 15(11): 2196-2224 (2009)
2008
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLile 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
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo 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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrí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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCá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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabrí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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCássio L. Rodrigues, Dalton Serey Guerrero, Jorge C. A. de Figueiredo: Model checking in object-oriented Petri nets. SMC (5) 2004: 4977-4982
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmerson 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)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmerson 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLí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-560
2001
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDalton 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
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomaz 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)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelo 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
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvandro 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
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelo Perkusich, Jorge C. A. de Figueiredo: On the Object Oriented Design of a Track-Vehicle System. SEKE 1995: 283-290
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge C. A. de Figueiredo, Angelo Perkusich, Brazif S. K. Chang: Antecipated Faults in Real-Time Distributed Systems. SEKE 1995: 411-418
1994
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelo 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShi-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

Coauthor Index

1Wilkerson de L. Andrade [17]
2Ana E. V. Barbosa [18]
3Daniel L. Barbosa [17]
4Paulo E. S. Barbosa [16] [19] [21] [23]
5Tomaz C. Barros [9]
6Roberto Almeida Bittencourt [24]
7Francisco Vilar Brasileiro (Francisco V. Brasileiro) [11]
8João Brunet [20] [22] [26]
9Jairson M. Cabral [16]
10Brazif S. K. Chang [5]
11Shi-Kuo Chang [1] [2] [3] [4]
12Walfredo Cirne [11]
13Anikó Costa [21] [23]
14Evandro de Barros Costa [7]
15Henrique do N. Cunha [25]
16Jemerson Damásio [20]
17Yi Deng [2]
18Wolfgang D. Ehrenberger [1]
19Luís Gomes [21] [23]
20Fabrício Vale de Azevedo Guerra [15]
21Dalton Serey Guerrero (Dalton Dario Serey Guerrero) [10] [12] [14] [15] [16] [20] [22] [24] [25] [26]
22Lile Hattori [20]
23Makelli A. Jucá [17]
24Antonio D. dos S. Junior [19] [21] [23]
25Emerson F. A. Lima [13] [18]
26Emerson Ferreira de Araújo Lima [12]
27Helton S. Lima [17] [18]
28Patrícia D. L. Machado [13] [17] [18]
29Mirna Carelli Oliveira Maia [24]
30Elmar U. K. Melcher [25]
31Angelo Perkusich [1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
32Franklin Ramalho (Franklin de S. Ramalho) [19] [21] [23]
33Cássio L. Rodrigues [14] [16] [25]
34Fláavio R. Sampaio [13]
35Lívia M. R. Sampaio [11]
36Karina R. G. da Silva [25]
37Bing Yu [1]

Last update Wed May 30 22:34:44 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page