swMATH8938MaRDI QIDQ20934FDOQ20934
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=41641
Cited In (only showing first 100 items - show all)
- What good are digital clocks?
- LOLA
- Foundations of Boolean stream runtime verification
- Applying abstract acceleration to (co-)reachability analysis of reactive programs
- Refinement-oriented models of Stateflow charts
- FM 2005: Formal Methods
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- Specification of real-time and hybrid systems in rewriting logic
- A metamodel for the design of polychronous systems
- Non-standard semantics of hybrid systems modelers
- FoCs
- Simulink
- StateFlow
- Cheddar
- TLA
- Aspic
- ClawZ
- Reo
- Zap
- iFEST
- TorX
- Ptolemy
- STG
- A semantic model for graphical user interfaces
- SystemC
- Giotto
- ULM
- PlusCal
- SysML
- HighSpec
- Quartz
- Fudgets
- HybridSal
- TK
- SJL
- Polychrony
- UMLsec
- SAL
- Alpha
- Sisal
- Yampa
- NewPolka
- COINC
- LusSy
- GenCCSL
- Metropolis
- TimeSquare
- DReX
- Functional reactive animation
- CATS
- ac2lus
- Charon
- Esterel
- FRPNow
- Reactive-banana
- JKind
- Kind 2
- Zelus
- PKind
- ActiveVRML
- Fran
- Hugs
- Lucid
- MARTE
- TBAG
- Flapjax
- ZRC
- Modechart
- PROMETHEUS
- DarwinSPL
- DeltaEcore
- SCCharts
- SCEst
- MauveDB
- TelegraphCQ
- eofs
- tccp
- HPDBSCAN
- Nak
- PDSDBSCAN
- COSY
- MR-DBSCAN
- OpenSFS
- Spark_DBSCAN
- Copilot
- TGV
- JBotSim
- GME
- Modular code generation from synchronous block diagrams: modularity vs. code size
- Causality problem in real-time calculus
- Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
- A framework for modeling the distributed deployment of synchronous designs
- Causal semantics for the algebra of connectors
- The Esterel synchronous programming language: Design, semantics, implementation
- Extending abstract acceleration methods to data-flow programs with numerical inputs
- An experience in proving regular networks of processes by modular model checking
- Concurrency in synchronous systems
- Proving stabilization of biological systems
- Modelling of Complex Software Systems: A Reasoned Overview
- CPO semantics of timed interactive actor networks
This page was built for software: LUSTRE