Ptolemy
From MaRDI portal
Software:19489
swMATH7459MaRDI QIDQ19489FDOQ19489
Author name not available (Why is that?)
Cited In (65)
- 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?)
- Title not available (Why is that?)
- Technical note
- A type-based analysis of causality loops in hybrid systems modelers
- Task level specification and formal verification of robotics control systems: State of the art and case study
- Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata
- Title not available (Why is that?)
- 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
- A modular formal semantics for Ptolemy
- Actors without Directors: A Kahnian View of Heterogeneous Systems
- OntCheck: an ontology-driven static correctness checking tool for component-based models
- Expressiveness of component-based frameworks: a study of the expressiveness of BIP
- CPO semantics of timed interactive actor networks
- Abstraction of Clocks in Synchronous Data-Flow Systems
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- 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
- Heterogeneous Timed Machines
- Memory-optimized software synthesis from dataflow program graphs with large size data samples
- Modeling for Verification
- Formal Modelling, Analysis and Verification of Hybrid Systems
- A general framework for architecture composability
- Timed CTL Model Checking in Real-Time Maude
- Constructive Collisions
- Compositional design of isochronous systems
- Taming Dr. Frankenstein: contract-based design for cyber-physical systems
- Title not available (Why is that?)
- Behavioural semantics for asynchronous components
- Title not available (Why is that?)
- A Two-Way Path Between Formal and Informal Design of Embedded Systems
- A modal interface theory for component-based design
- Dynamic networks of heterogeneous timed machines
- A consistent design methodology for wireless embedded systems
- From Simulation Models to Hybrid Automata Using Urgency and Relaxation
- Managing Latency and Buffer Requirements in Processing Graph Chains
- Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study
- Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow
- Causal semantics for the algebra of connectors
- Multidimensional exploration of software implementations for DSP algorithms
- A semantic model for interacting cyber-physical systems
- Modelling adaptive systems in ForSyDe
- 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
- A Theory Agenda for Component-Based Design
- Causal Semantics for the Algebra of Connectors
- Compositional modeling and refinement for hierarchical hybrid systems
- Title not available (Why is that?)
This page was built for software: Ptolemy