2010

  • Michael Leuschel, Salvador Tamarit, Germán Vidal
    Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation.
    In Proceedings WFLP'2009, Santiago Escobar, LNCS 5979, Springer-Verlag, 111--127, 2010.
  • Stefan Hallerstede, Michael Leuschel, Daniel Plagge
    Refinement-Animation for Event-B - Towards a Method of Validation.
    In Proceedings ABZ'2010, Lecture Notes in Computer Science, 5977, Springer-Verlag, 287--301, 2010.
  • Edd Turner, Michael Butler, Michael Leuschel
    A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking.
    In Proceedings ABZ'2010, Lecture Notes in Computer Science, 5977, Springer-Verlag, 231--244, 2010.
  • Stefan Hallerstede
    Structured Event-B Models and Proofs.
    In ABZ 2010, Lecture Notes in Computer Science, Springer-Verlag, 2010.
  • Daniel Plagge, Michael Leuschel
    Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more.
    In Software Tools for Technology Transfer (STTT), 12, 1, Springer-Verlag, 9--21, 2010.
  • Michael Leuschel, Thierry Massart
    Efficient Approximate Verification of B via Symmetry Markers.
    In Annals of Mathematics and Artificial Intelligence, 59, 1, 81--106, 2010.
  • Carl Friedrich Bolz, Michael Leuschel, David Schneider
    Towards a Jitting VM for Prolog Execution.
    In PPDP '10 - Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming, ACM, 2010.
  • David Schneider, Carl Friedrich Bolz, Michael Leuschel
    Jitting Prolog for Fun and Profit.
    In DYLA 2010 - 4th Workshop on Dynamic Languages and Applications, 2010.
  • Michael Leuschel, Jens Bendisposto
    Directed Model Checking for B: An Evaluation and New Techniques.
    In SBMF'2010, Jim Davies and Leila Silva and Adenilso da Silva Simão, Lecture Notes in Computer Science, 6527, Springer, 1--16, 2010.
  • Michael Jastram
    ProR, an Open Source Platform for Requirements Engineering based on RIF.
    In SEISCONF, 2010.
  • Proceedings of AVoCS 2010 and Rodin 2010.
    In Jens Bendisposto and Michael Leuschel and Markus Roggenbach and Stefan Hallerstede and Michael Butler and Laurent Voisin, 2010.
    • Jens Bendisposto, Michael Leuschel, Markus Borgermans
      GEPAVAS Gerichtete und parallele Validierung von abstrakten Spezifikationen - Projektreport.
      Technical Report, University of Düsseldorf, 2010.
    • Michael Jastram, Stefan Hallerstede, Michael Leuschel, Aryldo G Russo Jr
      An Approach of Requirements Tracing in Formal Refinement.
      In VSTTE, Lecture Notes in Computer Science, 6217, Springer, 97-111, 2010.