Dominik Schoop

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
A Formal Model to Facilitate Security Testing in Modern Automotive Systems.
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.
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.
Proceedings of the 2016 IEEE Vehicular Networking Conference, 2016


  Loading...