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