scientific article; zbMATH DE number 3930354
From MaRDI portal
Publication:3703299
Recommendations
Cited in
(62)- Reactive Turing machines
- On disjunction of literals in triggers of statecharts transitions.
- Developing reactive systems in a VDM framework
- A denotational theory of synchronous reactive systems
- Causal automata
- Towards a notion of unsatisfiable and unrealizable cores for LTL
- Enriched μ–Calculus Pushdown Module Checking
- Using transition systems to describe and predict the behaviour of structured excitable media
- LTL-specification for development and verification of control programs
- scientific article; zbMATH DE number 2086945 (Why is no real title available?)
- Specialisation of Prolog and FCP programs using abstract interpretation
- Bridging the gap between two concurrent constraint languages
- An axiomatic semantics for Esterel
- scientific article; zbMATH DE number 7308363 (Why is no real title available?)
- Modification of the method of generation of control finite-state machines with continuous actions based on training examples
- A logical view of composition
- SWITCH technology: An automated approach to developing software for reactive systems
- Module checking
- Using formal methods with SysML in aerospace design and engineering
- Using Hoare logic in a process algebra setting
- Resolution-based approach to compatibility analysis of interacting automata
- Towards the hierarchical verification of reactive systems
- Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
- Reactive mode handling of flexible manufacturing systems
- Coverage metrics for temporal logic model checking
- Reasoning about graded strategy quantifiers
- Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms
- A polynomial dynamic system approach to software design for attractivity requirement
- Solving inequalities over finite state machines in the reactive systems design
- Temporal logic and fair discrete systems
- A metamodel for the design of polychronous systems
- Linear temporal logic -- from infinite to finite horizon
- Design of reactive algorithms by solving equations over automata
- Robustness of temporal logic specifications for continuous-time signals
- scientific article; zbMATH DE number 1708017 (Why is no real title available?)
- Introduction to design choices in the semantics of Statecharts
- Network-formation games with regular objectives
- Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). I
- scientific article; zbMATH DE number 7350780 (Why is no real title available?)
- Global view on reactivity: switch graphs and their logics
- Monitorable hyperproperties of nonterminating systems
- Modal specifications for the control theory of discrete event systems
- Supervisory control of product and hierarchical discrete event systems
- Coping with selfish on-going behaviors
- Reconciling statechart semantics
- Detecting causal relationships in distributed computations: In search of the holy grail
- Information gain of black-box testing
- Recent advances in program verification through computer algebra
- Reasoning about Quality and Fuzziness of Strategic Behaviors
- A compositional axiomatization of statecharts
- On hierarchically developing reactive systems
- An axiomatic semantics for the synchronous language Gentzen.
- An introduction to compositional methods for concurrency and their application to real-time.
- Concurrency in biological modeling: behavior, execution and visualization
- A parametric rely-guarantee reasoning framework for concurrent reactive systems
- Model checking and synthesis for branching multi-weighted logics
- An automata-theoretic approach to linear temporal logic
- Modelling and simulation of reactive systems
- Multi-Valued Reasoning about Reactive Systems
- The \textsf{tccp} interpreter
- Automated verification of reactive and concurrent programs by calculation
- Compilation of the ELECTRE reactive language into finite transition systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3703299)
