In a series of recent work, we have introduced a general framework for quantitative reasoning in specification theories. The contribution of this paper is to show how this framework can be applied to yield a robust specification theory for timed specifications
International audienceSpecification theories for real-time systems allow reasoning about interfaces ...
Robustness analyzes the impact of small perturbations in the semantics of a model. This allows to mo...
Modal specifications are classical formalisms that can be used to express the functional variability...
International audienceIn a series of recent work, we have introduced a general framework for quantit...
In a series of recent work, we have introduced a general framework for quantitative reasoning in spe...
Specification theories for real-time systems allow to reason about interfaces and their implementati...
International audienceSpecification theories for real-time systems allow to reason about in-terfaces...
Modal automata are a classic formal model for component-based systems that comes equipped with a ric...
International audienceIn the application domain of component-based system design, developing theorie...
AbstractModal specifications are classic, convenient, and expressive mathematical objects to represe...
International audienceOn the one hand, modal specifications are classic, convenient, and expressive ...
On the one hand, modal specifications are classic, convenient, and expressive mathematical objects t...
The paper focuses on automata and linear temporal logics for real-time pushdown reactive systems bri...
International audienceSpecification theories for real-time systems allow reasoning about interfaces ...
Robustness analyzes the impact of small perturbations in the semantics of a model. This allows to mo...
Modal specifications are classical formalisms that can be used to express the functional variability...
International audienceIn a series of recent work, we have introduced a general framework for quantit...
In a series of recent work, we have introduced a general framework for quantitative reasoning in spe...
Specification theories for real-time systems allow to reason about interfaces and their implementati...
International audienceSpecification theories for real-time systems allow to reason about in-terfaces...
Modal automata are a classic formal model for component-based systems that comes equipped with a ric...
International audienceIn the application domain of component-based system design, developing theorie...
AbstractModal specifications are classic, convenient, and expressive mathematical objects to represe...
International audienceOn the one hand, modal specifications are classic, convenient, and expressive ...
On the one hand, modal specifications are classic, convenient, and expressive mathematical objects t...
The paper focuses on automata and linear temporal logics for real-time pushdown reactive systems bri...
International audienceSpecification theories for real-time systems allow reasoning about interfaces ...
Robustness analyzes the impact of small perturbations in the semantics of a model. This allows to mo...
Modal specifications are classical formalisms that can be used to express the functional variability...
DOI
Add to ORKG