- 6 resultater
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
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, Bind 8044. s. 968-983 16 s. (Lecture Notes in Computer Science, Bind 8044).Bidragets oversatte titel :Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion Abstraction Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil25 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
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, s. 69-73 5 s. (I E E E International Working Conference on Source Code Analysis and Manipulation. Proceedings).Bidragets oversatte titel :PtrTracker: Pragmatic pointer analysis Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil6 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)