Theoretical Computer Science

Publications by Georgel Calin

Conference contributions

3. Lazy TSO Reachability, with Ahmed Bouajjani, Egor Derevenetc, and Roland Meyer.
   In Proceedings of FASE 2015.
   arXiv | DOI | BibTeX

2. A Theory of Partitioned Global Address Spaces, with Egor Derevenetc, Rupak Majumdar, and Roland Meyer.
   In Proceedings of FSTTCS 2013.
   arXiv | DOI | BibTeX

1. Language-Theoretic Abstraction Refinement, with Zhenyue Long, Rupak Majumdar, and Roland Meyer.
   In Proceedings of FASE 2012.
   ETAPS 2012 best paper award by EAPLS.
   DOI | www | BibTeX

Journal articles

1. CoLoSS: The Coalgebraic Logic Satisfiability Solver, with Robert S. R. Myers, Dirk Pattinson, and Lutz Schröder.
   Electr. Notes Theor. Comput. Sci., 2009.
   DOI

Workshop contributions

1. Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains, with Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, and Lijun Zhang.
   In Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings, 2010.
   DOI

Theses

2. Verification Techniques for TSO-Relaxed Programs. PhD Thesis.
   Technische Universität Kaiserslautern, 2016.
   PDF

1. Scheduler-Quantified Time-Bounded Reachability for Distributed Input/Output Interactive Probabilistic Chains. MSc Thesis.
   Saarland University, 2010.
   PDF

Technical Reports

2. Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains, with Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, and Lijun Zhang.
   Technical Report 64, Sonderforschungsbereiche (SFB)/Transregio (TR) 14 AVACS, 2010.
   PDF

1. Automated Checking of Observational Equivalence for an Extended Spi Calculus, with Markus Rabe and Raphael Reischuk.
   Technical Report , Student Seminar at Saarland University, 2009.
   PDF