Alexander Will

According to our database, Alexander Will authored at least 4 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

An Integrated Runtime Verification and Simulation Testbed for UAM Hazard Assessment.

Alexander Will, Aidan G. Collins, Robert Grizzard, Smitha Gautham, Patrick Martin, Evan Dill, Carl R. Elks

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2022

Monitoring ROS2: from Requirements to Autonomous Robots.

Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alexander Will, Patrick J. Martin

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

STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection.

Smitha Gautham, Georgios Bakirtzis, Alexander Will, Athira Varma Jayakumar, Carl R. Elks

Proceedings of the Computer Safety, Reliability, and Security, 2022

2007

End User Development für Leitstand-Arbeitsplätze: Beschreibung einer Systemarchitektur.

Stefan Hofer, Sven Wende, Alexander Will, Heinz Züllighoven

Proceedings of the Software Engineering 2007, 2007