Dr. Marie-Christine Jakobs

Research

Currently, I am a researcher of the Collaborative Research Center 901 "On-the-fly Computing". In subproject B4 I develop approaches which allow a service user a fast quality check of that service. My approaches are based on the idea of Proof Carrying Code (PCC) and Programs-from-Proofs (PfP).

Publications

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)

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)

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, 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. 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)

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)

2016

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

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: Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. In: Software Engineering and Formal Methods, pp. 159-174. Springer International Publishing (2015)

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)

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)