The hierarchical development method is one of the most practical and effective methods for designing large reactive systems by allowing a design at different levels of abstraction. Combining hierarchical specification with hierarchical implementation plays a key role in decreasing the complexity of the verification of these systems. But, up to now, little work has been done related to the topic. In this paper, we investigate this issue
We study certain classes of verification problems for parametric reactive and hybrid systems, and id...
Abstract:- The paper describes model checking for reactive systems with timing constraints. Model of...
As part of a comprehensive design concept for complex reactive systems we investigate the derivation...
The hierarchical development method is one of the most practical and effective methods for designing...
AbstractThe hierarchical development method is one of the most practical and effective methods for d...
Abstract. Action refinement is a practical hierarchical method to ease the design of large reactive ...
This contribution presents some ideas on the synthesis of hierarchical control systems. Hierarchical...
In many approaches to the verification of reactive systems, operational semantics are used to model ...
The recently introduced concept of system abstraction appears to be a promising tool for control pur...
Scalable formal analysis of reactive programs demands integration of modular reasoning techniques wi...
Scalable formal analysis of reactive programs demands integration of modular reasoning techniques wi...
The use of hierarchical abstractions allows processing at an abstract level so that the complexity o...
Associated research group: Critical Systems Research GroupSystems are naturally constructed in hiera...
A new hierarchical model is described for the specification and management of control-flow informati...
The topic of this contribution is the synthesis of hierarchical control systems for hybrid problems....
We study certain classes of verification problems for parametric reactive and hybrid systems, and id...
Abstract:- The paper describes model checking for reactive systems with timing constraints. Model of...
As part of a comprehensive design concept for complex reactive systems we investigate the derivation...
The hierarchical development method is one of the most practical and effective methods for designing...
AbstractThe hierarchical development method is one of the most practical and effective methods for d...
Abstract. Action refinement is a practical hierarchical method to ease the design of large reactive ...
This contribution presents some ideas on the synthesis of hierarchical control systems. Hierarchical...
In many approaches to the verification of reactive systems, operational semantics are used to model ...
The recently introduced concept of system abstraction appears to be a promising tool for control pur...
Scalable formal analysis of reactive programs demands integration of modular reasoning techniques wi...
Scalable formal analysis of reactive programs demands integration of modular reasoning techniques wi...
The use of hierarchical abstractions allows processing at an abstract level so that the complexity o...
Associated research group: Critical Systems Research GroupSystems are naturally constructed in hiera...
A new hierarchical model is described for the specification and management of control-flow informati...
The topic of this contribution is the synthesis of hierarchical control systems for hybrid problems....
We study certain classes of verification problems for parametric reactive and hybrid systems, and id...
Abstract:- The paper describes model checking for reactive systems with timing constraints. Model of...
As part of a comprehensive design concept for complex reactive systems we investigate the derivation...
DOI
Add to ORKG