Publications
Consultation de la base des publications de l'IRIT
Pantel Marc
Pour une recherche plus ciblée, utiliser l'interface d'interrogation de
la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.
Articles de revues internationales / International journals articles
-
Aurélie Hurault, Michel Daydé, Marc Pantel. Advanced service trading for scientific computing over the grid. Dans : Journal of Supercomputing, Springer-Verlag, Vol. 49 N. 1, p. 64-83, juillet 2009.
Accès : http://www.springerlink.com/content/82w83315wt028332/
BibTeX
-
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. Abstract Interpretation-based Static Safety for Actors. Dans : Journal of Software, Academy Publisher, Finland, Vol. 2 N. 3, p. 87-98, septembre 2007.
BibTeX
-
Michel Daydé, Frédéric Desprez, Aurélie Hurault, Marc Pantel. On deploying scientific software within the GRID-TLSE project. Dans : Computing Letters, VSP/Brill Academic Publisher, Vol. 1 N. 3, p. 85-92, juillet 2005.
BibTeX
Articles de revues nationales / National journals articles
-
Benoit Combemale, Xavier Crégut, Pierre Michel, Marc Pantel. SéMo'07 : premier atelier sur la Sémantique des Modèles. Dans : L'Objet, Hermès Science Publications, Numéro spécial Ingénierie Dirigée par les Modèles, Vol. 13, N. 4, p. 137-144, janvier 2008.
Résumé
BibTeX
-
Jean-Paul Arcangeli, Sébastien Leriche, Marc Pantel. Un framework à composants et agents pour les applications réparties à grande échelle. Dans : Revue des Sciences et Technologies de l'Information, série L'Objet, Lavoisier, Vol. 12, N. 4, p. 103-132, décembre 2006.
Résumé
BibTeX
-
Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé. Typing Concurrent Objects and Actors. Dans : L'Objet - Méthodes formelles pour les objets, Hermès, Vol. 6, N. 1, p. 83-106, janvier 2000.
BibTeX
Contributions à des ouvrages de synthèse / Books parts
-
Eddy Caron, Frédéric Desprez, Jean-Yves L'Excellent, Christophe Hamerling, Marc Pantel, Chiara Puglisi. Use of A Network Enabled Server System for a Sparse Linear Algebra Application. Dans : Future Generation Grids. Michel Cosnard, Vladimir Getov, Alexander Reinefeld, Domenico Talia (Eds.), Springer Verlag, Vol. 2, CoreGrid Series, 2005.
BibTeX
-
Jean-Louis Colaço, Marc Pantel, Patrick Sallé. Static analysis of behavior changes in Actor languages. Dans : Object-Oriented Parallel and Distributed Programming. Jean-Paul Bahsoun, Takanobu Baba, Jean-Pierre Briot, Akinori Yonezawa (Eds.), Hermès Science, 8, quai du Marché-Neuf, 75004 Paris, France, p. 53-72, janvier 2000.
BibTeX
Conférences et workshops internationaux / International conferences articles
-
Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, Gérald Garcia, Ana-Helena Rugina, Jérémy Buisson, Fabien Dagnat. Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software (regular paper). Dans : Workshop on Formal Methods for Aerospace (FMA 2009), Eindhoven, 03/11/2009, Vol. 20, Manuela Bujorianu, Michael Fisher (Eds.), Electronic Proceedings in Theoretical Computer Science, p. 80-87, mars 2010.
Accès : http://arxiv.org/abs/1003.0554v1
BibTeX
-
Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel. Verification of the Schorr-Waite algorithm - From trees to graphs (regular paper). Dans : International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010), Hagenberg, Austria, 23/07/2010-25/07/2010, 2010 (à paraître).
Résumé
Accès : http://www.irit.fr/~Mathieu.Giorgino/Publications/GiSt2010SchorrWaite.html
BibTeX
-
Xavier Crégut, Benoit Combemale, Marc Pantel, Raphaël Faudoux, Jonatas Pavei. Generative Technologies for Model Animation in the TOPCASED Platform (regular paper). Dans : European Conference on Modelling Foundations and Applications (ECMFA 2010), Paris, 15/06/2010-18/06/2010, juin 2010 (à paraître).
Résumé
BibTeX
-
Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux. Use of Formal Methods for Building Qualified Code Generator for Safer Automotive Systems (regular paper). Dans : Critical Automotive applications: Robustness & Safety @ European Dependable Computing Conference (CARS@EDCC 2010), Valencia, 27/04/2010-30/04/2010, ACM, avril 2010 (à paraître).
BibTeX
-
Alexandre Cortier, Jean-Paul Bodeveix, Marc Pantel, Martin Strecker, Gérald Garcia, Eric Morand, Ana-Helena Rugina, Jean-Pierre Talpin. Synoptic : a Domain Specific Modeling Language for Embed- ded Real-Time Flight Software Design (regular paper). Dans : International Conference on Embedded Real Time Software and Systems (ERTS2 2010), Toulouse, 19/05/2010-21/05/2010, SIA/3AF/SEE, (support électronique), mai 2010.
BibTeX
-
Andres Toom, Nassima Izerrouken, Marc Pantel, Olivier Ssi Yan Kai, Tonu Naks. Towards Reliable Code Generation with an Open Tool: Evolutions of the GeneAuto Toolset (regular paper). Dans : International Conference on Embedded Real Time Software and Systems (ERTS2 2010), Toulouse, 19/05/2010-21/05/2010, SIA/3AF/SEE, (support électronique), mai 2010.
BibTeX
-
Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai. Integrated Formal Approach for Qualified Critical Embedded Code Generator (short paper). Dans : International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009), Eindhoven - The Netherlands, 02/11/2009-03/11/2009, Springer-Verlag, p. 199-201, 2009.
BibTeX
-
Nassima Izerrouken, Marc Pantel, Xavier Thirioux. Machine Checked Sequencer for Critical Embedded Code Generator (regular paper). Dans : International Conference on Formal Engineering Methods (ICFEM 2009), Rio de Janeiro, Brazil, 09/12/2009-12/12/2009, Springer-Verlag, p. 521-540, décembre 2009.
BibTeX
-
Hrachya Astsatryan, Vladimir Sahakyan, Youri Shoukouryan, Michel Daydé, Aurélie Hurault, Marc Pantel, Eddy Caron. A Grid-Aware Web Interface with Advanced Service Trading for Linear Algebra Calculations.. Dans : International Meeting
High Performance Computing for Computational Science (VECPAR 2008), Toulouse, 24/06/2008-27/06/2008, Springer, lncs 5336, p. 150-159, 2008.
BibTeX
-
Andres Toom, Tonu Naks, Marc Pantel, Marcel Gandriau, Indra Wati. GeneAuto: An Automatic Code Generator for a safe subset of SimuLink/StateFlow. Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/2008-01/02/2008, Société des Ingénieurs de l'Automobile, (support électronique), 2008.
BibTeX
-
Nassima Izerrouken, Xavier Thirioux, Marc Pantel, Martin Strecker. Certifying an Automated Code Generator Using Formal Tools : Preliminary Experiments in the GeneAuto Project. Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/2008-01/02/2008, Société des Ingénieurs de l'Automobile, (support électronique), 2008.
BibTeX
-
Benoit Combemale, Xavier Crégut, Jean-Patrice Giacometti, Pierre Michel, Marc Pantel. Introducing Simulation and Model Animation in the MDE Topcased Toolkit. Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/2008-01/02/2008, Société des Ingénieurs de l'Automobile, (support électronique), janvier 2008.
BibTeX
-
Marc Pantel. The TOPCASED project: a Toolkit in OPen source for Critical Applications & SystEms Design. Dans : Model-Driven Development Tool Implementers Forum (MDD-TIF 2007), Zurich, 24/06/2007, Domain Specific Modelling Forum (DSMF), (en ligne), juin 2007.
Accès : http://www.dsmforum.org/events/MDD-TIF07/TOPCASED.pdf
BibTeX
-
Patrick Amestoy, Michel Daydé, Ronan Guivarch, Christophe Hamerling, Marc Pantel. Use of Scenarios for Generating Dynamic Execution Workflows over the Grid within the Grid-TLSE project. Dans : International E-Conference on Computer Science, Electronic Conference, 10/07/2006-14/07/2006, Vol. 8, Theodore Simos, Georgios Psihoyios (Eds.), BRILL, Lecture Series on Computer and Computational Science, p. 1-11, septembre 2007.
BibTeX
-
Patrick Farail, Pierre Gaufillet, Agusti Canals, Christophe Le Camus, David Sciamma, Pierre Michel, Xavier Crégut, Marc Pantel. The TOPCASED project: a Toolkit in Open source for Critical Aeronautic SystEms Design. Dans : European Congress on Embedded Real-Time Software (ERTS 2006), Toulouse, 25/01/2006-27/01/2006, Société des Ingénieurs de l'Automobile, (support électronique), janvier 2006.
BibTeX
-
Michel Daydé, Aurélie Hurault, Marc Pantel. Semantic-based Service trading: Application to Linear Algebra. Dans : VECPAR'06 - Workshop on Computational Grids and Clusters (WCGC 2006), Rio de Janeiro, Brésil, 10/07/2006-13/07/2006, Springer-Verlag, LNCS 4395, p. 622-633, 2006.
BibTeX
-
Benoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel. Towards rigorous metamodeling. Dans : Model-Driven Enterprise Information Systems (MDEIS 2006), Paphos - Cyprus, 23/05/2006, Luís Ferreira Pires, Slimane Hammoudi (Eds.), INSTICC Press, p. 1-15, mai 2006.
Résumé
BibTeX
-
Patrick Amestoy, Michel Daydé, Christophe Hamerling, Marc Pantel, Chiara Puglisi. Management of services based on a semantic description within the GRID-TLSE project. Dans : VECPAR'06 - Workshop on Computational Grids and Clusters (WCGC 2006), Rio de Janeiro, Brésil, 10/07/2006-13/07/2006, Springer-Verlag, LNCS 4395, p. 634-643, juillet 2006.
BibTeX
-
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. Dans : IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna, Italy, 14/06/2006-16/06/2006, Vol. 4037, Roberto Gorrieri, Heike Wehrheim (Eds.), Springer, LNCS , p. 78-92, juin 2006.
Résumé
BibTeX
-
Michel Daydé, Aurélie Hurault, Marc Pantel. Gridification of Scientific Application Using Software Components: the Grid-TLSE Project as an illustration. Dans : CSIT 2005, Yerevan, Armenia, 19/09/2005-23/09/2005, National Academy of Siences of Armenia, Yerevan, Armenia, p. 419-427, septembre 2005.
BibTeX
-
Aurélie Hurault, Marc Pantel. Mathematical Service Trading Based on Equational Matching. Dans : Calculemus'05: 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Newcastle, 18/07/2005-22/07/2005, Electronic Notes in Theoretical Computer Science, juillet 2005.
BibTeX
-
Michel Daydé, Luc Giraud, Montse Hernandez, Jean-Yves L'Excellent, Marc Pantel, Chiara Puglisi. An Overview of the GRID-TLSE Project. Dans : 6th International Meeting VECPAR'04, Valencia, Espagne, 28/06/2004-30/06/2004, Michel Daydé, Jack Dongarra, Vicente Hernandez, Jose Palma (Eds.), Universidad Politécnica de Valencia, p. 851-856, juin 2004.
BibTeX
-
Jean-Paul Arcangeli, Sébastien Leriche, Marc Pantel. Development of Flexible Peer-to-Peer Information Systems using Adaptable Mobile Agents. Dans : 1st Int. Workshop on Grid and Peer-to-Peer Computing Impacts on Large Scale Heterogeneous Distributed Database Systems (GLOBE'04), Zaragoza, Spain, 30/08/2004-03/09/2004, IEEE Computing Society, p. 549-553, août 2004.
Résumé
BibTeX
-
Sébastien Leriche, Jean-Paul Arcangeli, Marc Pantel. Agents mobiles adaptables pour les systèmes d'information pair à pair hétérogènes et répartis. Dans : Nouvelles Technologies de la Répartition, NOTERE 2004, Saidia (Ma.), 27/06/2004-30/06/2004, CIISE - ENST - Univ. Mohammed 1er, p. 29-43, juin 2004.
Résumé
BibTeX
-
Aurélie Hurault, Vincent Hennebert, Marc Pantel. Répartition et mobilité en JavAct: une approche dérivée d'un modèle formel. Dans : Langages et Modèles à Objets, Lille, 15/03/2004-17/03/2004, Editions Hermès, p. 47-61, mars 2004.
Résumé
BibTeX
-
Matthias Colin, Xavier Thirioux, Marc Pantel. Temporal logic based static analysis for non uniform behaviours. Dans : Formal Methods for Open Object-based Distributed Systems, Paris, 19/11/2003-21/11/2003, Springer Verlag - LNCS, p. 94-108, novembre 2003.
Résumé
BibTeX
-
Fabien Dagnat, Marc Pantel. Static analysis of communications for Erlang. Dans : 8th International Erlang/OTP User Conference, Älvsjö, Suède, 19/11/2002, Ericsson Telecommunication, p. 1-12, novembre 2002.
BibTeX
-
Najat Rafalia, Abdelatif El Faker, Marc Pantel, Patrick Sallé. Communication between Actors in a distributed environment. Dans : Conference on Simulation Methods and Applications, Orlando, 29/10/2000-31/10/2000, ., octobre 2000.
BibTeX
-
Jean-Louis Colaço, Marc Pantel, Fabien Dagnat, Patrick Sallé. Static safety analysis for non-uniform service availability in Actors. Dans : Formal Methods for Open Object-based Distributed Systems, Florence, 15/02/1999-18/02/1999, Kluwer Academic Publisher, Pays-Bas, p. 371-386, février 1999.
BibTeX
-
Jean-Louis Colaço, Marc Pantel, Patrick Sallé. From set based to multiset based analysis: A practical approach. Dans : Workshop on set constraints and set based analysis, Pise, 28/10/1998, Pise Univ., p. 1-10, octobre 1998.
BibTeX
-
Jean-Louis Colaço, Marc Pantel, Patrick Sallé. Static analysis of behavior changes in actors languages. Dans : Proceedings of the 2nd France Japan Workshop on Object Based Parallel and Distributed Computing, -, -, octobre 1997.
BibTeX
-
Jean-Louis Colaço, Marc Pantel, Patrick Sallé. Analyse de linéarité par typage dans un calcul d'acteurs. Dans : Actes des Journées Francophones des Langages Applicatifs, -, -, janvier 1997.
BibTeX
-
Jean-Louis Colaço, Marc Pantel, Patrick Sallé. A set-constraint-based analysis of actors. Dans : Proceedings of the 1997 IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, -, Chapman and Hall, p. 107-122, juillet 1997.
BibTeX
-
Jean-Louis Colaço, Marc Pantel, Patrick Sallé. CAP: An Actor dedicated process calculus. Dans : ECOOP'96 Workshop on Proof Theory of Concurrent Object-Oriented Programming, Linz, Austria, -, juillet 1996.
BibTeX
-
Jean-Louis Colaço, Marc Pantel, Patrick Sallé, A. Senteni. Un calcul d'Acteurs primitifs (CAP). Dans : Actes des Journées Francophones des Langages Applicatifs, -, -, janvier 1996.
BibTeX
-
Jean-Louis Colaço, Marc Pantel, Patrick Sallé. An actor dedicated process calculus. Dans : ECOOP'96 Workshop on Proof Theory of Concurrent Object-Oriented Programming, -, -, mai 1996.
BibTeX
-
Marc Pantel, Patrick Sallé. Typage souple pour le langage Fol. Dans : Actes des Journées Francophones des Langages Applicatifs, -, -, janvier 1994.
BibTeX
Conférences et workshops nationaux / National conferences articles
-
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. Spécification et Vérification par Interprétation Abstraite d'Aspects pour la Distribution. Dans : Formalisation des Activités Concurrentes (FAC 2007), Toulouse, France, 16/03/2007-16/03/2007, CNRS, (en ligne), mars 2007.
Accès : http://www.cert.fr/francais/deri/michel/FAC/
BibTeX
-
Benoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel. Sémantique dans la méta-modélisation. Dans : Journées sur l'Ingénierie Dirigée par les Modèles (IDM 2006), Lille, France, 26/06/2006-28/06/2006, Université de Lille, p. 17-33, juin 2006.
Accès : http://planetmde.org/idm06/actes.pdf
BibTeX
-
Aurélie Hurault, Marc Pantel, Frédéric Desprez. Recherche de services en algèbre linéaire sur une grille. Dans : Rencontre du Parallélisme, Le Croizic, France, 06/04/2005-08/04/2005, EMN-ASF, p. 207-212, avril 2005.
BibTeX
-
Marc Pantel, Chiara Puglisi, Patrick Amestoy. Grilles, Composants et Calcul scientifique. Dans : Rencontre du Parallélisme, Le Croizic, 06/04/2005-08/04/2005, EMN-ASF, p. 113-124, avril 2005.
BibTeX
-
Jean-Paul Arcangeli, Sébastien Leriche, Marc Pantel. Déploiement de composants de recherche d'information par des agents mobiles. Dans : 3ème Workshop sur les Objets, Composants et Modèles dans l'Ingénierie des Systèmes d'Information, Biarritz, 25/05/2004-25/05/2004, INFORSID - GDR I3, p. 55-61, mai 2004.
BibTeX
-
Aurélie Hurault, Marc Pantel. Introduction de la répartition et da la mobilité dans le calcul concurrent CAP : Étude bibliographique. Dans : Formalisation des Activités Concurrentes, Toulouse, 09/03/2004-10/03/2004, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, p. 1-20, mars 2004.
BibTeX
-
Vincent Hennebert, Marc Pantel. Typage de JavAct, Approche dérivée du typage de CAP. Dans : Formalisation des Activités Concurrentes, Toulouse, 09/03/2004-10/03/2004, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, p. 1-12, mars 2004.
Résumé
BibTeX
-
Matthias Colin, Marc Pantel, Xavier Thirioux. Analyse statique de la communication dans un langage d'Acteurs. Dans : Formalisation des Activités Concurrentes, Toulouse, 12/03/2003-13/03/2003, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, p. 1-18, mars 2003.
BibTeX
-
Najat Rafalia, Abdelatif El Faker, Marc Pantel, Patrick Sallé. Conception d'un protocole de communication paresseuse dans un environnement distribué d'acteurs. Dans : RENcontre francophone du PARallèlisme, Paris, 23/04/2001-25/04/2001, ., avril 2001.
BibTeX
-
Matthias Colin, Marc Pantel, Fabien Dagnat, Patrick Sallé. Intégration des typages fonctionnels et concurrents d'un langage fonctionnel d'Acteurs. Dans : Formalisation des Activités Concurrentes, Toulouse, 25/02/1999-26/02/1999, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, février 1999.
BibTeX
-
Matthias Colin, Marc Pantel, Fabien Dagnat, Patrick Sallé. Intégration des Typages Fonctionnel et Concurrent d'un Langage Fonctionnel d'Acteurs. Dans : Journées Francophone Langages Applicatifs, Avoriaz, 01/02/1999-02/02/1999, INRIA, Collection Didactique, p. 227-252, février 1999.
BibTeX
-
Fabien Dagnat, Marc Pantel, Patrick Sallé. ML-Act, un langage fonctionnel d'Acteurs. Dans : Journéee Francophone des Langages Applicatifs, Côme, 02/02/1998-03/02/1998, INRIA, Collection didactique, février 1998.
BibTeX
-
Marc Pantel, Patrick Sallé, Najat Rafalia, Abdelatif El Faker. Communication et transfert des données dans un environnement distribué d'acteurs. Dans : Colloque Africain sur la Recherche en Informatique, Dakar, 12/10/1998-15/10/1998, ., octobre 1998.
BibTeX
-
Jean-Louis Colaço, Marc Pantel, Patrick Sallé, A. Senteni. Un calcul d'acteurs primitifs. Dans : Journées du G.D.R. Programmation, Grenoble, -, novembre 1995.
BibTeX
Conférences sans actes publiés / Conference articles without published proceedings
-
Marc Pantel. Model Driven Engineering: Bringing formal validation into the industrial process. Dans : ARTIST Workshop: Tool Platforms for Embedded Systems Modelling, Analysis and Validation, co-located with CAV'07, Berlin, 01/07/2007-02/07/2007 (conférencier invité).
Accès : http://www.artist-embedded.org/docs/Events/2007/CAV_ToolPlatforms/05-Pantel-ArtistCAV.pdf
BibTeX
-
Hrachya Astsatryan, Michel Daydé, Aurélie Hurault, Marc Pantel, Eddy Caron. On defining a Web Interface for Linear Algebra Tasks over Computational Grids. Dans : International Conference on Computer Science and Information Technologies (CSIT'07), Yerevan (Arménie), 24/09/2007-28/09/2007.
BibTeX
-
Patrick Amestoy, Frédéric Camillo, Michel Daydé, Luc Giraud, Ronan Guivarch, Victoria Moya Laniel, Marc Pantel, Chiara Puglisi Amestoy. Goal and Status of the TLSE Platform. Dans : First REDIMPS Workshop, Tokyo (Japan), 29/05/2007.
Accès : http://redimps.enseeiht.fr/Redimps_07_08/06dayde.pdf
BibTeX
-
Marc Pantel. The TOPCASED framework for editor generation.. Dans : Eclipse Technology eXchange workshop (eTX), Nantes, 04/07/2006.
BibTeX
-
Marc Pantel, Marcel Gandriau. An ATL-based MDE approach to add textual concrete syntax to models.. Dans : 2nd AMMA/ATL Worshop on Model Driven Engineering, Nantes, 03/05/2006-04/05/2006.
BibTeX
-
Marc Pantel. TOPCASED, a MDE-based Toolkit for OPen source Critical Application and SystEm Development.. Dans : 2nd AMMA/ATL Workshop on Model Driven Engineering, Nantes, 03/05/2006-04/05/2006.
Accès : http://www.sciences.univ-nantes.fr/lina/atl/www/presentations/awme2/08%20-%20TOPCASED%20(Pantel).pdf
BibTeX
-
Marc Pantel. TOPCASED, ingénierie des modèles pour les systèmes critiques. Dans : Journées Kermeta, Rennes, 10/10/2006.
BibTeX
-
Marc Pantel, Benoit Combemale, Xavier Crégut, Christine Maurel, Pierre Michel, Frédéric Migeon, Iulian Ober, Sylvain Rougemaille. Sémantique et méta-modélisation. Dans : Journées Kermeta, Rennes, 10/10/2006.
Accès : https://kermeta.org/community/KermetaDay06/pres_marc/download
BibTeX
-
Marc Pantel, Benoit Combemale, Xavier Crégut, Christine Maurel, Pierre Michel, Frédéric Migeon, Iulian Ober, Sylvain Rougemaille. Simulation et ingénierie des modèles. Dans : Journées Kermeta, Rennes, 10/10/2006.
Accès : https://kermeta.org/community/KermetaDay06/pres_marc/download
BibTeX
-
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. Static Analysis of Actors: From Type Systems to Abstract Interpretation. Dans : International Workshop on Emerging Applications of Abstract Interpretation (EAAI 2006), Vienna, Austria, 25/03/2006-02/04/2006, Francesco Ranzato (Eds.).
Accès : http://www.enseeiht.fr/~garoche/
BibTeX
-
Michel Daydé, Marc Pantel. Introduction au Cycle de Séminaires 'Grilles de Calcul et de Données'. Dans : Séminaires IRIT, Toulouse, 04/11/2004.
BibTeX
-
Patrick Amestoy, Max Buvry, Michel Daydé, Luc Giraud, Christophe Hamerling, Jean-Yves L'Excellent, Marc Pantel, Chiara Puglisi. The Grid-TLSE Project : Goals and Current Status. Dans : Workshop Franco-Coréen, IRISA, Rennes, 22/07/2004.
Accès : http://www.enseeiht.fr/lima/tlse
BibTeX
-
Marc Pantel, Chiara Puglisi, Patrick Amestoy. Approche composant et Calcul numérique. Dans : Workshop «What have we learned ?», Ecole d'été GRID-Use-2004, Metz, 24/06/2004-25/06/2004.
Accès : http://www.metz.supelec.fr/metz/personnel/vialle/GridUSe2004/index.html
BibTeX
-
Max Buvry, Michel Daydé, Marc Pantel, Chiara Puglisi. TLSE Project: A Grid-based Expertise Site for Sparse Matrix Solvers. Dans : AcrossGrids 2004, Nicosia, Cyprus, 28/01/2004-30/01/2004.
Accès : http://www.enseeiht.fr/lima/tlse
BibTeX
-
Vincent Hennebert, Marc Pantel. Typage de comportements non uniformes, Applications à JavAct. Dans : Journées Objets, Composants et Modèles, Lille, 16/03/2004.
Résumé
BibTeX
-
Marc Pantel. Grid-TLSE: un site d'expertise en algèbre linéaire creuse. Dans : Distributed Computing and Data day, Strasbourg, 06/05/2003.
Accès : http://cdsweb.u-strasbg.fr/meeting3/planning_en.htm
BibTeX
-
Patrick Amestoy, Marc Pantel. Grid-TLSE: A Web expertise site for sparse linear algebra. Dans : Sparse Days and Grid Computing at St Girons, St Girons, 09/06/2003-13/06/2003.
Résumé
BibTeX
-
Max Buvry, Michel Daydé, Marc Pantel, Chiara Puglisi. The GRID-TLSE Project : Designing a Web Expert Site for Sparse Matrices. Dans : Fourth Conference on Computer Science and Information Technologies, Yerevan, Armenia, 22/09/2003-26/09/2003.
Accès : http://www.enseeiht.fr/lima/tlse
BibTeX
-
Jean-Paul Arcangeli, Christine Maurel, Frédéric Migeon, Marc Pantel, Patrick Sallé. Ingénierie des applications mobiles. Dans : Journée Objet Composants et Modèles, Vannes, 05/02/2003-05/02/2003.
BibTeX
-
Fabien Dagnat, Marc Pantel. Programmation Concurrente et Répartie par Acteurs - Vérification statique de programmes répartis. Dans : Journées Parallèlisme, Répartition et Objets, Toulouse, 15/03/2001-16/03/2001.
BibTeX
-
Matthias Colin, Marc Pantel. Programmation Concurrente et Répartie par Acteurs - Détection de problèmes de vivacité par analyse statique. Dans : Journées Parallèlisme, Répartition et Objets, Lille, 25/11/1999-26/11/1999.
BibTeX
-
Jean-Louis Colaço, Marc Pantel, Patrick Sallé. Analyses Statiques de langages d'Acteurs. Dans : Journées du GDR Programmation, Rennes, 12/11/1997-14/11/1997.
BibTeX
-
Christiane Massoutié, Marc Pantel, Patrick Sallé, A. El-Faker. Vers une machine virtuelle pour l'évaluation des langages d'acteurs. Dans : Actes de la conférence Langages et Modèles à Objets, -, .
BibTeX
-
Jean-Louis Colaço, Marc Pantel. Evaluation du langage Fol : Une machine abstraite pour le filtrage paresseux. Dans : Actes des Journées du Groupement De Recherche en Programmation, -, .
BibTeX
Rapports / Reports
-
Jacques Cazin, Pierre-Loïc Garoche, Marc Pantel, Virginie Wiels. D2.5.1 ES_PASS qualification guidelines for static analysis based verification tools. Rapport de contrat, D2.5.1, Institut National Polytechnique de Toulouse, novembre 2009.
BibTeX
-
Benoit Combemale, Xavier Crégut, Pierre Michel, Marc Pantel. TOPCASED - Model simulation: Guideline for meta-modeling. Rapport de contrat, D03, IRIT, février 2009.
BibTeX
-
Nassima Izerrouken, Marc Pantel. D2.51: GeneAuto block sequencer tool design. Rapport de contrat, D2.51, Institut National Polytechnique de Toulouse, septembre 2008.
BibTeX
-
Nassima Izerrouken, Marc Pantel, Olivier Ssi Yan Kai, Xavier Thirioux. D2.36: GeneAuto block sequencer tool requirements. Rapport de contrat, D2.36, Institut National Polytechnique de Toulouse, août 2008.
BibTeX
-
Jean-Charles Dalbin, Laurent Duffau, Tonu Naks, Frédéric Pothon, Marc Pantel. D6.4.5: GeneAuto tool verification plan. Rapport de recherche, D6.4.5, Institut National Polytechnique de Toulouse, octobre 2008.
BibTeX
-
Jean-Charles Dalbin, Laurent Duffau, Tonu Naks, Frédéric Pothon, Marc Pantel. D6.4.2: GeneAuto tool development plan. Rapport de contrat, D6.4.2, Institut National Polytechnique de Toulouse, octobre 2008.
BibTeX
-
Andres Toom, Marc Pantel. D1.14 & D5.2 GeneAuto Stateflow modeling guidelines. Rapport de contrat, D1.14 & D5.2, Institut National Polytechnique de Toulouse, juillet 2008.
BibTeX
-
Nassima Izerrouken, Marc Pantel. GENEAUTO Coq Development Guidelines. Rapport de contrat, 1.0, IRIT, octobre 2008.
BibTeX
-
Benoit Combemale, Xavier Crégut, Pierre Michel, Marc Pantel, Sylvain Rougemaille. TOPCASED - Model Simulation: Adding model simulation to TOPCASED. Rapport de contrat, D02b, IRIT, février 2007.
BibTeX
-
Benoit Combemale, Xavier Crégut, Pierre Michel, Iulian Ober, Marc Pantel. TOPCASED - Model simulation: Synthesis on methods and tools for simulation. Rapport de contrat, D02a, IRIT, février 2007.
BibTeX
-
Benoit Combemale, Xavier Crégut, Pierre Michel, Iulian Ober, Marc Pantel. TOPCASED - Models simulation: Synthesis on simulation needs. Rapport de contrat, D01, IRIT, février 2007.
BibTeX
-
Leo Motus, Marc Pantel. D5.1 GeneAuto Analysis and verification of real time embedded software: State of the art. Rapport de contrat, D5.1, Institut National Polytechnique de Toulouse, mai 2007.
BibTeX
-
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. Concern-based Specification and Analysis using Abstract Interpretation - A Distributed Case. Rapport de recherche, ?, IRIT, septembre 2006.
Accès : http://www.enseeiht.fr/~garoche/
BibTeX
-
Patrick Amestoy, Max Buvry, Michel Daydé, Luc Giraud, Christophe Hamerling, Marc Pantel, Chiara Puglisi. Rapport de fin de projet GRID-TLSE.. Rapport de recherche, TR/TLSE/06/02, Institut National Polytechnique de Toulouse, février 2006.
BibTeX
-
Xavier Crégut, Pierre Michel, Frédéric Migeon, Marc Pantel, Xavier Thirioux. State of the art on modelling and meta-modelling - addendum. Rapport de contrat, D01a, Institut National Polytechnique de Toulouse, janvier 2005.
BibTeX
-
Marc Pantel, Chiara Puglisi, Patrick Amestoy. GRID, components and scientific computing. Rapport de recherche, TLSE/TR/05/07, Institut National Polytechnique de Toulouse, 2005.
BibTeX
-
Aurélie Hurault, Marc Pantel, Eddy Caron, Frédéric Desprez. Grid trading services in linear algebra. Rapport de recherche, TR/TLSE/05/06, Institut National Polytechnique de Toulouse, 2005.
Accès : http://www.enseeiht.fr/~hurault/publis/TR-TLSE-05-06.pdf
BibTeX
-
Aurélie Hurault, Marc Pantel. Algebraic approach to mathematical service trading. Rapport de recherche, TR/TLSE/05/05, Institut National Polytechnique de Toulouse, 2005.
Accès : http://www.enseeiht.fr/~hurault/publis/TR-TLSE-05-05.pdf
BibTeX
-
Aurélie Hurault, Marc Pantel. Mathematical service trading based on equational unification. Rapport de recherche, TR/TLSE/05/04, Institut National Polytechnique de Toulouse, 2005.
Accès : http://www.enseeiht.fr/~hurault/publis/TR-TLSE-05-04.pdf
BibTeX
-
Jean-Paul Arcangeli, Sébastien Leriche, Marc Pantel. Construction et déploiement de systèmes d'information répartis ouverts et adaptables au moyen d'agents mobiles et de composants. Rapport de recherche, IRIT/2005-4-R, IRIT, janvier 2005.
Résumé
BibTeX
-
Xavier Crégut, Pierre Michel, Frédéric Migeon, Marc Pantel, Xavier Thirioux. Specification of the initial TOPCASED meta-modelling language. Rapport de contrat, D03, Institut National Polytechnique de Toulouse, décembre 2004.
BibTeX
-
Xavier Crégut, Pierre Michel, Frédéric Migeon, Marc Pantel, Xavier Thirioux. Requirements for TOPCASED. Rapport de recherche, D02, Institut National Polytechnique de Toulouse, novembre 2004.
BibTeX
-
Xavier Crégut, Pierre Michel, Frédéric Migeon, Marc Pantel, Xavier Thirioux. State of the art on Modelling and Meta-Modelling. Rapport de contrat, D01, Institut National Polytechnique de Toulouse, novembre 2004.
BibTeX
-
Jean-Paul Arcangeli, Vincent Hennebert, Sébastien Leriche, Frédéric Migeon, Marc Pantel. JavAct 0.5.0 : principes, installation, utilisation et développement d'applications. Rapport de recherche, IRIT/2004-5-R, IRIT, février 2004.
Résumé
Accès : http://www.irit.fr/recherches/ISPR/IAM/JavAct.html
BibTeX
-
Jean-Paul Arcangeli, Sébastien Leriche, Marc Pantel. JavAne : partage et recherche d'information à base d'agents mobiles adaptables. Rapport de recherche, IRIT/2003-25-R, IRIT, décembre 2003.
Résumé
BibTeX
Thèses et habilitations / Thesis and HDR
-
Marc Pantel. Représentations et Transformations : Un modèle de la réutilisabilité dans les langages fonctionnels à objets. Thèse de doctorat, Institut National Polytechnique de Toulouse, février 1994.
BibTeX