Jannik Hüls

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 8

Top Topics

Deterministic Finite Automaton

Multiple Dimensions

Top Venues

Publications

Jannik Hüls, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, Anne Remke
State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. ACM Trans. Model. Comput. Simul. 31 (3) (2021)
Jannik Hüls, Henner Niehaus, Anne Remke
hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions. NFM (2020)
Jannik Hüls, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, Anne Remke
State-space construction of Hybrid Petri nets with multiple stochastic firings. CoRR (2020)
Jannik Hüls, Anne Remke
Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes. FORTE (2019)
Jannik Hüls, Carina Pilch, Patricia Schinke, Joanna Delicaris, Anne Remke
State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. QEST (2019)
Jannik Hüls, Anne Remke
A Modular Environment to Test SCADA Solutions for Wind Parks. MMB (2018)
Jannik Hüls, Stefan Schupp, Anne Remke, Erika Ábrahám
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. VALUETOOLS (2017)
Jannik Hüls, Anne Remke
Coordinated charging strategies for plug-in electric vehicles to ensure a robust charging process. VALUETOOLS (2016)