Cited in
(only showing first 100 items - show all)- Formal Analysis of Robustness at Model and Code Level
- Proving stabilization of biological systems
- Modelling of Complex Software Systems: A Reasoned Overview
- CPO semantics of timed interactive actor networks
- Elephant against Goliath: performance of big data versus high-performance computing DBSCAN clustering implementations
- What good are digital clocks?
- A denotational theory of synchronous reactive systems
- Operational semantics of a kernel of the language ELECTRE
- The semantics and execution of a synchronous block-diagram language.
- Synchronous structures
- Dynamic and formal verification of embedded systems: A comparative survey
- Bridging the gap between two concurrent constraint languages
- scientific article; zbMATH DE number 7453967 (Why is no real title available?)
- Normalising Lustre preserves security
- Specifying and verifying reactive systems in a multi-language environment
- scientific article; zbMATH DE number 2079652 (Why is no real title available?)
- A specification structure for deadlock-freedom of synchronous processes
- 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
- Comonadic notions of computation
- Foundations of Boolean stream runtime verification
- Verification of temporal properties of neuronal archetypes modeled as synchronous reactive systems
- Numerical invariants through convex relaxation and max-strategy iteration
- 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
- On implementable timed automata
- Applying abstract acceleration to (co-)reachability analysis of reactive programs
- Refinement-oriented models of Stateflow charts
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
- Proving sequential function chart programs using timed automata
- Automated planning as an early verification tool for distributed control
- A timed concurrent constraint language.
- Specification of real-time and hybrid systems in rewriting logic
- Asynchronous stream processing with S-Net
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
- FM 2005: Formal Methods
- Modeling for Verification
- 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
- Tutorial on parameterized model checking of fault-tolerant distributed algorithms
- scientific article; zbMATH DE number 2080011 (Why is no real title available?)
- From NuSMV to SPIN: Experiences with model checking flight guidance systems
- A metamodel for the design of polychronous systems
- Certifying synchrony for free
- Algorithmic support for model transformation in object-oriented software development
- Kahn networks at the dawn of functional programming
- Non-standard semantics of hybrid systems modelers
- Graph Transformation with Dependencies for the Specification of Interactive Systems
- Behavioral interface specification languages
- Compositional design of isochronous systems
- scientific article; zbMATH DE number 7440190 (Why is no real title available?)
- SCADE
- Lutess
- FoCs
- TAXYS
- SecureUML
- BeepBeep
- SynDEx
- StreamIt
- AGATHA
- MANIFOLD
- SIGNAL
- MOTOR
- Simulink
- StateFlow
- Cheddar
- TLA
- Aspic
- ClawZ
- Reo
- Zap
- iFEST
- TorX
- Ptolemy
- STG
- SystemC
- Giotto
- ULM
- PlusCal
- SysML
- HighSpec
- Quartz
- Fudgets
- HybridSal
- TK
- SJL
- Polychrony
- UMLsec
- SAL
- Alpha
- Sisal
- Yampa
- NewPolka
- COINC
- LusSy
- GenCCSL
- Metropolis
- TimeSquare
- DReX
This page was built for software: LUSTRE
