55 results  save search


  • 1
  • 2
hal-01429567v1  Conference papers
Hrachya AstsatryanEddy CaronMichel DaydéAurélie HuraultMarc 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-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-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-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-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
...
hal-01185911v1  Conference papers
Florent LatombeXavier CrégutBenoit CombemaleJulien DeantoniMarc Pantel. Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States
...
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-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-00689914v1  Conference papers
Hrachya AstsatryanVladimir SahakyanYuri ShoukouryanMichel DaydéAurélie Hurault et al.  A grid-aware web portal with advanced service trading for linear algebra calculations
VECPAR 2008: 8th International Conference High Performance Computing for Computational Science, Jun 2008, Toulouse, France. pp.150-159, ⟨10.1007/978-3-540-92859-1_15⟩
hal-00688814v1  Conference papers
Michel DaydéLuc GiraudM. HernandezJean-Yves l'ExcellentMarc Pantel et al.  An Overview of the GRID-TLSE Project
VECPAR'04, Universidad Politécnica de Valencia, Jun 2004, Valence, Spain
...
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
...
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-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-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-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-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
...
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
  • 1
  • 2