A Slicing Technique for Business Processes. - Eike Best; Astrid Rakow (UNISCON, 2008)

Slicing Petri Nets with an Application to Workflow Verification. - Astrid Rakow (SOFSEM, 2008)

Decompositional Petri Net Reductions. - Astrid Rakow (IFM, 2009)

Slicing and reduction techniques for model checking Petri nets. - Astrid Rakow (2011)

Safety Slicing Petri Nets. - Astrid Rakow (Petri Nets, 2012)

Component based design of hybrid systems: a case study on concurrency and coupling. - Werner Damm; Eike Möhlmann; Astrid Rakow (HSCC, 2014)

Verifying a PI Controller using SoapBox and Stabhyli. - Eike Möhlmann; Willem Hagemann; Astrid Rakow (ARCH@CPSWeek, 2016)

What You Really Need To Know About Your Neighbor. - Werner Damm; Bernd Finkbeiner; Astrid Rakow (SYNT@CAV, 2016)

Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement. - Ernst Althaus; Björn Beber; Werner Damm; Stefan Disch; Willem Hagemann; Astrid Rakow; Christoph Scholl 001; Uwe Waldmann; Boris Wirtz (Sci. Comput. Program., 2017)

A Formal Semantics for Traffic Sequence Charts. - Werner Damm; Eike Möhlmann; Thomas Peikenkamp; Astrid Rakow (Principles of Modeling, 2018)

Justification Based Reasoning in Dynamic Conflict Resolution. - Werner Damm; Martin Fränzle; Willem Hagemann; Paul Kröger; Astrid Rakow (CoRR, 2019)

Dynamic Conflict Resolution Using Justification Based Reasoning. - Werner Damm; Martin Fränzle; Willem Hagemann; Paul Kröger; Astrid Rakow (CREST@ETAPS, 2019)

Roles and Responsibilities for a Predictable Update Process - A Position Paper. - Astrid Rakow; Janis Kröger (VECoS, 2021)

Towards Formal Concepts for Explanation Timing and Justifications. - Akhila Bairy; Willem Hagemann; Astrid Rakow; Maike Schwammberger (RE Workshops, 2022)

A Doxastic Characterisation of Autonomous Decisive Systems. - Astrid Rakow (FMAS/ASYDE@SEFM, 2022)

Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles. - Martin Fränzle; Willem Hagemann; Werner Damm; Astrid Rakow; Mani Swaminathan (Applicable Formal Methods for Safe Industrial Products, 2023)

Framing Relevance for Safety-Critical Autonomous Systems. - Astrid Rakow (CoRR, 2023)

What to tell when? - Information Provision as a Game. - Astrid Rakow; Mehrnoush Hajnorouzi; Akhila Bairy (FMAS@iFM, 2023)

What Level of Power Should We Give an Automation? - - Adjusting the Level of Automation in HCPS -. - Mehrnoush Hajnorouzi; Astrid Rakow; Akhila Bairy; Jan-Patrick Osterloh; Martin Fränzle (EDCC Workshops, 2024)

A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction. - Klaus Bengler; Werner Damm; Andreas Lüdtke; Jochem W. Rieger; Benedikt Austel; Bianca Biebl; Martin Fränzle; Willem Hagemann; Moritz Held; David Hess; Klas Ihme; Severin Kacianka; et al. (ACM Trans. Cyber Phys. Syst., 2024)

A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations. - Werner Damm; Martin Fränzle; Alyssa J. Kerscher; Forrest Laine; Klaus Bengler; Bianca Biebl; Willem Hagemann; Moritz Held; David Hess; Klas Ihme; Severin Kacianka; Sebastian Lehnhoff; et al. (ACM Trans. Cyber Phys. Syst., 2024)

A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts. - Werner Damm; David Hess; Mark Schweda; Janos Sztipanovits; Klaus Bengler; Bianca Biebl; Martin Fränzle; Willem Hagemann; Moritz Held; Klas Ihme; Severin Kacianka; Alyssa J. Kerscher; et al. (ACM Trans. Cyber Phys. Syst., 2024)

What does AI need to know to drive: Testing relevance of knowledge. - Dominik Grundt; Astrid Rakow; Philipp Borchers; Eike Möhlmann (Sci. Comput. Program., 2025)

Designing Value-Aligned Traffic Agents through Conflict Sensitivity. - Astrid Rakow; Joe Collenette; Maike Schwammberger; Marija Slavkovik 001; Gleifer V. Alves (CoRR, 2025)