×

Found 19 Documents (Results 1–19)

Probabilistic bisimulation for realistic schedulers. (English) Zbl 1427.68193

Bjørner, Nikolaj (ed.) et al., FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24–26, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9109, 248-264 (2015).
MSC:  68Q85 68Q45 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Deciding bisimilarities on distributions. (English) Zbl 1398.68364

Joshi, Kaustubh (ed.) et al., Quantitative evaluation of systems. 10th international conference, QEST 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40195-4/pbk). Lecture Notes in Computer Science 8054, 72-88 (2013).
MSC:  68Q85 68Q45 68Q87
PDFBibTeX XMLCite
Full Text: DOI

The quest for minimal quotients for probabilistic automata. (English) Zbl 1381.68115

Piterman, Nir (ed.) et al., 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. Berlin: Springer (ISBN 978-3-642-36741-0/pbk). Lecture Notes in Computer Science 7795, 16-31 (2013).
MSC:  68Q45 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

A semantics for every GSPN. (English) Zbl 1381.68199

Colom, José-Manuel (ed.) et al., Application and theory of Petri nets and concurrency. 34th international conference, PETRI NETS 2013, Milan, Italy, June 24–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38696-1/pbk). Lecture Notes in Computer Science 7927, 90-109 (2013).
MSC:  68Q85 68Q55 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Measurability and safety verification for stochastic hybrid systems. (English) Zbl 1362.68170

Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12–14, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0629-4). 43-52 (2011).
MSC:  68Q60 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Automata-based CSL model checking. (English) Zbl 1334.68135

Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 271-282 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Concurrency and composition in a stochastic world. (English) Zbl 1287.68132

Gastin, Paul (ed.) et al., CONCUR 2010 – concurrency theory. 21st international conference, CONCUR 2010, Paris, France, August 31 – September 3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15374-7/pbk). Lecture Notes in Computer Science 6269, 21-39 (2010).
MSC:  68Q85 68Q45 68Q87
PDFBibTeX XMLCite
Full Text: DOI

On the minimisation of acyclic models. (English) Zbl 1160.68462

van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 295-309 (2008).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Deciding simulations on probabilistic automata. (English) Zbl 1141.68443

Namjoshi, Kedar S. (ed.) et al., Automated technology for verification and analysis. 5th international symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75595-1/pbk). Lecture Notes in Computer Science 4762, 207-222 (2007).
MSC:  68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Flow faster: Efficient decision algorithms for probabilistic simulations. (English) Zbl 1186.68326

Grumberg, Orna (ed.) et al., Tools and algorithms for the construction and analysis of systems. 13th international conference, TACAS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71208-4/pbk). Lecture Notes in Computer Science 4424, 155-169 (2007).
MSC:  68Q87
PDFBibTeX XMLCite
Full Text: DOI

Logic and model checking for hidden Markov models. (English) Zbl 1169.68524

Wang, Farn (ed.), Formal techniques for networked and distributed systems – FORTE 2005. 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2–5, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29189-X/pbk). Lecture Notes in Computer Science 3731, 98-112 (2005).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software