Jannik Hüls

No current affiliations available for this person. The person is no longer active at the university.

Publications

State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings Hüls, Jannik; Pilch, Carina; Schinke, Patricia; Niehaus, Henner; Delicaris, Joanna; Remke, Anne (2021) In: ACM Transactions on Modeling and Computer Simulation, 31(3) Type of Publication: Research article (journal)
Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes Hüls J, Remke A (2019) In: (eds.), Formal Techniques for Distributed Objects, Components, and Systems - 39th {IFIP} {WG} 6.1 International Conference, {FORTE} 2019, Held as Part of the 14th International Federated…. (no publisher available). Type of Publication: Research article in edited proceedings (conference)
State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings Hüls. Jannik; Pilch, Carina; Schinke, Patricia; Delicaris, Joanna; Remke, Anne (2019) In: Parker, David; Wolf, Verena (eds.), Quantitative Evaluation of Systems. Cham: Springer. Type of Publication: Research article in edited proceedings (conference)
A Modular Environment to Test SCADA Solutions for Wind Parks Hü}ls J, Remke A (2018) In: (eds.), Measurement, Modelling and Evaluation of Computing Systems - 19th International {GI/ITG} Conference, {MMB} 2018, Erlangen, Germany, February 26-28, 2018, Proceedings. (no publisher available). Type of Publication: Research article in edited proceedings (conference)
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro Hüls J, Schupp S, Remke A, Ábraham E (2017) In: (eds.), Proceedings of the 11th {EAI} International Conference on Performance Evaluation Methodologies and Tools, {VALUETOOLS} 2017, Venice, Italy, December 05-07, 2017. (no publisher available). Type of Publication: Research article in edited proceedings (conference)