70 results  save search

hal-00601440v1  Conference papers
Mathieu GiorginoMartin StreckerRalph MatthesMarc Pantel. Verification of the Schorr-Waite Algorithm - From Trees to Graphs
Logic-Based Program Synthesis and Transformation, Jul 2010, Hagenberg, Austria. pp.67-83, ⟨10.1007/978-3-642-20551-4_5⟩
hal-01402565v1  Conference papers
Ning GeShin NakajimaMarc Pantel. Hidden Markov Model Based Automated Fault Localization for Integration Testing
4th International Conference on Software Engineering and Service Science (ICSESS 2013), May 2013, Beijing, China. pp. 1-4
inria-00551370v1  Conference papers
Ricardo Bedin FrançaDenis Favre-FelixXavier LeroyMarc PantelJean Souyris. Towards Formally Verified Optimizing Compilation in Flight Control Software
PPES 2011: Predictability and Performance in Embedded Systems, Mar 2011, Grenoble, France. pp.59-68, ⟨10.4230/OASIcs.PPES.2011.59⟩
hal-00653367v1  Conference papers
Ricardo Bedin FrançaSandrine BlazyDenis Favre-FelixXavier LeroyMarc Pantel et al.  Formally verified optimizing compilation in ACG-based flight control software
ERTS2 2012: Embedded Real Time Software and Systems, AAAF, SEE, Feb 2012, Toulouse, France
hal-00953597v1  Books
Yves LedruMarc 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
inria-00504667v1  Conference papers
Xavier CrégutBenoit CombemaleMarc PantelRaphaël FaudouxJonatas 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. pp.90--103
hal-01357001v1  Conference papers
Florent LatombeXavier CrégutMarc Pantel. Concurrency-aware eXecutable Domain-Specific Modeling Languages as Models of Concurrency
2nd International Workshop on Executable Modeling, Oct 2016, Saint-Malo, France
hal-00926244v1  Conference papers
Benoit CombemaleJulien DeantoniRobert FranceFrédéric BoulangerSé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. pp.3-13
hal-01784172v1  Conference papers
Faiez ZalilaEric JennMarc Pantel. Model Execution and Debugging: A process to leverage existing tools
ModelsWard (5th International Conference on Model-Driven Engineering and Software Development), Feb 2017, Porto, Portugal. pp. 401-408
hal-02061966v1  Journal articles
Fabien DagnatMarc PantelMatthias ColinPatrick Sallé. Typing Concurrent Objects and Actors
L'Objet, méthodes formelles pour les objets, Hermes Science Publications, 2000
hal-00739332v1  Conference papers
Benoit CombemaleXavier CrégutMarc 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
hal-01231772v1  Conference papers
Faiez ZalilaXavier CrégutMarc 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
hal-01408375v1  Conference papers
Ning GeMarc PantelXavier 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
inria-00614593v1  Conference papers
Mounira KezadriBenoit CombemaleMarc PantelXavier Thirioux. A Proof Assistant Based Formalization of components in MDE
8th International Symposium on Formal Aspects of Component Software (FACS 2011), University of Oslo, Norway, Sep 2011, Oslo, Norway
hal-01222999v1  Conference papers
Florent LatombeXavier CrégutJulien DeantoniMarc PantelBenoit 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
hal-00371596v1  Conference papers
Benoit CombemaleXavier CrégutJean-Pierre GiacomettiPierre MichelMarc 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/
hal-01316816v1  Conference papers
Arnaud DieumegardMarc PantelGuillaume BabinMartin Carton. Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs
15th International Workshop on OCL and Textual Modeling Workshop at the MODELS conference (OCL-TM 2015) co-located with 18th International Conference on Model Driven Engineering Languages and Systems, Sep 2015, Ottawa, Canada. pp. 89-104
hal-00646350v2  Conference papers
Jean-Christophe BachXavier CrégutPierre-Etienne MoreauMarc Pantel. Model Transformations with Tom
LDTA - 12th Workshop on Language Descriptions, Tools and Applications - 2012, Mar 2012, Tallinn, Estonia. pp.16
hal-00730738v1  Conference papers
Jean-Christophe BachPierre-Etienne MoreauMarc Pantel. Tom-based tools to transform EMF models in avionics context
ITSLE - Industrial Track of Software Language Engineering 2012, Sep 2012, Dresden, Germany
hal-01024067v1  Conference papers
Mounira KezadriMarc PantelBenoit CombemaleXavier Thirioux. A formal framework to prove the correctness of model driven engineering composition operators
hal-00788450v1  Conference papers
Alexandre CortierLoïc BesnardJean-Paul BodeveixJérémy BuissonFabien 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
hal-02061818v1  Book sections
Alexandre CortierLoïc BesnardJean-Paul BodeveixJérémy BuissonFabien Dagnat et al.  Synoptic: a domain-specific modeling language for space on-board application software
Synthesis of embedded software, frameworks and methodologies for correctness by construction, Springer, pp.79 - 119, 2010, Engineering, 978-1-4419-6399-4. ⟨10.1007/978-1-4419-6400-7_3⟩