Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Home
Submit
Browse
By publication type
By publication year
By subject
By laboratory
By author
By collection
Search
Theses
Help to deposit
Create your idHAL and your CV
Deposit a document
Deposit in HAL with Dissemin
Contact
Legal questions
Am I entitled to deposit my paper ?
All answers
To know more about the law
FAQ
Tools
AureHAL
SpirHAL
HALTools
OCdHAL
OverHAL
X2HAL
Search
Les Filtres
Filters
Author: IdHal (string) ×
All ×
61 results
save search
Document types
Minimize
Conference papers
(39)
Preprints, Working Papers, ...
(10)
Journal articles
(6)
Reports
(5)
Books
(1)
Author
Minimize
Marc Pantel
(61)
Idir Ait-Sadoune
(1)
Patrick Amestoy
(1)
Hrachya Astsatryan
(2)
Yamine Aït-Ameur
(4)
Jean-Christophe Bach
(2)
Djamel Belaïd
(1)
Bernard Berthomieu
(2)
Loïc Besnard
(2)
Sandrine Blazy
(1)
Gaël Blondelle
(1)
Jean-Paul Bodeveix
(4)
Matteo Bordin
(1)
Frédéric Boulanger
(1)
Jérémy Buisson
(2)
Eddy Caron
(6)
Matthias Colin
(1)
Benoit Combemale
(10)
Benoit Combemale
(2)
Alexandre Cortier
(3)
Xavier Crégut
(18)
Fabien Dagnat
(3)
Michel Dayde
(2)
M. Daydé
(1)
Michel Daydé
(4)
Julien Deantoni
(3)
Frédéric Desprez
(4)
Arnaud Dieumegard
(4)
Stéphane Drapeau
(1)
Guillaume Dupont
(3)
Marc Dutoo
(1)
Raphaël Faudoux
(1)
Denis Favre-Felix
(2)
Mamoun Filali
(1)
M Filali
(2)
Damien Fournier
(1)
Robert France
(1)
Ricardo Bedin França
(2)
Eric Féron
(1)
G. Garcia
(2)
Gérald Garcia
(1)
Pierre-Loïc Garoche
(2)
Thierry Gautier
(2)
Ning Ge
(7)
Jean-Pierre Giacometti
(1)
John Paul Gibson
(1)
Mathieu Giorgino
(1)
Luc Giraud
(1)
Wenceslas Godard
(1)
Christophe Hamerling
(4)
Didier Henrion
(1)
M. Hernandez
(1)
Aurélie Hurault
(5)
Nassima Izerrouken
(1)
Romain Jobredeaux
(1)
Etienne Juliot
(1)
Olivier Ssi Yan Kai
(1)
Mounira Kezadri
(3)
Jean-Yves l'Excellent
(4)
Florent Latombe
(4)
Yves Ledru
(1)
Xavier Leroy
(2)
Soukayna M'Sirdi
(1)
Ralph Matthes
(1)
Philippe Merle
(1)
Pierre Michel
(2)
Mathieu Montin
(1)
E. Morand
(1)
Pierre-Etienne Moreau
(2)
Sébastien Mosser
(1)
Dominique Méry
(1)
Tonu Naks
(2)
David Navarre
(1)
Julien Ouy
(2)
Philippe Palanque
(1)
Jonatas Pavei
(1)
Chiara Puglisi
(1)
Chiara Puglisi-Amestoy
(4)
Ana-Elena Rugina
(2)
A Rugina
(1)
Bernhard Rumpe
(1)
Vladimir Sahakyan
(1)
Rick Salay
(1)
Patrick Sallé
(1)
Martin Schindler
(1)
Yuri Shoukouryan
(1)
Neeraj Kumar Singh
(2)
Neeraj Singh
(2)
Jean Souyris
(2)
Martin Strecker
(4)
Jean-Pierre Talpin
(3)
Samir Tata
(1)
Xavier Thirioux
(4)
Andres Toom
(5)
François Vernadat
(1)
Timothy Wang
(1)
Faiez Zalila
(5)
Silvano Dal Zilio
(2)
Subject field
Minimize
Computer Science [cs]
(61)
Mathematics [math]
(1)
Laboratory
Minimize
Institut de recherche en informatique de Toulouse
(60)
Institut de Recherche en Informatique et Systèmes Aléatoires
(14)
Inria Rennes – Bretagne Atlantique
(13)
Laboratoire de l'Informatique du Parallélisme
(7)
Inria Grenoble - Rhône-Alpes
(5)
Inria Paris-Rocquencourt
(5)
Laboratoire d'analyse et d'architecture des systèmes
(4)
Inria Sophia Antipolis - Méditerranée
(3)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(3)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(3)
Thales Alenia Space [Cannes]
(3)
Fédération de Recherche en Informatique et Automatique
(2)
Inria Nancy - Grand Est
(2)
ASTRIUM
(1)
Astrium [Toulouse]
(1)
Atos Worldline
(1)
Centre Européen de Recherche et de Formation Avancée en Calcul Scientifique
(1)
Conception, synthèse et vectorisation de biomolécules.
(1)
Daniel Guggenheim School of Aerospace Engineering
(1)
Department of Computer Science [Aachen]
(1)
Department of Electrical Engineering, Information Technology, Physics [Braunschweig]
(1)
EBM WebSourcing | Petals Links
(1)
IB Krates OÜ
(1)
INRIA Lorraine
(1)
Inria Lille - Nord Europe
(1)
Laboratoire d'Acoustique de l'Université du Mans
(1)
Laboratoire d'Informatique Fondamentale de Lille
(1)
Laboratoire d'Informatique de Grenoble
(1)
Laboratoire de Recherche en Informatique
(1)
ONERA - The French Aerospace Lab [Toulouse]
(1)
Open Wide
(1)
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
(1)
Supélec Sciences des Systèmes
(1)
Language
Minimize
English
(60)
French
(1)
Type of deposit
Minimize
Fulltext
(44)
Notice
(17)
Year
Minimize
2019
(2)
2018
(2)
2017
(2)
2016
(7)
2015
(2)
2014
(3)
2013
(4)
2012
(13)
2011
(3)
2010
(5)
2009
(5)
2008
(2)
2007
(2)
2006
(3)
2005
(4)
2004
(1)
2000
(1)
Search
Help
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
hal_anrProjectAcronymProgram_t
ANR project: Code decision (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
hal_publicationDateY_i
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
Add
Successfully saved
My saved searches / my alerts
An error occurred while saving
1
2
3
Suivant
Dernière
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
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
RTF
Advanced export...
Syndicated feeds
RSS
ATOM
hal-00953597
v1
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-02267640
v1
Conference papers
Andres Toom
,
Nassima Izerrouken
,
Tonu Naks
,
Marc Pantel
,
Olivier 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-00369871
v1
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-01589479
v1
Conference papers
Ning Ge
,
Marc Pantel
,
Silvano 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-01231772
v1
Conference papers
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
hal-00688781
v1
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-01408375
v1
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-00695622
v1
Preprints, Working Papers, ...
Ning Ge
,
Marc Pantel
,
Xavier Crégut
.
Formal Specification and Verification of Task Time Constraints for Real-Time Systems
2012
hal-01399626
v1
Preprints, Working Papers, ...
Ning Ge
,
Marc Pantel
,
Bernard Berthomieu
.
A Flexible WCET Analysis Method for Safety-Critical Real-Time System using UML-MARTE Model Checker
2016
hal-01429873
v1
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-00677883
v1
Preprints, Working Papers, ...
Arnaud Dieumegard
,
Andres Toom
,
Marc Pantel
.
Comparing transformation languages for the implementation of certified model transformations
2012
hal-01289687
v1
Conference papers
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
hal-00688802
v1
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⟩
hal-00996850
v1
Reports
Arnaud Dieumegard
,
Andres Toom
,
Marc Pantel
.
Software product line for semantic specification of block libraries in dataflow languages
2014
hal-00686986
v1
Preprints, Working Papers, ...
Ning Ge
,
Marc Pantel
,
Xavier Crégut
.
Time Properties Dedicated Transformation from UML-MARTE Activity to Time Petri Net
2012
hal-00677881
v1
Preprints, Working Papers, ...
Andres Toom
,
Arnaud Dieumegard
,
Marc Pantel
.
Specification and Validation of Model Transformations for Certified Systems' Development
2012
hal-00720917
v1
Preprints, Working Papers, ...
Faiez Zalila
,
Xavier Crégut
,
Marc Pantel
.
Leveraging formal verification tools for DSML users: a process modeling case study
2012
hal-00677925
v1
Preprints, Working Papers, ...
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-00116251
v1
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⟩
inria-00070412
v1
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-00371596
v1
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-01430628
v1
Conference papers
John 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
hal-02267722
v1
Conference papers
Alexandre Cortier
,
Jean-Paul Bodeveix
,
M Filali
,
G. Garcia
,
E. 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-00961133
v1
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-03012569
v1
Conference papers
Guillaume Dupont
,
Yamine Aït-Ameur
,
Marc Pantel
,
Neeraj 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-00614593
v1
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-00730738
v1
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-00646350
v2
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
hal-02263437
v1
Conference papers
Matteo Bordin
,
Tonu Naks
,
Andres Toom
,
Marc Pantel
.
Compilation of Heterogeneous Models: Motivations and Challenges
Embedded Real Time Software and Systems (ERTS2012)
, Feb 2012, Toulouse, France
hal-00675778
v2
Preprints, Working Papers, ...
Ning Ge
,
Marc Pantel
.
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems
2012
1
2
3
Suivant
Dernière
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
Label
Save
Cancel
Compulsory field(s) not filled in.