Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Show image information

Dr. Marie-Christine Jakobs

Adress:Marie-Christine Jakobs
Universität Paderborn
Fakultät für Elektrotechnik, Informatik und Mathematik
Warburger Straße 100
D-33098 Paderborn
Deutschland
Office:O4.128
Phone:(05251) 60-1767
Fax:(05251) 60-3993
Email:mcjakobs(at)mail.uni-paderborn(dot)de
Secretary:Elisabeth Schlatt
Tel.: (05251) 60-3764
E-Mail: schlatt(at)mail.upb(dot)de
Raum: O4.125

 

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)

Further information:

The University for the Information Society