Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Publications by Georgel Calin

Publications by Georgel Calin

Conference contributions

  1. 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

  3. 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

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

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

Technical Reports

  1. 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

  2. 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