|
|
Venues (Conferences, Journals, ...)
|
|
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 |
1 | Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen |
Learning Markov Decision Processes for Model Checking |
QFM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kim G. Larsen, Radu Mardare, Claus R. Thrane |
Parameterized Metatheory for Continuous Markovian Logic |
QFM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Axel Legay, Claus R. Thrane (eds.) |
Proceedings Quantities in Formal Methods, QFM 2012, Paris, France, 28 August 2012. |
QFM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman |
Adding Time to Pushdown Automata |
QFM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Hölzl, Tobias Nipkow |
Interactive verification of Markov chains: Two distributed protocol case studies |
QFM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Trcka |
Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach |
QFM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ukachukwu Ndukwu |
Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems |
QFM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mathijs Schuts, Feng Zhu 0002, Faranak Heidarian, Frits W. Vaandrager |
Modelling Clock Synchronization in the Chess gMAC WSN Protocol |
QFM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hao Wang 0003, Wendy MacCaull |
Verifying Real-Time Systems using Explicit-time Description Methods |
QFM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001 |
Markovian Testing Equivalence and Exponentially Timed Internal Actions |
QFM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Suzana 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. |
QFM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu 0002, Frits W. Vaandrager |
Adaptive Scheduling of Data Paths using Uppaal Tiga |
QFM |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|