Ptolemy

swMATH7459MaRDI QIDQ19489FDOQ19489

Author name not available (Why is that?)

Cited In (65)

• 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
• Heterogeneous timed machines
• Title not available (Why is that?)
• 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
• 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
• A two-way path between formal and informal design of 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
• Modeling for Verification
• From simulation models to hybrid automata using urgency and relaxation
• 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
• Title not available (Why is that?)
• A modal interface theory for component-based design
• Dynamic networks of heterogeneous timed machines
• A consistent design methodology for wireless embedded systems
• 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
• Constructive collisions
• A semantic model for interacting cyber-physical systems
• Compositional semantics of dataflow networks with query-driven communication of exact values
• 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?)
• 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
• Title not available (Why is that?)
• Non-convex invariants and urgency conditions on linear hybrid automata

This page was built for software: Ptolemy