No. Title Author Year
1 On the Metric-Based Approximate Minimization of Markov Chains Bacci, Giovanni et al. 2017
2 WNetKAT: A Weighted SDN Programming and Verification Language Larsen, Kim G. et al. 2017
3 Probabilistic Mu-Calculus: Decidability and Complete Axiomatization Larsen, Kim G. et al. 2016
4 Synchronizing Words for Weighted and Timed Automata Doyen, Laurent et al. 2014
5 Adaptable Value-Set Analysis for Low-Level Code Brauer, Jörg et al. 2012
6 Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas Cardelli, Luca et al. 2011
7 A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic Larsen, Kim G. et al. 2009
8 Priced Timed Automata: Theory and Tools Larsen, Kim G. 2009
9 Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work Larsen, Kim G. et al. 2005
Current Page :
Number of result pages: 1
Number of documents: 9


DROPS-Home | Fulltext Search | Imprint Published by LZI