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

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

Numerical exploration of a forward-backward diffusion equation

Simulation of fluid and particles flows: Asymptotic preserving schemes for bubbling and flowing regimes

A nonlocal electron transport model in the diffusion scaling of hydrodynamics

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

Uniform estimates for a fully discrete scheme integrating the linear heat equation on a bounded interval with pure Neumann boundary conditions

Asymptotic behavior of splitting schemes involving time-subcycling techniques

Shock profiles for hydrodynamic models for fluid-particles flows in the flowing regime

Signal propagation in the MAPK cascade: role of bistability and ultrasensitivity for a mixed problem

The lovebirds problem: why solve Hamilton-Jacobi-Bellman equations matters in love affairs

Extinction probabilities for a distylous plant population modeled by an inhomogeneous random walk on the positive quadrant

Fluid-particles flows: a thin spray model with energy exchanges

Numerical investigations of the compressible Navier-Stokes system

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

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

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

Reachability Design Through Approximate Bayesian Computation

Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics

Formal analysis of production line systems by probabilistic model checking tools

An LTL Model Checking Approach for Biological Parameter Inference

Analysis of business process specifications with OpenAltarica

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

Performance Analysis of Production Lines Through Statistical Model Checking

Modeling tools for detecting DoS attacks in WSNs

Petri Nets Validation of Markovian Models of Emergency Department Arrivals

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

Statistical process discovery

Statistical Bayesian Inference for Stochastic Process Discovery

Probabilistic Process Discovery with Stochastic Process Trees

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

Probabilistic Process Discovery with Stochastic Process Trees

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

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

Expressing and Computing Passage Time Measures of GSPN Models with HASL

A Formal Approach for Tuning Stochastic Oscillators

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

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

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

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

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

HASL: A new approach for performance evaluation and model checking from concepts to experimentation

The yeast Wickerhamomyces anomalus ( Pichia anomala ) inhabits the midgut and reproductive system of the Asian malaria vector Anopheles stephensi

Partial and Stochastic Differential Equations: Theoretical and Numerical Aspects

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

Backward Hedging for American Options with Transaction Costs

A New Non-Linear Density Fluctuations Stochastic Partial Differential Equation With a Singular Coefficient of Relevance to Polymer Dynamics and Rheology