Spring til hovednavigation Spring til søgning Spring til hovedindhold

MT-Lab - Modelling of Information Technology

Projekter: Projekt › Forskning

  • 9 Konferencebidrag i proceedings
  • 8 Tidsskriftartikel
  • 6 Konferenceartikel
Filter
Tidsskriftartikel

Søgeresultater

  • 2014

    Maximizing Entropy over Markov Processes

    Biondi, F., Legay, A., Nielsen, B. F. & Wasowski, A., 2014, I: Journal of Logic and Algebraic Programming. 83, 5-6, s. 384-399 12 s.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

    Åben adgang
    Fil

  • Robust synthesis for real-time systems

    Larsen, K. G., Legay, A., Traonouez, L.-M. & Wasowski, A., 2014, I: Theoretical Computer Science. 515, s. 96-122 28 s.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  • 2013

    Abstract Probabilistic Automata

    Delahaye, B., Katoen, J.-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., nov. 2013, I: Information and Computation. 232, s. 66-116 50 s.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Bisimulation Meet PCTL Equivalences for Probabilistic Automata (Journal Version)

    Song, L., Zhang, L. & Godskesen, J. C., 2013, I: Logical Methods in Computer Science. 9, 2, 34 s.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

    Åben adgang
    Fil

  • Real-time specifications

    David, A., Larsen, K. G., Legay, A., Nyman, U. M., Traonouez, L.-M. & Wasowski, A., aug. 2013, I: International Journal on Software Tools for Technology Transfer. s. 1-29 29 s.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  • 2012

    Compositional verification of real-time systems using Ecdar

    David, A., Larsen, K. G., Legay, A., Møller, M. H., Nyman, U. M., Ravn, A. P., Skou, A. J. & Wasowski, A., 2012, I: International Journal on Software Tools for Technology Transfer. 14, 6, s. 703-720

    Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Consistency and refinement for Interval Markov Chains

    Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2012, I: Journal of Logic and Algebraic Programming. 81, 3, s. 209-266

    Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

    Åben adgang

  • New results for Constraint Markov Chains

    Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2012, I: Performance Evaluation. 69, 7-8, s. 379-401

    Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review