Astrid Rakow

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 16

Top Venues

CoRR

ACM Trans. Cyber Phys. Syst.

HSCC

Applicable Formal Methods for Safe Industrial Products

Carl von Ossietzky University of Oldenburg (PHD)

Education History

Carl von Ossietzky University of Oldenburg

PHD

Publications

Mehrnoush Hajnorouzi, Astrid Rakow, Akhila Bairy, Jan-Patrick Osterloh, Martin Fränzle
What Level of Power Should We Give an Automation? - - Adjusting the Level of Automation in HCPS -. EDCC Workshops (2024)
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
A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts. ACM Trans. Cyber Phys. Syst. 8 (1) (2024)
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
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction. ACM Trans. Cyber Phys. Syst. 8 (1) (2024)
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
A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations. ACM Trans. Cyber Phys. Syst. 8 (1) (2024)
Astrid Rakow
Framing Relevance for Safety-Critical Autonomous Systems. CoRR (2023)
Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan
Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles. Applicable Formal Methods for Safe Industrial Products (2023)
Astrid Rakow, Mehrnoush Hajnorouzi, Akhila Bairy
What to tell when? - Information Provision as a Game. CoRR (2023)
Astrid Rakow
A Doxastic Characterisation of Autonomous Decisive Systems. FMAS/ASYDE@SEFM (2022)
Akhila Bairy, Willem Hagemann, Astrid Rakow, Maike Schwammberger
Towards Formal Concepts for Explanation Timing and Justifications. RE Workshops (2022)
Astrid Rakow, Janis Kröger
Roles and Responsibilities for a Predictable Update Process - A Position Paper. VECoS (2021)
Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
Dynamic Conflict Resolution Using Justification Based Reasoning. CREST@ETAPS (2019)
Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
Justification Based Reasoning in Dynamic Conflict Resolution. CoRR (2019)
Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow
A Formal Semantics for Traffic Sequence Charts. Principles of Modeling (2018)
Ernst Althaus, Björn Beber, Werner Damm, Stefan Disch, Willem Hagemann, Astrid Rakow, Christoph Scholl, Uwe Waldmann, Boris Wirtz
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement. Sci. Comput. Program. 148 (2017)
Werner Damm, Bernd Finkbeiner, Astrid Rakow
What You Really Need To Know About Your Neighbor. SYNT@CAV (2016)
Eike Möhlmann, Willem Hagemann, Astrid Rakow
Verifying a PI Controller using SoapBox and Stabhyli. ARCH@CPSWeek (2016)
Werner Damm, Eike Möhlmann, Astrid Rakow
Component based design of hybrid systems: a case study on concurrency and coupling. HSCC (2014)
Astrid Rakow
Safety Slicing Petri Nets. Petri Nets (2012)
Astrid Rakow
Decompositional Petri Net Reductions. IFM (2009)
Astrid Rakow
Slicing Petri Nets with an Application to Workflow Verification. SOFSEM (2008)
Eike Best, Astrid Rakow
A Slicing Technique for Business Processes. UNISCON (2008)

Astrid Rakow.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Astrid Rakow