Jean-Paul Bodeveix

Publications

383

Citations

H-Index

2007

Active since

Affiliations

Institut de Recherche en Informatique de Toulouse(Current)

Université Toulouse III - Paul Sabatier

Université Toulouse - Jean Jaurès

Institut Polytechnique de Bordeaux

Université Toulouse-I-Capitole

Jean-Paul Bodeveix is an author at Institut de Recherche en Informatique de Toulouse specializing in formal methods, formal verification, and computer science.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationSoftware AnalysisSystems EngineeringSoftware DesignSystem SoftwareProgram Analysis

Publications per year

2007–2021

Publications

Fiacre: an Intermediate Language for Model Verification in the TOPCASED Environment

Bernard Berthomieu, Jean-Paul Bodeveix, Patrick Farail et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2008 · 107 citations · Full text

The AADL behaviour annex -- experiments and roadmap

Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali et al. · 2007 · 93 citations

Engineering, Software Engineering, Aadl Behaviour Annex +23

From AADL to Timed Abstract State Machines: A verified model transformation

Zhibin Yang, Kai Hu, Dianfu Ma et al. · Journal of Systems and Software · 2014 · 49 citations

Abstract Machine, Verified Model Transformation, Engineering +12

An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models

Fei Wang, Zhibin Yang, Zhiqiu Huang et al. · IEEE Transactions on Reliability · 2019 · 28 citations · Full text

Software Maintenance, Initial Aadl Models, Requirements Traceability +24

Security policy compliance with violation management

Julien Brunel, Frédéric Cuppens, Nora Cuppens et al. · 2007 · 23 citations

Engineering, Inspection, Information Security +23

Rows per page

1–5 of 11