Dominik Schoop

According to our database, Dominik Schoop authored at least 3 papers between 2016 and 2017.

Collaborative distances:

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

2017

A Formal Model to Facilitate Security Testing in Modern Automotive Systems.

Eduardo dos Santos, Andrew Simpson, Dominik Schoop

Proceedings of the Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), 2017

EnCIRCLE: Encryption-based access control for information-centric connected vehicles.

Dennis Grewe, K. P. Pavithra Rao, Sebastian Schildt, Marco Wagner, Dominik Schoop, Hannes Frey

Proceedings of the 8th International Conference on the Network of the Future, 2017

2016

Formal models for automotive systems and vehicular networks: Benefits and challenges.

Eduardo dos Santos, Dominik Schoop, Andrew Simpson

Proceedings of the 2016 IEEE Vehicular Networking Conference, 2016