Behery, M. A. A., Brauner, P., Zhou, H. A., Uysal, M. S., Samsonov, V., Bellgardt, M., Brillowski, F. S., Brockhoff, T., Farhang Ghahfarokhi, A., Gleim, L. C., Gorißen, L. M., Grochowski, M., Henn, T., Iacomini, E., Kaster, T., Koren, I., Liebenberg, M. R., Reinsch, L. N., Tirpitz, L., Trinh, M., Posada Moreno, A. F., Liehner, G. L. V., Schemmer, T., Vervier, L. S., Völker, M., Walderich, P., Zhang, S., Brecher, C., Schmitt, R. H., Decker, S. J., Gries, T., Häfner, C. L., Herty, M., Jarke, M., Kowalewski, S., Kuhlen, T., Schleifenbaum, J. H., Trimpe, J. S., van der Aalst, W. M. P., Ziefle, M., and Lakemeyer, G., "Actionable Artificial Intelligence for the Future of Production"Cham: Springer International Publishing, 2023, pp. 1-46.

@inbook {  BBZ+23,
	author = { Behery, Mohamed Anwar Abdellatif and Brauner, Philipp and
		Zhou, Hans Aoyang and Uysal, Merih Seran and Samsonov,
		Vladimir and Bellgardt, Martin and Brillowski, Florian
		Sascha and Brockhoff, Tobias and Farhang Ghahfarokhi,
		Anahita and Gleim, Lars Christoph and Gori{\ss}en, Leon
		Michel and Grochowski, Marco and Henn, Thomas and Iacomini,
		Elisa and Kaster, Thomas and Koren, István and Liebenberg,
		Martin Roland and Reinsch, Leon Niwes and Tirpitz, Liam and
		Trinh, Minh and Posada Moreno, Andres Felipe and Liehner,
		Gian Luca Valentin and Schemmer, Thomas and Vervier, Luisa
		Sophie and V{\"o}lker, Marcus and Walderich, Philipp and
		Zhang, Song and Brecher, Christian and Schmitt, Robert H.
		and Decker, Stefan Josef and Gries, Thomas and H{\"a}fner,
		Constantin Leon and Herty, Michael and Jarke, Matthias and
		Kowalewski, Stefan and Kuhlen, Torsten and Schleifenbaum,
		Johannes Henrich and Trimpe, Johann Sebastian and van der
		Aalst, Wil M. P. and Ziefle, Martina and Lakemeyer, Gerhard },
	title = { Actionable Artificial Intelligence for the Future of
		Production },
	booktitle = { Internet of production : fundamentals, applications and
		proceedings / editors: Christian Brecher, G{\"u}nther Schuh,
		Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie
		Padberg },
	publisher = { Springer International Publishing },
	pages = { 1-46 },
	series = { Interdisciplinary Excellence Accelerator Series : IDEAS },
	year = { 2023 },
	address = { Cham },
	doi = { 10.18154/RWTH-2023-05268 },
	typ = { PUB:(DE-HGF)7 },
	reportid = { RWTH-2023-05268 },
	cin = { 735410 / 080013 / 080067 / 400000 / 421510 / 053300 / 121810
		/ 122810 / 111710 / 422610 / 053100 / 053200 / 419110 /
		418710 / 418020 / 122510 / 418910 / 417200 / 124620 / 110000
		/ 120000 / 022000 / 111400 / 114620 / 121920 / 124510 /
		417310 / 417510 },
	url = { http://publications.rwth-aachen.de/record/958415/files/958415.pdf },
	i11key = { WS-A.III - Functional Perspective (X080067-WS-A.III) },
}

Mroß, R., Schnakenbeck, A., Völker, M., Fay, A., and Kowalewski, S., "GRAFCET Reduction Techniques for Model Checking", in Proc. 2023 IEEE 21st International Conference on Industrial Informatics (INDIN) : 18-20 July 2023 / publisher: IEEE, [Piscataway, NJ], 2023, IEEE, p. 6.

@inproceedings {  MSV+23,
	author = { Mro{\ss}, Robin and Schnakenbeck, Aron and V{\"o}lker,
		Marcus and Fay, Alexander and Kowalewski, Stefan },
	title = { GRAFCET Reduction Techniques for Model Checking },
	booktitle = { 2023 IEEE 21st International Conference on Industrial
		Informatics (INDIN) : 18-20 July 2023 / publisher: IEEE },
	publisher = { IEEE },
	pages = { 6 Seiten },
	year = { 2023 },
	address = { [Piscataway, NJ] },
	organization = { IEEE 21. International Conference on Industrial Informatics,
		Lemgo (Germany), 2023-07-18 - 2023-07-20 },
	doi = { 10.1109/INDIN51400.2023.10218247 },
	typ = { PUB:(DE-HGF)7 },
	reportid = { RWTH-2023-09981 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/972068/files/972068.pdf },
	i11key = { DFG project 445866207 - Analyse von GRAFCET-Spezifikationen
		zur Erkennung von Entwurfsfehlern (445866207) },
}

Mroß, R., Schnakenbeck, A., Völker, M., Fay, A., and Kowalewski, S., "Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review", in Proc. [IEEE 28. International Conference on Emerging Technologies and Factory Automation, ETFA, 2023-09-12 - 2023-09-15, Sinaia, Romania], 2023, IEEE.

@inproceedings {  MSV+23a,
	author = { Mro{\ss}, Robin and Schnakenbeck, Aron and V{\"o}lker,
		Marcus and Fay, Alexander and Kowalewski, Stefan },
	title = { Unambiguous Interpretation of IEC 60848 GRAFCET based on a
		Literature Review },
	booktitle = { [IEEE 28. International Conference on Emerging Technologies
		and Factory Automation, ETFA, 2023-09-12 - 2023-09-15,
		Sinaia, Romania] },
	publisher = { IEEE },
	year = { 2023 },
	organization = { IEEE 28. International Conference on Emerging Technologies
		and Factory Automation, Sinaia (Romania), 2023-09-12 -
		2023-09-15 },
	typ = { PUB:(DE-HGF)7 },
	reportid = { RWTH-2023-09989 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/972077/files/972077.pdf },
	i11key = { DFG project 445866207 - Analyse von GRAFCET-Spezifikationen
		zur Erkennung von Entwurfsfehlern (445866207) },
}

Schnakenbeck, A., Mroß, R., Völker, M., Kowalewski, S., and Fay, A., "Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern", Automatisierungstechnik : AT, vol. 71, iss. 1, pp. 56-68, 2023

@article {  SMV+23,
	author = { Schnakenbeck, Aron and Mro{\ss}, Robin and V{\"o}lker,
		Marcus and Kowalewski, Stefan and Fay, Alexander },
	title = { Transformation von GRAFCET in GAL auf Basis eines
		ausf{\"u}hrlichen Metamodells zur Verifikation von
		Entwurfsfehlern },
	journal = { Automatisierungstechnik : AT },
	publisher = { De Gruyter },
	pages = { 56-68 },
	volume = { 71 },
	number = { 1 },
	year = { 2023 },
	address = { Berlin },
	issn = { 2196-677X },
	doi = { 10.1515/auto-2022-0094 },
	typ = { PUB:(DE-HGF)16 },
	reportid = { RWTH-2023-00552 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/862808/files/862808.pdf },
}

Schnakenbeck, A., Mroß, R., Völker, M., Kowalewski, S., and Fay, A., "A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation", in Proc. 2023 IEEE 21st International Conference on Industrial Informatics (INDIN) : 18-20 July 2023 / publisher: IEEE, [Piscataway, NJ], 2023, IEEE, p. 7.

@inproceedings {  SMV+23a,
	author = { Schnakenbeck, Aron and Mro{\ss}, Robin and V{\"o}lker,
		Marcus and Kowalewski, Stefan and Fay, Alexander },
	title = { A Control Flow based Static Analysis of GRAFCET using
		Abstract Interpretation },
	booktitle = { 2023 IEEE 21st International Conference on Industrial
		Informatics (INDIN) : 18-20 July 2023 / publisher: IEEE },
	publisher = { IEEE },
	pages = { 7 Seiten },
	year = { 2023 },
	address = { [Piscataway, NJ] },
	organization = { IEEE 21. International Conference on Industrial Informatics,
		Lemgo (Germany), 2023-07-18 - 2023-07-20 },
	doi = { 10.1109/INDIN51400.2023.10218176 },
	typ = { PUB:(DE-HGF)7 },
	reportid = { RWTH-2023-09982 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/972069/files/972069.pdf },
	i11key = { DFG project 445866207 - Analyse von GRAFCET-Spezifikationen
		zur Erkennung von Entwurfsfehlern (445866207) },
}

Schnakenbeck, A., Mroß, R., Völker, M., Kowalewski, S., and Fay, A., "Structural Analysis of GRAFCET Control Specifications", in Proc. [IEEE 28. International Conference on Emerging Technologies and Factory Automation, ETFA, 2023-09-12 - 2023-09-15, Sinaia, Romania], 2023, IEEE.

@inproceedings {  SMV+23b,
	author = { Schnakenbeck, Aron and Mro{\ss}, Robin and V{\"o}lker,
		Marcus and Kowalewski, Stefan and Fay, Alexander },
	title = { Structural Analysis of GRAFCET Control Specifications },
	booktitle = { [IEEE 28. International Conference on Emerging Technologies
		and Factory Automation, ETFA, 2023-09-12 - 2023-09-15,
		Sinaia, Romania] },
	publisher = { IEEE },
	year = { 2023 },
	organization = { IEEE 28. International Conference on Emerging Technologies
		and Factory Automation, Sinaia (Romania), 2023-09-12 -
		2023-09-15 },
	doi = { 10.1109/ETFA54631.2023.10275713 },
	typ = { PUB:(DE-HGF)7 },
	reportid = { RWTH-2023-09990 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/972078/files/972078.pdf },
	i11key = { DFG project 445866207 - Analyse von GRAFCET-Spezifikationen
		zur Erkennung von Entwurfsfehlern (445866207) },
}

Völker, M., "Policy iteration for value set analysis of PLC programs", PhD Thesis, Aachen, 2023.

@phdthesis {  Vol23,
	author = { V{\"o}lker, Marcus },
	othercontributors = { Kowalewski, Stefan and Beckert, Bernhard },
	title = { Policy iteration for value set analysis of PLC programs },
	publisher = { RWTH Aachen University },
	school = { RWTH Aachen University },
	pages = { 1 Online-Ressource : Illustrationen, Diagramme },
	series = { Aachener Informatik-Berichte (AIB) },
	year = { 2023 },
	address = { Aachen },
	doi = { 10.18154/RWTH-2023-04281 },
	typ = { PUB:(DE-HGF)11 },
	reportid = { RWTH-2023-04281 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/956653/files/956653.pdf },
}

Grochowski, M., Völker, M., and Kowalewski, S., "Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production", in Proc. Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings / edited by Jan Friso Groote, Marieke Huisman, Cham, 2022 in Lecture notes in computer science, Springer, pp. 137-154.

@inproceedings {  GVK22,
	author = { Grochowski, Marco and V{\"o}lker, Marcus and Kowalewski,
		Stefan },
	title = { Test Suite Augmentation for Reconfigurable PLC Software in
		the Internet of Production },
	booktitle = { Formal Methods for Industrial Critical Systems : 27th
		International Conference, FMICS 2022, Warsaw, Poland,
		September 14–15, 2022, Proceedings / edited by Jan Friso
		Groote, Marieke Huisman },
	publisher = { Springer },
	pages = { 137-154 },
	series = { Lecture notes in computer science },
	year = { 2022 },
	address = { Cham },
	organization = { 27. International Conference Formal Methods for Industrial
		Critical Systems, Warsaw (Poland), 2022-09-14 - 2022-09-15 },
	doi = { 10.1007/978-3-031-15008-1_10 },
	typ = { PUB:(DE-HGF)7 },
	reportid = { RWTH-2022-09029 },
	cin = { 122810 / 080067 / 120000 },
	url = { http://publications.rwth-aachen.de/record/853704 },
	i11key = { WS-A.III - Functional Perspective (X080067-WS-A.III) },
}

Grochowski, M., Völker, M., and Kowalewski, S., "Automatic Test Suite Generation for PLC Software in the Internet of Production", in Proc. 2022 27th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) : 6-9 Sept. 2022 / [IEEE Industrial Electronics Society, IEEE], Piscataway, NJ, 2022, IEEE, p. 8.

@inproceedings {  GVK22a,
	author = { Grochowski, Marco and V{\"o}lker, Marcus and Kowalewski,
		Stefan },
	title = { Automatic Test Suite Generation for PLC Software in the
		Internet of Production },
	booktitle = { 2022 27th IEEE International Conference on Emerging
		Technologies and Factory Automation (ETFA) : 6-9 Sept. 2022
		/ [IEEE Industrial Electronics Society, IEEE] },
	publisher = { IEEE },
	pages = { 8 Seiten },
	year = { 2022 },
	address = { Piscataway, NJ },
	organization = { 27. International Conference on Emerging Technologies and
		Factory Automation, Stuttgart (Germany), 2022-09-06 -
		2022-09-09 },
	doi = { 10.1109/ETFA52439.2022.9921726 },
	typ = { PUB:(DE-HGF)7 },
	reportid = { RWTH-2022-09915 },
	cin = { 122810 / 080067 / 120000 },
	url = { http://publications.rwth-aachen.de/record/854996 },
	i11key = { WS-A.III - Functional Perspective (X080067-WS-A.III) },
}

Henn, T., Völker, M., Kowalewski, S., Trinh, M., Petrovic, O., and Brecher, C., "Verification of Behavior Trees using Linear Constrained Horn Clauses", in Proc. Formal Methods for Industrial Critical Systems (fmics 2022), 2022, pp. 211-225.

@inproceedings {  HVK+22,
	author = { Henn, Thomas and V{\"o}lker, Marcus and Kowalewski, Stefan
		and Trinh, Minh and Petrovic, Oliver and Brecher, Christian },
	title = { Verification of Behavior Trees using Linear Constrained Horn
		Clauses },
	booktitle = { Formal Methods for Industrial Critical Systems (fmics 2022) },
	pages = { 211-225 },
	year = { 2022 },
	organization = { 27. International Conference on Formal Methods in Industrial
		Critical Systems },
	doi = { 10.1007/978-3-031-15008-1_14 },
	typ = { PUB:(DE-HGF)7 },
	reportid = { RWTH-2023-00708 },
	cin = { 417310 / 122810 / 120000 / 417200 / 080067 },
	url = { http://publications.rwth-aachen.de/record/863064/files/863064.pdf },
	i11key = { WS-A.III - Functional Perspective (X080067-WS-A.III) },
}

Mroß, R., Schnakenbeck, A., Völker, M., Fay, A., and Kowalewski, S., "Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model", IEEE access, vol. 10, pp. 125652-125665, 2022

@article {  MSV+22,
	author = { Mro{\ss}, Robin and Schnakenbeck, Aron and V{\"o}lker,
		Marcus and Fay, Alexander and Kowalewski, Stefan },
	title = { Transformation of GRAFCET Into GAL for Verification Purposes
		Based on a Detailed Meta-Model },
	journal = { IEEE access },
	publisher = { IEEE },
	pages = { 125652-125665 },
	volume = { 10 },
	year = { 2022 },
	address = { New York, NY },
	issn = { 2169-3536 },
	doi = { 10.1109/ACCESS.2022.3225736 },
	typ = { PUB:(DE-HGF)16 },
	reportid = { RWTH-2023-00543 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/862557/files/862557.pdf },
}

Schnakenbeck, A., Mroß, R., Völker, M., Kowalewski, S., and Fay, A., "Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern", in Proc. Entwurf komplexer Automatisierungssysteme : Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen / Ulrich Jumar, Christian Diedrich (Hrsg.), Magdeburg, 2022, Otto-von-Guericke-Universität Magdeburg, p. 18.

@inproceedings {  SMV+22,
	author = { Schnakenbeck, Aron and Mro{\ss}, Robin and V{\"o}lker,
		Marcus and Kowalewski, Stefan and Fay, Alexander },
	title = { Transformation von GRAFCET in GAL auf Basis eines
		ausf{\"u}hrlichen Metamodells zur Verifikation von
		Entwurfsfehlern },
	booktitle = { Entwurf komplexer Automatisierungssysteme :
		Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen /
		Ulrich Jumar, Christian Diedrich (Hrsg.) },
	publisher = { Otto-von-Guericke-Universit{\"a}t Magdeburg },
	pages = { 18 Seiten },
	year = { 2022 },
	address = { Magdeburg },
	organization = { 17. Fachtagung Entwurf komplexer Automatisierungssysteme,
		Magdeburg (Germany), 2022-06-23 - 2022-06-24 },
	typ = { PUB:(DE-HGF)24 },
	reportid = { RWTH-2023-00551 },
	cin = { 122810 / 120000 },
}

Völker, M. and Kowalewski, S., "A Change-Based Heuristic for Static Analysis with Policy Iteration", in Proc. Static analysis : 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019 : proceedings / Bor-Yuh Evan Chang (ed.), Cham, Switzerland, 2019 in Lecture notes in computer science, Springer, pp. 73-95.

@inproceedings {  VK19,
	author = { V{\"o}lker, Marcus and Kowalewski, Stefan },
	title = { A Change-Based Heuristic for Static Analysis with Policy
		Iteration },
	booktitle = { Static analysis : 26th international symposium, SAS 2019,
		Porto, Portugal, October 8-11, 2019 : proceedings / Bor-Yuh
		Evan Chang (ed.) },
	publisher = { Springer },
	pages = { 73-95 },
	series = { Lecture notes in computer science },
	year = { 2019 },
	address = { Cham, Switzerland },
	organization = { 26. International Static Analysis Symposium, Porto
		(Portugal), 2019-10-08 - 2019-10-11 },
	doi = { 10.1007/978-3-030-32304-2_5 },
	typ = { PUB:(DE-HGF)7 },
	reportid = { RWTH-2019-09500 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/768806/files/768806.pdf },
}

Völker, M., Kloock, M. M., Rabanus, L., Alrifaee, B., and Kowalewski, S., "Verification of Cooperative Vehicle Behavior using Temporal Logic", IFAC-PapersOnLine, vol. 52, iss. 8, pp. 99-104, 2019

@article {  VKR+19,
	author = { V{\"o}lker, Marcus and Kloock, Maximilian Martin and
		Rabanus, Leon and Alrifaee, Bassam and Kowalewski, Stefan },
	title = { Verification of Cooperative Vehicle Behavior using Temporal
		Logic },
	journal = { IFAC-PapersOnLine },
	publisher = { Elsevier },
	pages = { 99-104 },
	volume = { 52 },
	number = { 8 },
	year = { 2019 },
	address = { Frankfurt ; M{\"u}nchen [u.a.] },
	issn = { 2405-8963 },
	organization = { 10. IFAC Symposium on Intelligent Autonomous Vehicles,
		Gdansk (Poland), 2019-07-03 - 2019-07-05 },
	doi = { 10.1016/j.ifacol.2019.08.055 },
	typ = { PUB:(DE-HGF)16 },
	reportid = { RWTH-2019-08318 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/766778 },
}

Völker, M. and Inoue, K., "Logic Programming for Cellular Automata", in Proc. ICLP (Technical Communications), 2015, vol. 1433 in CEUR Workshop Proceedings, CEUR-WS.org.

@inproceedings { ICLP-2015-VolkerI,
	author = { Marcus Völker and Katsumi Inoue },
	booktitle = { ICLP (Technical Communications) },
	ee = { http://ceur-ws.org/Vol-1433/tc_33.pdf },
	url = { http://ceur-ws.org/Vol-1433/tc_33.pdf },
	publisher = { CEUR-WS.org },
	series = { CEUR Workshop Proceedings },
	title = { {Logic Programming for Cellular Automata} },
	volume = { 1433 },
	year = { 2015 },
	i11key = { conference },
}