Analysis of large amplitude shock profiles for non-equilibrium radiative hydrodynamics: formation of Zeldovich spikes

Computation of shock profiles in radiative hydrodynamics

A high-order relaxation method with projective integration for solving nonlinear systems of hyperbolic conservation laws

A model describing the growth and the size distribution of multiple metastatic tumors

Exploration numérique de comportements asymptotiques pour des équations de transport-diffusion

Numerical Schemes of Diffusion Asymptotics and Moment Closures for Kinetic Equations

Simulation of high-intensity focused ultrasound lesions in presence of boiling

Modeling and simulation of fluid-particles flows

Normal transport properties in a metastable stationary state for a classical particle coupled to a non-Ohmic bath

Stabilité des profils de chocs dans les systèmes de lois de conservation

Entropy solutions of a diffusion equation with discontinuous hysteresis and their finite volume approximation

Coercivity, hypocoercivity, exponential time decay and simulations for discrete Fokker- Planck equations

Classical Motion in Force Fields with Short Range Correlations

Influence of Skin and Subcutaneous Tissue on High-Intensity Focused Ultrasound Beam: Experimental Quantification and Numerical Modeling

Asymptotic-preserving projective integration schemes for kinetic equations in the diffusion limit

Numerical exploration of a forward-backward diffusion equation

A nonlocal electron transport model in the diffusion scaling of hydrodynamics

Formal Analysis of the Wnt/β-catenin through Statistical Model Checking

Reachability Design Through Approximate Bayesian Computation

Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking

Contributions to formal modelling and analysis of stochastic models Mémoire d'habilitation à diriger des recherches

DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes.

Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics

Analysis of business process specifications with OpenAltarica

Formal analysis of production line systems by probabilistic model checking tools

An LTL Model Checking Approach for Biological Parameter Inference

Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models

Formal analysis of the Wnt/β-catenin pathway through statistical model checking

Bayesian parameter estimation for the Wnt pathway: an infinite mixture models approach

DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes

Modeling tools for detecting DoS attacks in WSNs

Petri Nets Validation of Markovian Models of Emergency Department Arrivals

Quantitative Verification of WiMAX Traffic Shaping Solutions

Performance Analysis of Production Lines Through Statistical Model Checking

Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa

A Formal Approach for Tuning Stochastic Oscillators

Expressing and Computing Passage Time Measures of GSPN Models with HASL

Performance modelling of access control mechanisms for local and vehicular wireless networks

HASL: An Expressive Language for Statistical Verification of Stochastic Models

A framework for optimisation based stochastic process discovery

Cosmos: Evolution of a Statistical Model Checking Platform

Analysis of Timed Properties Using the Jump-Diffusion Approximation

Stochastic models for IEEE 802.11p

Applications of an expressive statistical model checking approach to the analysis of genetic circuits

Computer performance engineering : 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedings

Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes

Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes

Partial and Stochastic Differential Equations: Theoretical and Numerical Aspects

Ergodicity of stochastic Cahn-Hilliard equations with logarithmic potentials driven by degenerate or nondegenerate noises

Numerical and convergence analysis of the stochastic Lagrangian averaged Navier-Stokes equations