dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Lijun Zhang (Selection)

Technical University of Denmark

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid N. Jansen, Flemming Nielson, Lijun Zhang: Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision Algorithm. NASA Formal Methods 2012: 326-340
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoshua Sack, Lijun Zhang: A General Framework for Probabilistic Characterizing Formulae. VMCAI 2012: 396-411
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLei Song, Lijun Zhang, Jens Chr. Godskesen: Late Weak Bisimulation for Markov Automata CoRR abs/1202.4116: (2012)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLei Song, Lijun Zhang, Jens Chr. Godskesen: The Branching Time Spectrum for Continuous-time MDPs CoRR abs/1204.1848: (2012)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTianbao Yang, Mehrdad Mahdavi, Rong Jin, Lijun Zhang, Yang Zhou: Multiple Kernel Learning from Noisy Labels by Stochastic Programming CoRR abs/1206.4629: (2012)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen: On the Relationship between LTL Normal Forms and Buechi Automata CoRR abs/1207.3866: (2012)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang: Model Checking Algorithms for CTMDPs. CAV 2011: 225-242
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLei Song, Lijun Zhang, Jens Chr. Godskesen: Bisimulations Meet PCTL Equivalences for Probabilistic Automata. CONCUR 2011: 108-123
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Fearnley, Markus Rabe, Sven Schewe, Lijun Zhang: Efficient Approximation of Optimal Control for Continuous-Time Markov Games. FSTTCS 2011: 399-410
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang: Measurability and safety verification for stochastic hybrid systems. HSCC 2011: 43-52
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns: Automata-Based CSL Model Checking. ICALP (2) 2011: 271-282
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang: On Stabilization in Herman's Algorithm. ICALP (2) 2011: 466-477
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKe Chen, Lijun Zhang, Sansi Li, Wende Ke: Research on Association Rules Parallel Algorithm Based on FP-Growth. ICICA (2) 2011: 249-256
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Moritz Hahn, Tingting Han, Lijun Zhang: Synthesis for PCTL in Parametric Markov Decision Processes. NASA Formal Methods 2011: 146-161
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang: Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. QEST 2011: 69-78
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Lijun Zhang: From Concurrency Models to Numbers - Performance and Dependability. Software and Systems Safety - Specification and Verification 2011: 182-210
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang: On Stabilization in Herman's Algorithm CoRR abs/1104.3100: (2011)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLei Song, Lijun Zhang, Jens Chr. Godskesen: Bisimulations Meet PCTL Equivalences for Probabilistic Automata CoRR abs/1106.2181: (2011)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Spieler, Ernst Moritz Hahn, Lijun Zhang: Model Checking CSL for Markov Population Models CoRR abs/1111.4385: (2011)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang: Probabilistic Logical Characterization. Inf. Comput. 209(2): 154-172 (2011)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns: Automata-Based CSL Model Checking Logical Methods in Computer Science 8(2): (2011)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Moritz Hahn, Holger Hermanns, Lijun Zhang: Probabilistic reachability for parametric Markov models. STTT 13(1): 3-19 (2011)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn: Safety Verification for Probabilistic Hybrid Systems. CAV 2010: 196-211
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang: PARAM: A Model Checker for Parametric Markov Models. CAV 2010: 660-664
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Eisentraut, Holger Hermanns, Lijun Zhang: Concurrency and Composition in a Stochastic World. CONCUR 2010: 21-39
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChungyeol 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: 454-455
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Eisentraut, Holger Hermanns, Lijun Zhang: On Probabilistic Automata in Continuous Time. LICS 2010: 342-351
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin R. Neuhäußer, Lijun Zhang: Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes. QEST 2010: 209-218
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang: Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. SPIN 2010: 193-211
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang: PASS: Abstraction Refinement for Infinite Probabilistic Models. TACAS 2010: 353-357
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Martin R. Neuhäußer: Model Checking Interactive Markov Chains. TACAS 2010: 53-68
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBjörn Wachter, Lijun Zhang: Best Probabilistic Transformers. VMCAI 2010: 362-379
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Rabe, Sven Schewe, Lijun Zhang: Efficient Approximation of Optimal Control for Markov Games CoRR abs/1011.0397: (2010)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang: INFAMY: An Infinite-State Markov Model Checker. CAV 2009: 641-647
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Bogdoll, Holger Hermanns, Lijun Zhang: FlowSim Simulation Benchmarking Platform. QEST 2009: 211-212
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Moritz Hahn, Holger Hermanns, Lijun Zhang: Probabilistic Reachability for Parametric Markov Models. SPIN 2009: 88-106
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang: Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains. Fundam. Inform. 95(1): 129-155 (2009)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter: Time-bounded model checking of infinite-state continuous-time Markov chains. ACSD 2008: 98-107
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Björn Wachter, Lijun Zhang: Probabilistic CEGAR. CAV 2008: 162-175
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang: A Space-Efficient Probabilistic Simulation Algorithm. CONCUR 2008: 248-263
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPepijn Crouzen, Holger Hermanns, Lijun Zhang: On the Minimisation of Acyclic Models. CONCUR 2008: 295-309
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Bogdoll, Holger Hermanns, Lijun Zhang: An Experimental Evaluation of Probabilistic Simulation. FORTE 2008: 37-52
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations CoRR abs/0808.3651: (2008)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. Logical Methods in Computer Science 4(4): (2008)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Holger Hermanns: Deciding Simulations on Probabilistic Automata. ATVA 2007: 207-222
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBjörn Wachter, Lijun Zhang, Holger Hermanns: Probabilistic Model Checking Modulo Theories. QEST 2007: 129-140
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucia 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. TACAS 2007: 155-169
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIrene Eusgeld, Bernhard Fechner, Felix Salfner, Max Walter, Philipp Limbourg, Lijun Zhang: Hardware Reliability. Dependability Metrics 2005: 59-103
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Holger Hermanns, David N. Jansen: Logic and Model Checking for Hidden Markov Models. FORTE 2005: 98-112

Selection of 50 from 50 records - Lijun Zhang has 102 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page