Astrid Rakow
Orcid: 0000-0001-6715-1231Affiliations:
- Carl von Ossietzky University of Oldenburg, Germany
According to our database1,
Astrid Rakow
authored at least 22 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
3
1
1
1
1
2
2
1
1
1
2
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts.
ACM Trans. Cyber Phys. Syst., January, 2024
A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations.
ACM Trans. Cyber Phys. Syst., January, 2024
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction.
ACM Trans. Cyber Phys. Syst., January, 2024
What Level of Power Should We Give an Automation? - - Adjusting the Level of Automation in HCPS -.
Proceedings of the Dependable Computing - EDCC 2024 Workshops, 2024
2023
Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023
Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles.
Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023
2022
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
Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022
2021
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021
2019
Proceedings of the 4th Workshop on Formal Reasoning about Causation, 2019
2018
Proceedings of the Principles of Modeling, 2018
2017
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement.
Sci. Comput. Program., 2017
2016
Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016
Proceedings of the ARCH@CPSWeek 2016, 2016
2014
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
2012
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012
2011
2009
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009
2008
Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008
Proceedings of the Information Systems and e-Business Technologies, 2008