Jorge C. A. de Figueiredo

Publication Activity (10 Years)

Years Active: 1993-2019
Publications (10 Years): 4

Top Topics

Introductory Programming

Automated Design

Top Venues

Publications

Taciano M. Silva, Dalton Serey, Jorge C. A. de Figueiredo, João Brunet
Automated design tests to check Hibernate design recommendations. SBES (2019)
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)
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)
Rafael G. 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)
Katyusco de F. Santos, Dalton Dario Serey Guerrero, Jorge C. A. de Figueiredo
Using Developers Contributions on Software Vocabularies to Identify Experts. ITNG (2015)
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) (2015)
João Brunet, Gail C. Murphy, Ricardo Terra, Jorge C. A. de Figueiredo, Dalton Serey Guerrero
Do developers discuss design? MSR (2014)
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)
João Brunet, Roberto Almeida Bittencourt, Dalton Serey Guerrero, Jorge C. A. de Figueiredo
On the Evolutionary Nature of Architectural Violations. WCRE (2012)
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)
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) (2011)
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)
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) (2009)
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)
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)
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)
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)
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)
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) (2007)
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)
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)
Cássio L. Rodrigues, Dalton Serey Guerrero, Jorge C. A. de Figueiredo
Model checking in object-oriented Petri nets. SMC (5) (2004)
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) (2004)
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 (2004)
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)
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)
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)
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)
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)
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)
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)
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) (1997)
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)
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)
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) (1996)
Angelo Perkusich, Jorge C. A. de Figueiredo
On the Object Oriented Design of a Track-Vehicle System. SEKE (1995)
Jorge C. A. de Figueiredo, Angelo Perkusich, Brazif S. K. Chang
Antecipated Faults in Real-Time Distributed Systems. SEKE (1995)
Angelo Perkusich, Jorge C. A. de Figueiredo
A G-Net Based Environment for Logical and Timing Analysis of Software Systems. SBES (1995)
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) (1994)
Jorge C. A. de Figueiredo, Angelo Perkusich, Shi-Kuo Chang
Timing analysis of real-time software systems using fuzzy time Petri nets. SEKE (1994)
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)
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)