MT-LAB A VKR Foundation Center of Excellence

Søgeresultater

• 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. (red.). Springer Publishing Company, Bind 8087. s. 74-85 (Lecture Notes in Computer Science, Bind 8087).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  26   Link åbnes i en ny fane Citationer (Scopus)

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

  Bidragets oversatte titel: Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion AbstractionLaarman, 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, Bind 8044. s. 968-983 16 s. (Lecture Notes in Computer Science, Bind 8044).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  25   Link åbnes i en ny fane Citationer (Scopus)

  760 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. (red.). Springer Publishing Company, Bind 7795. s. 1-15 (Lecture Notes in Computer Science, Bind 7795).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  39   Link åbnes i en ny fane Citationer (Scopus)

• PtrTracker: Pragmatic pointer analysis

  Bidragets oversatte titel: PtrTracker: Pragmatic pointer analysisBiallas, 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, s. 69-73 5 s. (I E E E International Working Conference on Source Code Analysis and Manipulation. Proceedings).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  6   Link åbnes i en ny fane Citationer (Scopus)

  1044 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), s. 321-330 (Annual Symposium on Logic in Computer Science).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  20   Link åbnes i en ny fane Citationer (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. (red.). Springer Publishing Company, Bind 8054. s. 278-281 4 s. (Lecture Notes in Computer Science, Bind 8054).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  9   Link åbnes i en ny fane Citationer (Scopus)