Dr. Marie-Christine Jakobs

Software and Computational Systems Lab
Institute for Informatics
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538
Munich
(Germany)
- lastname@sosy.ifi.lmu.de (You need to replace lastname.)
GPG-Key
Please send me encrypted mails!
My GPG key: Public Key
Fingerprint: 78ED 2ABF EBA8 80FD 93DD B385 6C09 F182 7936 0D27
Teaching
LMU Munich:
- SS 2018:
- 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: A3: Android App Analysis (Part II)
- SS 2015: Projectgroup: A3: 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
Publications
List at DBLPJournal 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
- P. Börding, J. Haltermann, M.-C. Jakobs, H. Wehrheim:JMCTest: Automatically Testing Inter-Method Contracts in Java. In: Inmaculada Medina-Bulo, Mercedes G. Merayo and Robert Hierons (eds.): 30th IFIP WG 6.1 International Conference, ICTSS 2018. Springer, Lecture Notes in Computer Science (to appear)
-
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: PartPW: 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: PAndA2: 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)