Skip to Main content Skip to Navigation

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
hal-02267640v1  Conference papers
Andres ToomNassima IzerroukenTonu NaksMarc PantelOlivier Ssi Yan Kai. Towards Reliable Code Generation with an Open Tool: Evolutions of the Gene-Auto toolset
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
hal-00369871v1  Journal articles
Benoit CombemaleXavier CrégutMarc PantelPierre 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-01589479v1  Conference papers
Ning GeMarc PantelSilvano Dal Zilio. Formal Verification of User-Level Real-Time Property Patterns
11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), Sep 2017, Sophia Antipolis, France. 8p
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
hal-01289687v1  Conference papers
Soukayna M'SirdiWenceslas GodardMarc 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
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.
hal-01430628v1  Conference papers
John Paul GibsonIdir Ait-SadouneMarc Pantel. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.
7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece
hal-02267722v1  Conference papers
Alexandre CortierJean-Paul BodeveixM FilaliG. GarciaE. Morand et al.  Synoptic: a DSML for On-Board Real-Time Software Design
5th European Congress on Embedded Real Time Software and Systems (ERTS2 2010), May 2010, Toulouse, France
hal-00961133v1  Journal articles
Timothy WangRomain JobredeauxMarc PantelPierre-Loïc GarocheEric Féron et al.  Credible Autocoding of Convex Optimization Algorithms
Optimization and Engineering, Springer Verlag, 2016, 17 (4), pp.781-812
hal-03012569v1  Conference papers
Guillaume DupontYamine Aït-AmeurMarc PantelNeeraj Singh. Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B
13th International Symposium on Theoretical Aspects of Software Engineering - TASE 2019, Jul 2019, Guilin, China. ⟨10.1109/TASE.2019.00-25⟩
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-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-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-02263437v1  Conference papers
Matteo BordinTonu NaksAndres ToomMarc Pantel. Compilation of Heterogeneous Models: Motivations and Challenges
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France