Energy Storage in Smart Homes: Grid-Convenience Versus Self-Use and Survivability. - Jannik Huels; Anne Remke (MASCOTS, 2016)

Coordinated charging strategies for plug-in electric vehicles to ensure a robust charging process. - Jannik Hüls; Anne Remke (VALUETOOLS, 2016)

Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. - Jannik Hüls; Stefan Schupp; Anne Remke; Erika Ábrahám (VALUETOOLS, 2017)

A Modular Environment to Test SCADA Solutions for Wind Parks. - Jannik Hüls; Anne Remke (MMB, 2018)

Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes. - Jannik Hüls; Anne Remke (FORTE, 2019)

State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. - Jannik Hüls; Carina Pilch; Patricia Schinke; Joanna Delicaris; Anne Remke (QEST, 2019)

hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions. - Jannik Hüls; Henner Niehaus; Anne Remke (NFM, 2020)

Model checking hybrid Petri nets with multiple general transition firings. - Jannik Hüls (2020)

State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. - Jannik Hüls; Carina Pilch; Patricia Schinke; Henner Niehaus; Joanna Delicaris; Anne Remke (ACM Trans. Model. Comput. Simul., 2021)