Search - Université Toulouse III

	1 2 3 Suivant Dernière	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 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	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-02267640v1 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-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-01589479v1 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-01231772v1 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-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-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-00695622v1 Preprints, Working Papers, ... Ning Ge, Marc Pantel, Xavier Crégut. Formal Specification and Verification of Task Time Constraints for Real-Time Systems 2012
	hal-01399626v1 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-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-00677883v1 Preprints, Working Papers, ... Arnaud Dieumegard, Andres Toom, Marc Pantel. Comparing transformation languages for the implementation of certified model transformations 2012
	hal-01289687v1 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-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⟩
	hal-00996850v1 Reports Arnaud Dieumegard, Andres Toom, Marc Pantel. Software product line for semantic specification of block libraries in dataflow languages 2014
	hal-00686986v1 Preprints, Working Papers, ... Ning Ge, Marc Pantel, Xavier Crégut. Time Properties Dedicated Transformation from UML-MARTE Activity to Time Petri Net 2012
	hal-00677881v1 Preprints, Working Papers, ... Andres Toom, Arnaud Dieumegard, Marc Pantel. Specification and Validation of Model Transformations for Certified Systems' Development 2012
	hal-00720917v1 Preprints, Working Papers, ... Faiez Zalila, Xavier Crégut, Marc Pantel. Leveraging formal verification tools for DSML users: a process modeling case study 2012
	hal-00677925v1 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-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⟩
	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-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-01430628v1 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-02267722v1 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-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-03012569v1 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-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-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
	hal-02263437v1 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-00675778v2 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	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 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize

CONTACT