Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams

2010 31st IEEE Real-Time Systems Symposium ◽

10.1109/rtss.2010.36 ◽

2010 ◽

Cited By ~ 8

Author(s):

Rudiger Ehlers ◽

Daniel Fass ◽

Michael Gerke ◽

Hans-Jorg Peter

Keyword(s):

Model Checking ◽

Constraint Matrix ◽

Matrix Diagrams ◽

Timed Model Checking

Download Full-text

Distributing Timed Model Checking — How the Search Order Matters

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/10722167_19 ◽

2000 ◽

pp. 216-231 ◽

Cited By ~ 41

Author(s):

Gerd Behrmann ◽

Thomas Hune ◽

Frits Vaandrager

Keyword(s):

Model Checking ◽

Search Order ◽

Timed Model Checking

Download Full-text

Issues in distributed timed model checking

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-004-0143-z ◽

2004 ◽

Vol 7 (1) ◽

pp. 4-18 ◽

Cited By ~ 6

Author(s):

Víctor Braberman ◽

Alfredo Olivero ◽

Fernando Schapachnik

Keyword(s):

Model Checking ◽

Timed Model Checking

Download Full-text

Probabilistic Timed Model Checking for Atomic Web Service

2011 IEEE World Congress on Services ◽

10.1109/services.2011.42 ◽

2011 ◽

Author(s):

Honghao Gao ◽

Huaikou Miao ◽

Shengbo Chen ◽

Jia Mei

Keyword(s):

Model Checking ◽

Web Service ◽

Timed Model Checking

Download Full-text

Timed model checking with abstractions

Proceedings of the tenth ACM international conference on Embedded software - EMSOFT '12 ◽

10.1145/2380356.2380372 ◽

2012 ◽

Cited By ~ 17

Author(s):

Georgia Giannopoulou ◽

Kai Lampka ◽

Nikolay Stoimenov ◽

Lothar Thiele

Keyword(s):

Model Checking ◽

Timed Model Checking

Download Full-text

Using Timed Model Checking for Verifying Workflows

Proceedings of the 4th International Workshop on Wireless Information Systems ◽

10.5220/0002559500750088 ◽

2005 ◽

Keyword(s):

Model Checking ◽

Timed Model Checking

Download Full-text

Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution

Networked Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-67087-0_7 ◽

2021 ◽

pp. 94-111

Author(s):

Boutheina Bannour ◽

Arnault Lapitre ◽

Pascale Le Gall

Keyword(s):

Model Checking ◽

Symbolic Execution ◽

Timed Model Checking

Download Full-text

Timed Model Checking Service-Oriented Product Lines

International Journal of u- and e- Service Science and Technology ◽

10.14257/ijunesst.2016.9.7.34 ◽

2016 ◽

Vol 9 (7) ◽

pp. 335-348

Author(s):

Hongxia Zhang ◽

Fei Wang

Keyword(s):

Model Checking ◽

Product Lines ◽

Service Oriented ◽

Timed Model Checking

Download Full-text

Timed Model Checking Based Approach for Web Services Analysis

2009 IEEE International Conference on Web Services ◽

10.1109/icws.2009.42 ◽

2009 ◽

Cited By ~ 36

Author(s):

Nawal Guermouche ◽

Claude Godart

Keyword(s):

Model Checking ◽

Web Services ◽

Timed Model Checking

Download Full-text

Dealing with practical limitations of distributed timed model checking for timed automata

Formal Methods in System Design ◽

10.1007/s10703-006-0012-3 ◽

2006 ◽

Vol 29 (2) ◽

pp. 197-214 ◽

Cited By ~ 2

Author(s):

V. Braberman ◽

A. Olivero ◽

F. Schapachnik

Keyword(s):

Model Checking ◽

Timed Automata ◽

Timed Model Checking

Download Full-text

Timed model checking of fault-tolerant nuclear I&C systems

2020 IEEE 18th International Conference on Industrial Informatics (INDIN) ◽

10.1109/indin45582.2020.9442188 ◽

2020 ◽

Author(s):

Igor Buzhinsky ◽

Antti Pakonen

Keyword(s):

Model Checking ◽

Fault Tolerant ◽

Timed Model Checking

Download Full-text