Publications of Martin Wirsing
Articles in journal or book chapters
-
Agile governance for innovating higher education teaching and learning.
Rivista di Digital Politics,
2022.
To appear.
PDF
BibTeX Entry
@article{WirsingF21, author = {Martin Wirsing and Dieter Frey}, title = {Agile governance for innovating higher education teaching and learning}, journal = {Rivista di Digital Politics}, year = {2022}, pdf = {https://sosy-lab.org/research/pub/2022-Rivista.Agile_governance_for_innovating_higher_education_teaching_and_learning.pdf}, doinone = {Unpublished: Last checked: 2022-03-07}, note = {To appear.}, } -
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking.
Sci. Comput. Program., 206:102620,
2021.
doi:10.1016/j.scico.2021.102620
Publisher's Version
BibTeX Entry
@article{DBLP:journals/scp/BelznerW21, author = {Lenz Belzner and Martin Wirsing}, title = {Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking}, journal = {Sci. Comput. Program.}, volume = {206}, pages = {102620}, year = {2021}, doi = {10.1016/j.scico.2021.102620}, } -
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking.
Sci. Comput. Program., 206:102620,
2021.
doi:10.1016/j.scico.2021.102620
Publisher's Version
BibTeX Entry
@article{DBLP:journals/scp/BelznerW21, author = {Lenz Belzner and Martin Wirsing}, title = {Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking}, journal = {Sci. Comput. Program.}, volume = {206}, pages = {102620}, year = {2021}, doi = {10.1016/j.scico.2021.102620}, } -
On methods and tools for rigorous system design.
Int. J. Softw. Tools Technol. Transf., 23(5):679-684,
2021.
doi:10.1007/s10009-021-00632-0
Publisher's Version
PDF
BibTeX Entry
@article{DBLP:journals/sttt/BliudzeKBW21, author = {Simon Bliudze and Panagiotis Katsaros and Saddek Bensalem and Martin Wirsing}, title = {On methods and tools for rigorous system design}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {23}, number = {5}, pages = {679--684}, year = {2021}, doi = {10.1007/s10009-021-00632-0}, } -
Rigorous engineering of collective adaptive systems: special section.
Int. J. Softw. Tools Technol. Transf., 22(4):389-397,
2020.
doi:10.1007/s10009-020-00565-0
Publisher's Version
PDF
BibTeX Entry
@article{DBLP:journals/sttt/NicolaJW20, author = {Rocco De Nicola and Stefan J{\"{a}}hnichen and Martin Wirsing}, title = {Rigorous engineering of collective adaptive systems: special section}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {22}, number = {4}, pages = {389--397}, year = {2020}, doi = {10.1007/s10009-020-00565-0}, } -
Software-Verifikation.
In A. Bode,
M. Broy,
H.-J. Bungartz, and
F. Matthes, editors,
50 Jahre Universitäts-Informatik in München,
pages 75-86,
2017.
Springer.
doi:10.1007/978-3-662-54712-0_5
Keyword(s): Software Model Checking
Publisher's Version
PDF
BibTeX Entry
@incollection{InfMUC17, author = {Dirk Beyer and Rolf Hennicker and Martin Hofmann and Tobias Nipkow and Martin Wirsing}, title = {Software-Verifikation}, booktitle = {50 Jahre Universit{\"a}ts-Informatik in M{\"u}nchen}, editor = {A.~Bode and M.~Broy and H.-J.~Bungartz and F.~Matthes}, pages = {75-86}, year = {2017}, publisher = {Springer}, isbn = {978-3-662-54711-3}, doi = {10.1007/978-3-662-54712-0_5}, sha256 = {}, pdf = {https://www.sosy-lab.org/research/pub/2017-50JahreInfMUC.Software-Verifikation.pdf}, keyword = {Software Model Checking}, }
Articles in conference or workshop proceedings
-
Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition.
In Tiziana Margaria and
Bernhard Steffen, editors,
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II,
LNCS 12477,
pages 161-170,
2020.
Springer.
doi:10.1007/978-3-030-61470-6_10
Publisher's Version
PDF
BibTeX Entry
@inproceedings{DBLP:conf/isola/WirsingNJ20, author = {Martin Wirsing and Rocco De Nicola and Stefan J{\"{a}}hnichen}, title = {Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {II}}, editor = {Tiziana Margaria and Bernhard Steffen}, pages = {161--170}, year = {2020}, series = {LNCS~12477}, publisher = {Springer}, doi = {10.1007/978-3-030-61470-6\_10}, } -
A Dynamic Logic for Systems with Predicate-Based Communication.
In Tiziana Margaria and
Bernhard Steffen, editors,
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II,
LNCS 12477,
pages 224-242,
2020.
Springer.
doi:10.1007/978-3-030-61470-6_14
Publisher's Version
PDF
BibTeX Entry
@inproceedings{DBLP:conf/isola/HennickerW20, author = {Rolf Hennicker and Martin Wirsing}, title = {A Dynamic Logic for Systems with Predicate-Based Communication}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {II}}, editor = {Tiziana Margaria and Bernhard Steffen}, pages = {224--242}, year = {2020}, series = {LNCS~12477}, publisher = {Springer}, doi = {10.1007/978-3-030-61470-6\_14}, }
Disclaimer:
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.