swMATH7459MaRDI QIDQ19489FDOQ19489
Author name not available (Why is that?)
Official website: http://ptolemy.eecs.berkeley.edu/
Cited In (only showing first 100 items - show all)
- The rewriting logic semantics project: a progress report
- A case study in embedded systems design: An engine control unit
- A methodology for architecture exploration of heterogeneous signal processing systems
- Twenty years of rewriting logic
- Actors without Directors: A Kahnian View of Heterogeneous Systems
- OntCheck: an ontology-driven static correctness checking tool for component-based models
- CPO semantics of timed interactive actor networks
- Abstraction of Clocks in Synchronous Data-Flow Systems
- Heterogeneous timed machines
- Timed CTL model checking in Real-Time Maude
- Extended synchronous dataflow for efficient DSP system prototyping
- DISCOVER: An environment for Web-based interaction and steering of high-performance scientific applications
- Explicit routing schemes for implementation of cellular automata on processor arrays
- The design and application of structured types in Ptolemy II
- Formal modelling, analysis and verification of hybrid systems
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking
- A Platform-independent Component Modeling Language for distributed real-time and embedded systems
- Dispatch sequences for embedded control models
- Logic foundry: Rapid prototyping for FPGA-based DSP systems
- Developing applications for heterogeneous computing environments using simulation: A case study
- Model driven middleware: A new paradigm for developing distributed real-time and embedded systems
- Title not available (Why is that?)
- Temporal analysis of data flow control systems
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- Memory-optimized software synthesis from dataflow program graphs with large size data samples
- A general framework for architecture composability
- Compositional design of isochronous systems
- Taming Dr. Frankenstein: contract-based design for cyber-physical systems
- Behavioural semantics for asynchronous components
- D-Finder
- DG2VHDL
- Title not available (Why is that?)
- SPADE
- StateFlow
- Cheddar
- CVXMOD
- Torsche
- DREAM Tool
- Reo
- MOFLON
- OntCheck
- iFEST
- VESTA
- ADVIS
- SystemC
- Giotto
- LUSTRE
- M-nets
- Rebeca
- Dist-Orc
- Quartz
- Kermeta
- MOMENT2
- Carsim
- HyDI
- SDEF
- Polychrony
- vlogsl
- TSMV
- TrueTime
- SOFA 2.0
- GenCCSL
- Simulink Coder
- Metropolis
- TimeSquare
- Timed Rebeca
- Charon
- Esterel
- CyPhySim
- XSpeed
- Zelus
- SACO
- Silage
- METROPOLIS
- Java+ITP
- MaRTE OS
- A modal interface theory for component-based design
- Dynamic networks of heterogeneous timed machines
- ATV
- Managing Latency and Buffer Requirements in Processing Graph Chains
- Causal semantics for the algebra of connectors
- Multidimensional exploration of software implementations for DSP algorithms
- Reconfigurable computing for digital signal processing: A survey
- DG2VHDL: A tool to facilitate the high level synthesis of parallel processing array architectures
- An algebraic theory for behavioral modeling and protocol synthesis in system design
- Causal Semantics for the Algebra of Connectors
- Compositional modeling and refinement for hierarchical hybrid systems
- DyverseRBT
- A modular formal semantics for Ptolemy
- Expressiveness of component-based frameworks: a study of the expressiveness of BIP
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- Title not available (Why is that?)
- A two-way path between formal and informal design of embedded systems
- Modeling for Verification
- Title not available (Why is that?)
- From simulation models to hybrid automata using urgency and relaxation
- Title not available (Why is that?)
- Technical note
This page was built for software: Ptolemy
