Publikationer pr. år
Publikationer pr. år
- 8 resultater
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 adgangFil -
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 adgangFil -
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-720Publikation: 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-266Publikation: 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-401Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review