|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
|
|
Results
Found 48 publication records. Showing 48 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Lei Song, Lijun Zhang, Jens Chr. Godskesen |
The Branching Time Spectrum for Continuous-time MDPs  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Lei Song, Lijun Zhang, Jens Chr. Godskesen |
Late Weak Bisimulation for Markov Automata |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | David N. Jansen, Flemming Nielson, Lijun Zhang |
Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision Algorithm. |
NASA Formal Methods |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Sack, Lijun Zhang |
A General Framework for Probabilistic Characterizing Formulae. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang |
Probabilistic Logical Characterization. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Spieler, Ernst Moritz Hahn, Lijun Zhang |
Model Checking CSL for Markov Population Models |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Lei Song, Lijun Zhang, Jens Chr. Godskesen |
Bisimulations Meet PCTL Equivalences for Probabilistic Automata |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang |
On Stabilization in Herman's Algorithm |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns |
Automata-Based CSL Model Checking |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang |
Probabilistic reachability for parametric Markov models. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Lijun Zhang |
From Concurrency Models to Numbers - Performance and Dependability. |
Software and Systems Safety - Specification and Verification |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Song, Lijun Zhang, Jens Chr. Godskesen |
Bisimulations Meet PCTL Equivalences for Probabilistic Automata. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang |
On Stabilization in Herman's Algorithm. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns |
Automata-Based CSL Model Checking. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Chen, Lijun Zhang, Sansi Li, Wende Ke |
Research on Association Rules Parallel Algorithm Based on FP-Growth. |
ICICA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang |
Model Checking Algorithms for CTMDPs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang |
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
probabilistic hybrid systems, probabilistic reachability, long-run average, abstraction refinement, stochastic games, controller synthesis |
| 1 | Ernst Moritz Hahn, Tingting Han, Lijun Zhang |
Synthesis for PCTL in Parametric Markov Decision Processes. |
NASA Formal Methods |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang |
Measurability and safety verification for stochastic hybrid systems. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Fearnley, Markus Rabe 0002, Sven Schewe, Lijun Zhang |
Efficient Approximation of Optimal Control for Continuous-Time Markov Games. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Rabe 0002, Sven Schewe, Lijun Zhang |
Efficient Approximation of Optimal Control for Markov Games |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Christian Eisentraut, Holger Hermanns, Lijun Zhang |
Concurrency and Composition in a Stochastic World. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang |
PASS: Abstraction Refinement for Infinite Probabilistic Models. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Zhang, Martin R. Neuhäußer |
Model Checking Interactive Markov Chains. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang |
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chungyeol P. Lee, Arya Behzad, Bojko Marholev, Vikram Magoon, Iqbal Bhatti, Dandan Li, Subhas Bothra, Ali Afsahi, Dayo Ojo, Rozi Roufoogaran, Tom Li, Yuyu Chang, Kishore Rama Rao, Stephen Au, Prasad Seetharam, Keith Carter, Jacob Rael, Malcolm Macintosh, Bobby Lee, Maryam Rofougaran, Reza Rofougaran, Amir Hadji-Abdolhamid, Mohammad Nariman, Shahla Khorram, Seema Anand, Ed Chien, Steve Wu, Carol Barrett, Lijun Zhang, Alireza Zolfaghari, Hooman Darabi, Ali Sarfaraz, Brima Ibrahim, Mark Gonikberg, Marcellus Forbes, Colin Fraser, Luis Gutierrez, Yury Gonikberg, Madjid Hafizi, Siukai Mak, Jesse Castaneda, Kimmer Kim, Zhenhua Liu, Stamatis Bouras, Kevin Chien, Vinay Chandrasekhar, Paul Chang, Edwin Li, Zhimin Zhao |
A multistandard, multiband SoC with integrated BT, FM, WLAN radios and integrated power amplifier. |
ISSCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn |
Safety Verification for Probabilistic Hybrid Systems. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang |
PARAM: A Model Checker for Parametric Markov Models. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin R. Neuhäußer, Lijun Zhang |
Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Eisentraut, Holger Hermanns, Lijun Zhang |
On Probabilistic Automata in Continuous Time. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
weak bisimulation semantics, Markov processes, process algebra, nondeterminism, discrete time, continuous time |
| 1 | Björn Wachter, Lijun Zhang |
Best Probabilistic Transformers. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang |
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang |
Probabilistic Reachability for Parametric Markov Models. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang |
INFAMY: An Infinite-State Markov Model Checker. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Bogdoll, Holger Hermanns, Lijun Zhang |
FlowSim Simulation Benchmarking Platform. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
probabilistic simulation, Markov chain, decision algorithm |
| 1 | Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen |
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen |
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Lijun Zhang |
A Space-Efficient Probabilistic Simulation Algorithm. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pepijn Crouzen, Holger Hermanns, Lijun Zhang |
On the Minimisation of Acyclic Models. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Bogdoll, Holger Hermanns, Lijun Zhang |
An Experimental Evaluation of Probabilistic Simulation. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter |
Time-bounded model checking of infinite-state continuous-time Markov chains. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Björn Wachter, Lijun Zhang |
Probabilistic CEGAR. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen |
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, Lijun Zhang |
07101 Working Group Report -- Performance Measures Other Than Time. |
Quantitative Aspects of Embedded Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lijun Zhang, Holger Hermanns |
Deciding Simulations on Probabilistic Automata. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Wachter, Lijun Zhang, Holger Hermanns |
Probabilistic Model Checking Modulo Theories. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Zhang, Holger Hermanns, David N. Jansen |
Logic and Model Checking for Hidden Markov Models. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Irene Eusgeld, Bernhard Fechner, Felix Salfner, Max Walter, Philipp Limbourg, Lijun Zhang |
Hardware Reliability. |
Dependability Metrics |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #48 of 48 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")