Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 2013 2019

2019

Converging from branching to linear metrics on Markov chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., jan. 2019, I : Mathematical Structures in Computer Science. 29, Special Issue 1, s. 3-37 35 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Markov processes
Branching
Markov chain
Semantics
Linear Time
2018
1 Citation (Scopus)
50 Downloads (Pure)

Complete Axiomatization for the Total Variation Distance of Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 16 apr. 2018, I : Electronic Notes in Theoretical Computer Science. 336, s. 27-39 13 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Total Variation Distance
Axiomatization
Markov processes
Markov chain
Deduction
1 Citation (Scopus)

On the Verification of Weighted Kripke Structures Under Uncertainty

Bacci, G., Hansen, M. & Larsen, K. G., 1 jan. 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. Horvath, A. & McIver, A. (red.). Springer, s. 71-86 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11024 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Random variables
Experiments
Uncertainty
1 Citation (Scopus)

Optimal and robust controller synthesis: Using energy timed automata with uncertainty

Bacci, G., Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N. & Reynier, P. A., 1 jan. 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (red.). Springer, s. 203-221 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10951 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Computability and decidability
Hydraulics
Pumps
Controllers
Uncertainty
2017
Åben adgang
Axiomatization
Deduction
Markov processes
Markov chain
Equational Logic

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Aceto, L. (red.), Bacci, G. (red.), Bacci, G. (red.), Ingolfsdottir, A. (red.), Larsen, K. G. (red.), Legay, A. (red.) & Mardare, R. I. (red.), 2017, Springer. 1 s. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues, Bind 10460).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

16 Downloads (Pure)

On-the-Fly Computation of Bisimilarity Distances

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2017, I : Logical Methods in Computer Science. 13, 2

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
Markov processes
Linear Program
Continuous-time Markov Chain
Polynomials
State Space
4 Citationer (Scopus)

On the Metric-Based Approximate Minimization of Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, I : Leibniz International Proceedings in Informatics. 80, 44, s. 1 14 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Markov processes
Experiments
2016
2 Citationer (Scopus)

Complete Axiomatization for the Bisimilarity Distance on Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2016, 27th International Conference on Concurrency Theory (CONCUR 2016). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 21:1--21:14 14 s. (Leibniz International Proceedings in Informatics, Bind 59).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Axiomatization
Markov chain
Equational Logic
Deductive System
Approximately equal
2015
10 Citationer (Scopus)

Converging from Branching to Linear Metrics on Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (red.). Springer, s. 349-367 18 s. (Lecture Notes in Computer Science; Nr. 9399).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Branching
Markov chain
Metric
Linear Time
Pseudometric
9 Citationer (Scopus)

On the Total Variation Distance of Semi-Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Pitts, A. (red.). Springer, Bind 9034. s. 185-199 15 s. (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Markov processes
Computability and decidability
Model checking
Computational complexity
Specifications
2014
3 Citationer (Scopus)

Bisimulation on Markov Processes over Arbitrary Measurable Spaces

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2014, Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (red.). Springer Publishing Company, Bind 8464. s. 76-95 (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Measurable space
Bisimulation
Markov Process
Arbitrary
Adjunction

The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2014, Essays for the Luca Cardelli Fest: Essays dedicated to Luca Cardelli, on the Occasion of His 60th Birthday. Abadi, M., Gardner, P., Gordon, A. D. & Mardare, R. (red.). Microsoft Research, s. 15-26

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportForskningpeer review

2013
13 Citationer (Scopus)

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 proceedingKonferenceartikel i proceedingForskningpeer review

27 Citationer (Scopus)

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 proceedingKonferenceartikel i proceedingForskningpeer review

3 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 proceedingKonferenceartikel i proceedingForskningpeer review