Marc Pantel

Marc Pantel

École Nationale Supérieure D'Électrotechnique, D'Électronique, D'Informatique, D'Hydraulique et des Télécommunications INP ENSEEIHT - Toulouse / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 1660622
National Higher School of Electrical Engineering, Electronics, Computer Science, Hydraulics and Telecommunications INP ENSEEIHT
person_outline Marc Pantel's MOST POPULAR ARTICLES
1-) The TOPCASED project: a toolkit in open source for critical aeronautic systems designP Farail, P Gaufillet, A Canals, C Le Camus, D Sciamma, P Michel, ...Conference ERTS\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'06, 20061502006
2-) A design pattern to build executable DSMLs and associated V&V toolsB Combemale, X Crégut, M Pantel2012 19th Asia-Pacific Software Engineering Conference 1, 282-287, 2012682012
3-) Towards formally verified optimizing compilation in flight control softwareRB França, D Favre-Felix, X Leroy, M Pantel, J SouyrisPPES 2011: predictability and performance in embedded systems 18, 59-68, 2011432011
4-) Gene-auto: an automatic code generator for a safe subset of simulink/stateflow and scicosA Toom, T Naks, M Pantel, M Gandriau, I WatiEmbedded Real Time Software and Systems (ERTS2008), 2008432008
5-) Introducing simulation and model animation in the MDE Topcased toolkitB Combemale, X Crégut, JP Giacometti, P Michel, M Pantel4th European Congress Embedded Real Time Software (ERTS), http://www …, 2008432008