A generic conceptual framework based on formal representation for the design of continuous/discrete co-simulation tools-Reference-Cited by-同舟云学术

A generic conceptual framework based on formal representation for the design of continuous/discrete co-simulation tools

Published:2015-01-28 Issue:3 Volume:19 Page:243-275
ISSN:0929-5585
Container-title:Design Automation for Embedded Systems
language:en
Short-container-title:Des Autom Embed Syst

Author:

Iugan Luiza Gheorghe,Boucheneb Hanifa,Nicolescu Gabriela

Publisher

Springer Science and Business Media LLC

Subject

Hardware and Architecture,Software

Link

http://link.springer.com/content/pdf/10.1007/s10617-014-9156-3.pdf

Reference42 articles.

1. ITRS (2010) http://public.itrs.net/

2. Nicolescu G, Sungjoo Y, Bouchhima A, Jerraya AA (2002) Validation in a component-based design flow for multicore SoCs. In: Proceedings of the 15th ISSS (ISSS’02) Kyoto

3. Romitti S, Santoni C, Francois P (1997) A design methodology and a prototyping tool dedicated to adaptive interface generation. In: Proceedings of the 3rd ERCIM workshop on user interfaces for all

4. Cadence http://www.cadence.com

5. Mentor Graphics. Seamless CVE. http://www.mentorg.com/seamless

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Minimum Viable Model (MVM) Methodology for Integration of Agile Methods into Operational Simulation of Logistics;Logistics;2022-06-10

2. Synchronization of Continuous Time and Discrete Events Simulation in SystemC;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2021-07

3. Generation of Co-simulation Algorithms Subject to Simulator Contracts;Software Engineering and Formal Methods;2020

4. Semantics of Co-simulation Algorithms with Simulator Contracts;2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2019-09

5. Formalising Cosimulation Models;Software Engineering and Formal Methods;2018