Georgel Calin

According to our database, Georgel Calin authored at least 6 papers between 2007 and 2016.

Collaborative distances:

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

2016

Verification Techniques for TSO-Relaxed Programs.

Georgel Calin

PhD thesis, 2016

2015

Lazy TSO Reachability.

Ahmed Bouajjani, Georgel Calin, Egor Derevenetc, Roland Meyer

Proceedings of the Fundamental Approaches to Software Engineering, 2015

2013

A Theory of Partitioned Global Address Spaces.

Georgel Calin, Egor Derevenetc, Rupak Majumdar, Roland Meyer

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2012

Language-Theoretic Abstraction Refinement.

Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2010

Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains.

Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang

Proceedings of the Model Checking Software, 2010

2007

CoLoSS: The Coalgebraic Logic Satisfiability Solver.

Georgel Calin, Robert S. R. Myers, Dirk Pattinson, Lutz Schröder

Proceedings of the 5th Workshop on Methods for Modalities, 2007