Search - Université Toulouse 1 Capitole Access content directly

Filter your results

57 Results
Domains :
Image document

Rewriting SELECT SPARQL queries from 1:n complex correspondences

Elodie Thiéblin , Fabien Amarger , Ollivier Haemmerlé , Nathalie Hernandez , Cassia Trojahn et al.
11th International Workshop on Ontology Matching, collocated with the 15th International Semantic Web Conference (OM 2016), Oct 2016, Kobe, Japan. pp.49-60
Conference papers hal-03658818v1
Image document

Data-types definitions: Use of Theory and Context instantiations Plugins

Peter Riviere , Neeraj Kumar Singh , Yamine Ait-Ameur
9th Rodin User and Developer Workshop collocated with the ABZ 2021 Conference, Jun 2021, Ulm (virtual), Germany. pp.1-6
Conference papers hal-03487183v1

A Coinductive Approach to Proof Search through Typed Lambda-Calculi

José Espírito Santo , Ralph Matthes , Luís Pinto
Annals of Pure and Applied Logic, 2021, 172 (10), ⟨10.1016/j.apal.2021.103026⟩
Journal articles hal-03086504v1
Image document

Cohérence d'arc virtuelle pour les CSP pondérés

Martin Cooper , Simon de Givry , Marti Sanchez , Thomas Schiex , Matthias Zytnicki et al.
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.237-246
Conference papers inria-00292640v1
Image document

Concurrency-aware eXecutable Domain-Specific Modeling Languages as Models of Concurrency

Florent Latombe , Xavier Crégut , Marc Pantel
2nd International Workshop on Executable Modeling (EXE 2016), Oct 2016, Saint-Malo, France. pp.12-18
Conference papers hal-01357001v1
Image document

Interopérabilité de profils pour l’accès à des ressources

Max Chevalier , Chantal Soulé-Dupuy , Pascaline Tchienehom
24ième Congrès National Inforsid’06, 2006, Hammamet, Tunisie. p. 65-80
Conference papers hal-01580533v1
Image document

TSAI - Test Selection using Artificial Intelligence for the Support of Continuous Integration

Maria Laura Brzezinski Meyer
2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Oct 2021, Wuhan, China. pp.306-309, ⟨10.1109/ISSREW53611.2021.00092⟩
Conference papers hal-03583925v1
Image document

IDE-OM2M: A framework for the development of IoT applications using the OM2M platform

Karima Khadir , Thierry Monteil , Samir Medjiah
19th International Conference on Internet Computing and Internet of Things (ICOMP' 18), Jul 2018, Las Vegas, NV, United States. pp.76-82
Conference papers hal-01874998v1
Image document

Certification of Breadth-First Algorithms by Extraction

Dominique Larchey-Wendling , Ralph Matthes
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⟩
Conference papers hal-02333423v1
Image document

Modèle d'accès personnalisé à l'information : Structuration et Exploitation

Pascaline Tchienehom
[Rapport de recherche] IRIT-Institut de recherche en informatique de Toulouse; IRIT/2005_2_R. 2005
Reports hal-01814103v1
Image document

Semantics-based Profiles Modeling and Matching for Resources Access

Max Chevalier , Chantal Soulé-Dupuy , Pascaline Tchienehom
Journal des Sciences pour l'Ingénieur, 2006, 7, pp.54-63. ⟨10.4314/jspi.v7i1.30039⟩
Journal articles hal-01580009v1
Image document

Optimisation multiobjectif discrète par propagation de contraintes

Tristram Gräbener , Alain Berro
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
Conference papers inria-00293720v1
Image document

Accès à une information Pertinente et Personnalisée : Approche à base de profils

Pascaline Tchienehom
Colloque des Doctorants Edit'2004, Mar 2004, Toulouse, France
Conference papers hal-01582319v1
Image document

Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time Systems

Pierre-Emmanuel Hladik , Félix Ingrand , Silvano Dal Zilio , Reyyan Tekin
Journal of Systems and Software, 2021, 181, pp.111033. ⟨10.1016/j.jss.2021.111033⟩
Journal articles hal-03017661v4

Verifying Graph Transformations with Guarded Logics

Jon Haël Brenas , Rachid Echahed , Martin Strecker
2018 International Symposium on Theoretical Aspects of Software Engineering (TASE), Aug 2018, Guangzhou, China. pp.124-131, ⟨10.1109/TASE.2018.00024⟩
Conference papers hal-02084211v1
Image document

HPCML: A Modeling Language Dedicated to High-Performance Scientific Computing

Marc Palyart , David Lugato , Ileana Ober , Jean-Michel Bruel
1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing (MDHPCL), Feb 2012, Innsbruck, Austria. pp.1
Conference papers hal-00761340v1
Image document

Recasting MLF

Didier Le Botlan , Didier Rémy
Information and Computation, 2009, Volume 207, Issue 6, June 2009, Pages 726-785, 207 (6), pp.726-785. ⟨10.1016/j.ic.2008.12.006⟩
Journal articles inria-00156628v4
Image document

Formal Methods Meet Domain Specific Languages

Jean-Paul Bodeveix , M Filali , Julia L. Lawall , Gilles Muller
IFM 2005 - 5th International Conference on Integrated Formal Methods, Nov 2005, Eindhoven, Netherlands. pp.187-206, ⟨10.1007/11589976_12⟩
Conference papers hal-00457182v1
Image document

EB4EB: A Framework for Reflexive Event-B

Peter Riviere , Neeraj Kumar Singh , Yamine Aït-Ameur
26th International Conference on Engineering of Complex Computer Systems (ICECCS 2022), Mar 2022, Hiroshima, Japan. pp.71-80, ⟨10.1109/ICECCS54210.2022.00017⟩
Conference papers hal-03540955v2
Image document

Heterogeneous Substitution Systems Revisited

Benedikt Ahrens , Ralph Matthes
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⟩
Book sections hal-02360681v1
Image document


Max Chevalier , Chantal Soulé-Dupuy , Pascaline Tchienehom
IADIS International Conference (IADIS/WWW Internet 2004), 2004, Madrid, Spain. p. 1017- 1022
Conference papers hal-01580013v1

Implementing a Category-Theoretic Framework for Typed Abstract Syntax

Benedikt Ahrens , Ralph Matthes , Anders Mörtberg
11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2022), Jan 2022, Philadelphia, PA, United States. ⟨10.1145/3497775.3503678⟩
Conference papers hal-03475481v1
Image document

Contributions to the science of controlled transformation

Stéphane Conversy
Human-Computer Interaction [cs.HC]. Université Paul Sabatier - Toulouse III, 2013
Habilitation à diriger des recherches tel-00853192v1

Combining Machine Learning and Behavior Analysis Techniques for Network Security

Maria Laura Brzezinski Meyer , Yann Labit
2020 International Conference on Information Networking (ICOIN), Jan 2020, Barcelona, Spain. pp.580-583, ⟨10.1109/icoin48656.2020.9016500⟩
Conference papers hal-03190484v1
Image document

Systematic use of Models of Concurrency in eXecutable Domain-Specific Modeling Languages

Florent Latombe
Software Engineering [cs.SE]. Université de Toulouse - Institut National Polytechnique de Toulouse (INPT), 2016. English. ⟨NNT : ⟩
Theses tel-01369451v1

Programmation défensive

Matthieu Herrb
École d'ingénieur. France. 2021
Lectures hal-03379843v1
Image document

Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic

José Espírito Santo , Ralph Matthes , Luís Pinto
Ugo de'Liguoro; Stefano Berardi; Thorsten Altenkirch. LIPIcs : 26th International Conference on Types for Proofs and Programs (TYPES 2020), 188, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany, 2021, LIPIcs : Leibniz International Proceedings in Informatics ; ISSN : 1868-8969, 978-3-95977-182-5. ⟨10.4230/LIPIcs.TYPES.2020.4⟩
Book sections hal-03255968v1
Image document

On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems

Yamine Aït-Ameur , J. Paul Gibson , Dominique Méry
6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Specialized Techniques and Applications (ISoLA 2014), Oct 2014, Corfu, Greece. pp.604-618, ⟨10.1007/978-3-662-45231-8_50⟩
Conference papers hal-01097624v1
Image document

Protocols and Software for Simplified Educational Video Capture and Editing

Mohamed Chafik Bakkay , Matthieu Pizenberg , Axel Carlier , Eithne Balavoine , Géraldine Morin et al.
Journal of Computers in Education, 2019, 6, pp.257-276. ⟨10.1007/s40692-019-00136-6⟩
Journal articles hal-03498656v1
Image document

Martin Hofmann's Case for Non-Strictly Positive Data Types

Ulrich Berger , Ralph Matthes , Anton Setzer
Peter Dybjer; José Espírito Santo; Luís Pinto. 24th International Conference on Types for Proofs and Programs (TYPES 2018), 130, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.1:1-1:22, 2019, Leibniz International Proceedings in Informatics (LIPIcs), 978-3-95977-106-1. ⟨10.4230/LIPIcs.TYPES.2018.1⟩
Book sections hal-02365814v1