Pre-Simulation Formal Analysis of Synchronization Issues between Discrete Event and Timed Data Flow Models of Computation, Design, Automation and Test in Europe, DATE Conference, 2015. ,
Principles and implementation of a generic synchronization interface between SystemC AMS models of computation for the virtual prototyping of multidisciplinary systems, 2016. ,
URL : https://hal.archives-ouvertes.fr/tel-01344527
TTool, an open-source toolkit for the modeling and verification of embedded systems ,
Metropolis: an integrated electronic system design environment, Computer, vol.36, issue.4, pp.45-52, 2003. ,
DOI : 10.1109/MC.2003.1193228
Principles and Realization of a Virtual Prototyping Environment for Composable Heterogeneous Systems, 2017. ,
Timed Automata: Semantics, Algorithms and Tools, Lecture Notes on Concurrency and Petri Nets, pp.87-124, 2004. ,
DOI : 10.1007/978-3-540-27755-2_3
http://www.coseda-tech.com/systemc-ams-proof-of-concept, 2016. ,
A Model-Driven Design Framework for Massively Parallel Embedded Systems, ACM Transactions on Embedded Computing Systems, vol.10, issue.4, p.39, 2011. ,
DOI : 10.1145/2043662.2043663
Virtual yet precise prototyping: An automotive case study Model-Driven Performance Evaluation and Formal Verification for Multilevel Embedded System Design, ERTSS'2016 Conferénce on Model- Driven Engineering and Software Development (Model- sward'2017), 2016. ,
DOI : 10.5220/0006140600780089
Multi-level Latency Evaluation with an MDE Approach In Conferénce on Model-Driven Engineering and Software Development Modelsward, 2016. ,
Design space exploration for complex automotive applications, Proceedings of the 2016 Workshop on Rapid Simulation and Performance Evaluation Methods and Tools, RAPIDO '16, pp.1-2, 2016. ,
DOI : 10.1109/IPDPS.2003.1213180
URL : https://hal.archives-ouvertes.fr/lirmm-01265891
Disciplined Heterogeneous Modeling, Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering, Languages, and Systems (MODELS) System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, pp.273-287, 2010. ,
DOI : 10.1007/3-540-45874-3_2
The SoCLib project: An integrated system-on-chip modelling and simulation platform ,
An Entirely Model-Based Framework for Hardware Design and Simulation, DIPES/BICC IFIP Advances in Information and Communication Technology, pp.31-42, 2010. ,
DOI : 10.1007/978-3-642-15234-4_5
URL : https://hal.archives-ouvertes.fr/hal-00526737
Analog and mixed signal modelling with SystemC-AMS, Proceedings of the 2003 International Symposium on Circuits and Systems, 2003. ISCAS '03., pp.914-917, 2003. ,
DOI : 10.1109/ISCAS.2003.1205169
URL : http://www.ti.cs.uni-frankfurt.de/ams/papers/ISCAS03-VGE03b.pdf
A co-design approach for embedded system modeling and code generation with UML and MARTE, 2009 Design, Automation & Test in Europe Conference & Exhibition, pp.226-231, 2009. ,
DOI : 10.1109/DATE.2009.5090662
URL : https://hal.archives-ouvertes.fr/hal-00369036