Distributed reachability analysis for protocol verification environments

Discrete Event Systems: Models and Applications - Lecture Notes in Control and Information Sciences ◽

10.1007/bfb0042303 ◽

1988 ◽

pp. 40-56 ◽

Cited By ~ 4

Author(s):

Sudhir Aggarwal ◽

Rafael Alonso ◽

Costas Courcoubetis

Keyword(s):

Reachability Analysis ◽

Protocol Verification

Download Full-text

Protocol verification using reachability analysis: the state space explosion problem and relief strategies

ACM SIGCOMM Computer Communication Review ◽

10.1145/55483.55496 ◽

1987 ◽

Vol 17 (5) ◽

pp. 126-135 ◽

Cited By ~ 72

Author(s):

F. J. Lin ◽

P. M. Chu ◽

M. T. Liu

Keyword(s):

State Space ◽

The State ◽

Reachability Analysis ◽

Protocol Verification ◽

State Space Explosion

Download Full-text

Protocol verification using reachability analysis: the state space explosion problem and relief strategies

Proceedings of the ACM workshop on Frontiers in computer communications technology - SIGCOMM '87 ◽

10.1145/55482.55496 ◽

1988 ◽

Cited By ~ 2

Author(s):

F. J. Lin ◽

P. M. Chu ◽

M. T. Liu

Keyword(s):

State Space ◽

The State ◽

Reachability Analysis ◽

Protocol Verification ◽

State Space Explosion

Download Full-text

Trajectory Planning Under Stochastic and Bounded Sensing Uncertainties Using Reachability Analysis

Proceedings of the 33rd International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+ 2020) ◽

10.33012/2020.17518 ◽

2020 ◽

Author(s):

Akshay Shetty ◽

Grace Xingxin Gao

Keyword(s):

Trajectory Planning ◽

Reachability Analysis

Download Full-text

Reachability analysis of hybrid control systems using reduced-order models

Proceedings of the 2004 American Control Conference ◽

10.23919/acc.2004.1386733 ◽

2004 ◽

Cited By ~ 5

Author(s):

Zhi Han ◽

B. Krogh

Keyword(s):

Control Systems ◽

Hybrid Control ◽

Reachability Analysis ◽

Reduced Order Models ◽

Reduced Order ◽

Hybrid Control Systems

Download Full-text

Symbolic Reachability Analysis of Hybrid Systems

Journal of Software ◽

10.3724/sp.j.1001.2008.03111 ◽

2009 ◽

Vol 19 (12) ◽

pp. 3111-3121 ◽

Cited By ~ 4

Author(s):

Hai-Bin ZHANG ◽

Zhen-Hua DUAN

Keyword(s):

Hybrid Systems ◽

Reachability Analysis

Download Full-text

Reachability analysis of nonlinear hybrid systems based on polyhedron inclusion

Journal of Computer Applications ◽

10.3724/sp.j.1087.2013.01289 ◽

2013 ◽

Vol 33 (5) ◽

pp. 1289-1293

Author(s):

Jin ZOU ◽

Wang LIN ◽

Yong LUO ◽

Zhenbing ZENG

Keyword(s):

Hybrid Systems ◽

Reachability Analysis ◽

Nonlinear Hybrid

Download Full-text

Reachability analysis for hybrid systems with nonlinear guard sets

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ◽

10.1145/3365365.3382194 ◽

2020 ◽

Author(s):

Niklas Kochdumper ◽

Matthias Althoff

Keyword(s):

Hybrid Systems ◽

Reachability Analysis

Download Full-text

A tool-suite for reachability analysis of concurrent object-oriented programs

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference ◽

10.1109/apsec.1997.640173 ◽

2002 ◽

Cited By ~ 1

Author(s):

S. Iyer ◽

S. Ramesh

Keyword(s):

Object Oriented ◽

Reachability Analysis

Download Full-text

Trace Compaction using SAT-based Reachability Analysis

2007 Asia and South Pacific Design Automation Conference ◽

10.1109/aspdac.2007.358109 ◽

2007 ◽

Cited By ~ 7

Author(s):

Sean Safarpour ◽

Andreas Veneris ◽

Hratch Mangassarian

Keyword(s):

Reachability Analysis

Download Full-text

H-DBUG: A High-level Debugging Framework for Protocol Verification using Assertions

2005 Annual IEEE India Conference - Indicon ◽

10.1109/indcon.2005.1590136 ◽

2006 ◽

Author(s):

A. Nandi ◽

B. Pal ◽

N. Chhetan ◽

P. Dasgupta ◽

P.P. Chakrabarti

Keyword(s):

Protocol Verification ◽

High Level

Download Full-text