Lisa Willemsen

11 papers Journal 3Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — conf
Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata.
QEST+FORMATS
Pauline Blohm, Felix Schulz, Lisa Willemsen, Anne Remke, Paula Herber
2025 J jnl
Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata.
CoRR
Pauline Blohm, Felix Schulz, Lisa Willemsen, Anne Remke, Paula Herber
2025 J jnl
Putting computational models of immunity to the test - An invited challenge to predict B.pertussis vaccination responses.
PLoS Comput. Biol.
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
2025 — conf
Running.Christel: A Stochastic Hybrid Case-Study Optimizing Battery Pack Usage.
Principles of Formal Quantitative Analysis
Lisa Willemsen, Anne Remke, Boudewijn R. Haverkort, Johann L. Hurink
2025 — conf
Towards Accurately Explaining Battery Behavior: Learning the Parameters of Analytical Battery Models.
e-Energy
Lisa Willemsen, Anne Remke, Johann L. Hurink
2024 — conf
(de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems.
Principles of Verification (3)
Lisa Willemsen, Anne Remke, Erika Ábrahám
2024 — conf
Safe Battery Use and Grid-Convenience in an Intelligent Energy Control System.
VALUETOOLS
Julius Adelt, Paula Herber, Johann L. Hurink, Mathis Niehage, Anne Remke, Lisa Willemsen
2023 — conf
ARCH-COMP23 Category Report: Stochastic Models.
ARCH
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
2023 — conf
Comparing Two Approaches to Include Stochasticity in Hybrid Automata.
QEST
Lisa Willemsen, Anne Remke, Erika Ábrahám
2023 J jnl
Comparing Two Approaches to Include Stochasticity in Hybrid Automata.
CoRR
Lisa Willemsen, Anne Remke, Erika Ábrahám
2022 — conf
ARCH-COMP22 Category Report: Stochastic Models.
ARCH@SAFECOMP
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