Filtrer vos résultats
- 26
- 9
- 17
- 8
- 4
- 3
- 1
- 1
- 1
- 2
- 28
- 3
- 2
- 1
- 1
- 3
- 1
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 1
- 4
- 1
- 2
- 1
- 32
- 3
- 24
- 5
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 35
- 19
- 8
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
35 résultats
|
|
triés par
|
Sorption of Model Radionuclides on Callovian-Oxfordian Clayey FormationMIGRATION 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
|
|||
|
Real-Time Model Checking Support for AADL[Research Report] LAAS-CNRS. 2015
Rapport
hal-01121605v1
|
||
|
An Interdisciplinary Capstone Design Experience on Critical Embedded Systems using Agile MethodsJournal 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
|
||
|
A Real-Time Specification Patterns Language2011
Rapport
hal-00593965v4
|
||
|
On the Petri Nets with a Single Shared Place and Beyond2020
Pré-publication, Document de travail
hal-02992541v1
|
||
|
Counting Petri net markings from reduction equationsInternational Journal on Software Tools for Technology Transfer, 2020, 22, pp.163-181. ⟨10.1007/s10009-019-00519-1⟩
Article dans une revue
hal-02125337v1
|
||
|
Real-Time Specification Patterns and Tools17th 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
|
||
|
Formalisation et génération d'injections9ème édition de la conférence Francophone SARSSI, May 2014, Lyon, France. 13p
Communication dans un congrès
hal-01022924v1
|
||
|
Verification of Real-Time Specification Patterns on Time Transition Systems2011
Rapport
hal-00593963v5
|
||
Study of the Interaction of $SeO_3^{2-}$, $I^-$, $Cs^+$ AND $Ni^{2+}$ on Consolidated BentoniteMigration, Sep 2005, Avignon, France
Communication dans un congrès
in2p3-00110707v1
|
|||
|
Concurrent aspects[Research Report] RR-5873, INRIA. 2006
Rapport
inria-00071396v1
|
||
|
Lissage des courbes de relaxation RMN du domaine du temps par une méthode discrète et continueRevue de l'Institut Français du Pétrole, 1998, 53 (4), pp.483-487. ⟨10.2516/ogst:1998040⟩
Article dans une revue
hal-02079007v1
|
||
|
Project and Conquer: Fast Quantifier Elimination for Checking Petri Net ReachabilityVerification, 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 ContestTools 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 subclasses2020
Pré-publication, Document de travail
hal-02992521v1
|
||
|
A New Product Construction for the Diagnosability of Patterns in Time Petri Net59th 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
|
||
|
Recasting MLFInformation 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 542006
Autre publication scientifique
hal-00469653v1
|
|||
|
Leveraging polyhedral reductions for solving Petri net reachability problemsInternational Journal on Software Tools for Technology Transfer, 2023, 25, pp.95-114. ⟨10.1007/s10009-022-00694-8⟩
Article dans une revue
hal-03973463v1
|
||
|
A Formal Framework to Specify and Verify Real Time Properties on Critical SystemsInternational Journal of Critical Computer-Based Systems, 2014, 5 (1/2), pp 4-30. ⟨10.1504/IJCCBS.2014.059593⟩
Article dans une revue
hal-00941248v1
|
||
|
Accelerating the Computation of Dead and Concurrent Places using Reductions27th 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
|
||
|
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)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 capillariesInternational 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
|
|||
|
Towards a model of concurrent AOPSPLAT! 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 OrchestrationsSecond International Workshop on Engineering Service-Oriented Applications (WESOA'06), Dec 2006, Chicago, United States. pp.38-49
Communication dans un congrès
hal-00485548v1
|
|||
|
Porosities accessible to HTO and iodide on water-saturated compacted clay materials and relation with the forms of water: A low field proton NMR studyGeochimica et Cosmochimica Acta, 2009, 73 (24), pp.7290-7302. ⟨10.1016/j.gca.2009.09.014⟩
Article dans une revue
hal-00450881v1
|
||
|
MCC’2017 - The Seventh Model Checking ContestLNCS 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
|
||
|
A Verified Approach for Checking Real-Time Specification PatternsVECoS 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
|
||
|
MLF: An extension of ML with first-class polymorphism and implicit instantiationOther [cs.OH]. Ecole Polytechnique X, 2004. English. ⟨NNT : ⟩
Thèse
tel-00007132v1
|
||
|
Activité pédagogique sur la création d'un jeu d'évasion6ème Colloque Pédagogie & Formation - groupe INSA, May 2019, Bourges, France
Communication dans un congrès
hal-02307883v1
|
- 1
- 2