ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
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
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
Zenoness detection and timed model checking for real time systems
10.14236/ewic/vecos2007.12
◽
2007
◽
Author(s):
Rachid Hadjidj
◽
Hanifa Boucheneb
◽
Drifa Hadjidj
Keyword(s):
Model Checking
◽
Real Time
◽
Real Time Systems
◽
Time Systems
◽
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close