Jannik Huels

According to our database, Jannik Huels authored at least 9 papers between 2016 and 2021.

Collaborative distances:

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

2021

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

2020

Model checking hybrid Petri nets with multiple general transition firings.

Jannik Hüls

PhD thesis, 2020

hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions.

Jannik Hüls, Henner Niehaus, Anne Remke

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.

Jannik Hüls, Carina Pilch, Patricia Schinke, Joanna Delicaris, Anne Remke

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes.

Jannik Hüls, Anne Remke

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

2018

A Modular Environment to Test SCADA Solutions for Wind Parks.

Jannik Hüls, Anne Remke

Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2018

2017

Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro.

Jannik Hüls, Stefan Schupp, Anne Remke, Erika Ábrahám

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

2016

Coordinated charging strategies for plug-in electric vehicles to ensure a robust charging process.

Jannik Hüls, Anne Remke

Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

Energy Storage in Smart Homes: Grid-Convenience Versus Self-Use and Survivability.

Jannik Huels, Anne Remke

Proceedings of the 24th IEEE International Symposium on Modeling, 2016