Skip to main content Skip to main navigation

Publications

Page 1 of 1.

  1. Mihai Codescu; Till Mossakowski; Christian Maeder

    Checking conservativity with Hets

    In: Conference on Algebra and Coalgebra in Computer Science - Proceedings. Conference on Algebra and Coalgebra in Computer Science (CALCO-13), September 3-6, Warsaw, Poland, 2013.

  2. Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski

    The VSE Refinement Method in Hets

    In: Electronic Communications of the EASST, 2013.

  3. Serge Autexier; Dominik Dietrich; Dieter Hutter; Christoph Lüth; Christian Maeder

    SmartTies - Management of Safety-Critical Developments

    In: Margaria Tiziana; Bernhard Steffen (Hrsg.). Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12), October 15-18, Amirandes, Heraclion, Crete, Greece, Pages 238-252, Lecture Notes in Computer Science (LNCS), Vol. 7609, Springer, 10/2012.

  4. Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski

    The VSE Refinement Method in Hets

    In: Electronic Communications of the EASST, 2012.

  5. Regivan Hugo Nunes Santiago; Christian Maeder

    Linguistic Variables of Type-N - a Mathematical Model

    In: Tendencias em Matematica Aplicada e Computacional (TEMA), Vol. 12, No. 1, Pages 21-30, SBMAC, Brasil, 4/2011.

  6. Glauber Cabral; Christian Maeder; Till Mossakowski; Lutz Schröder

    Creating a HasCASL library

    In: Jonathan Aldrich; Ricardo Massa (Hrsg.). 14th Brazilian Symposium on Programming Languages. Brazilian Symposium on Programming Languages (SBLP-10), located at Brazilian Conference on Software: Theory and Practice, September 27 - October 1, Salvador-Bahia, Brazil, 9/2010.

  7. Mihai Codescu; Till Mossakowski; Adrian Riesco; Christian Maeder

    Integrating Maude into HETS

    In: Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology. International Conference on Algebraic Methodology and Software Technology (AMAST-2010), Thirteenth, June 23-25, Manoir St-Castin, Quebec, Canada, LNCS, Springer, 2010.

  8. Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski

    The VSE Refinement Method in HETS

    In: K. Breitman; A. Cavalcanti (Hrsg.). Proceedings of the 11th International Conference on Formal Engineering Methods. International Conference on Formal Engineering Methods (ICFEM-2009), December 9-12, Rio de Janeiro, Brazil, Lecture Notes in Computer Science (LNCS), Vol. 5885, Springer, 2009.

  9. Till Mossakowski; Christian Maeder; Klaus Lüttich

    The Heterogeneous Tool Set

    In: Orna Grumberg; Michael Huth (Hrsg.). TACAS 2007. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2007), 13th, located at the European Joint Conferences on Theory and Practice of Software (ETAPS 2007), March 24 - April 1, Braga, Portugal, Pages 519-522, Lecture Notes in Computer Science (LNCS), Vol. 4424, Springer-Verlag, Heidelberg, 2007.

  10. Till Mossakowski; Christian Maeder; Klaus Lüttich

    The Heterogeneous Tool Set

    In: Bernhard Beckert (Hrsg.). VERIFY 2007, 4th International Verification Workshop. Pages 119-135, CEUR Workshop Proceedings, Vol. 259, 2007.