Dr.-Ing. Dario Kresic


Publications

Conferences and Workshops

  1. Dario Kresic, "A Consistency-based Approach to Efficient Test Case Generation from Timed Automata Specifications," Proc. of the IEEE Conference on Cybernetics and Intelligent Systems (CIS 2004), Singapore, pp. 87-92, 12 1-3
  2. Dario Kresic, "Using Constraint Propagation in the Analysis of Real-Time Systems," Proc. of the IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI 2004), Toulouse, France, pp. 413-419, 08 23 - 26

Technical Reports and Regional Workshops

  1. Dario Kresic, Kai-Steffen Jens Hielscher and Reinhard German, "Spezifikation und Implementation des CAN-Arbitrierungsverfahrens in UPPAAL," Universität Erlangen-Nürnberg, technical report CS-2010-05, 2010
  2. Dario Kresic, "Constraint-based Analysis of Real-Time Systems," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical report 08/03, 2003
  3. Dario Kresic, "Ein hash-basiertes Zugriffsprotokoll für Ringnetze der IEEE-Norm 802.5," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical report 08/01, 2001
  4. Dario Kresic, "Ein reduktionsbasierter Beweis der Unentscheidbarkeit des Bernsteinschen Parallitätsproblems," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical report 09/01, 2001

Theses

  1. Dario Kresic, "Zur konsistenz-basierten Validation von Protokollen mit zeitlichen Anforderungen," Friedrich-Alexander-Universität, Erlangen-Nürnberg, Ph.D. thesis, 2008

Other Publications

  1. Dario Kresic, "Dienstgüte in Mobilnetzen und ihre Anwendungen," Workshop "Interoperable Kommunikationssysteme für Ubiquitous Computing", Sarntal, Italy, 09
  2. Dario Kresic, "Quality of Service in Mobile Networks and their Applications," Ferienakademie (Topic: "Interoperable Communication Systems for Ubiquitous Computing"), Sarntal, Italy, 09