Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "QFM"( http://dblp.L3S.de/Venues/QFM )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2009 (7) 2012 (5)
Publication types (Num. hits)
inproceedings(10) proceedings(2)
Venues (Conferences, Journals, ...)
QFM(12)
Authors
Claus R. Thrane(2) Feng Zhu 0002(2) Frits W. Vaandrager(2) Kim G. Larsen(2) Annabelle McIver(1) Axel Legay(1) Brian Nielsen(1) Carroll Morgan(1) Faranak Heidarian(1) Fred Houben(1) Georgeta Igna(1) Hao Wang 0003(1) Hua Mao(1) Israa AlAttili(1) Jari Stenman(1) Jasen Markovski(1) More (+10 of total 35)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen Learning Markov Decision Processes for Model Checking Search on Bibsonomy QFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Radu Mardare, Claus R. Thrane Parameterized Metatheory for Continuous Markovian Logic Search on Bibsonomy QFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Uli Fahrenberg, Axel Legay, Claus R. Thrane (eds.) Proceedings Quantities in Formal Methods, QFM 2012, Paris, France, 28 August 2012. Search on Bibsonomy QFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman Adding Time to Pushdown Automata Search on Bibsonomy QFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Johannes Hölzl, Tobias Nipkow Interactive verification of Markov chains: Two distributed protocol case studies Search on Bibsonomy QFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nikola Trcka Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach Search on Bibsonomy QFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ukachukwu Ndukwu Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems Search on Bibsonomy QFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mathijs Schuts, Feng Zhu 0002, Faranak Heidarian, Frits W. Vaandrager Modelling Clock Synchronization in the Chess gMAC WSN Protocol Search on Bibsonomy QFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hao Wang 0003, Wendy MacCaull Verifying Real-Time Systems using Explicit-time Description Methods Search on Bibsonomy QFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Bernardo 0001 Markovian Testing Equivalence and Exponentially Timed Internal Actions Search on Bibsonomy QFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez 0001 (eds.) Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, QFM 2009, Eindhoven, The Netherlands, 3rd November 2009. Search on Bibsonomy QFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu 0002, Frits W. Vaandrager Adaptive Scheduling of Data Paths using Uppaal Tiga Search on Bibsonomy QFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license