Doctorate
Doctorate: 24th September 2020
PhD thesis title: Model checking hybrid Petri nets with multiple general transition firings
Research interests
- Resilient software systems.
- Dependability analysis in software systems.
- Developing a tool for analyzation and simulation of Hybrid Petri nets.
Articles
- Hüls, Jannik, Pilch, Carina, Schinke, Patricia, Niehaus, Henner, Delicaris, Joanna, and Remke, Anne. . “State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.” ACM Transactions on Modeling and Computer Simulation 31 (3): 1–37. doi: 10.1145/3449353.
- Hüls, J, and Remke, A. . “Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes.” in 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 Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings doi: 10.1007/978-3-030-21759-4\_9.
- Hüls., Jannik, Pilch, Carina, Schinke, Patricia, Delicaris, Joanna, and Remke, Anne. . “State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.” in Quantitative Evaluation of Systems, Vol. 11785 of LNCS, edited by David Parker and Verena Wolf. Cham: Springer. doi: 10.1007/978-3-030-30281-8_11.
- Hü}ls, J, and Remke, A. . “A Modular Environment to Test SCADA Solutions for Wind Parks.” in Measurement, Modelling and Evaluation of Computing Systems - 19th International {GI/ITG} Conference, {MMB} 2018, Erlangen, Germany, February 26-28, 2018, Proceedings doi: 10.1007/978-3-319-74947-1\_18.
- Hüls, J, Schupp, S, Remke, A, and Ábraham, E. . “Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro.” in Proceedings of the 11th {EAI} International Conference on Performance Evaluation Methodologies and Tools, {VALUETOOLS} 2017, Venice, Italy, December 05-07, 2017 doi: 10.1145/3150928.3150938.
Teaching
- Project seminar: Projektseminar: Entwicklung eines Smart Meter Gateways für die dezentrale Datenhaltung in Blockchains [108033]
(in cooperation with Anne Remke)
- V/Ü: Compilerbau [106112]
(in cooperation with Dietmar Lammers)
- V/Ü: Computernetze und ihre Leistung [104031]
(in cooperation with Anne Remke)
- V/Ü: Compilerbau [102118]
(in cooperation with Dietmar Lammers)
- Project seminar: Implementierung eines SCADA Testbed [100037]
(in cooperation with Anne Remke)
- Project seminar: Implementierung eines SCADA Testbed [108389]
(in cooperation with Anne Remke)
- Project seminar: SecurityTools: Werkzeuge im IT-Security-Umfeld [106261]
(in cooperation with Dietmar Lammers)
- V/Ü: Methoden und Anwendungen für randomisierte Systeme [104162]
(in cooperation with Anne Remke) - Practice: Übungen zur Vorlesung "Diskrete Strukturen" [104164]
(in cooperation with Anne Remke)
- Project seminar: Projektseminar: Entwicklung eines Smart Meter Gateways für die dezentrale Datenhaltung in Blockchains [108033]