Paper accepted at CAV: SecCSL: Security Concurrent Separation Logic

Dr. Marie-Christine Jakobs

Picture of 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)

Office
Room F 007, Oettingenstr. 67
Phone
+49 89 2180 9376
E-Mail
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:

Paderborn University:

Projects

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
  • 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)