Astrid Rakow

According to our database, Astrid Rakow authored at least 22 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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, 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

ACM Trans. Cyber Phys. Syst., January, 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, 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

ACM Trans. Cyber Phys. Syst., January, 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, 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

ACM Trans. Cyber Phys. Syst., January, 2024

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

Proceedings of the Dependable Computing - EDCC 2024 Workshops, 2024

2023

What to tell when? - Information Provision as a Game.

Astrid Rakow, Mehrnoush Hajnorouzi, Akhila Bairy

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

Framing Relevance for Safety-Critical Autonomous Systems.

Astrid Rakow

CoRR, 2023

Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles.

Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2022

A Doxastic Characterisation of Autonomous Decisive Systems.

Astrid Rakow

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

Towards Formal Concepts for Explanation Timing and Justifications.

Akhila Bairy, Willem Hagemann, Astrid Rakow, Maike Schwammberger

Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

2021

Roles and Responsibilities for a Predictable Update Process - A Position Paper.

Astrid Rakow, Janis Kröger

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021

2019

Dynamic Conflict Resolution Using Justification Based Reasoning.

Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow

Proceedings of the 4th Workshop on Formal Reasoning about Causation, 2019

Justification Based Reasoning in Dynamic Conflict Resolution.

Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow

CoRR, 2019

2018

A Formal Semantics for Traffic Sequence Charts.

Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow

Proceedings of the Principles of Modeling, 2018

2017

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, Uwe Waldmann, Boris Wirtz

Sci. Comput. Program., 2017

2016

What You Really Need To Know About Your Neighbor.

Werner Damm, Bernd Finkbeiner, Astrid Rakow

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

Verifying a PI Controller using SoapBox and Stabhyli.

Eike Möhlmann, Willem Hagemann, Astrid Rakow

Proceedings of the ARCH@CPSWeek 2016, 2016

2014

Component based design of hybrid systems: a case study on concurrency and coupling.

Werner Damm, Eike Möhlmann, Astrid Rakow

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

2012

Safety Slicing Petri Nets.

Astrid Rakow

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011

Slicing and reduction techniques for model checking Petri nets.

Astrid Rakow

PhD thesis, 2011

2009

Decompositional Petri Net Reductions.

Astrid Rakow

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008

Slicing Petri Nets with an Application to Workflow Verification.

Astrid Rakow

Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008

A Slicing Technique for Business Processes.

Eike Best, Astrid Rakow

Proceedings of the Information Systems and e-Business Technologies, 2008