default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJorge C. A. de Figueiredo
Person information
- affiliation: Federal University of Campina Grande, Brazil
Other persons with the same name
- Jorge Figueiredo — disambiguation page
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[j10]Jucelio Soares dos Santos, Monilly Ramos Araujo de Melo, Dalton Dario Serey Guerrero, Jorge Cesar Abrantes de Figueiredo, Carla Alexandra Silva Moita:
Jogo para Mensuração de Habilidades Preditoras de Leitura: Construção e Análise. Revista Brasileira de Informática na Educ. 28: 260-272 (2020)- [c43]Marcos Nascimento, Eliane Araújo, Dalton Serey, Jorge Figueiredo:
The Role of Source Code Vocabulary in Programming Teaching and Learning. FIE 2020: 1-8
2010 – 2019
- 2019
- [c42]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 - [c41]Rafael Guerra 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
- [c40]Rafael Guerra de Pontes, Klaudio H. M. Medeiros, Dalton Dario Serey Guerrero, Jorge C. A. de Figueiredo:
Analyzing the Impact of Leaderboards in Introductory Programming Courses' Short-Length Activities. FIE 2018: 1-9 - [c39]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 - 2017
- [c38]Mirna Carelli Oliveira Maia, Dalton Serey, Jorge Figueiredo:
Learning styles in programming education: A systematic mapping study. FIE 2017: 1-7 - 2016
- [c37]Eliane Araújo, Matheus Gaudencio, Dalton Serey, Jorge Figueiredo:
Applying spectrum-based fault localization on novice's programs. FIE 2016: 1-8 - [c36]Eliane Araújo, Dalton Serey, Jorge Figueiredo:
Qualitative aspects of students' programs: Can we make them measurable? FIE 2016: 1-8 - 2015
- [j9]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) - [c35]Katyusco de F. Santos, Dalton Dario Serey Guerrero, Jorge C. A. de Figueiredo:
Using Developers Contributions on Software Vocabularies to Identify Experts. ITNG 2015: 451-456 - 2014
- [c34]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
- [c33]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
- [c32]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
- [j8]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) - [c31]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 - [c30]Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro:
Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. DoCEIS 2011: 237-245 - [c29]Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha:
SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. DoCEIS 2011: 256-265 - 2010
- [c28]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 - [c27]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 - [c26]Paulo E. S. Barbosa, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Luís Gomes, Antonio D. dos S. Junior:
Semantic Equations for Formal Models in the Model-Driven Architecture. DoCEIS 2010: 251-260
2000 – 2009
- 2009
- [j7]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) - [c25]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
- [c24]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 - [c23]Jorge Figueiredo, Jacques Philippe Sauvé, Pedro Nicolletti, Eloi Rocha, Sérgio Araújo, Fructuoso Amorim, Anderson Feitosa, Ronaldo Agra, Willames Ribeiro:
Smart Action: A Tool to Help Power System Restoration. HICSS 2008: 167 - [c22]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 - [c21]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 - [c20]Cássio L. Rodrigues, Fábio Jorge Almeida 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
- [j6]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) - [c19]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
- [c18]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 - 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) - [c17]Cássio L. Rodrigues, Dalton Serey Guerrero, Jorge C. A. de Figueiredo:
Model checking in object-oriented Petri nets. SMC (5) 2004: 4977-4982 - [c16]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. SBMF 2004: 187-209 - 2003
- [c15]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 - [c14]Emerson Ferreira de Araújo Lima, Jorge C. A. de Figueiredo, Dalton Serey Guerrero:
Using Coloured Petri Nets to Compare Mobile Agent Design Patterns. WMF 2003: 287-305 - 2001
- [c13]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
- [c12]Sandro A. D. Costa, Dalton Dario Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich:
Aspectos de Herança em uma Ferramenta de Modelagem de Sistemas Baseada em Redes de Petri. SBES 1998: 297-312 - [c11]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 - [c10]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 - [c9]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 - [c8]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) - [c7]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
- [c6]Angelo Perkusich, Jorge C. A. de Figueiredo:
A G-Net Based Environment for Logical and Timing Analysis of Software Systems. SBES 1995: 241-256 - [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).
Privacy notice: By enabling the option above, your browser will contact the API of 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.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional 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 information given by OpenAlex.
last updated on 2024-04-24 23:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
