Astrid Rakow

26 papers B 3C 1Journal 8Unranked 13
YearRankTypeTitle / Venue / Authors
2026 — conf
A Notion of Relevance for Safety-Critical Autonomous Systems.
Engineering Safe and Trustworthy Cyber Physical Systems
Astrid Rakow
2025 J jnl
Designing Value-Aligned Traffic Agents through Conflict Sensitivity.
CoRR
Astrid Rakow, Joe Collenette, Maike Schwammberger, Marija Slavkovik, Gleifer V. Alves
2025 — conf
Model Learning for Adjusting the Level of Automation in HCPS.
FMAS@iFM
Mehrnoush Hajnorouzi, Astrid Rakow, Martin Fränzle
2025 J jnl
What does AI need to know to drive: Testing relevance of knowledge.
Sci. Comput. Program.
Dominik Grundt, Astrid Rakow, Philipp Borchers, Eike Möhlmann
2024 J jnl
A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts.
ACM Trans. Cyber Phys. Syst.
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, Sebastian Lehnhoff, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Maike Schwammberger, Benedikt Austel, Anirudh Unni, Eric M. S. P. Veith
2024 J jnl
A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations.
ACM Trans. Cyber Phys. Syst.
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, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Alexander Trende, Anirudh Unni, Eric M. S. P. Veith
2024 J jnl
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction.
ACM Trans. Cyber Phys. Syst.
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, Alyssa J. Kerscher, Forrest Laine, Sebastian Lehnhoff, Alexander Pretschner, Astrid Rakow, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Anirudh Unni, Eric M. S. P. Veith
2024 — conf
What Level of Power Should We Give an Automation? - - Adjusting the Level of Automation in HCPS -.
EDCC Workshops
Mehrnoush Hajnorouzi, Astrid Rakow, Akhila Bairy, Jan-Patrick Osterloh, Martin Fränzle
2023 J jnl
Framing Relevance for Safety-Critical Autonomous Systems.
CoRR
Astrid Rakow
2023 — conf
Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles.
Applicable Formal Methods for Safe Industrial Products
Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan
2023 — conf
What to tell when? - Information Provision as a Game.
FMAS@iFM
Astrid Rakow, Mehrnoush Hajnorouzi, Akhila Bairy
2022 — conf
A Doxastic Characterisation of Autonomous Decisive Systems.
FMAS/ASYDE@SEFM
Astrid Rakow
2022 — conf
Towards Formal Concepts for Explanation Timing and Justifications.
RE Workshops
Akhila Bairy, Willem Hagemann, Astrid Rakow, Maike Schwammberger
2021 C conf
Roles and Responsibilities for a Predictable Update Process - A Position Paper.
VECoS
Astrid Rakow, Janis Kröger
2019 — conf
Dynamic Conflict Resolution Using Justification Based Reasoning.
CREST
Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
2019 J jnl
Justification Based Reasoning in Dynamic Conflict Resolution.
CoRR
Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
2018 — conf
A Formal Semantics for Traffic Sequence Charts.
Principles of Modeling
Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow
2017 J jnl
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement.
Sci. Comput. Program.
Ernst Althaus, Björn Beber, Werner Damm, Stefan Disch, Willem Hagemann, Astrid Rakow, Christoph Scholl, Uwe Waldmann, Boris Wirtz
2016 — conf
Verifying a PI Controller using SoapBox and Stabhyli.
ARCH@CPSWeek
Eike Möhlmann, Willem Hagemann, Astrid Rakow
2016 — conf
What You Really Need To Know About Your Neighbor.
SYNT@CAV
Werner Damm, Bernd Finkbeiner, Astrid Rakow
2014 — conf
Component based design of hybrid systems: a case study on concurrency and coupling.
HSCC
Werner Damm, Eike Möhlmann, Astrid Rakow
2012 B conf
Safety Slicing Petri Nets.
Petri Nets
Astrid Rakow
2011 — —
Slicing and reduction techniques for model checking Petri nets.
Astrid Rakow
2009 B conf
Decompositional Petri Net Reductions.
IFM
Astrid Rakow
2008 — conf
A Slicing Technique for Business Processes.
UNISCON
Eike Best, Astrid Rakow
2008 B conf
Slicing Petri Nets with an Application to Workflow Verification.
SOFSEM
Astrid Rakow