Alexander Kortus

According to our database, Alexander Kortus authored at least 2 papers in 2008.

Collaborative distances:

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

2008

The Demand for Reliability in Probabilistic Verification.

Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2008

Probabilistic Model Checking and Reliability of Results.

Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker

Proceedings of the 11th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2008), 2008