Henner Niehaus

According to our database, Henner Niehaus authored at least 2 papers between 2020 and 2021.

Collaborative distances:

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

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

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