Ptolemy
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Temporal analysis of data flow control systems
- Developing applications for heterogeneous computing environments using simulation: A case study
- D-Finder
- DG2VHDL
- jETI
- VEST
- Uppaal2k
- StreamIt
- JavaFAN
- SPADE
- DISCOVER
- ITP/OCL
- SIGNAL
- A methodology for architecture exploration of heterogeneous signal processing systems
- KKTDirect
- StateFlow
- Cheddar
- Torsche
- CVXMOD
- DREAM Tool
- Reo
- A case study in embedded systems design: An engine control unit
- Memory-optimized software synthesis from dataflow program graphs with large size data samples
- Logic foundry: Rapid prototyping for FPGA-based DSP systems
- MOFLON
- OntCheck
- Twenty years of rewriting logic
- iFEST
- Taming Dr. Frankenstein: contract-based design for cyber-physical systems
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study
- Multidimensional exploration of software implementations for DSP algorithms
- DG2VHDL: A tool to facilitate the high level synthesis of parallel processing array architectures
- SystemC
- ADVIS
- VESTA
- Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow
- A semantic model for interacting cyber-physical systems
- LUSTRE
- Giotto
- M-nets
- Rebeca
- Quartz
- MOMENT2
- Kermeta
- Dist-Orc
- Expressiveness of component-based frameworks: a study of the expressiveness of BIP
- Carsim
- Compositional modeling and refinement for hierarchical hybrid systems
- OntCheck: an ontology-driven static correctness checking tool for component-based models
- HyDI
- Behavioural semantics for asynchronous components
- SDEF
- Polychrony
- vlogsl
- A consistent design methodology for wireless embedded systems
- An algebraic theory for behavioral modeling and protocol synthesis in system design
- TSMV
- TrueTime
- SOFA 2.0
- Explicit routing schemes for implementation of cellular automata on processor arrays
- scientific article; zbMATH DE number 1629952 (Why is no real title available?)
- DISCOVER: An environment for Web-based interaction and steering of high-performance scientific applications
- Simulink Coder
- TimeSquare
- GenCCSL
- Metropolis
- A modular formal semantics for Ptolemy
- Modelling adaptive systems in ForSyDe
- A modal interface theory for component-based design
- Heterogeneous timed machines
- Formal modelling, analysis and verification of hybrid systems
- A two-way path between formal and informal design of embedded systems
- From simulation models to hybrid automata using urgency and relaxation
- The design and application of structured types in Ptolemy II
- Compositional semantics of dataflow networks with query-driven communication of exact values
- scientific article; zbMATH DE number 5859820 (Why is no real title available?)
- Charon
- Timed CTL model checking in Real-Time Maude
- Modeling for Verification
- Esterel
- CyPhySim
- XSpeed
- Zelus
- SACO
- Silage
- METROPOLIS
- Causal Semantics for the Algebra of Connectors
- Actors without Directors: A Kahnian View of Heterogeneous Systems
- The rewriting logic semantics project: a progress report
- Java+ITP
- scientific article; zbMATH DE number 1947711 (Why is no real title available?)
- scientific article; zbMATH DE number 2079649 (Why is no real title available?)
- Technical note
- Task level specification and formal verification of robotics control systems: State of the art and case study
- Managing Latency and Buffer Requirements in Processing Graph Chains
- Compositional design of isochronous systems
- MaRTE OS
- Dynamic networks of heterogeneous timed machines
- scientific article; zbMATH DE number 2112983 (Why is no real title available?)
This page was built for software: Ptolemy
