Dr.-Ing. Dario Kresic


Publikationen

Konferenzen und 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

Technische Berichte und Regionale Workshops

  1. Dario Kresic, Kai-Steffen Jens Hielscher und Reinhard German, "Spezifikation und Implementation des CAN-Arbitrierungsverfahrens in UPPAAL," Universität Erlangen-Nürnberg, technischer Report CS-2010-05, 2010
  2. Dario Kresic, "Constraint-based Analysis of Real-Time Systems," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer 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, technischer Report 08/01, 2001
  4. Dario Kresic, "Ein reduktionsbasierter Beweis der Unentscheidbarkeit des Bernsteinschen Parallitätsproblems," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer Report 09/01, 2001

Abschlussarbeiten

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

Andere Publikationen

  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

Weitere Informationen