Tobias Renner

According to our database, Tobias Renner authored at least 3 papers between 2006 and 2022.

Collaborative distances:

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

2022

Focusing on the Ethical Challenges of Data Breaches and Applications.

Karen Joisten, Nicole Thiemer, Tobias Renner, Anke Janssen, Alexander Scheffler

Proceedings of the IEEE International Conference on Assured Autonomy, 2022

2006

Formal Verification of Abstract System and Protocol Specifications.

Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen.

Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala

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