• Thierry Lecomte, Lilian Burdy, Michael Leuschel
    Formally Checking Large Data Sets in the Railways.
    In CoRR, abs/1210.6815, 2012.
  • Translating TLA+ to B for Validation with ProB.
    In Proceedings iFM'2012, LNCS 7321, Springer, 24--38, 2012.
  • Daniel Plagge, Michael Leuschel
    Validating B, Z and TLA+ using ProB and Kodkod.
    In Proceedings FM'2012, Dimitra Giannakopoulou and Dominique Méry, LNCS 7436, Springer, 372--386, 2012.
  • Lukas Ladenberger, Michael Jastram
    Requirements Traceability between Textual Requirements and Formal Models Using ProR.
    Unpublished, 2012.
  • Ingo Weigelt
    Architectures for an Extensible Text Editor for Rodin.
    Technical Report, University of Düsseldorf, 2012.
  • Michael Jastram, Andreas Graf
    ReqIF – the new Requirements Standard and its Open Source implementation Eclipse RMF.
    Technical Report, Commercial Vehicle Technology Symposium, 2012.
    • Schneider, David, Bolz, Carl Friedrich
      The Efficient Handling of Guards in the Design of RPython’s Tracing JIT.
      In VMIL, accepted for publication, 2012.
    • Michael Jastram
      The ProR Approach: Traceability of Requirements and System Descriptions.
      In 2012.
    • Christof Ebert, Michael Jastram
      ReqIF: Seamless Requirements Interchange Format between Business Partners.
      In IEEE Software, 82--87, 2012.
    • Ardö, Håkan, Bolz, Carl Friedrich, Fijałkowski, Maciej
      Loop-Aware Optimizations in PyPy’s Tracing JIT.
      In DLS, 2012.
    • Michael Jastram
      A Systems Engineering Tool Chain Based on Eclipse and Rodin.
      In Forms/Format, 2012.