Research output per year
Research output per year
Search results
-
2013
Incremental Bisimulation Abstraction Refinement
Godskesen, J. C., Song, L. & Zhang, L., 8 Jul 2013, In: Proceedings of the International Conference on Application of Concurrency to System Design. p. 11-20Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
-
Quantifying Information Leakage of Randomized Protocols
Biondi, F., Wasowski, A., Legay, A. & Malacaria, P., 20 Jan 2013, In: Lecture Notes in Computer Science. 7737, p. 68-87 20 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open AccessFile -
Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs
Mukkamala, R. R., Hildebrandt, T. & Slaats, T., 2013, In: International Enterprise Distributed Object Computing Conference. Proceedings. p. 127-136Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
File -
2012
New Results on Timed Specifications
Bourke, T., David, A., Larsen, K. G., Legay, A., Lime, D., Nyman, U. M. & Wasowski, A., 2012, In: Lecture Notes in Computer Science. 7137, p. 175 192 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
-
2011
A Stochastic Broadcast Pi-Calculus
Song, L., Nielson, F. & Nielsen, B. F., 6 Jul 2011, In: Electronic Proceedings in Theoretical Computer Science. 57, p. 74-88 15 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open AccessFile -
Vision Paper: Make a Difference! (Semantically)
Fahrenberg, U., Legay, A. & Wasowski, A., 2011, In: Lecture Notes in Computer Science. 6981, p. 490-500 10 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review