Jorge C. A. de Figueiredo

42 papers A 3B 9C 7Journal 9Unranked 14

Year	Rank	Type	Title / Venue / Authors
2019	A	`conf`	Analyzing Gamification Impact on a Mastery Learning Introductory Programming Course. SIGCSE Rafael Guerra de Pontes, Dalton Dario Serey Guerrero, Jorge C. A. de Figueiredo
2019	—	`conf`	Automated design tests to check Hibernate design recommendations. SBES Taciano M. Silva, Dalton Serey, Jorge C. A. de Figueiredo, João Brunet
2018	C	`conf`	Analyzing the Impact of Leaderboards in Introductory Programming Courses' Short-Length Activities. FIE Rafael Guerra de Pontes, Klaudio H. M. Medeiros, Dalton Dario Serey Guerrero, Jorge C. A. de Figueiredo
2018	B	`conf`	Automatic Decomposition of Java Open Source Pull Requests: A Replication Study. SOFSEM Victor da C. Luna Freire, João Brunet, Jorge C. A. de Figueiredo
2015	J	`jnl`	Five Years of Software Architecture Checking: A Case Study of Eclipse. IEEE Softw. João Brunet, Gail C. Murphy, Dalton Serey, Jorge C. A. de Figueiredo
2015	—	`conf`	Using Developers Contributions on Software Vocabularies to Identify Experts. ITNG Katyusco de F. Santos, Dalton Dario Serey Guerrero, Jorge C. A. de Figueiredo
2014	A	`conf`	Do developers discuss design? MSR João Brunet, Gail C. Murphy, Ricardo Terra, Jorge C. A. de Figueiredo, Dalton Serey Guerrero
2013	B	`conf`	Towards medical device behavioural validation using Petri nets. CBMS Paulo E. S. Barbosa, Misael Morais, Katia Elizabete Galdino, Melquisedec Andrade, Luís Gomes, Filipe Moutinho, Jorge C. A. de Figueiredo
2012	—	`conf`	On the Evolutionary Nature of Architectural Violations. WCRE João Brunet, Roberto Almeida Bittencourt, Dalton Serey Guerrero, Jorge C. A. de Figueiredo
2011	J	`jnl`	Enhancing IP cores specifications using hierarchical composition and set theory. Des. Autom. Embed. Syst. 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
2011	—	`conf`	Structural conformance checking with design tests: An evaluation of usability and calability. ICSM João Brunet, Dalton Serey Guerrero, Jorge C. A. de Figueiredo
2010	—	`conf`	Properties Preservation in Distributed Execution of Petri Nets Models. DoCEIS Anikó Costa, Paulo E. S. Barbosa, Luís Gomes, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior
2009	J	`jnl`	Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. J. Univers. Comput. Sci. Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior, Anikó Costa, Luís Gomes
2009	—	`conf`	Design tests: An approach to programmatically check your code against design rules. ICSE Companion João Brunet, Dalton Serey Guerrero, Jorge C. A. de Figueiredo
2008	C	`conf`	An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations. SEW Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior
2008	B	`conf`	Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches. SMC 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
2008	—	`conf`	Incorporating Semantic Algebra in the MDA Framework. ICSOFT (SE/MUSE/GSDCA) Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior
2008	—	`conf`	On the Precision and Accuracy of Impact Analysis Techniques. ACIS-ICIS Lile Hattori, Dalton Serey Guerrero, Jorge C. A. de Figueiredo, João Brunet, Jemerson Damásio
2007	J	`jnl`	Automating Functional Testing of Components from UML Specifications. Int. J. Softw. Eng. Knowl. Eng. Daniel L. Barbosa, Helton S. Lima, Patrícia D. L. Machado, Jorge C. A. de Figueiredo, Makelli A. Jucá, Wilkerson de L. Andrade
2007	B	`conf`	Component-based integration testing from UML interaction diagrams. SMC Patrícia D. L. Machado, Jorge C. A. de Figueiredo, Emerson F. A. Lima, Ana E. V. Barbosa, Helton S. Lima
2006	B	`conf`	A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids. SEFM Cássio L. Rodrigues, Paulo E. S. Barbosa, Jairson M. Cabral, Jorge C. A. de Figueiredo, Dalton Serey Guerrero
2004	J	`jnl`	An approach to modelling and applying mobile agent design patterns. ACM SIGSOFT Softw. Eng. Notes Emerson F. A. Lima, Patrícia D. L. Machado, Fláavio R. Sampaio, Jorge C. A. de Figueiredo
2004	—	`conf`	Model checking in object-oriented Petri nets. SMC (5) Cássio L. Rodrigues, Dalton Serey Guerrero, Jorge C. A. de Figueiredo
2003	A	`conf`	How Bad Are Wrong Suspicions? Towards Adaptive Distributed Protocols. DSN Lívia M. R. Sampaio, Francisco Vilar Brasileiro, Walfredo Cirne, Jorge C. A. de Figueiredo
2003	—	`conf`	Using Coloured Petri Nets to Compare Mobile Agent Design Patterns. WMF Emerson Ferreira de Araújo Lima, Jorge C. A. de Figueiredo, Dalton Serey Guerrero
2001	—	`conf`	An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment. Concurrent Object-Oriented Programming and Petri Nets Dalton Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich
1998	B	`conf`	An object-oriented Petri net modeling tool and abstraction mechanisms for cooperative systems. SMC Ana K. A. de Medeiros, Dalton Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich
1998	B	`conf`	Applying coloured Petri nets to analyze fail silent nodes in distributed systems. SMC Lívia M. R. Sampaio, Jorge C. A. de Figueiredo, Francisco Vilar Brasileiro
1998	—	`conf`	Aspectos de Herança em uma Ferramenta de Modelagem de Sistemas Baseada em Redes de Petri. SBES Sandro A. D. Costa, Dalton Dario Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich
1998	B	`conf`	Inheritance issues in object-oriented Petri net models. SMC Sandro A. D. Costa, Dalton Dario Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich
1998	B	`conf`	Towards a multi-agent interactive learning environment oriented to the Petri net domain. SMC Gustavo M. Gois, Angelo Perkusich, Jorge C. A. de Figueiredo, Evandro de Barros Costa
1997	J	`jnl`	A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems. J. Braz. Comput. Soc. Tomaz C. Barros, Jorge C. A. de Figueiredo, Angelo Perkusich
1997	J	`jnl`	G-Nets: A petri net based approach for logical and timing analysis of complex software systems. J. Syst. Softw. Angelo Perkusich, Jorge C. A. de Figueiredo
1996	C	`conf`	A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software Systems. SEKE Evandro de Barros Costa, Angelo Perkusich, Jorge C. A. de Figueiredo
1996	J	`jnl`	Faults and timing analysis in real-time distributed systems: A fuzzy time Petri-net-based approach. Fuzzy Sets Syst. Jorge C. A. de Figueiredo, Angelo Perkusich
1995	—	`conf`	A G-Net Based Environment for Logical and Timing Analysis of Software Systems. SBES Angelo Perkusich, Jorge C. A. de Figueiredo
1995	C	`conf`	Antecipated Faults in Real-Time Distributed Systems. SEKE Jorge C. A. de Figueiredo, Angelo Perkusich, Brazif S. K. Chang
1995	C	`conf`	On the Object Oriented Design of a Track-Vehicle System. SEKE Angelo Perkusich, Jorge C. A. de Figueiredo
1994	J	`jnl`	Embedding fault-tolerant properties in the design of complex software systems. J. Syst. Softw. Angelo Perkusich, Jorge C. A. de Figueiredo, Shi-Kuo Chang
1994	C	`conf`	Timing analysis of real-time software systems using fuzzy time Petri nets. SEKE Jorge C. A. de Figueiredo, Angelo Perkusich, Shi-Kuo Chang
1993	—	`conf`	Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems. Application and Theory of Petri Nets Yi Deng, Shi-Kuo Chang, Jorge C. A. de Figueiredo, Angelo Perkusich
1993	C	`conf`	The Design of Real-Time Distributed information Systems with Object-Oriented and Fault-Tolerant Characteristics. SEKE Shi-Kuo Chang, Angelo Perkusich, Jorge C. A. de Figueiredo, Bing Yu, Wolfgang D. Ehrenberger