Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Schmalz, Matthias"'
Autor:
Schmalz, Matthias
Publikováno v:
Technical Report / ETH Zurich, Department of Computer Science, 697
Technical Report / ETH Zurich, Department of Computer Science, 697
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::700d03fbcec4fe459e8e345e6c4e1e76
Autor:
Schmalz, Matthias
Publikováno v:
Technical report, 732
We devise a theoretical foundation of directed rewriting, a term rewriting strategy for logics of partial functions, inspired by term rewriting in the Rodin platform. We prove that directed rewriting is sound and show how to supply new rewrite rules
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9764a2fbfc3cf088e956702f850f51e1
https://hdl.handle.net/20.500.11850/69779
https://hdl.handle.net/20.500.11850/69779
Autor:
Schmalz, Matthias
Publikováno v:
Technical Report / ETH Zurich, Department of Computer Science, 698
Technical Report / ETH Zurich, Department of Computer Science, 698
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7edbe4846590b62dd51d554a5c3b9852
https://hdl.handle.net/20.500.11850/69354
https://hdl.handle.net/20.500.11850/69354
Publikováno v:
CONCUR 2009
FOSSACS
FOSSACS, Sep 2010, Bologna, Italy. pp.587-602
FOSSACS
FOSSACS, Sep 2010, Bologna, Italy. pp.587-602
International audience; We propose a way of presenting and computing a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present a counterexample as a pair (x,c), where
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::763494d9fcd7ba0fc3f143114b090ede
https://hal.archives-ouvertes.fr/hal-00496912
https://hal.archives-ouvertes.fr/hal-00496912
Publikováno v:
Technical Report / ETH Zurich, Department of Computer Science, 627
Technical Report / ETH Zurich, Department of Computer Science, 627
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::adb9df79ca0332422d781285996d2507
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Arvind, V., Prasad, Sanjiva, Schmalz, Matthias, Völzer, Hagen, Varacca, Daniele
Publikováno v:
FSTTCS 2007: Foundations of Software Technology & Theoretical Computer Science; 2007, p532-543, 12p
Autor:
Schmalz, Matthias matthias.schmalz@bbrail.com
Publikováno v:
ZEVrail: Zeitschrift für das gesamte System Bahn. okt2013, Vol. 137 Issue 10, p390-395. 6p.