Skip to Main content Skip to Navigation

Search by documents

inria-00293720v1  Conference papers
Tristram GräbenerAlain Berro. Optimisation multiobjectif discrète par propagation de contraintes
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.403-407
hal-00766793v1  Conference papers
Albert BenvenisteBenoît CaillaudJean-Baptiste Raclet. Application of Interface Theories to the Separate Compilation of Synchronous Programs
51st IEEE Conference on Decision and Control, Jay A. Farrell, Dec 2012, Maui, Hawaii, United States
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-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-01874998v1  Conference papers
Karima KhadirThierry MonteilSamir Medjiah. IDE-OM2M: A framework for the development of IoT applications using the OM2M platform
19th International Conference on Internet Computing and Internet of Things (ICOMP' 18), Jul 2018, Las Vegas, NV, United States. pp.76-82
hal-01580556v1  Conference papers
Pascaline Tchienehom. Modèle générique de profils pour la personnalisation de l'accès à l'information
23ième Congrès National Inforsid’05, 2005, Grenoble, France. p. 269-284
hal-01580372v1  Conference papers
Pascaline Tchienehom. Profiles semantics for personalized information access
International Workshop on Personalization on the Semantic Web (PerSWeb’05), in conjonction with User Modelling (UM’05), Jul 2005, Edinburgh, United Kingdom. p. 102-111
hal-01814103v1  Reports
Pascaline Tchienehom. Modèle d'accès personnalisé à l'information : Structuration et Exploitation
[Rapport de recherche] IRIT-Institut de recherche en informatique de Toulouse; IRIT/2005_2_R. 2005
hal-00800975v1  Conference papers
Rémy WyssFrédéric BoniolJulien ForgetClaire Pagetti. A synchronous language with partial delay specification for real-time systems programming
10th Asian Symposium on Programming Languages and Systems, Dec 2012, Kyoto, Japan. pp.223-238
inria-00156628v4  Journal articles
Didier Le BotlanDidier Rémy. Recasting MLF
Information and Computation, Elsevier, 2009, Volume 207, Issue 6, June 2009, Pages 726-785, 207 (6), pp.726-785. ⟨10.1016/j.ic.2008.12.006⟩
tel-01369451v1  Theses
Florent Latombe. Systematic use of Models of Concurrency in eXecutable Domain-Specific Modeling Languages
Software Engineering [cs.SE]. Université de Toulouse - Institut National Polytechnique de Toulouse (INPT), 2016. English
hal-02360681v1  Book sections
Benedikt AhrensRalph Matthes. Heterogeneous Substitution Systems Revisited
Tarmo Uustalu. 21st International Conference on Types for Proofs and Programs (TYPES 2015), 69, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.2:1-2:23, 2018, Leibniz International Proceedings in Informatics (LIPIcs), 978-3-95977-030-9. ⟨10.4230/LIPIcs.TYPES.2015.2⟩
hal-02360678v1  Journal articles
José Espírito SantoRalph MatthesLuís Pinto. Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2019, 29 (8), pp.1092-1124. ⟨10.1017/S0960129518000099⟩
hal-01580013v1  Conference papers
IADIS International Conference (IADIS/WWW Internet 2004), 2004, Madrid, Spain. p. 1017- 1022
hal-01580415v1  Conference papers
Max ChevalierChantal Soulé-DupuyPascaline Tchienehom. Profile reusability for personalized information access : application to users contexts determination.
International Workshop on Context-based Information Retrieval (CIR’05), in conjonction with Context’05, Jul 2005, Paris, France. p. 71-82
hal-01580010v1  Conference papers
Max ChevalierChantal Soulé-DupuyPascaline Tchienehom. Profiles Semantics and Matchings Flexibility for Resources Access
International IEEE conference on Signal-Image Technology & Internet-based Systems (SITIS’05), Nov 2005, Yaounde, Cameroon. p. 224-231
hal-01582319v1  Conference papers
Pascaline Tchienehom. Accès à une information Pertinente et Personnalisée : Approche à base de profils
Colloque des Doctorants Edit'2004, Mar 2004, Toulouse, France
hal-01580533v1  Conference papers
Max ChevalierChantal Soulé-DupuyPascaline Tchienehom. Interopérabilité de profils pour l’accès à des ressources
24ième Congrès National Inforsid’06, 2006, Hammamet, Tunisie. p. 65-80
hal-00457183v1  Conference papers
Jean-Paul BodeveixM FilaliJulia LawallGilles Muller. Applying the B formal method to the Bossa domain-specific language
The 17th Nordic Workshop on Programming Theory (NWPT'05), 2005, Copenhagen, Denmark, Denmark. pp.35-38
hal-02333423v1  Conference papers
Dominique Larchey-WendlingRalph Matthes. Certification of Breadth-First Algorithms by Extraction
13th International Conference on Mathematics of Program Construction, MPC 2019, Oct 2019, Porto, Portugal. pp.45-75, ⟨10.1007/978-3-030-33636-3_3⟩
hal-02092915v1  Conference papers
Pierre-Loïc GarocheTemesghen KahsaiXavier Thirioux. Hierarchical State Machines as Modular Horn Clauses
3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016), Apr 2016, Eindhoven, Netherlands. pp.15-28