Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

35 résultats
Page :
triés par

Sorption of Model Radionuclides on Callovian-Oxfordian Clayey Formation

 Gilles F Montavon , Catherine Landesman , Solange Ribet , Z. Guo , Z. Chen , et al.
MIGRATION 2011 : 13th International Conference on the Chemistry and Migration Behaviour of Actinides and Fission Products in the Geosphere, Sep 2011, Beijing, China
Communication dans un congrès in2p3-00663418v1
Image document

Real-Time Model Checking Support for AADL

 Bernard Berthomieu , Jean-Paul Bodeveix , Silvano Dal Zilio , M Filali , Didier Le Botlan , et al.
[Research Report] LAAS-CNRS. 2015
Rapport hal-01121605v1
Image document

A Real-Time Specification Patterns Language

 Nouha Abid , Silvano Dal Zilio , Didier Le Botlan
2011
Rapport hal-00593965v4

On the Petri Nets with a Single Shared Place and Beyond

 Thomas Hujsa , Bernard Berthomieu , Silvano Dal Zilio , Didier Le Botlan
2020
Pré-publication, Document de travail hal-02992541v1
Image document

Counting Petri net markings from reduction equations

 Bernard Berthomieu , Didier Le Botlan , Silvano Dal Zilio
International Journal on Software Tools for Technology Transfer, 2020, 22, pp.163-181. ⟨10.1007/s10009-019-00519-1⟩
Article dans une revue hal-02125337v1
Image document

An Interdisciplinary Capstone Design Experience on Critical Embedded Systems using Agile Methods

 Pascal Acco , Guillaume Auriol , Elodie Chanthery , M.-A Détourbe , Pierre Emmanuel Hladik , et al.
Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2019, 18 (0001), 23p. ⟨10.1051/j3ea/20190001⟩
Article dans une revue hal-02189482v1
Image document

Lissage des courbes de relaxation RMN du domaine du temps par une méthode discrète et continue

 Didier Le Botlan
Revue de l'Institut Français du Pétrole, 1998, 53 (4), pp.483-487. ⟨10.2516/ogst:1998040⟩
Article dans une revue hal-02079007v1
Image document

Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability

 Nicolas Amat , Silvano Dal Zilio , Didier Le Botlan
Verification, Model Checking, and Abstract Interpretation. VMCAI 2024, Jan 2024, London, United Kingdom. pp.101-123, ⟨10.1007/978-3-031-50524-9_5⟩
Communication dans un congrès hal-04375443v1

Presentation of the 9th Edition of the Model Checking Contest

 Elvio Amparore , Bernard Berthomieu , Gianfranco Ciardo , Silvano Dal Zilio , Francesco Gallà , et al.
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, Apr 2019, Prague, Czech Republic. pp.50-68, ⟨10.1007/978-3-030-17502-3_4⟩
Communication dans un congrès hal-02094047v1

Checking marking reachability with the state equation in Petri net subclasses

 Thomas Hujsa , Bernard Berthomieu , Silvano Dal Zilio , Didier Le Botlan
2020
Pré-publication, Document de travail hal-02992521v1
Image document

Real-Time Specification Patterns and Tools

 Nouha Abid , Silvano Dal Zilio , Didier Le Botlan
17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, Aug 2012, Paris, France. pp. 1-15, ⟨10.1007/978-3-642-32469-7_1⟩
Communication dans un congrès hal-00782649v1
Image document

Formalisation et génération d'injections

 Eric Alata , Didier Le Botlan
9ème édition de la conférence Francophone SARSSI, May 2014, Lyon, France. 13p
Communication dans un congrès hal-01022924v1
Image document

Verification of Real-Time Specification Patterns on Time Transition Systems

 Nouha Abid , Silvano Dal Zilio , Didier Le Botlan
2011
Rapport hal-00593963v5

Study of the Interaction of $SeO_3^{2-}$, $I^-$, $Cs^+$ AND $Ni^{2+}$ on Consolidated Bentonite

 Gilles F Montavon , E. Alhajji , Didier Le Botlan , Bernd Grambow
Migration, Sep 2005, Avignon, France
Communication dans un congrès in2p3-00110707v1
Image document

Concurrent aspects

 Rémi Douence , Didier Le Botlan , Jacques Noyé , Mario Südholt
[Research Report] RR-5873, INRIA. 2006
Rapport inria-00071396v1
Image document

A New Product Construction for the Diagnosability of Patterns in Time Petri Net

 Éric Lubat , Silvano Dal Zilio , Didier Le Botlan , Yannick Pencolé , Audine Subias
59th Conference on Decision and Control (CDC) 2020, Dec 2020, Jeju Island (virtual conference), South Korea. ⟨10.1109/CDC42340.2020.9303826⟩
Communication dans un congrès hal-02989834v1

Towards a Common Aspect Semantic Base (CASB), Deliverable 54

 Simplice Djoko Djoko , Rémi Douence , Pascal Fradet , Didier Le Botlan
2006
Autre publication scientifique hal-00469653v1
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⟩
Article dans une revue inria-00156628v4
Image document

Leveraging polyhedral reductions for solving Petri net reachability problems

 Nicolas Amat , Silvano Dal Zilio , Didier Le Botlan
International Journal on Software Tools for Technology Transfer, 2023, 25, pp.95-114. ⟨10.1007/s10009-022-00694-8⟩
Article dans une revue hal-03973463v1
Image document

A Formal Framework to Specify and Verify Real Time Properties on Critical Systems

 Didier Le Botlan , Silvano Dal Zilio , Nouha Abid
International Journal of Critical Computer-Based Systems, 2014, 5 (1/2), pp 4-30. ⟨10.1504/IJCCBS.2014.059593⟩
Article dans une revue hal-00941248v1
Image document

Accelerating the Computation of Dead and Concurrent Places using Reductions

 Nicolas Amat , Silvano Dal Zilio , Didier Le Botlan
27th International SPIN Symposium on Model Checking of Software, Jul 2021, Aarhus, Denmark. ⟨10.1007/978-3-030-84629-9_3⟩
Communication dans un congrès hal-03268388v1
Image document

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)

 Sebastian Altmeyer , Étienne André , Silvano Dal Zilio , Loïc Fejoz , Michael González Harbour , et al.
Dagstuhl Artifacts Series, 2023, 9 (1), ⟨10.4230/DARTS.9.1.4⟩
Article dans une revue hal-04254710v1

Retention of toxic substances on consolidated porous systems. Characterization of the state of water by means of low field proton NMR and determination of Kd values using capillaries

 E. Alhajji , Didier Le Botlan , Gilles F Montavon , Bernd Grambow
International workshop on sorption processes at oxide and carbonate mineral water interfaces - SOPRO 2004, Mar 2004, Karlsruhe, Germany. pp.1
Communication dans un congrès in2p3-00024106v1
Image document

Towards a model of concurrent AOP

 Rémi Douence , Didier Le Botlan , Jacques Noyé , Mario Südholt
SPLAT! 2006 - Workshop on Software engineering Properties of Languages and Aspect Technologies - A workshop affiliated with AOSD 2006, Mar 2006, Bonn, Germany
Communication dans un congrès inria-00468018v1

A Language for Quality of Service Requirements Specification in Web Services Orchestrations

 Fabien Baligand , Didier Le Botlan , Thomas Ledoux , Pierre Combes
Second International Workshop on Engineering Service-Oriented Applications (WESOA'06), Dec 2006, Chicago, United States. pp.38-49
Communication dans un congrès hal-00485548v1
Image document

Porosities accessible to HTO and iodide on water-saturated compacted clay materials and relation with the forms of water: A low field proton NMR study

 Gilles F Montavon , Z. Guo , Christophe Tournassat , Bernd Grambow , Didier Le Botlan
Geochimica et Cosmochimica Acta, 2009, 73 (24), pp.7290-7302. ⟨10.1016/j.gca.2009.09.014⟩
Article dans une revue hal-00450881v1
Image document

MCC’2017 - The Seventh Model Checking Contest

 Fabrice Kordon , Hubert Garavel , Lom Hillah , Emmanuel Paviot-Adet , Loïg Jezequel , et al.
LNCS Transactions on Petri Nets and Other Models of Concurrency, 11090, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
Proceedings/Recueil des communications hal-01917492v1
Image document

A Verified Approach for Checking Real-Time Specification Patterns

 Nouha Abid , Silvano Dal Zilio , Didier Le Botlan
VECoS 2012, 6th International Workshop on Verification and Evaluation of Computer and Communication Systems, Aug 2012, France. pp.11
Communication dans un congrès hal-00782647v2
Image document

MLF: An extension of ML with first-class polymorphism and implicit instantiation

 Didier Le Botlan
Other [cs.OH]. Ecole Polytechnique X, 2004. English. ⟨NNT : ⟩
Thèse tel-00007132v1
Image document

Activité pédagogique sur la création d'un jeu d'évasion

 Guillaume Auriol , Sonia Ben Dhia , Elodie Chanthery , Pierre-Emmanuel Hladik , Didier Le Botlan , et al.
6ème Colloque Pédagogie & Formation - groupe INSA, May 2019, Bourges, France
Communication dans un congrès hal-02307883v1
Page :