
Jorge C. A. de Figueiredo
Person information
- affiliation: Federal University of Campina Grande, Brazil
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
- [c30]Taciano M. Silva, Dalton Serey, Jorge C. A. de Figueiredo, João Brunet:
Automated design tests to check Hibernate design recommendations. SBES 2019: 94-103 - [c29]Rafael G. de Pontes, Dalton Dario Serey Guerrero, Jorge C. A. de Figueiredo:
Analyzing Gamification Impact on a Mastery Learning Introductory Programming Course. SIGCSE 2019: 400-406 - 2018
- [c28]Rafael G. de Pontes, Klaudio H. M. Medeiros, Dalton D. S. Guerrero, Jorge C. A. de Figueiredo:
Analyzing the Impact of Leaderboards in Introductory Programming Courses' Short-Length Activities. FIE 2018: 1-9 - [c27]Victor da C. Luna Freire, João Brunet, Jorge C. A. de Figueiredo:
Automatic Decomposition of Java Open Source Pull Requests: A Replication Study. SOFSEM 2018: 255-268 - 2015
- [j11]João Brunet, Gail C. Murphy, Dalton Serey, Jorge C. A. de Figueiredo:
Five Years of Software Architecture Checking: A Case Study of Eclipse. IEEE Softw. 32(5): 30-36 (2015) - 2014
- [c26]João Brunet, Gail C. Murphy, Ricardo Terra, Jorge C. A. de Figueiredo, Dalton Serey Guerrero:
Do developers discuss design? MSR 2014: 340-343 - 2013
- [c25]Paulo E. S. Barbosa, Misael Morais, Katia Elizabete Galdino, Melquisedec Andrade, Luís Gomes, Filipe Moutinho
, Jorge C. A. de Figueiredo:
Towards medical device behavioural validation using Petri nets. CBMS 2013: 4-10 - 2012
- [c24]João Brunet, Roberto Almeida Bittencourt
, Dalton Serey Guerrero, Jorge C. A. de Figueiredo:
On the Evolutionary Nature of Architectural Violations. WCRE 2012: 257-266 - 2011
- [j10]Cá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. Des. Autom. Embed. Syst. 15(3-4): 225-245 (2011) - [c23]Joã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 - 2010
- [c22]Mirna 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 - [c21]Anikó 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
2000 – 2009
- 2009
- [j9]Paulo 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. Univers. Comput. Sci. 15(11): 2196-2224 (2009) - [c20]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
- [c19]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 - [c18]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 - [c17]Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior:
An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations. SEW 2008: 33-42 - [c16]Cássio L. Rodrigues, Fabio Jorge Morais, Leandro Max L. Silva, Karina R. G. da Silva, Jorge C. A. de Figueiredo, Dalton Dario Serey Guerrero, Elmar U. K. Melcher:
Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches. SMC 2008: 2093-2098 - 2007
- [j8]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. Int. J. Softw. Eng. Knowl. Eng. 17(3): 339-358 (2007) - [c15]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 - 2006
- [c14]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
- [j7]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. Electron. Notes Theor. Comput. Sci. 130: 187-209 (2005) - 2004
- [j6]Emerson Ferreira de Araújo Lima, Jorge C. A. de Figueiredo, Dalton Serey Guerrero:
Using Coloured Petri Nets to Compare Mobile Agent Design Patterns. Electron. Notes Theor. Comput. Sci. 95: 287-305 (2004) - [j5]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 Softw. Eng. Notes 29(3): 1-8 (2004) - [c13]Cássio L. Rodrigues, Dalton Serey Guerrero, Jorge C. A. de Figueiredo:
Model checking in object-oriented Petri nets. SMC (5) 2004: 4977-4982 - 2003
- [c12]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-560 - 2001
- [c11]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
1990 – 1999
- 1998
- [c10]Ana K. A. de Medeiros, Dalton Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich
:
An object-oriented Petri net modeling tool and abstraction mechanisms for cooperative systems. SMC 1998: 172-177 - [c9]Sandro A. D. Costa, Dalton Dario Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich
:
Inheritance issues in object-oriented Petri net models. SMC 1998: 196-201 - [c8]Gustavo M. Gois, Angelo Perkusich
, Jorge C. A. de Figueiredo, Evandro de Barros Costa:
Towards a multi-agent interactive learning environment oriented to the Petri net domain. SMC 1998: 250-261 - [c7]Lívia M. R. Sampaio, Jorge C. A. de Figueiredo, Francisco Vilar Brasileiro:
Applying coloured Petri nets to analyze fail silent nodes in distributed systems. SMC 1998: 268-273 - 1997
- [j4]Tomaz C. Barros, Jorge C. A. de Figueiredo, Angelo Perkusich:
A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems. J. Braz. Comput. Soc. 4(2) (1997) - [j3]Angelo Perkusich
, Jorge C. A. de Figueiredo:
G-Nets: A petri net based approach for logical and timing analysis of complex software systems. J. Syst. Softw. 39(1): 39-59 (1997) - 1996
- [j2]Jorge C. A. de Figueiredo, Angelo Perkusich
:
Faults and timing analysis in real-time distributed systems: A fuzzy time Petri-net-based approach. Fuzzy Sets Syst. 83(2): 143-168 (1996) - [c6]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
- [c5]Angelo Perkusich, Jorge C. A. de Figueiredo:
On the Object Oriented Design of a Track-Vehicle System. SEKE 1995: 283-290 - [c4]Jorge C. A. de Figueiredo, Angelo Perkusich, Brazif S. K. Chang:
Antecipated Faults in Real-Time Distributed Systems. SEKE 1995: 411-418 - 1994
- [j1]Angelo Perkusich
, Jorge C. A. de Figueiredo, Shi-Kuo Chang:
Embedding fault-tolerant properties in the design of complex software systems. J. Syst. Softw. 25(1): 23-37 (1994) - [c3]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 - 1993
- [c2]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 - [c1]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
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-02-18 23:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint