Valentin Besnard

Publications

Citations

H-Index

2018

Active since

Affiliations

École nationale supérieure de techniques avancées Bretagne(Current)

École Supérieure d'Électronique de l'Ouest

Laboratoire des Sciences et Techniques de l’Information de la Communication et de la Connaissance

Centre National de la Recherche Scientifique

Université de Bretagne Occidentale

Valentin Besnard is an author at École nationale supérieure de techniques avancées Bretagne specializing in system software, formal methods, and formal verification.

ORCID

Top concepts

EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering

Publications per year

2018–2021

Publications

Unified LTL Verification and Embedded Execution of UML Models

Valentin Besnard, Matthias Brun, Frédéric Jouault et al. · 2018 · 23 citations

Engineering, Hardware Verification Language, Verification +22

Designing, animating, and verifying partial UML Models

Frédéric Jouault, Valentin Besnard, Théo Le Calvar et al. · 2020 · 14 citations

Software Maintenance, Engineering, Verification +24

Unified verification and monitoring of executable UML specifications

Valentin Besnard, Ciprian Teodorov, Frédéric Jouault et al. · Software & Systems Modeling · 2021 · 13 citations

Engineering, Runtime Verification, Program Analysis +11

Rows per page

1–3 of 3