Li, G. (Corresponding author) ; de Carvalho, R. M. (Corresponding author) ; van der Aalst, W. M. P. (Corresponding author)

2018 IEEE International Conference on Web Services : IEEE ICWS 2018 : part of the 2018 IEEE World Congress on Services : 2-7 July 2018, San Francisco, California, USA : proceedings / sponsored by: IEEE, IEEE Computer Society, Seiten/Artikel-Nr: 203-210

DOI: 10.1109/ICWS.2018.00033

Völker, M. ; Kloock, M. (Corresponding author) ; Rabanus, L. ; Alrifaee, B. ; ; et al

IFAC-PapersOnLine 52(8), Seiten/Artikel-Nr.:99 - 104

DOI: 10.1016/j.ifacol.2019.08.055

Hermerschmidt, L. ; Rumpe, B. D. (Thesis advisor) ; Bodden, E. (Thesis advisor)

Giesl, J. ; Giesl, P. ; Hark, M. (Corresponding author)

Automated Deduction – CADE 27 / Fontaine, Pascal (Editor) ; Cham : Springer International Publishing, 2019, Chapter 16 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-030-29435-9=978-3-030-29436-6 ; doi:10.1007/978-3-030-29436-6, Seiten/Artikel-Nr: 269-286

DOI: 10.1007/978-3-030-29436-6_16

Elderhalli, Y. (Corresponding author) ; Volk, M. ; Hasan, O. ; Katoen, J.-P. ; ; et al

Software Engineering and Formal Methods, Seiten/Artikel-Nr: 513-531

DOI: 10.1007/978-3-030-30446-1_27

Kiefer, S. ; Neuen, D.

DOI: 10.4230/LIPICS.MFCS.2019.45

Volk, M. (Corresponding author) ; Weik, N. ; Katoen, J.-P. ; Nießen, N.

Formal Methods for Industrial Critical Systems (FMICS), Lecture notes in computer science, 11687, Seiten/Artikel-Nr: 40-58

DOI: 10.1007/978-3-030-27008-7_3

Löding, C. ; Spinrath, C.

DOI: 10.18154/RWTH-2019-08227

Kloock, M. (Corresponding author) ; Kragl, L. ; Maczijewski, J. ; Alrifaee, B. ; ; et al

2019 IEEE Intelligent Vehicles Symposium (IV) : [Proceedings] - IEEE, 2019. - ISBN 978-1-7281-0560-4 - doi:10.1109/IVS.2019.8813980, Seiten/Artikel-Nr: 1620-1625

DOI: 10.1109/IVS.2019.8813980

Hohlfeld, O. (Corresponding author) ; Krude, J. ; Reelfs, J. H. ; Ruth, J. ; ; et al

2019 IEEE Conference on Network Softwarization (NetSoft) : [Proceedings] - IEEE, 2019. - ISBN 978-1-5386-9376-6 - doi:10.1109/NETSOFT.2019.8806651

DOI: 10.1109/NETSOFT.2019.8806651