ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Bounded Model Checking of an MITL Fragment for Timed Automata
2013 13th International Conference on Application of Concurrency to System Design
◽
10.1109/acsd.2013.25
◽
2013
◽
Cited By ~ 4
Author(s):
Roland Kindermann
◽
Tommi Junttila
◽
Ilkka Niemela
Keyword(s):
Model Checking
◽
Timed Automata
◽
Bounded Model Checking
Download Full-text
Related Documents
Cited By
References
Bounded Model Checking for Parametric Timed Automata
Lecture Notes in Computer Science - Transactions on Petri Nets and Other Models of Concurrency V
◽
10.1007/978-3-642-29072-5_6
◽
2012
◽
pp. 141-159
◽
Cited By ~ 14
Author(s):
Michał Knapik
◽
Wojciech Penczek
Keyword(s):
Model Checking
◽
Timed Automata
◽
Bounded Model Checking
Download Full-text
Bounded Model Checking of Incomplete Networks of Timed Automata
2010 11th International Workshop on Microprocessor Test and Verification
◽
10.1109/mtv.2010.19
◽
2010
◽
Cited By ~ 5
Author(s):
Christian Miller
◽
Karina Gitina
◽
Christoph Scholl
◽
Bernd Becker
Keyword(s):
Model Checking
◽
Timed Automata
◽
Bounded Model Checking
Download Full-text
Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata
Formal Techniques for Distributed Systems - Lecture Notes in Computer Science
◽
10.1007/978-3-642-30793-5_6
◽
2012
◽
pp. 84-100
◽
Cited By ~ 10
Author(s):
Roland Kindermann
◽
Tommi Junttila
◽
Ilkka Niemelä
Keyword(s):
Model Checking
◽
Timed Automata
◽
Bounded Model Checking
Download Full-text
Efficient encoding for bounded model checking of timed automata
IEEJ Transactions on Electrical and Electronic Engineering
◽
10.1002/tee.22457
◽
2017
◽
Vol 12
(5)
◽
pp. 710-720
◽
Cited By ~ 2
Author(s):
Zuxi Chen
◽
Zhongwei Xu
◽
Junwei Du
◽
Meng Mei
◽
Jing Guo
Keyword(s):
Model Checking
◽
Timed Automata
◽
Bounded Model Checking
Download Full-text
Checking ACTL * Properties of Discrete Timed Automata via Bounded Model Checking
Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems
◽
10.1007/978-3-540-40903-8_3
◽
2004
◽
pp. 18-33
◽
Cited By ~ 2
Author(s):
Bożena Woźna
◽
Andrzej Zbrzezny
Keyword(s):
Model Checking
◽
Timed Automata
◽
Bounded Model Checking
Download Full-text
Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE)
◽
10.1109/tase.2019.00-14
◽
2019
◽
Author(s):
Zuxi Chen
◽
Huixing Fang
◽
Xiangyu Luo
Keyword(s):
Model Checking
◽
Timed Automata
◽
Bounded Model Checking
Download Full-text
SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata
Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
◽
10.1007/978-3-642-12002-2_34
◽
2010
◽
pp. 405-419
◽
Cited By ~ 7
Author(s):
Janusz Malinowski
◽
Peter Niebert
Keyword(s):
Model Checking
◽
Partial Order
◽
Timed Automata
◽
Bounded Model Checking
◽
Partial Order Semantics
Download Full-text
Improved Bounded Model Checking of Timed Automata
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE)
◽
10.1109/formalise52586.2021.00016
◽
2021
◽
Author(s):
Robert L. Smith
◽
Marcello M. Bersani
◽
Matteo Rossi
◽
Pierluigi San Pietro
Keyword(s):
Model Checking
◽
Timed Automata
◽
Bounded Model Checking
Download Full-text
Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking
Fundamenta Informaticae
◽
10.3233/fi-2014-1140
◽
2014
◽
Vol 135
(4)
◽
pp. 553-568
Author(s):
Bożena Woźna-Szcześniak
◽
Andrzej Zbrzezny
Keyword(s):
Model Checking
◽
Timed Automata
◽
Bounded Model Checking
Download Full-text
Bounded Model Checking for Probabilistic Computation Tree Logic
Journal of Software
◽
10.3724/sp.j.1001.2012.04089
◽
2012
◽
Vol 23
(7)
◽
pp. 1656-1668
◽
Cited By ~ 6
Author(s):
Cong-Hua ZHOU
◽
Zhi-Feng LIU
◽
Chang-Da WANG
Keyword(s):
Model Checking
◽
Bounded Model Checking
◽
Probabilistic Computation
◽
Computation Tree Logic
◽
Computation Tree
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close