Esterel
From MaRDI portal
Software:31835
No author found.
Related Items (only showing first 100 items - show all)
On concurrent behaviors and focusing in linear logic ⋮ Sound reasoning in \textit{tock}-CSP ⋮ Foundations of Boolean stream runtime verification ⋮ Bounded model checking of infinite state systems ⋮ Timed-pNets: a communication behavioural semantic model for distributed systems ⋮ Modeling for Verification ⋮ Transfer of Model Checking to Industrial Practice ⋮ Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions ⋮ Formal modelling and verification of GALS systems using GRL and CADP ⋮ A synchronous \(\pi\)-calculus ⋮ Graph Transformation with Dependencies for the Specification of Interactive Systems ⋮ Generating Reversible Circuits from Higher-Order Functional Programs ⋮ Predictable real-time software synthesis ⋮ Interpreting message flow graphs ⋮ Dispatch sequences for embedded control models ⋮ Event algebra for transition systems composition application to timed automata ⋮ The SL synchronous language, revisited ⋮ Unnamed Item ⋮ Compositional semantics for real-time distributed computing ⋮ Bisimulation on speed: Worst-case efficiency ⋮ On subexponentials, focusing and modalities in concurrent systems ⋮ Concurrency and atomicity ⋮ Compatibility in a multi-component environment ⋮ From NuSMV to SPIN: Experiences with model checking flight guidance systems ⋮ From regular expressions to DFA's using compressed NFA's ⋮ Formal verification of synchronous data-flow program transformations toward certified compilers ⋮ TTL: A modular language for hardware/software systems design. ⋮ An axiomatic semantics for the synchronous language Gentzen. ⋮ A methodology to take credit for high-level verification during RTL verification ⋮ Constructive semantics for instantaneous reactions ⋮ Algorithmic-level specification and characterization of embedded multimedia applications with Design Trotter ⋮ SAT-based verification for timed component connectors ⋮ A semantic theory of the Internet of things ⋮ Non-standard semantics of hybrid systems modelers ⋮ Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems ⋮ A dynamic deontic logic for complex contracts ⋮ Continuous consensus via common knowledge ⋮ Constructive Boolean circuits and the exactness of timed ternary simulation ⋮ Practical principled FRP: forget the past, change the future, FRPNow! ⋮ A timed calculus for wireless systems ⋮ From synchronous programs to symbolic representations of hybrid systems ⋮ A formal library of set relations and its application to synchronous languages ⋮ Efficient verification of distributed real-time systems with broadcasting behaviors ⋮ Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change ⋮ Control machines: A new model of parallelism for compositional specifications and their effective compilation ⋮ A synchronous effects logic for temporal verification of pure Esterel ⋮ A denotational theory of synchronous reactive systems ⋮ Operational semantics of a kernel of the language ELECTRE ⋮ A compositional axiomatization of statecharts ⋮ Compiling and verifying SC-SystemJ programs for safety-critical reactive systems ⋮ Transition system specifications with negative premises ⋮ CPO semantics of timed interactive actor networks ⋮ Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms ⋮ An operational semantics for a calculus for wireless systems ⋮ The fixed-point theory of strictly causal functions ⋮ Decidability of infinite-state timed CCP processes and first-order LTL ⋮ Turing machines, transition systems, and interaction ⋮ Linear time-dependent constraints programming with MSVL ⋮ A game semantics for generic polymorphism ⋮ Typing termination in a higher-order concurrent imperative language ⋮ Synchronous Kleene algebra ⋮ Asynchronous stream processing with S-Net ⋮ Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation ⋮ Synchronous structures ⋮ From regular expressions to deterministic automata ⋮ Resource control for synchronous cooperative threads ⋮ A framework for modeling the distributed deployment of synchronous designs ⋮ Concurrency in synchronous systems ⋮ Dynamic and formal verification of embedded systems: A comparative survey ⋮ An algebra of synchronous atomic steps ⋮ Typing noninterference for reactive programs ⋮ Reconciling statechart semantics ⋮ Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications ⋮ Fully abstract models and refinements as tools to compare agents in timed coordination languages ⋮ Reactive mode handling of flexible manufacturing systems ⋮ An observational theory for mobile ad hoc networks (full version) ⋮ A metamodel for the design of polychronous systems ⋮ Introduction to design choices in the semantics of Statecharts ⋮ Fine-Grained and Coarse-Grained Reactive Noninterference ⋮ Investigating the usability of real-time scheduling theory with the Cheddar project ⋮ Specifying and verifying reactive systems in a multi-language environment ⋮ Timed Term Rewrite Systems ⋮ Towards a Modeling Language for Cyber-Physical Systems ⋮ Refinement of time ⋮ The Verus language: Representing time efficiently with BDDs ⋮ Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java ⋮ On disjunction of literals in triggers of statecharts transitions. ⋮ A comparison of Statecharts step semantics ⋮ Dealing with zero-time transitions in axiom systems. ⋮ A timed concurrent constraint language. ⋮ Semantics of temporal classes ⋮ Compositionality in dataflow synchronous languages: Specification and distributed code generation ⋮ Coordination Models Orc and Reo Compared ⋮ Deciding Kleene algebra terms equivalence in Coq ⋮ Models and emerging trends of concurrent constraint programming ⋮ Primitives for authentication in process algebras. ⋮ Denotational fixed-point semantics for constructive scheduling of synchronous concurrency ⋮ Causal computational complexity of distributed processes ⋮ Automated planning as an early verification tool for distributed control ⋮ From ATP to timed graphs and hybrid systems
This page was built for software: Esterel
