Modeling in Event-B: system and software engineering, 2010. ,
TTool for DIPLODOCUS: an environment for design space exploration, Proceedings of the 8th International Conference on New Technologies in Distributed Systems, pp.28-29, 2008. ,
Multiobjective optimization and evolutionary algorithms for the application mapping problem in multiprocessor system-on-chip design, IEEE Transactions on Evolutionary Computation, vol.10, issue.3, pp.358-374, 2006. ,
Model-based engineering with AADL: an introduction to the SAE architecture analysis & design language, 2012. ,
Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design, Conferénce on Model-Driven Engineering and Software Development (Modelsward'2017), 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01447148
Information Processing '74: Proceedings of the IFIP Congress, pp.471-475, 1974. ,
A Methodology to Design Programmable Embedded Systems: The Y-Chart Approach, Embedded Processor Design Challenges, pp.18-37, 2002. ,
Formal System-level Design Space Exploration, Concurrency and Computation: Practice and Experience, vol.25, issue.2, pp.250-264, 2013. ,
Dealing with aadl end-to-end flow latency with uml marte, Engineering of Complex Computer Systems. 13th IEEE International Conference on, pp.228-233, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00200834
The SATURN approach to sysml-based hw/sw codesign, VLSI 2010 Annual Symposium, pp.151-164, 2011. ,
The SoCLib project: An integrated system-on-chip modelling and simulation platform, 2003. ,
, MDGen for SystemC, 2009.
An entirely model-based framework for hardware design and simulation, DIPES/BICC, vol.329, pp.31-42, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00526737
Towards "drone-borne" disaster management: Future application scenarios, ISPRS Annals of Photogrammetry, Remote Sensing and Spatial Information Sciences, pp.181-189, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01516666
A framework for rapid system-level exploration, synthesis, and programming of multimedia MP-SoCs, Hardware/Software Codesign and System Synthesis, pp.9-14, 2007. ,
A co-design approach for embedded system modeling and code generation with UML and MARTE, Design, Automation and Test in Europe, pp.226-231, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00369036