Pauline Anne Blohm
Current affiliations
- Professorship for practical comuter science
Publications
Blohm, Pauline; Fränzle, Martin; Herber, Paula; Kröger, Paul; Remke, Anne (2025) In: Margaria, Tiziana; Steffen, Bernhard (eds.), Leveraging Applications of Formal Methods, Verification and Validation. Crete: Springer. Research article in edited proceedings (conference) | |
Blohm, Pauline; Herber, Paula; Remke, Anne (2025) In: Kosmatov, Nikolai; Kovács, Laura (eds.), Integrated Formal Methods. iFM 2024. Switzerland: Springer Nature. Research article in edited proceedings (conference) | |
Blohm, Pauline; Schulz, Felix; Willemsen, Lisa; Remke, Anne; Herber, Paula (2025) In: Prabhakar, Pavithra; Vandin, Andrea (eds.), International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems. Switzerland: Springer Nature. Research article in edited proceedings (conference) | |
Tasche, Philipp; Monti, Raúl E.; Drerup, Stefanie Eva; Blohm, Pauline; Herber, Paula; Huisman, Marieke (2024) In: Dimitrova, Rayna ; Lahav, Ori; Wolff, Sebastian (eds.), Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024. London: Springer. Research article in edited proceedings (conference) | |
Mense, Sophie; Höveler, Karina; Blohm, Pauline Anne; Willemsen, Lisa Constanze (2023) In: Drijvers, P.; Csapodi, C.; Palmér, H.; Gosztonyi, K.; Kónya, E. (eds.), Proceedings of the 13th Congress of the European Society for Research in Mathematics Education (CERME13). Budapest: Selbstverlag / Eigenverlag. Research article in edited proceedings (conference) |
Projects
Duration: 01/04/2024 - 31/03/2027 | 1st Funding period Funded by: DFG - Individual Grants Programme Type of project: Individual project |