Login / Signup
QFM
2009
2010
2011
2012
2009
2012
Keyphrases
Publications
2012
Hua Mao
,
Yingke Chen
,
Manfred Jaeger
,
Thomas D. Nielsen
,
Kim G. Larsen
,
Brian Nielsen
Learning Markov Decision Processes for Model Checking
QFM
(2012)
Kim G. Larsen
,
Radu Mardare
,
Claus R. Thrane
Parameterized Metatheory for Continuous Markovian Logic
QFM
(2012)
Parosh Aziz Abdulla
,
Mohamed Faouzi Atig
,
Jari Stenman
Adding Time to Pushdown Automata
QFM
(2012)
Johannes Hölzl
,
Tobias Nipkow
Interactive verification of Markov chains: Two distributed protocol case studies
QFM
(2012)
volume 103, 2012
Proceedings Quantities in Formal Methods, QFM 2012, Paris, France, 28 August 2012.
QFM
103 (2012)
2009
Nikola Trcka
Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach
QFM
(2009)
Ukachukwu Ndukwu
Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems
QFM
(2009)
Mathijs Schuts
,
Feng Zhu
,
Faranak Heidarian
,
Frits W. Vaandrager
Modelling Clock Synchronization in the Chess gMAC WSN Protocol
QFM
(2009)
Hao Wang
,
Wendy MacCaull
Verifying Real-Time Systems using Explicit-time Description Methods
QFM
(2009)
Marco Bernardo
Markovian Testing Equivalence and Exponentially Timed Internal Actions
QFM
(2009)
Israa AlAttili
,
Fred Houben
,
Georgeta Igna
,
Steffen Michels
,
Feng Zhu
,
Frits W. Vaandrager
Adaptive Scheduling of Data Paths using Uppaal Tiga
QFM
(2009)
volume 13, 2009
Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, QFM 2009, Eindhoven, The Netherlands, 3rd November 2009.
QFM
13 (2009)