Wissenschaftlicher Mitarbeiter
Tel. +49 241 80 21158
Fax +49 241 80 22150
Email: voelker[at]embedded[dot]rwth-aachen[dot]de
Adresse: Ahornstr. 55, 52074 Aachen, Germany
Büro: Raum 2302 (Gebäude H)
Zur Zeit sind keine Abschlussarbeiten offen
Zur Zeit sind keine Hiwistellen offen
@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) }, }
@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 }, 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) }, }
@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) }, }
@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 }, }
@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 }, 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) }, }
@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 }, 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) }, }
@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 }, }
@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) }, }
@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) }, }
@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) }, }
@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 }, }
@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 }, }
@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 }, }
@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 }, }
@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 }, }