ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Enhancing random walk state space exploration
Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05
◽
10.1145/1081180.1081193
◽
2005
◽
Cited By ~ 15
Author(s):
Radek Pelánek
◽
Tomáš Hanžl
◽
Ivana Černá
◽
Luboš Brim
Keyword(s):
Random Walk
◽
State Space
◽
Space Exploration
◽
State Space Exploration
Download Full-text
Related Documents
Cited By
References
Efficient timing analysis algorithms for timed state space exploration
Proceedings Third International Symposium on Advanced Research in Asynchronous Circuits and Systems
◽
10.1109/async.1997.587166
◽
2002
◽
Cited By ~ 8
Author(s):
W. Belluomini
◽
C.J. Myers
Keyword(s):
State Space
◽
Space Exploration
◽
Timing Analysis
◽
State Space Exploration
Download Full-text
State space exploration in Markov models
Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems - SIGMETRICS '92/PERFORMANCE '92
◽
10.1145/133057.133100
◽
1992
◽
Cited By ~ 1
Author(s):
Edmundo de Souza e Silva
◽
Pedro Mejiá Ochoa
Keyword(s):
State Space
◽
Markov Models
◽
Space Exploration
◽
State Space Exploration
Download Full-text
Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs
IEEE Transactions on Software Engineering
◽
10.1109/tse.2008.37
◽
2008
◽
Vol 34
(5)
◽
pp. 597-613
◽
Cited By ~ 10
Author(s):
M. d'Amorim
◽
S. Lauterburg
◽
D. Marinov
Keyword(s):
State Space
◽
Space Exploration
◽
Object Oriented
◽
State Space Exploration
Download Full-text
Multi-threaded Explicit State Space Exploration with State Reconstruction
Automated Technology for Verification and Analysis - Lecture Notes in Computer Science
◽
10.1007/978-3-319-02444-8_16
◽
2013
◽
pp. 208-223
◽
Cited By ~ 6
Author(s):
Sami Evangelista
◽
Lars Michael Kristensen
◽
Laure Petrucci
Keyword(s):
State Space
◽
Space Exploration
◽
State Reconstruction
◽
State Space Exploration
Download Full-text
Performance improvement of state space exploration by regular & differential hashing functions
Computer Aided Verification - Lecture Notes in Computer Science
◽
10.1007/3-540-58179-0_68
◽
1994
◽
pp. 364-376
◽
Cited By ~ 2
Author(s):
Bernard Cousin
◽
Jean-michel Hélary
Keyword(s):
State Space
◽
Performance Improvement
◽
Space Exploration
◽
State Space Exploration
Download Full-text
Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems
FME 2003: Formal Methods - Lecture Notes in Computer Science
◽
10.1007/978-3-540-45236-2_26
◽
2003
◽
pp. 462-481
◽
Cited By ~ 1
Author(s):
Marc Lettrari
Keyword(s):
State Space
◽
Space Exploration
◽
Object Oriented
◽
Object Oriented Systems
◽
State Space Exploration
Download Full-text
A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future
Applications and Theory of Petri Nets - Lecture Notes in Computer Science
◽
10.1007/978-3-642-13675-7_4
◽
2010
◽
pp. 39-42
◽
Cited By ~ 2
Author(s):
Lars M. Kristensen
Keyword(s):
Petri Nets
◽
State Space
◽
Space Exploration
◽
Coloured Petri Nets
◽
State Space Exploration
Download Full-text
State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method
Automated Technology for Verification and Analysis - Lecture Notes in Computer Science
◽
10.1007/11562948_16
◽
2005
◽
pp. 187-201
◽
Cited By ~ 1
Author(s):
Charles A. Lakos
◽
Lars M. Kristensen
Keyword(s):
State Space
◽
Space Exploration
◽
Object Based
◽
State Space Exploration
Download Full-text
Parallel state space exploration of linear systems with inputs using XSpeed
Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15
◽
10.1145/2728606.2728644
◽
2015
◽
Cited By ~ 1
Author(s):
Rajarshi Ray
◽
Amit Gurung
Keyword(s):
State Space
◽
Linear Systems
◽
Space Exploration
◽
State Space Exploration
Download Full-text
A time stamp reduction method for state space exploration using colored Petri nets
SIMULATION
◽
10.1177/0037549711410768
◽
2011
◽
Vol 88
(5)
◽
pp. 592-616
◽
Cited By ~ 13
Author(s):
Mercedes E. Narciso
◽
Miquel A. Piera
◽
Antoni Guasch
Keyword(s):
Petri Nets
◽
State Space
◽
Reduction Method
◽
Space Exploration
◽
Colored Petri Nets
◽
Time Stamp
◽
State Space Exploration
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close