Research output per year
Research output per year
Search results
-
2014
Maximizing Entropy over Markov Processes
Biondi, F., Legay, A., Nielsen, B. F. & Wasowski, A., 2014, In: Journal of Logic and Algebraic Programming. 83, 5-6, p. 384-399 12 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Robust synthesis for real-time systems
Larsen, K. G., Legay, A., Traonouez, L.-M. & Wasowski, A., 2014, In: Theoretical Computer Science. 515, p. 96-122 28 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › 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, In: Information and Computation. 232, p. 66-116 50 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Bisimulation Meet PCTL Equivalences for Probabilistic Automata (Journal Version)
Song, L., Zhang, L. & Godskesen, J. C., 2013, In: Logical Methods in Computer Science. 9, 2, 34 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Real-time specifications
David, A., Larsen, K. G., Legay, A., Nyman, U. M., Traonouez, L.-M. & Wasowski, A., Aug 2013, In: International Journal on Software Tools for Technology Transfer. p. 1-29 29 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › 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, In: International Journal on Software Tools for Technology Transfer. 14, 6, p. 703-720Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Consistency and refinement for Interval Markov Chains
Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2012, In: Journal of Logic and Algebraic Programming. 81, 3, p. 209-266Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access -
New results for Constraint Markov Chains
Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2012, In: Performance Evaluation. 69, 7-8, p. 379-401Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review