Cited in
(only showing first 100 items - show all)- Investigating the usability of real-time scheduling theory with the Cheddar project
- Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
- Timed term rewrite systems
- From regular expressions to deterministic automata
- A comparison of Statecharts step semantics
- A compositional axiomatization of statecharts
- A framework for modeling the distributed deployment of synchronous designs
- From synchronous programs to symbolic representations of hybrid systems
- Fault-tolerant functional reactive programming (extended version)
- A timed calculus for wireless 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
- Unifying operational semantics with algebraic semantics for instantaneous reactions
- Synthesizing SystemC Code from Delay Hybrid CSP
- A methodology to take credit for high-level verification during RTL verification
- Constructive collisions
- Automatic verification of parameterized networks of processes
- Programming by composing filters
- Formal verification of synchronous data-flow program transformations toward certified compilers
- Reactive concurrent programming revisited
- Compatibility in a multi-component environment
- Abstract interpretation of temporal concurrent constraint programs
- An axiomatic semantics for the synchronous language Gentzen.
- A semantic theory of the Internet of Things
- Fine-grained and coarse-grained reactive noninterference
- Modelling MAC-layer communications in wireless systems
- An Observational Theory for Mobile Ad Hoc Networks
- Concurrency in synchronous systems
- Lurette
- The Verus language: Representing time efficiently with BDDs
- Bounded model checking of infinite state systems
- The fixed-point theory of strictly causal functions
- On disjunction of literals in triggers of statecharts transitions.
- Feedback in synchronous relational interfaces
- Timed-pNets: a communication behavioural semantic model for distributed systems
- Algorithmic-level specification and characterization of embedded multimedia applications with Design Trotter
- Modelling of Complex Software Systems: A Reasoned Overview
- CPO semantics of timed interactive actor networks
- $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
- Turing machines, transition systems, and interaction
- What good are digital clocks?
- Primitives for authentication in process algebras.
- A denotational theory of synchronous reactive systems
- Operational semantics of a kernel of the language ELECTRE
- TTL: A modular language for hardware/software systems design.
- Synchronous structures
- Constructive polychronous systems
- Causal computational complexity of distributed processes
- What is in a step: new perspectives on a classical question
- Distributed implementation of a process-algebra based programming language for embedded systems
- From regular expressions to DFA's using compressed NFA's
- Logical behaviors
- A Unary Semigroup Trace Algebra
- Concurrency and atomicity
- Dynamic and formal verification of embedded systems: A comparative survey
- On subexponentials, focusing and modalities in concurrent systems
- Interpreting message flow graphs
- Specifying and verifying reactive systems in a multi-language environment
- Refinement of time
- Timed soft concurrent constraint programs: an interleaved and a parallel approach
- Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java
- Foundations of Boolean stream runtime verification
- Formal modelling and verification of GALS systems using GRL and CADP
- An axiomatic semantics for Esterel
- Turing machines, transition systems, and interaction
- Verification of temporal properties of neuronal archetypes modeled as synchronous reactive systems
- Transition system specifications with negative premises
- Sound reasoning in \textit{tock}-CSP
- A synchronous effects logic for temporal verification of pure Esterel
- Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018
- Dispatch sequences for embedded control models
- scientific article; zbMATH DE number 3967898 (Why is no real title available?)
- On implementable timed automata
- Coordination models Orc and Reo compared
- Compositional semantics for real-time distributed computing
- Linear time-dependent constraints programming with MSVL
- SAT-based verification for timed component connectors
- A declarative view of signaling pathways
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
- An algebra of synchronous atomic steps
- The SL synchronous language, revisited
- Decidability of infinite-state timed CCP processes and first-order LTL
- Typing noninterference for reactive programs
- Automated planning as an early verification tool for distributed control
- A timed concurrent constraint language.
- Dealing with zero-time transitions in axiom systems.
- Asynchronous stream processing with S-Net
- Semantics of temporal classes
- Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
- A dynamic deontic logic for complex contracts
- Modeling for Verification
- Bisimulation on speed: Worst-case efficiency
- On concurrent behaviors and focusing in linear logic
- Fully abstract models and refinements as tools to compare agents in timed coordination languages
- Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
- Reactive mode handling of flexible manufacturing systems
- Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms
- Constructive Boolean circuits and the exactness of timed ternary simulation
- Synchronous Kleene algebra
This page was built for software: Esterel
