2011

  • Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge
    Automated Property Verification for Large Scale B Models with ProB.
    In Formal Aspects of Computing, 23, 6, 683--709, 2011.
  • Bendisposto, Jens, Fritz, Fabian, Jastram, Michael, Leuschel, Michael, Weigelt, Ingo
    Developing Camille, a text editor for Rodin.
    In Software: Practice and Experience, 41, 2, John Wiley & Sons, Ltd., 189--198, 2011.
  • Michael Jastram, Andreas Graf
    Requirements, Traceability and DSLs in Eclipse with the Requirements Interchange Format (RIF/ReqIF).
    Technical Report, Dagstuhl-Workshop MBEES 2011: Modellbasierte Entwicklung eingebetteter Systeme, 2011.
  • Michael Jastram, Andreas Graf
    Requirement Traceability in Topcased with the Requirements Interchange Format (RIF/ReqIF).
    In First Topcased Days Toulouse, 2011.
  • Jens Bendisposto, Michael Leuschel
    Automatic Flow Analysis for Event-B.
    In Proceedings of Fundamental Approaches to Software Engineering (FASE) 2011, Dimitra Giannakopoulou and Fernando Orejas, Lecture Notes in Computer Science, 6603, Springer, 50--64, 2011.
  • Stefan Hallerstede, Michael Leuschel
    Constraint-Based Deadlock Checking of High-Level Specifications.
    In Theory and Practice of Logic Programming, 11, 4--5, Cambridge University Press, 767--782, 2011.
  • Stefan Hallerstede, Michael Leuschel
    Finding Deadlocks of Event-B Models by Constraint Solving.
    In B2011 Workshop (short paper), 2011.
  • Carl Friedrich Bolz, Antonio Cuni, Maciej Fijałkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo
    Allocation removal by partial evaluation in a tracing JIT.
    In PEPM, 2011.
  • Michael Jastram
    ProR - Eine Softwareplattform für Requirements Engineering.
    In Softwaretechnik-Trends, 31, 1, Gesellschaft für Informatik (GI), 2011.
  • Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge
    On Fitting a Formal Method into Practice.
    In Proceedings ICFEM'2011, Shengchao Qin and Zongyan Qiu, Lecture Notes in Computer Science, 6991, Springer, 195--210, 2011.
  • Carl Friedrich Bolz, Antonio Cuni, Maciej Fijałkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo
    Runtime Feedback in a Meta-Tracing JIT for Efficient Dynamic Languages.
    In Proceedings of the 6th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, ICOOOLPS '11, 2011.
  • Michael Jastram, Stefan Hallerstede, Lukas Ladenberger
    Mixing Formal and Informal Model Elements for Tracing Requirements.
    In AVOCS 2011, 2011.