Jens Bendisposto
Kontakt
Heinrich-Heine-Universität Düsseldorf
Institut für Informatik
Universitätsstraße 1
D-40225 Düsseldorf
Email:
Tel.: +49 (211) 81-10714
Fax: +49 (211) 81-10712
Raum: 25.12.02.54
Aktuelle Lehrveranstaltungen (Sommersemester 2018)
- Professionelle Softwareentwickung (Programmierpraktikum 1)
- Datenverarbeitung für Nicht-Informatiker
Veröffentlichungen
2021
- ProB2-UI: A Java-Based User Interface for ProB.In Proceedings FMICS, LNCS, 12863, Springer, 193--201, 2021.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-85248-1_12
2020
2019
- Embedding High-Level Formal Specifications into Applications.In Proceedings FM, LNCS, 11800, Springer, 2019.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-30942-8_31
2018
- Distributed Model Checking Using ProB.In Proceedings NFM 2018, LNCS, 10811, Springer, 2018.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-77935-5_18
2016
- Symbolic Reachability Analysis of B through ProB and LTSmin.In Proceedings iFM 2016, LNCS, 9681, Springer, 2016.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-33693-0_18
- Generating Event-B Specifications from Algorithm Descriptions.In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, Michael J. Butler and Klaus-Dieter Schewe and Atif Mashkoor and Miklós Biró, Lecture Notes in Computer Science, 9675, Springer, 183--197, 2016.