MT-LAB A VKR Foundation Center of Excellence

Research output

Research output per year 2012 2013 2017

• 6 Article in proceeding
• 3 Journal article
• 1 PhD thesis

Research output per year

Research output per year

Search results

• 2013

  Computing Behavioral Distances, Compositionally

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. Chatterjee, K. & Sgall, J. (eds.). Springer Publishing Company, Vol. 8087. p. 74-85 (Lecture Notes in Computer Science, Vol. 8087).

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
  25 Citations (Scopus)

• Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion Abstraction

  Laarman, A., Olesen, M. C., Dalsgaard, A., Larsen, K. G. & Pol, J. V. D., 2013, Proceedings of the 25th International Conference on Computer Aided Verification (CAV). Springer Publishing Company, Vol. 8044. p. 968-983 16 p. (Lecture Notes in Computer Science, Vol. 8044).

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  Open Access

  File
  25 Citations (Scopus)

  675 Downloads (Pure)

• On-the-Fly Exact Computation of Bisimilarity Distances

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Piterman, N. & Smolka, S. A. (eds.). Springer Publishing Company, Vol. 7795. p. 1-15 (Lecture Notes in Computer Science, Vol. 7795).

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
  36 Citations (Scopus)

• PtrTracker: Pragmatic pointer analysis

  Biallas, S., Olesen, M. C., Cassez, F. & Huuck, R., 2013, Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 2013. IEEE Computer Society Press, p. 69-73 5 p. (I E E E International Working Conference on Source Code Analysis and Manipulation. Proceedings).

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  Open Access

  File
  6 Citations (Scopus)

  954 Downloads (Pure)

• Stone Duality for Markov Processes

  Kozen, D., Larsen, K. G., Mardare, R. I. & Panangaden, P., 2013, Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on. IEEE (Institute of Electrical and Electronics Engineers), p. 321-330 (Annual Symposium on Logic in Computer Science).

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
  19 Citations (Scopus)

• The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Joshi, K., Siegle, M., Stoelinga, M. & D'Argenio, P. R. (eds.). Springer Publishing Company, Vol. 8054. p. 278-281 4 p. (Lecture Notes in Computer Science, Vol. 8054).

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
  9 Citations (Scopus)