Nombre de documents

50

CV de Marc Pantel


Communication dans un congrès29 documents

  • Jean-Paul Gibson, Idir Ait-Sadoune, Marc Pantel. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.. 7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece. Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. <http://www.springer.com/us/book/9783319471655>. <hal-01430628>
  • Soukayna M'Sirdi, Wenceslas Godard, Marc Pantel. A Multi-Core Interference-Aware Schedulability Test for IMA Systems, as a Guide for SW/HW Integration. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), <http://www.erts2016.org/>. <hal-01289687>
  • Florent Latombe, Xavier Crégut, Julien Deantoni, Marc Pantel, Benoit Combemale. Coping with Semantic Variation Points in Domain-Specific Modeling Languages. 1st International Workshop on Executable Modeling (EXE'15), co-located with MODELS'15, 2015, Ottawa, Canada. CEUR, 2015, <http://www.modelexecution.org/?page_id=1619>. <hal-01222999>
  • Florent Latombe, Xavier Crégut, Benoît Combemale, Julien Deantoni, Marc Pantel. Weaving Concurrency in eXecutable Domain-Specific Modeling Languages. 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States. ACM, 2015, <http://www.sleconf.org/2015/>. <hal-01185911>
  • Ning Ge, Marc Pantel, Xavier Crégut. A UML-MARTE Temporal Property Verification Tool based on Model Checking. International Conference on Embedded Real Time Software and Systems (ERTS), Feb 2014, Toulouse, France. <hal-01408375>
  • Mounira Kezadri, Marc Pantel, Benoit Combemale, Xavier Thirioux. A formal framework to prove the correctness of model driven engineering composition operators. ICFEM'14 - 16TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, Nov 2014, Luxembourg, Luxembourg. Springer, 2014. <hal-01024067>
  • Faiez Zalila, Xavier Crégut, Marc Pantel. A transformation-driven approach to generate a DSML verification framework. Alfredo Cuzzocrea and Sofian Maabout. Model and Data Engineering - Third International Conference, MEDI 2013, Sep 2013, Amantea, Italy. Springer, 8216, pp.266-277, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-41366-7_23>. <hal-00994321>
  • Faiez Zalila, Xavier Crégut, Marc Pantel. Formal Verification Integration Approach for DSML. MoDELS, Sep 2013, Miami, United States. Springer, 8107, pp.336-351, 2013, <10.1007/978-3-642-41533-3_21>. <hal-00994413>
  • Faiez Zalila, Xavier Crégut, Marc Pantel. A transformation-driven approach to automate feedback verification results. 3rd International Conference On Model and Data Engineering (MEDI 2013), Sep 2013, Amantea, Calabria, Italy. pp. 266-277, 2013. <hal-01231772>
  • Benoit Combemale, Julien Deantoni, Robert France, Frédéric Boulanger, Sébastien Mosser, et al.. Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013). GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. CEUR, Vol-1102, pp.3-13, 2013, Joint Proceedings of GEMOC '13 and AMINO '13 @ MODELS 2013. <http://ceur-ws.org/Vol-1102/gemoc13-report.pdf>. <hal-00926244>
  • Benoit Combemale, Xavier Crégut, Marc Pantel. A Design Pattern to Build Executable DSMLs and associated V&V tools. The 19th Asia-Pacific Software Engineering Conference (APSEC 2012), Dec 2012, Hong Kong, Hong Kong SAR China. IEEE, 2012. <hal-00739332>
  • Jean-Christophe Bach, Xavier Crégut, Pierre-Etienne Moreau, Marc Pantel. Model Transformations with Tom. LDTA - 12th Workshop on Language Descriptions, Tools and Applications - 2012, Mar 2012, Tallinn, Estonia. ACM, pp.16, 2012. <hal-00646350v2>
  • Jean-Christophe Bach, Pierre-Etienne Moreau, Marc Pantel. Tom-based tools to transform EMF models in avionics context. ITSLE - Industrial Track of Software Language Engineering 2012, Sep 2012, Dresden, Germany. 2012. <hal-00730738>
  • Ricardo Bedin França, Sandrine Blazy, Denis Favre-Felix, Xavier Leroy, Marc Pantel, et al.. Formally verified optimizing compilation in ACG-based flight control software. ERTS2 2012: Embedded Real Time Software and Systems, Feb 2012, Toulouse, France. 2012. <hal-00653367>
  • Mounira Kezadri, Benoit Combemale, Marc Pantel, Xavier Thirioux. A Proof Assistant Based Formalization of components in MDE. 8th International Symposium on Formal Aspects of Component Software (FACS 2011), Sep 2011, Oslo, Norway. 2011. <inria-00614593>
  • Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris. Towards Formally Verified Optimizing Compilation in Flight Control Software. PPES 2011: Predictability and Performance in Embedded Systems, Mar 2011, Grenoble, France. Schloss Dagstuhl, Leibniz-Zentrum fuer Informatik, 18, pp.59-68, 2011, OpenAccess Series in Informatics. <10.4230/OASIcs.PPES.2011.59>. <inria-00551370>
  • Benoit Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila. Teaching MDE through the Formal Verification of Process Models. ECEASST. 7th Educators' Symposium @ MODELS 2011: Software Modeling in Education (EduSymp2011), Oct 2011, Wellington, New Zealand. 2011. <hal-00646426>
  • Xavier Crégut, Benoit Combemale, Marc Pantel, Raphaël Faudoux, Jonatas Pavei. Generative technologies for model animation in the TopCased platform. 6th European Conference on Modelling Foundations and Applications (ECMFA 2010), 2010, Paris, France, South Africa. Springer, 6138, pp.90--103, 2010, Lecture Notes in Computer Science (LNCS). <inria-00504667>
  • Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel. Verification of the Schorr-Waite Algorithm - From Trees to Graphs. María Alpuente. Logic-Based Program Synthesis and Transformation, Jul 2010, Hagenberg, Austria. Springer Berlin / Heidelberg, 6564, pp.67-83, 2011, Lecture Notes in Computer Science. <10.1007/978-3-642-20551-4_5>. <hal-00601440>
  • Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun Filali, Marc Pantel, et al.. Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d'expérience sur la chaîne de vérification formelle Fiacre. IDM 2010 : journées sur l'Ingénierie Dirigée par les Modèles, Mar 2010, Pau, France. <hal-00492327>
  • Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat, et al.. Synoptic: a domain specific modeling language for embedded flight-software. FMA 2009 : Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. 2009. <hal-00788450>
  • Benoît Combemale, Xavier Crégut, Jean-Pierre Giacometti, Pierre Michel, Marc Pantel. Introducing Simulation and Model Animation in the MDE Topcased Toolkit. 4th European Congress EMBEDDED REAL TIME SOFTWARE (ERTS), Jan 2008, Toulouse, France, France. http://www.erts2008.org/, 2008. <hal-00371596>
  • Hrachya Astsatryan, Vladimir Sahakyan, Yuri Shoukouryan, Michel Daydé, Aurélie Hurault, et al.. A grid-aware web portal with advanced service trading for linear algebra calculations. Springer. VECPAR 2008: 8th International Conference High Performance Computing for Computational Science, Jun 2008, Toulouse, France. Springer, 5336, pp.150-159, 2008, LNCS. <10.1007/978-3-540-92859-1_15>. <hal-00689914>
  • Hrachya Astsatryan, Eddy Caron, Michel Daydé, Aurélie Hurault, Marc Pantel. On defining a web interface for linear algebra tasks over computational grids. International Conference on Computer Science and Information Technologies (CSIT'07), Sep 2007, Yerevan, Armenia. <hal-01429567>
  • Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. Roberto Gorrieri and Heike Wehrheim. May 2006, Springer, pp.78-92, 2006, LNCS 4037. <10.1007/11768869_8>. <hal-00116251>
  • Patrick Amestoy, Michel Daydé, Christophe Hamerling, Marc Pantel, Chiara Puglisi. Management of Services Based on a Semantic Description Within the GRID-TLSE Project. Springer. VECPAR'06, Jul 2006, Rio de Janeiro, Brazil. Springer, 4395, pp.634-643, 2007, LNCS. <10.1007/978-3-540-71351-7_50>. <hal-00689156>
  • Eddy Caron, Frédéric Desprez, Jean-Yves L'Excellent, Christophe Hamerling, Marc Pantel, et al.. Use of A Network Enabled Server System for a Sparse Linear Algebra Application. Getov, Vladimir and Laforenza, Domenico and Reinefeld, Alexander. Workshop on Future Generation Grids, Nov 2006, Dagstuhl, Germany. pp.171-193, 2006, Future Generation Grids. <10.1007/978-0-387-29445-2_10>. <hal-00688781>
  • Michel Dayde, Aurélie Hurault, Marc Pantel. Gridification of scientific application using software components: the grid-TLSE project as an illustration. CSIT 2005 : Fifth International Conference on Computer Science and Information Technologies, Sep 2005, Yerevan, Armenia. 2005. <hal-00695052>
  • Michel Daydé, Luc Giraud, M. Hernandez, Jean-Yves L'Excellent, Marc Pantel, et al.. An Overview of the GRID-TLSE Project. VECPAR'04, Jun 2004, Valence, Spain. 2004. <hal-00688814>

Pré-publication, Document de travail8 documents

  • Ning Ge, Marc Pantel, Bernard Berthomieu. A Flexible WCET Analysis Method for Safety-Critical Real-Time System using UML-MARTE Model Checker. 2016. <hal-01399626>
  • Ning Ge, Marc Pantel, Xavier Crégut. Time Properties Dedicated Transformation from UML-MARTE Activity to Time Petri Net. 2012. <hal-00686986>
  • Andres Toom, Arnaud Dieumegard, Marc Pantel. Specification and Validation of Model Transformations for Certified Systems' Development. 2012. <hal-00677881>
  • Ning Ge, Marc Pantel, Xavier Crégut. Formal Specification and Verification of Task Time Constraints for Real-Time Systems. 2012. <hal-00695622>
  • Ning Ge, Marc Pantel. Verification of Synchronization-Related Properties for UML-MARTE RTES Models with a Set of Time Constraints Dedicated Formal Semantic. 2012. <hal-00677925>
  • Arnaud Dieumegard, Andres Toom, Marc Pantel. Comparing transformation languages for the implementation of certified model transformations. 2012. <hal-00677883>
  • Faiez Zalila, Xavier Crégut, Marc Pantel. Leveraging formal verification tools for DSML users: a process modeling case study. 15 pages. 2012. <hal-00720917>
  • Ning Ge, Marc Pantel. Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems. 2012. <hal-00675778v2>

Ouvrage (y compris édition critique et traduction)1 document

  • Yves Ledru, Marc Pantel. Actes des journées nationales du GDR CNRS Génie de la Programmation et du Logiciel. Ledru, Yves and Pantel, Marc. IRIT Press, 2009, 978-2-917490-04-4. <hal-00953597>

Article dans une revue7 documents

  • Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Féron, et al.. Credible Autocoding of Convex Optimization Algorithms. Optimization and Engineering, Springer Verlag, 2016, 17 (4), pp.781-812. <hal-00961133>
  • Mounira Kezadri, Marc Pantel, Xavier Thirioux, Benoit Combemale. Correct-by-construction model driven engineering composition operators. Formal Aspects of Computing, Springer Verlag, 2016, 28 (3), <http://link.springer.com/article/10.1007%2Fs00165-016-0354-6>. <10.1007/s00165-016-0354-6>. <hal-01319576>
  • Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, et al.. Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software. Formal methods for aerospace, 2010, 18, pp.80-87. <10.4204/EPTCS.20.9>. <hal-00624134>
  • Aurélie Hurault, Michel Dayde, Marc Pantel. Advanced service trading for scientific computing over the grid. Journal of Supercomputing, Springer Verlag, 2009, 49, pp.64-83. <10.1007/s11227-008-0234-9>. <hal-00688665>
  • Benoît Combemale, Xavier Crégut, Marc Pantel, Pierre Michel. SéMo'07 : premier atelier sur la Sémantique des Modèles. Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2007, 13 (4), pp.137-144. <10.3166/obj.13.4.137-144>. <hal-00369871>
  • Eddy Caron, Frédéric Desprez, M. Daydé, Aurélie Hurault, Marc Pantel. On deploying scientific software within the GRID-TLSE project. Computing Letters, Brill Academic Publishers, 2005, 1 (3), pp.85-92. <10.1163/1574040054861267>. <hal-00688802>
  • Eddy Caron, Frédéric Desprez, Michel Dayde, Aurélie Hurault, Marc Pantel. On deploying scientific software within the Grid-TLSE project. Computing Letters, Brill Academic Publishers, 2005, 1 (3), pp.85-92. <10.1163/1574040054861267>. <hal-00689512>

Rapport5 documents

  • Arnaud Dieumegard, Andres Toom, Marc Pantel. Software product line for semantic specification of block libraries in dataflow languages. 2014. <hal-00996850>
  • Benoit Combemale, Xavier Crégut, Marc Pantel. A Design Pattern for Executable DSML. [Research Report] RR-8063, 2012, pp.19. <inria-00540648v3>
  • Stéphane Drapeau, Gaël Blondelle, Damien Fournier, Philippe Merle, Marc Pantel, et al.. Conception and Development Tools for SCOrWare - Version 2.0. [Research Report] 2009. <inria-00595503v2>
  • Eddy Caron, Frédéric Desprez, Jean-Yves L'Excellent, Marc Pantel, Chiara Puglisi-Amestoy, et al.. Use of A Network Enabled Server System for a Sparse Linear Algebra Grid Application. [Research Report] RR-5595, INRIA. 2005, pp.23. <inria-00070412>
  • Eddy Caron, Frédéric Desprez, Christophe Hamerling, Jean-Yves L'Excellent, Marc Pantel, et al.. Use of A Network Enabled Server System for a Sparse Linear Algebra Grid Application . [Research Report] RR-2005-30, LIP - ENS Lyon. 2005. <hal-01429873>