Dario Kresic

According to our database, Dario Kresic authored at least 3 papers between 2008 and 2012.

Collaborative distances:

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

2012

Verifying Worst Case Delays in Controller Area Network.

Nikola Ivkovic, Dario Kresic, Kai-Steffen Hielscher, Reinhard German

Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

2011

Probabilistic verification of BGP convergence.

Soroush Haeri, Dario Kresic, Ljiljana Trajkovic

Proceedings of the 19th annual IEEE International Conference on Network Protocols, 2011

2008

Zur konsistenz-basierten Validation von Protokollen mit zeitlichen Anforderungen.

Dario Kresic

PhD thesis, 2008