• Filters
• Author: IdHal (string)  ×
• All  ×

55 results  save search

 Search

 Advanced Search…  Simple search…

 

Default search field (multi-criteria) 

• Default search field (multi-criteria)
• Default search field (multi-criteria) + PDF full text
• Titles
• Subtitle
• Work title
• hal_serie_t
• Abstract
• Full text of PDF document
• Keywords
• All document identifiers
• HAL submission identifier
• Language of document (text)
• Country (Text)
• City
• hal_inPress_bool
• Author (multi-criteria)
• Author: Full name
• Author: Last name
• Author: First name
• Author: middle name
• Author: funding institution
• Author: IdHal (string)
• Author: function
• Author: idHal (integer)
• Author: Identifier
• Author: funding institution identifier
• Author: Structure identifier
• Thesis director
• Publisher
• Scientific editor
• Series editor
• Journals (multi-criteria)
• Journal: Publisher
• Journal: Abbreviated title
• Journal: Title
• Journal: Internal identifier
• Journal: beginning publication date
• Journal: online ISSN
• Journal: ISSN
• Journal: Publisher
• Journal: SHERPA/RoMEO color
• Journal: referential status
• Conference (multi-criteria)
• Conference: Title
• Conference: Organiser
• Conference: beginning date (Year)
• Conference: end date (Year)
• Invited communication (yes/no)
• ANR project (multi-criteria)
• ANR project: Acronym
• ANR project: Call Acronym
• ANR project: Project call name
• ANR project: Reference
• ANR project: Name
• ANR project: Internal identifier
• ANR project: Referential Status
• European project (multi-criteria)
• European project: Acronym
• European project: Call identifier
• European project: Reference
• European project: Name
• European project: end date
• European project: Funding
• European project: beginning date
• European project: Referential status
• European project: Internal identifier
• Structure (multi-criteria)
• Structure: Acronym
• Structure: Name
• Structure: Code
• Structure: Country
• Structure: Type
• Structure: Referential status
• Structure: Internal structure identifier
• Structure/research team: Country
• Structure/department: Country
• Structure/laboratory: Country
• Structure/group of departments: State
• Structure/institution: Country
• Structure/group of institutions: Country
• Publication date: year
• Release date: year
• Writing date: year
• Date modified: year
• Submission Date: year
• Online Publication date: year
• HAL Collection (multi-criteria)
• HAL Collection: category
• HAL Collection: Code
• HAL Collection: Name
• HAL Collection: Internal identifier
• Contributor/author Internal identifier
• Contributor/author Full name
• Domains
• Primary domain
• Root domain
• Sub-domain level 1
• Sub-domain level 2
• Sub-domain level 3
• Status of document
• Document version
• Submission type
• Document type
• ISBN
• Number - reference
• Identifier: DOI
• Classification
• Audience
• Vulgarization
• Peer reviewing - text (yes or no)
• Conference proceedings
• Internal reference
• Funding
• Collaborations

 

	1 2	Sort  Relevance  Author A→Z  Author Z→A  Title A→Z  Title Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Number 30 results per page 50 results per page 100 results per page × Merci d'indiquer la raison de votre demande Annuler Envoyer la demande  Tools  o  Export XML-TEI BibTeX EndNote CSV PDF RTF  Advanced export...  Syndicated feeds RSS ATOM
	hal-01429567v1  Conference papers 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-01429873v1  Reports 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-00624134v1  Journal articles 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-00369871v1  Journal articles Benoit 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-00371596v1  Conference papers Benoit 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/
	hal-01357001v1  Conference papers Florent Latombe, Xavier Crégut, Marc 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ç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, AAAF, SEE, Feb 2012, Toulouse, France
	hal-00953597v1  Books 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-01503384v1  Preprints, Working Papers, ... Mathieu Montin, Marc Pantel. Clock Constraints Specification Langage : A mechanized denotational semantics in Agda 2017
	hal-00492327v1  Conference papers 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-01185911v1  Conference papers Florent Latombe, Xavier Crégut, Benoit 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
	inria-00504667v1  Conference papers 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. pp.90--103
	inria-00070412v1  Reports 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-5595, LIP RR-2005-30, INRIA, LIP. 2005, pp.23
	hal-00788450v1  Conference papers 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
	hal-00689914v1  Conference papers 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 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-00688781v1  Conference papers 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 Workshop on Future Generation Grids, Nov 2006, Dagstuhl, Germany. pp.171-193, ⟨10.1007/978-0-387-29445-2_10⟩
	hal-00689156v1  Conference papers Patrick Amestoy, Michel Daydé, Christophe Hamerling, Marc Pantel, Chiara Puglisi. Management of Services Based on a Semantic Description Within the GRID-TLSE Project VECPAR'06, Jul 2006, Rio de Janeiro, Brazil. pp.634-643, ⟨10.1007/978-3-540-71351-7_50⟩
	hal-00688814v1  Conference papers Michel Daydé, Luc Giraud, M. Hernandez, Jean-Yves l'Excellent, Marc Pantel et al.  An Overview of the GRID-TLSE Project VECPAR'04, Universidad Politécnica de Valencia, Jun 2004, Valence, Spain
	hal-00688802v1  Journal articles 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⟩
	inria-00540648v3  Reports Benoit Combemale, Xavier Crégut, Marc Pantel. A Design Pattern for Executable DSML [Research Report] RR-8063, 2012, pp.19
	hal-00730738v1  Conference papers 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
	hal-00646350v2  Conference papers 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. pp.16
	inria-00551370v1  Conference papers 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. pp.59-68, ⟨10.4230/OASIcs.PPES.2011.59⟩
	hal-00601440v1  Conference papers Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc 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 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-01408375v1  Conference papers 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-02061966v1  Journal articles Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé. Typing Concurrent Objects and Actors L'Objet, méthodes formelles pour les objets, Hermes Science Publications, 2000
	hal-00688665v1  Journal articles 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⟩
	inria-00614593v1  Conference papers 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), University of Oslo, Norway, Sep 2011, Oslo, Norway
	hal-00116251v1  Conference papers Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation May 2006, pp.78-92, ⟨10.1007/11768869_8⟩
	1 2	Sort  Relevance  Author A→Z  Author Z→A  Title A→Z  Title Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Number 30 results per page 50 results per page 100 results per page  Tools  o  Export XML-TEI BibTeX EndNote CSV PDF RTF  Advanced export...  Syndicated feeds RSS ATOM