Lisa Willemsen

According to our database, Lisa Willemsen authored at least 9 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Putting computational models of immunity to the test - An invited challenge to predict B.pertussis vaccination responses.

Pramod Shinde, Lisa Willemsen, Michael Anderson, Minori Aoki, Saonli Basu, Julie G. Burel, Peng Cheng, Souradipto Ghosh Dastidar, Aidan Dunleavy, Tal Einav, Jamie Forschmiedt, Slim Fourati, Javier Garcia, William Gibson, Jason A. Greenbaum, Leying Guan, Weikang Guan, Jeremy P. Gygi, Brendan Ha, Joe Hou, Jason Hsiao, Yunda Huang, Rick Jansen, Bhargob Kakoty, Zhiyu Kang, James J. Kobie, Mari Kojima, Anna Konstorum, Jiyeun Lee, Sloan A. Lewis, Aixin Li, Eric F. Lock, Jarjapu Mahita, Marcus Mendes, Hailong Meng, Aidan Neher, Somayeh Nili, Lars Rønn Olsen, Shelby Orfield, James A. Overton, Nidhi Pai, Cokie Parker, Brian Qian, Mikkel Rasmussen, Joaquin Reyna, Eve Richardson, Sandra Safo, Josey Sorenson, Aparna Srinivasan, Nicola Thrupp, Rashmi Tippalagama, Raphael Trevizani, Steffen Ventz, Jiuzhou Wang, Cheng-Chang Wu, Ferhat Ay, Barry Grant, Steven H. Kleinstein, Bjoern Peters

PLoS Comput. Biol., 2025

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata.

Pauline Blohm, Felix Schulz, Lisa Willemsen, Anne Remke, Paula Herber

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2025

Towards Accurately Explaining Battery Behavior: Learning the Parameters of Analytical Battery Models.

Lisa Willemsen, Anne Remke, Johann L. Hurink

Proceedings of the 16th ACM International Conference on Future and Sustainable Energy Systems, 2025

Running.Christel: A Stochastic Hybrid Case-Study Optimizing Battery Pack Usage.

Lisa Willemsen, Anne Remke, Boudewijn R. Haverkort, Johann L. Hurink

Proceedings of the Principles of Formal Quantitative Analysis, 2025

2024

Safe Battery Use and Grid-Convenience in an Intelligent Energy Control System.

Julius Adelt, Paula Herber, Johann L. Hurink, Mathis Niehage, Anne Remke, Lisa Willemsen

Proceedings of the Performance Evaluation Methodologies and Tools, 2024

(de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems.

Lisa Willemsen, Anne Remke, Erika Ábrahám

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

Comparing Two Approaches to Include Stochasticity in Hybrid Automata.

Lisa Willemsen, Anne Remke, Erika Ábrahám

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

ARCH-COMP23 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schön, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Lisa Willemsen, Paolo Zuliani

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

ARCH-COMP22 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Oliver Schön, Stefan Schupp, Sadegh Soudjani, Lisa Willemsen

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022