Philipp Marks

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 11

Top Topics

Impact Analysis

Formal Verification

Top Venues

Publications

Manuel Müller, Timo Müller, Behrang Ashtari Talkhestani, Philipp Marks, Nasser Jazdi, Michael Weyrich
Industrial autonomous systems: a survey on definitions, characteristics and abilities. Autom. 69 (1) (2021)
Matthias Weiß, Philipp Marks, Benjamin Maschler, Dustin White, Pascal Kesseli, Michael Weyrich
Towards establishing formal verification and inductive code synthesis in the PLC domain. INDIN (2021)
Matthias Weiß, Philipp Marks, Benjamin Maschler, Dustin White, Pascal Kesseli, Michael Weyrich
Towards establishing formal verification and inductive code synthesis in the PLC domain. CoRR (2021)
Xuan Luu Hoang, Alexander Fay, Philipp Marks, Michael Weyrich
Industrial Application of a MDM-Based Approach for Generation and Impact Analysis of Adaptation Options - a Case Study. ETFA (2018)
Philipp Marks, Timo Müller, Desirée Vögeli, Tobias Jung, Nasser Jazdi, Michael Weyrich
Agent Design Patterns for Assistance Systems in Various Domains - a Survey. CASE (2018)
Philipp Marks, Qiang Yu, Michael Weyrich
Survey on Flexibility and Changeability Indicators of automated Manufacturing Systems. ETFA (2018)
Nasser Jazdi, Philipp Marks
Agent-based assistance system for the dynamic reliability calculation of cyber-physical systems. AQTR (2018)
Xuan Luu Hoang, Alexander Fay, Philipp Marks, Michael Weyrich
Generation and impact analysis of adaptation options for automated manufacturing machines. ETFA (2017)
Philipp Marks, Michael Weyrich, Xuan Luu Hoang, Alexander Fay
Agent-based adaptation of automated manufacturing machines. ETFA (2017)
Nasser Jazdi-Motlagh, Philipp Marks, Aristides Aivaliotis, Michael Weyrich
Ein agentenbasiertes Assistenzsystem zur dynamischen Zuverlässigkeitsberechnung von cyber-physischen Systemen. Autom. 65 (11) (2017)
Xuan Luu Hoang, Alexander Fay, Philipp Marks, Michael Weyrich
Systematization approach for the adaptation of manufacturing machines. ETFA (2016)