Benoı̂t Caillaud

Institut de Recherche en Informatique et Systèmes Aléatoires — France

Computer Science · Physical Sciences

26h-index2.4kcitations130works1.52yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(50), Embedded Systems Design Techniques(35), Modeling and Simulation Systems(24), Simulation Techniques and Applications(20), Model-Driven Software Engineering Techniques(20)

Publications129 total

Structural Methods for handling mode changes in multimode DAE systems
ArXiv.org·2025Open Access
Benchmarking the Modular Structural Analysis Algorithm
Linköping electronic conference proceedings·2025Open Access
Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design
ACM Transactions on Cyber-Physical Systems·2024· 4 citedOpen Access
Fault Diagnosability Analysis of Multi-Mode Systems
IFAC-PapersOnLine·2024· 2 citedOpen Access
Towards the separate compilation of Modelica: modularity and interfaces for the index reduction of incomplete DAE systems
Linköping electronic conference proceedings·2023Open Access
Proceedings of the 15th International Modelica Conference 2023, Aachen, October 9-11
Linköping electronic conference proceedings·2023· 2 citedOpen Access
Fault Diagnosability Analysis of Multi-Mode Systems
2023Open Access
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
arXiv (Cornell University)·2023· 2 citedOpen Access
Algorithms for the Structural Analysis of Multimode Modelica Models
Electronics·2022· 6 citedOpen Access
Analyse Structurelle Exacte de Modèles Modelica Multimodes: Vers la Génération de Codes de Simulation Corrects
SPIRE - Sciences Po Institutional REpository·2022
From Hybrid Automata to DAE-Based Modeling
Lecture notes in computer science·2022· 8 citedOpen Access
Compile-Time Impulse Analysis in Modelica
Linköping electronic conference proceedings·2021· 2 citedOpen Access
A Reduced Index Mode-Independent Structure Model Transformation for Multimode Modelica Models
Linköping electronic conference proceedings·2021· 2 citedOpen Access
Handling Multimode Models and Mode Changes in Modelica
Linköping electronic conference proceedings·2021· 5 citedOpen Access
A Reduced Index Mode-Independent Structure Model Transformation for Multimode Modelica Models
SPIRE - Sciences Po Institutional REpository·2021Open Access
Compile-Time Impulse Analysis in Modelica
SPIRE - Sciences Po Institutional REpository·2021· 1 citedOpen Access
Structural Analysis of Multimode DAE Systems: summary of results
arXiv (Cornell University)·2021Open Access
An Algebra of Deterministic Propositional Acceptance Automata (DPAA)
2020
The Mathematical Foundations of Physical Systems Modeling Languages
arXiv (Cornell University)·2020Open Access
Unveiling the implicit knowledge, one scenario at a time
The Visual Computer·2020· 3 cited
page 1 of 7Next →

Frequent Co-authors

Albert Benveniste(26), Roberto Passerone(10), Jean-Baptiste Raclet(7), Axel Legay(7), Marc Pouzet(7), Alberto Sangiovanni‐Vincentelli(6), Éric Badouel(6), Kim G. Larsen(5), Philippe Darondeau(5), Dumitru Potop‐Butucaru(5), Benoît Delahaye(5), Timothy Bourke(4), Dejan Ničković(3), Philipp Reinkemeier(3), Werner Damm(3), Marek A. Bednarczyk(3), Luca P. Carloni(3), Paul Caspi(3), Thomas A. Henzinger(2), Andrzej M. Borzyszkowski(2)