Jorge C. A. de Figueiredo

According to our database, Jorge C. A. de Figueiredo authored at least 53 papers between 1993 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Jogo para Mensuração de Habilidades Preditoras de Leitura: Construção e Análise.

Jucelio Soares dos Santos, Monilly Ramos Araujo de Melo, Dalton Dario Serey Guerrero, Jorge Cesar Abrantes de Figueiredo, Carla Alexandra Silva Moita

Revista Brasileira de Informática na Educ., 2020

The Role of Source Code Vocabulary in Programming Teaching and Learning.

Marcos Nascimento, Eliane Araújo, Dalton Serey, Jorge Figueiredo

Proceedings of the IEEE Frontiers in Education Conference, 2020

2019

Analyzing Gamification Impact on a Mastery Learning Introductory Programming Course.

Rafael Guerra de Pontes, Dalton Dario Serey Guerrero, Jorge C. A. de Figueiredo

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Automated design tests to check Hibernate design recommendations.

Taciano M. Silva, Dalton Serey, Jorge C. A. de Figueiredo, João Brunet

Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 2019

2018

Automatic Decomposition of Java Open Source Pull Requests: A Replication Study.

Victor da C. Luna Freire, João Brunet, Jorge C. A. de Figueiredo

Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

Analyzing the Impact of Leaderboards in Introductory Programming Courses' Short-Length Activities.

Rafael Guerra de Pontes, Klaudio H. M. Medeiros, Dalton Dario Serey Guerrero, Jorge C. A. de Figueiredo

Proceedings of the IEEE Frontiers in Education Conference, 2018

2017

Learning styles in programming education: A systematic mapping study.

Mirna Carelli Oliveira Maia, Dalton Serey, Jorge Figueiredo

Proceedings of the 2017 IEEE Frontiers in Education Conference, 2017

2016

Qualitative aspects of students' programs: Can we make them measurable?

Eliane Araújo, Dalton Serey, Jorge Figueiredo

Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

Applying spectrum-based fault localization on novice's programs.

Eliane Araújo, Matheus Gaudencio, Dalton Serey, Jorge Figueiredo

Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

2015

Five Years of Software Architecture Checking: A Case Study of Eclipse.

João Brunet, Gail C. Murphy, Dalton Serey, Jorge C. A. de Figueiredo

IEEE Softw., 2015

Using Developers Contributions on Software Vocabularies to Identify Experts.

Katyusco de F. Santos, Dalton Dario Serey Guerrero, Jorge C. A. de Figueiredo

Proceedings of the 12th International Conference on Information Technology, 2015

2014

Do developers discuss design?

João Brunet, Gail C. Murphy, Ricardo Terra, Jorge C. A. de Figueiredo, Dalton Serey Guerrero

Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

2013

Towards medical device behavioural validation using Petri nets.

Paulo E. S. Barbosa, Misael Morais, Katia Elizabete Galdino, Melquisedec Andrade, Luís Gomes, Filipe Moutinho, Jorge C. A. de Figueiredo

Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013

2012

On the Evolutionary Nature of Architectural Violations.

João Brunet, Roberto Almeida Bittencourt, Dalton Serey Guerrero, Jorge C. A. de Figueiredo

Proceedings of the 19th Working Conference on Reverse Engineering, 2012

2011

Enhancing IP cores specifications using hierarchical composition and set theory.

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

Des. Autom. Embed. Syst., 2011

Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System.

Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro

Proceedings of the Technological Innovation for Sustainability, 2011

SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design.

Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha

Proceedings of the Technological Innovation for Sustainability, 2011

Structural conformance checking with design tests: An evaluation of usability and calability.

João Brunet, Dalton Serey Guerrero, Jorge C. A. de Figueiredo

Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

2010

Properties Preservation in Distributed Execution of Petri Nets Models.

Anikó Costa, Paulo E. S. Barbosa, Luís Gomes, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior

Proceedings of the Emerging Trends in Technological Innovation, 2010

Semantic Equations for Formal Models in the Model-Driven Architecture.

Paulo E. S. Barbosa, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Luís Gomes, Antonio D. dos S. Junior

Proceedings of the Emerging Trends in Technological Innovation, 2010

The Hybrid Technique for Object-Oriented Software Change Impact Analysis.

Mirna Carelli Oliveira Maia, Roberto Almeida Bittencourt, Jorge Cesar Abrantes de Figueiredo, Dalton Dario Serey Guerrero

Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010

2009

Checking Semantics Equivalence of MDA Transformations in Concurrent Systems.

Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior, Anikó Costa, Luís Gomes

J. Univers. Comput. Sci., 2009

Design tests: An approach to programmatically check your code against design rules.

João Brunet, Dalton Serey Guerrero, Jorge C. A. de Figueiredo

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches.

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

Proceedings of the IEEE International Conference on Systems, 2008

An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations.

Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior

Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008

Incorporating Semantic Algebra in the MDA Framework.

Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior

Proceedings of the ICSOFT 2008, 2008

Smart Action: A Tool to Help Power System Restoration.

Jorge Figueiredo, Jacques Philippe Sauvé, Pedro Nicolletti, Eloi Rocha, Sérgio Araújo, Fructuoso Amorim, Anderson Feitosa, Ronaldo Agra, Willames Ribeiro

Proceedings of the 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), 2008

On the Precision and Accuracy of Impact Analysis Techniques.

Lile Hattori, Dalton Serey Guerrero, Jorge C. A. de Figueiredo, João Brunet, Jemerson Damásio

Proceedings of the 7th IEEE/ACIS International Conference on Computer and Information Science, 2008

2007

Automating Functional Testing of Components from UML Specifications.

Daniel L. Barbosa, Helton S. Lima, Patrícia D. L. Machado, Jorge C. A. de Figueiredo, Makelli A. Jucá, Wilkerson de L. Andrade

Int. J. Softw. Eng. Knowl. Eng., 2007

Component-based integration testing from UML interaction diagrams.

Patrícia D. L. Machado, Jorge C. A. de Figueiredo, Emerson F. A. Lima, Ana E. V. Barbosa, Helton S. Lima

Proceedings of the IEEE International Conference on Systems, 2007

2006

A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids.

Cássio L. Rodrigues, Paulo E. S. Barbosa, Jairson M. Cabral, Jorge C. A. de Figueiredo, Dalton Serey Guerrero

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

2004

An approach to modelling and applying mobile agent design patterns.

Emerson F. A. Lima, Patrícia D. L. Machado, Fláavio R. Sampaio, Jorge C. A. de Figueiredo

ACM SIGSOFT Softw. Eng. Notes, 2004

Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language.

Fabrício Vale de Azevedo Guerra, Jorge Cesar Abrantes de Figueiredo, Dalton Serey Guerrero

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

Model checking in object-oriented Petri nets.

Cássio L. Rodrigues, Dalton Serey Guerrero, Jorge C. A. de Figueiredo

Proceedings of the IEEE International Conference on Systems, 2004

2003

Using Coloured Petri Nets to Compare Mobile Agent Design Patterns.

Emerson Ferreira de Araújo Lima, Jorge C. A. de Figueiredo, Dalton Serey Guerrero

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

How Bad Are Wrong Suspicions? Towards Adaptive Distributed Protocols.

Lívia M. R. Sampaio, Francisco Vilar Brasileiro, Walfredo Cirne, Jorge C. A. de Figueiredo

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2001

An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment.

Dalton Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

1998

Applying coloured Petri nets to analyze fail silent nodes in distributed systems.

Lívia M. R. Sampaio, Jorge C. A. de Figueiredo, Francisco Vilar Brasileiro

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

An object-oriented Petri net modeling tool and abstraction mechanisms for cooperative systems.

Ana K. A. de Medeiros, Dalton Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Towards a multi-agent interactive learning environment oriented to the Petri net domain.

Gustavo M. Gois, Angelo Perkusich, Jorge C. A. de Figueiredo, Evandro de Barros Costa

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Inheritance issues in object-oriented Petri net models.

Sandro A. D. Costa, Dalton Dario Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Aspectos de Herança em uma Ferramenta de Modelagem de Sistemas Baseada em Redes de Petri.

Sandro A. D. Costa, Dalton Dario Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich

Proceedings of the 12th Brazilian Symposium on Software Engineering, 1998

1997

G-Nets: A petri net based approach for logical and timing analysis of complex software systems.

Angelo Perkusich, Jorge C. A. de Figueiredo

J. Syst. Softw., 1997

A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems.

Tomaz C. Barros, Jorge C. A. de Figueiredo, Angelo Perkusich

J. Braz. Comput. Soc., 1997

1996

Faults and timing analysis in real-time distributed systems: A fuzzy time Petri-net-based approach.

Jorge C. A. de Figueiredo, Angelo Perkusich

Fuzzy Sets Syst., 1996

A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software Systems.

Evandro de Barros Costa, Angelo Perkusich, Jorge C. A. de Figueiredo

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

1995

On the Object Oriented Design of a Track-Vehicle System.

Angelo Perkusich, Jorge C. A. de Figueiredo

Proceedings of the SEKE'95, 1995

Antecipated Faults in Real-Time Distributed Systems.

Jorge C. A. de Figueiredo, Angelo Perkusich, Brazif S. K. Chang

Proceedings of the SEKE'95, 1995

A G-Net Based Environment for Logical and Timing Analysis of Software Systems.

Angelo Perkusich, Jorge C. A. de Figueiredo

Proceedings of the 9th Brazilian Symposium on Software Engineering, 1995

1994

Embedding fault-tolerant properties in the design of complex software systems.

Angelo Perkusich, Jorge C. A. de Figueiredo, Shi-Kuo Chang

J. Syst. Softw., 1994

Timing analysis of real-time software systems using fuzzy time Petri nets.

Jorge C. A. de Figueiredo, Angelo Perkusich, Shi-Kuo Chang

Proceedings of the SEKE'94, 1994

1993

The Design of Real-Time Distributed information Systems with Object-Oriented and Fault-Tolerant Characteristics.

Shi-Kuo Chang, Angelo Perkusich, Jorge C. A. de Figueiredo, Bing Yu, Wolfgang D. Ehrenberger

Proceedings of the SEKE'93, 1993

Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems.

Yi Deng, Shi-Kuo Chang, Jorge C. A. de Figueiredo, Angelo Perkusich

Proceedings of the Application and Theory of Petri Nets 1993, 1993