Epameinondas Gasparis

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 1

Top Topics

Specification Languages

Automated Verification

Object Oriented Programs

Mediated Communication

Top Venues

Sci. Comput. Program.

Softw. Qual. J.

Formal Methods Syst. Des.

Comput. Hum. Behav.

University of Essex, Colchester, UK (PHD)

Education History

University of Essex, Colchester, UK

PHD

Publications

Amnon H. Eden, Epameinondas Gasparis, Jon Nicholson, Rick Kazman
Round-trip engineering with the Two-Tier Programming Toolkit. Softw. Qual. J. 26 (2) (2018)
Jonathan Nicholson, Amnon H. Eden, Epameinondas Gasparis, Rick Kazman
Automated verification of design patterns: A case study. Sci. Comput. Program. 80 (2014)
Amnon H. Eden, Epameinondas Gasparis, Jonathan Nicholson, Rick Kazman
Modeling and visualizing object-oriented programs with Codecharts. Formal Methods Syst. Des. 43 (1) (2013)
Martin Groen, Marian Florin Ursu, Spiros Michalakopoulos, Manolis Falelakis, Epameinondas Gasparis
Improving video-mediated communication with orchestration. Comput. Hum. Behav. 28 (5) (2012)
Amnon H. Eden, Epameinondas Gasparis
Three Controlled Experiments in Software Engineering with the Two-Tier Programming Toolkit: Final Report CoRR (2010)
Jonathan Nicholson, Epameinondas Gasparis, Amnon H. Eden, Rick Kazman
Verification of Design Patterns with LePUS3. NASA Formal Methods (2009)
Epameinondas Gasparis, Jonathan Nicholson, Amnon H. Eden, Rick Kazman
Navigating Through the Design of Object-Oriented Programs. WCRE (2008)
Epameinondas Gasparis, Jonathan Nicholson, Amnon H. Eden
LePUS3: An Object-Oriented Design Description Language. Diagrams (2008)
Epameinondas Gasparis, Amnon H. Eden, Jonathan Nicholson, Rick Kazman
The design navigator: charting java programs. ICSE Companion (2008)