Software and Computational Systems Lab

Contact & Address

Software and Computational Systems Lab
Institute for Informatics
LMU Munich

Oettingenstraße 67
80538 Munich (Germany)

Room: F 007

Phone: +49 89 2180 9376
E-Mail:lastname@sosy.ifi.lmu.de (You need to replace lastname.)
Public PGP Key
Fingerprint: 78ED 2ABF EBA8 80FD 93DD B385 6C09 F182 7936 0D27

Teaching

LMU Munich:

• SS 2018:
  • Bachelorseminar Software-Verifikation
  • Masterseminar Software-Verifikation
• WS 2017/18: Formal Specification and Verification 2 (Training Course)

Paderborn University:

• SS 2017: Softwaremodellierung mit formalen Methoden (Übung)
• WS 2016/17: Formal models for safe and secure systems (Seminar)
• SS 2016: Grundlagen der Programmierung (Übung), Moderne Programmiersprachen (Proseminar)
• WS 2015/16: Projectgroup: A³: Android App Analysis (Part II)
• SS 2015: Projectgroup: A³: Android App Analysis (Part I)
• WS 2014/15: Software Analysis (Übung)
• SS 2014: Grundlagen der Programmierung 2 (Übung)
• WS 2013/14: Grundlagen der Programmierung 1 (Übung)
• SS 2013: Softwaremodellierung mit formalen Methoden (Übung)
• WS 2012/13: Deductive Verification (Übung)
• WS 2009/10: Databases and Information Systems I (Übung)

Projects

• CPAchecker

Publications

List at DBLP

Journal Publication

• T. Isenberg, M.-C. Jakobs, F. Pauck, H. Wehrheim: Validity of Software Verification Results on Approximate Hardware In: IEEE Embedded Systems Letters, vol. 10, no. 1, pp. 22-25. IEEE (2018)
• H. Wehrheim, M.-C. Jakobs: Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. In: ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 39, no. 2, pp. 7:1-7:56. ACM (2017)

Publications in Conference Proeceedings

• D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim: Reducer-based Construction of Conditional Verifiers. In: Proceedings of the 40th International Conference on Software Engineering. ACM, ICSE '18, pp. 1182-1193 (2018)
• M.-C. Jakobs: Part_PW: From Partial Analysis Results to a Proof Witness. In: Alessandro Cimatti and Marjan Sirjani (eds.): Software Engineering and Formal Methods. Springer International Publishing, Lecture Notes in Computer Science, vol. 10469, pp. 120-135 (2017)
• M.-C. Jakobs, H. Wehrheim: Compact Proof Witnesses. In: Barrett, Clark and Davies, Misty and Kahsai, Temesghen (eds.): NASA Formal Methods: 9th International Symposium. Springer International Publishing, Lecture Notes in Computer Science, vol. 10227, pp. 389-403 (2017)
• M.-C. Jakobs, J. Krämer, D. Van Straaten, T. Lettmann: Certification Matters for Service Markets. In: Marcelo De Barros, Janusz Klink,Tadeus Uhl, Thomas Prinz (eds.): SERVICE COMPUTATION 2017: The Ninth International Conferences on Advanced Service Computing. IARIA XPS Press, pp. 7-12 (2017)
• M. Czech, M.-C. Jakobs, H. Wehrheim: Just test what you cannot verify!. In: Jens Knoop, Uwe Zdun (eds.): Software Engineering 2016. Gesellschaft für Informatik, Lecture Notes in Informatics, vol. P-252, pp. 17-18 (2016)
• M.-C. Jakobs: Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. In: Software Engineering and Formal Methods, pp. 159-174. Springer International Publishing (2015)
• M.-C. Jakobs, H. Wehrheim: Programs from Proofs of Predicated Dataflow Analyses. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing. ACM, SAC '15, pp. 1729-1736 (2015)
• M. Czech, M.-C. Jakobs, H. Wehrheim: Just test what you cannot verify!. In: Egyed, Alexander and Schaefer, Ina (eds.): Fundamental Approaches to Software Engineering. Springer Berlin Heidelberg, Lecture Notes in Computer Science, vol. 9033, pp. 100-114 (2015)
• M.-C. Jakobs, M. Platzner, T. Wiersema, H. Wehrheim: Integrating Software and Hardware Verification. In: Albert, Elvira and Sekerinski, Emil (eds.): Integrated Formal Methods, pp. 307-322. Springer (2014)
• M.-C. Jakobs, H. Wehrheim: Certification for Configurable Program Analysis. In: Proceedings of the 2014 International SPIN Symposium on Model Checking of Software. ACM, pp. 30-39 (2014)

Publications on Workshops

• M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim: Predicting Rankings of Software Verification Tools. In: Proceedings of the 3rd International Workshop on Software. ACM, SWAN'17, pp. 23-26 (2017)

Technical Reports

• M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim: Predicting Rankings of Software Verification Competitions. arXiv, presented at 1st Workshop on Learning in Verification (LiVe) (2017)
• M.-C. Jakobs, F. Pauck, M. Töws: PAndA²: Analyzing Permission Use and Interplay in Android Apps (Tool Paper). In: Ishikawa F, Romanovsky A, Troubitsyna E (eds.): Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems (2016). , School of Computing Science Technical Report Series, no. 1503 (2016)

Theses

• Marie-Christine Jakobs: On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring PhD thesis, Universität Paderborn (2017)
• Marie-Christine Jakobs: Change and Validity Analysis in Deductive Program Verification Master's thesis, Universität Paderborn (2012)
• Marie-Christine Jakobs: XML Kompression mit funktionalen Abhängigkeiten Bachelor's thesis, Universität Paderborn (2009)