Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

  • Mardare, Radu (Project Participant)
Filter
Article in proceeding

Search results

  • 2013

    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 proceedingArticle in proceedingResearchpeer-review

    31 Citations (Scopus)
  • 2012

    Decidability of Modular Logics for Concurrency

    Mardare, R. I., 2012, Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Berlin: Springer, Vol. 7162. p. 274-288 (Lecture Notes in Computer Science, Vol. 7162).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Taking It to the Limit: Approximate Reasoning for Markov Processes

    Larsen, K. G., Mardare, R. I. & Panangaden, P., 2012, Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. Rovan, B., Sassone, V. & Widmayer, P. (eds.). Springer, p. 681-692 (Lecture Notes in Computer Science, Vol. 7464).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    18 Citations (Scopus)
  • 2011

    Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas

    Cardelli, L., Larsen, K. G. & Mardare, R., 2011, CSL Computer Science Logic: 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings. Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Vol. 12. p. 144-158 15 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    9 Citations (Scopus)