Counterexample generation and representation in model checking for probabilistic timed automata

2011 6th International Conference on Computer Science & Education (ICCSE) ◽

10.1109/iccse.2011.6028834 ◽

2011 ◽

Author(s):

Jianfeng Wu ◽

Jing Wang ◽

Mei Rong ◽

Guangquan Zhang ◽

Jihan Zhu

Keyword(s):

Model Checking ◽

Timed Automata ◽

Probabilistic Timed Automata

Download Full-text

Counterexample Generation for Probabilistic Timed Automata Model Checking

2008 International Conference on Computer Science and Software Engineering ◽

10.1109/csse.2008.371 ◽

2008 ◽

Author(s):

Junhua Zhang ◽

Zhiqiu Huang ◽

Zining Cao ◽

Fangxiong Xiao

Keyword(s):

Model Checking ◽

Timed Automata ◽

Probabilistic Timed Automata

Download Full-text

An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata

2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2016.022 ◽

2016 ◽

Author(s):

Wei Ji ◽

Farn Wang ◽

Peng Wu ◽

Yi Lv

Keyword(s):

Model Checking ◽

Timed Automata ◽

Decision Diagrams ◽

Probabilistic Timed Automata

Download Full-text

Model Checking Probabilistic Timed Automata with One or Two Clocks

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71209-1_15 ◽

2007 ◽

pp. 170-184 ◽

Author(s):

Marcin Jurdziński ◽

François Laroussinie ◽

Jeremy Sproston

Keyword(s):

Model Checking ◽

Timed Automata ◽

Probabilistic Timed Automata

Download Full-text

Fortuna: Model Checking Priced Probabilistic Timed Automata

2010 Seventh International Conference on the Quantitative Evaluation of Systems ◽

10.1109/qest.2010.41 ◽

2010 ◽

Author(s):

Jasper Berendsen ◽

David N. Jansen ◽

Frits Vaandrager

Keyword(s):

Model Checking ◽

Timed Automata ◽

Probabilistic Timed Automata

Download Full-text

Model Checking Probabilistic Timed Automata with One or Two Clocks

Logical Methods in Computer Science ◽

10.2168/lmcs-4(3:12)2008 ◽

2008 ◽

Vol 4 (3) ◽

Author(s):

Marcin Jurdzinski ◽

Jeremy Sproston ◽

Francois Laroussinie

Keyword(s):

Model Checking ◽

Timed Automata ◽

Probabilistic Timed Automata

Download Full-text

Symbolic model checking for probabilistic timed automata

Information and Computation ◽

10.1016/j.ic.2007.01.004 ◽

2007 ◽

Vol 205 (7) ◽

pp. 1027-1077 ◽

Author(s):

Marta Kwiatkowska ◽

Gethin Norman ◽

Jeremy Sproston ◽

Fuzhi Wang

Keyword(s):

Model Checking ◽

Timed Automata ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Probabilistic Timed Automata

Download Full-text

Symbolic Model Checking for Probabilistic Timed Automata

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30206-3_21 ◽

2004 ◽

pp. 293-308 ◽

Author(s):

Marta Kwiatkowska ◽

Gethin Norman ◽

Jeremy Sproston ◽

Fuzhi Wang

Keyword(s):

Model Checking ◽

Timed Automata ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Probabilistic Timed Automata

Download Full-text

Model Checking Interval Probabilistic Timed Automata

2009 First International Conference on Information Science and Engineering ◽

10.1109/icise.2009.749 ◽

2009 ◽

Author(s):

Junhua Zhang ◽

Jun Zhao ◽

Zhiqiu Huang ◽

Zining Cao

Keyword(s):

Model Checking ◽

Timed Automata ◽

Probabilistic Timed Automata

Download Full-text

Model checking for probabilistic timed automata

Formal Methods in System Design ◽

10.1007/s10703-012-0177-x ◽

2012 ◽

Vol 43 (2) ◽

pp. 164-190 ◽

Author(s):

Gethin Norman ◽

David Parker ◽

Jeremy Sproston

Keyword(s):

Model Checking ◽

Timed Automata ◽

Probabilistic Timed Automata

Download Full-text

Robust Model Checking of Timed Automata under Clock Drifts

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control - HSCC '17 ◽

10.1145/3049797.3049821 ◽

2017 ◽

Author(s):

Nima Roohi ◽

Pavithra Prabhakar ◽

Mahesh Viswanathan

Keyword(s):

Model Checking ◽

Timed Automata ◽

Download Full-text