Scalable compositional reachability analysis of real-time concurrent systems

Proceedings Real-Time Technology and Applications ◽

10.1109/rttas.1996.509535 ◽

2002 ◽

Author(s):

Farn Wang

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Reachability Analysis

Download Full-text

Semantic Theories and Automated Tools for Real-Time and Probabilistic Concurrent Systems

10.21236/ada329736 ◽

1997 ◽

Author(s):

Scott A. Smolka

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Automated Tools

Download Full-text

Scalable compositional verification of high-level real-time concurrent systems from 10/sup 7/ to 10/sup 85/ states

Proceedings of 3rd International Workshop on Real-Time Computing Systems and Applications RTCSA-96 ◽

10.1109/rtcsa.1996.554967 ◽

2002 ◽

Author(s):

Farn Wang

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Compositional Verification ◽

Download Full-text

Incremental architectural modeling and verification of real-time concurrent systems

Proceedings Second International Conference on Formal Engineering Methods (Cat No 98EX241) ICFEM-98 ◽

10.1109/icfem.1998.730567 ◽

2002 ◽

Author(s):

Yi Deng ◽

Jiacun Wang ◽

R. Sinha

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Architectural Modeling

Download Full-text

A machine learning approach for real-time reachability analysis

2014 IEEE/RSJ International Conference on Intelligent Robots and Systems ◽

10.1109/iros.2014.6942859 ◽

2014 ◽

Author(s):

Ross E. Allen ◽

Ashley A. Clark ◽

Joseph A. Starek ◽

Marco Pavone

Keyword(s):

Machine Learning ◽

Real Time ◽

Reachability Analysis ◽

Learning Approach ◽

Machine Learning Approach

Download Full-text

A real-time specification method for specifying and validating real-time concurrent systems

Proceedings of Phoenix Conference on Computers and Communications ◽

10.1109/pccc.1993.344533 ◽

2002 ◽

Author(s):

K.-Y. Sung ◽

J.E. Urban

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Specification Method

Download Full-text

Real-Time Hamilton-Jacobi Reachability Analysis of Autonomous System With An FPGA

10.1109/iros51168.2021.9636410 ◽

2021 ◽

Author(s):

Minh Bui ◽

Michael Lu ◽

Reza Hojabr ◽

Mo Chen ◽

Arrvindh Shriraman

Keyword(s):

Real Time ◽

Autonomous System ◽

Reachability Analysis

Download Full-text

COVERS 3.0-an object-oriented environment for modeling, simulation and analysis of real-time concurrent systems

Proceedings First International Workshop on Distributed Interactive Simulation and Real Time Applications ◽

10.1109/idsrta.1997.568656 ◽

2002 ◽

Author(s):

A.V. Borshchev ◽

Y.G. Karpov ◽

V.V. Roudakov

Keyword(s):

Real Time ◽

Object Oriented ◽

Concurrent Systems ◽

Modeling Simulation

Download Full-text

Retrospective exploration of safety properties in real-time concurrent systems

16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings ◽

10.1109/dasc.1997.635010 ◽

2002 ◽

Author(s):

N. Prywes ◽

P. Rehmet ◽

O. Sokolsky ◽

I. Lee

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Safety Properties

Download Full-text

Refinement of actions for real-time concurrent systems with causal ambiguity

Acta Informatica ◽

10.1007/s00236-005-0172-4 ◽

2005 ◽

Vol 42 (6-7) ◽

pp. 389-418 ◽

Author(s):

Mila Majster-Cederbaum ◽

Jinzhao Wu ◽

Houguang Yue

Keyword(s):

Real Time ◽

Concurrent Systems ◽

Causal Ambiguity

Download Full-text

Integration of Functional and Timed Testing of Real-Time and Concurrent Systems

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-540-39866-0_45 ◽

2004 ◽

pp. 450-461 ◽

Author(s):

Victor V. Kuliamin ◽

Alexander K. Petrenko ◽

Nick V. Pakoulin ◽

Alexander S. Kossatchev ◽

Igor B. Bourdonov

Keyword(s):

Real Time ◽

Concurrent Systems

Download Full-text