Filtrer vos résultats
- 8
- 2
- 8
- 1
- 1
- 10
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 9
- 1
- 8
- 7
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 6
- 4
- 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
10 résultats
|
|
triés par
|
CosyVerif: an Online Verification PlatformPetri Net Newsletter, 2021, 87, pp.5--7
Article dans une revue
hal-03777111v1
|
|||
Importance Sampling for Model Checking of Continuous Time Markov ChainsProceedings of the 4th International Conference on Advances in System Simulation (SIMUL'12), 2012, Lisbon, Portugal. pp.30-35
Communication dans un congrès
hal-00776563v1
|
|||
|
Statistical Model-Checking for Autonomous Vehicle Safety ValidationConference SIA Simulation Numérique, Société des Ingénieurs de l'Automobile, Mar 2017, Montigny-le-Bretonneux, France
Communication dans un congrès
hal-01491064v1
|
||
Simulation-based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS'13), 2013, Canada. pp.253-264, ⟨10.1145/2486092.2486124⟩
Communication dans un congrès
hal-00926210v1
|
|||
Rare Event Handling in Signalling Cascades6th International Conference on Advances in System Simulation (SIMUL'14), 2014, Nice, France. pp.126-131
Communication dans un congrès
hal-01091144v1
|
|||
|
Property-Directed Verification of Recurrent Neural Networks2020
Pré-publication, Document de travail
hal-03134999v1
|
||
|
Coupling and Importance Sampling for Statistical Model CheckingProceedings of the 18th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'12), 2012, Tallinn, Estonia. pp.331-346, ⟨10.1007/978-3-642-28756-5_23⟩
Communication dans un congrès
hal-00776795v1
|
||
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems15th International Conference on Formal Engineering Methods (ICFEM'13), Oct 2013, Queenstown, New Zealand. pp.199-214, ⟨10.1007/978-3-642-41202-8_14⟩
Communication dans un congrès
istex
hal-00926126v1
|
|||
|
Falsification of Cyber-Physical Systems with Constrained Signal SpacesNASA Formal Methods, May 2020, Moffett Field, United States. pp.420-439, ⟨10.1007/978-3-030-55754-6_25⟩
Communication dans un congrès
hal-03049273v1
|
||
Échantillonnage préférentiel pour le model checking statistiqueMSR'11, 2011, Lille, France
Communication dans un congrès
hal-01113449v1
|