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

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
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

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

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

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
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

Concurrent aspects

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

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

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

Petri Net Reductions for Counting Markings

 Bernard Berthomieu , Didier Le Botlan , Silvano Dal Zilio
International Symposium on Model Checking Software (SPIN 2018), Jun 2018, Malaga, Spain. ⟨10.1007/978-3-319-94111-0_4⟩
Communication dans un congrès hal-01822078v1
Image document

Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina

 Silvano Dal Zilio , Bernard Berthomieu , Didier Le Botlan
2015
Pré-publication, Document de travail hal-01202741v1
Image document

A State Class Construction for Computing the Intersection of Time Petri Nets Languages

 Éric Lubat , Silvano Dal Zilio , Didier Le Botlan , Yannick Pencolé , Audine Subias
17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Aug 2019, Amsterdam, Netherlands. ⟨10.1007/978-3-030-29662-9_5⟩
Communication dans un congrès hal-02263832v1
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
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

Automated Polyhedral Abstraction Proving

 Nicolas Amat , Silvano Dal Zilio , Didier Le Botlan
44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Jun 2023, Lisbon, Portugal. pp.324-345, ⟨10.1007/978-3-031-33620-1_18⟩
Communication dans un congrès hal-04115006v1

Concurrent Aspects

 Rémi Douence , Didier Le Botlan , Jacques Noyé , Mario Südholt
5th International Conference on Generative Programming and Component Engineering (GPCE '06), Oct 2006, Portland, United States. pp.79-88, ⟨10.1145/1173706.1173718⟩
Communication dans un congrès inria-00467938v1
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
Page :