Jorge C. A. de Figueiredo

According to our database1, Jorge C. A. de Figueiredo authored at least 41 papers between 1993 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Analyzing Gamification Impact on a Mastery Learning Introductory Programming Course.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Automated design tests to check Hibernate design recommendations.
Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 2019

2018
Automatic Decomposition of Java Open Source Pull Requests: A Replication Study.
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.
Proceedings of the IEEE Frontiers in Education Conference, 2018

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

2014
Do developers discuss design?
Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

2013
Towards medical device behavioural validation using Petri nets.
Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013

2012
On the Evolutionary Nature of Architectural Violations.
Proceedings of the 19th Working Conference on Reverse Engineering, 2012

2011
Enhancing IP cores specifications using hierarchical composition and set theory.
Design Autom. for Emb. Sys., 2011

Structural conformance checking with design tests: An evaluation of usability and calability.
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

2010
Properties Preservation in Distributed Execution of Petri Nets Models.
Proceedings of the Emerging Trends in Technological Innovation, 2010

The Hybrid Technique for Object-Oriented Software Change Impact Analysis.
Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010

2009
Checking Semantics Equivalence of MDA Transformations in Concurrent Systems.
J. UCS, 2009

Design tests: An approach to programmatically check your code against design rules.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches.
Proceedings of the IEEE International Conference on Systems, 2008

An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations.
Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008

Incorporating Semantic Algebra in the MDA Framework.
Proceedings of the ICSOFT 2008, 2008

On the Precision and Accuracy of Impact Analysis Techniques.
Proceedings of the 7th IEEE/ACIS International Conference on Computer and Information Science, 2008

2007
Automating Functional Testing of Components from UML Specifications.
International Journal of Software Engineering and Knowledge Engineering, 2007

Component-based integration testing from UML interaction diagrams.
Proceedings of the IEEE International Conference on Systems, 2007

2006
A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids.
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

2005
Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language.
Electron. Notes Theor. Comput. Sci., 2005

2004
An approach to modelling and applying mobile agent design patterns.
ACM SIGSOFT Software Engineering Notes, 2004

Using Coloured Petri Nets to Compare Mobile Agent Design Patterns.
Electron. Notes Theor. Comput. Sci., 2004

Model checking in object-oriented Petri nets.
Proceedings of the IEEE International Conference on Systems, 2004

2003
How Bad Are Wrong Suspicions? Towards Adaptive Distributed Protocols.
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.
Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

1998
Applying coloured Petri nets to analyze fail silent nodes in distributed systems.
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.
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.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Inheritance issues in object-oriented Petri net models.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997
G-Nets: A petri net based approach for logical and timing analysis of complex software systems.
J. Syst. Softw., 1997

A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems.
J. Braz. Comp. Soc., 1997

1996
Faults and timing analysis in real-time distributed systems: A fuzzy time Petri-net-based approach.
Fuzzy Sets Syst., 1996

A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software Systems.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

1995
On the Object Oriented Design of a Track-Vehicle System.
Proceedings of the SEKE'95, 1995

Antecipated Faults in Real-Time Distributed Systems.
Proceedings of the SEKE'95, 1995

1994
Embedding fault-tolerant properties in the design of complex software systems.
J. Syst. Softw., 1994

Timing analysis of real-time software systems using fuzzy time Petri nets.
Proceedings of the SEKE'94, 1994

1993
The Design of Real-Time Distributed information Systems with Object-Oriented and Fault-Tolerant Characteristics.
Proceedings of the SEKE'93, 1993

Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems.
Proceedings of the Application and Theory of Petri Nets 1993, 1993


  Loading...