• Michael Jastram
    The Eclipse Requirements Modeling Framework.
    In Managing Requirements Knowledge, Maalej, Walid and Thurimella, Anil, Springer, 2013.
  • Stefan Hallerstede, Michael Jastram, Lukas Ladenberger
    A Method and Tool for Tracing Requirements into Specifications.
    Unpublished, 2013.


  • Lukas Ladenberger, Michael Jastram
    Requirements Traceability between Textual Requirements and Formal Models Using ProR.
    Unpublished, 2012.
  • Michael Jastram, Andreas Graf
    ReqIF – the new Requirements Standard and its Open Source implementation Eclipse RMF.
    Technical Report, Commercial Vehicle Technology Symposium, 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.
    • Michael Jastram
      A Systems Engineering Tool Chain Based on Eclipse and Rodin.
      In Forms/Format, 2012.


    • 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.
    • Michael Jastram
      ProR - Eine Softwareplattform für Requirements Engineering.
      In Softwaretechnik-Trends, 31, 1, Gesellschaft für Informatik (GI), 2011.
    • Michael Jastram, Stefan Hallerstede, Lukas Ladenberger
      Mixing Formal and Informal Model Elements for Tracing Requirements.
      In AVOCS 2011, 2011.


    • Michael Jastram
      ProR, an Open Source Platform for Requirements Engineering based on RIF.
      In SEISCONF, 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.


    • Michael Jastram
      Inspection and Feature Extraction of Marine Propellers.
      Master Thesis, Massachusetts Institute of Technology, 1996.