14 citations
- Laboratoire d'Informatique de Paris-NordFR2 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR2 papers
- Centre National de la Recherche ScientifiqueFR1 paper
- École Centrale de NantesFR1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- Laboratoire des Sciences du Numérique de NantesFR1 paper
- Nantes UniversitéFR1 paper
- Singapore Management UniversitySG1 paper
- Université de LorraineFR1 paper
- Université Sorbonne Paris NordFR1 paper
- University of AlabamaUS1 paper
- University of North Carolina at Chapel HillUS1 paper
4 papers
Guaranteeing Timed Opacity using Parametric Timed Model Checking
Étienne André, Didier Lime, Dylan Marinho +1
Information leakage can have dramatic consequences on systems security. Among harmful information leaks, the timing information leakage occurs whenever an attacker successfully ded…
Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model
Bineet Ghosh, Étienne André
Monitoring the correctness of distributed cyber-physical systems is essential. Detecting possible safety violations can be hard when some samples are uncertain or missing. We monit…
ODEbase: A Repository of ODE Systems for Systems Biology
Christoph Lüders, Thomas Sturm, Ovidiu Radulescu
Recently, symbolic computation and computer algebra systems have been successfully applied in systems biology, especially in chemical reaction network theory. One advantage of symb…
Parametric schedulability analysis of a launcher flight control system under reactivity constraints
Étienne André, Emmanuel Coquard, Laurent Fribourg +2
The next generation of space systems will have to achieve more and more complex missions. In order to master the development cost and duration of such systems, an alternative to a…