Alexandre Chapoutot

Statistics

Publications

Citations

357

H-Index

Active since

2009

Affiliations

École Nationale Supérieure de Techniques Avancées(Current)

Centre National de la Recherche Scientifique

Université Paris-Saclay

Université de Perpignan

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Alexandre Chapoutot is an author at École Nationale Supérieure de Techniques Avancées specializing in engineering, systems engineering, and computer engineering.

ORCID

Top concepts

EngineeringSystems EngineeringComputer EngineeringSimulationModeling And SimulationFormal MethodsComputer ScienceSoftware AnalysisMechanical SystemsFormal Verification

Publications per year

2009–2020

Publications

Validated Explicit and Implicit Runge-Kutta Methods

Alexandre Chapoutot, Julien Alexandre Dit Sandretto, Olivier Mullier · HAL (Le Centre pour la Communication Scientifique Directe) · 2015 · 60 citations · Full text

An operational semantics for Simulink's simulation engine

Olivier Bouissou, Alexandre Chapoutot · 2012 · 48 citations

Engineering, Verification, Simulation +20

Mathematical equations as executable models of mechanical systems

Yun Zhu, Edwin M. Westbrook, Jun Inoue et al. · 2010 · 45 citations

Engineering, Software Engineering, Simulation +22

Construction of parametric barrier functions for dynamical systems using interval analysis

Adel Djaballah, Alexandre Chapoutot, Michel Kieffer et al. · Automatica · 2017 · 32 citations

Engineering, Parametric Barrier Functions, Discrete Dynamical System +7

HySon: Set-based simulation of hybrid systems

Olivier Bouissou, Samuel Mimram, Alexandre Chapoutot · 2012 · 27 citations

Engineering, Mechatronics, Automation +14

1–5 of 14