Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
8 links
Alexandre David
Researcher
PaperStatistical Model Checking for Stochastic Hybrid SystemsAuthorship / preprint / 2012PaperA Forward Reachability Algorithm for Bounded Timed-Arc Petri NetsAuthorship / preprint / 2012PaperStochastic Semantics and Statistical Model Checking for Networks of Priced Timed AutomataAuthorship / preprint / 2014PaperDistributed Parametric and Statistical Model CheckingAuthorship / preprint / 2011PaperComputing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based ApproachAuthorship / preprint / 2012PaperUPPAAL-SMC: Statistical Model Checking for Priced Timed AutomataAuthorship / preprint / 2012PaperControllers with Minimal Observation Power (Application to Timed Systems)Authorship / preprint / 2012PaperPhysical modeling of ribosomes along messenger RNA: estimating kinetic parameters from ribosome profiling experiments using a ballistic modelAuthorship / preprint / 2022