No. Title Author Year
1 Online Bin Packing with Advice Boyar, Joan et al. 2014
2 Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041) Droste, Manfred et al. 2014
3 Adaptable Value-Set Analysis for Low-Level Code Brauer, Jörg et al. 2012
4 Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas Cardelli, Luca et al. 2011
5 10031 Abstracts Collection -- Quantitative Models: Expressiveness and Analysis Baier, Christel et al. 2010
6 10031 Executive Summary -- Quantitative Models: Expressiveness and Analysis Baier, Christel et al. 2010
7 METAMOC: Modular Execution Time Analysis using Model Checking Dalsgaard, Andreas E. et al. 2010
8 A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic Larsen, Kim G. et al. 2009
9 Priced Timed Automata: Theory and Tools Larsen, Kim G. 2009
10 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: 10


DROPS-Home | Fulltext Search | Imprint Published by LZI