Epameinondas Gasparis

According to our database, Epameinondas Gasparis authored at least 10 papers between 2008 and 2018.

Collaborative distances:

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

2018

Round-trip engineering with the Two-Tier Programming Toolkit.

Amnon H. Eden, Epameinondas Gasparis, Jon Nicholson, Rick Kazman

Softw. Qual. J., 2018

2014

Automated verification of design patterns: A case study.

Jonathan Nicholson, Amnon H. Eden, Epameinondas Gasparis, Rick Kazman

Sci. Comput. Program., 2014

2013

Modeling and visualizing object-oriented programs with Codecharts.

Amnon H. Eden, Epameinondas Gasparis, Jonathan Nicholson, Rick Kazman

Formal Methods Syst. Des., 2013

2012

Improving video-mediated communication with orchestration.

Martin Groen, Marian Florin Ursu, Spiros Michalakopoulos, Manolis Falelakis, Epameinondas Gasparis

Comput. Hum. Behav., 2012

2010

Design navigation : Recovering design charts from object-oriented programs.

Epameinondas Gasparis

PhD thesis, 2010

Three Controlled Experiments in Software Engineering with the Two-Tier Programming Toolkit: Final Report

Amnon H. Eden, Epameinondas Gasparis

CoRR, 2010

2009

Verification of Design Patterns with LePUS3.

Jonathan Nicholson, Epameinondas Gasparis, Amnon H. Eden, Rick Kazman

Proceedings of the First NASA Formal Methods Symposium, 2009

2008

Navigating Through the Design of Object-Oriented Programs.

Epameinondas Gasparis, Jonathan Nicholson, Amnon H. Eden, Rick Kazman

Proceedings of the WCRE 2008, 2008

The design navigator: charting java programs.

Epameinondas Gasparis, Amnon H. Eden, Jonathan Nicholson, Rick Kazman

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

LePUS3: An Object-Oriented Design Description Language.

Epameinondas Gasparis, Jonathan Nicholson, Amnon H. Eden

Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008