Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

Research output

Research output per year 2011 2012 2013

• 4 Article in proceeding
• 2 Conference article in Journal
• 1 Book chapter
• 1 Conference abstract for conference
• 2 More
  • 1 Journal article
  • 1 Conference abstract in journal

Research output per year

Research output per year

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 proceeding › Article in proceeding › Research › peer-review
  34 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 proceeding › Article in proceeding › Research › peer-review

  • Informatics 100%
  • Congressional Report 100%
  • Concurrency 100%

• 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 proceeding › Article in proceeding › Research › peer-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 proceeding › Article in proceeding › Research › peer-review
  9 Citations (Scopus)