Jean-Paul Blanquart

Statistics

Publications

Citations

167

H-Index

Active since

2002

Affiliations

Laboratoire d'Analyse et d'Architecture des Systèmes(Current)

Centre National de la Recherche Scientifique

Thales (France)

Université Fédérale de Toulouse Midi-Pyrénées

Jean-Paul Blanquart is an author at Laboratoire d'Analyse et d'Architecture des Systèmes specializing in engineering, systems engineering, and formal methods.

Top concepts

EngineeringSystems EngineeringFormal MethodsSafety ScienceComputer ScienceFormal VerificationRoboticsAutomationVerificationSoftware Design

Publications per year

2002–2016

Publications

SMOF: A Safety Monitoring Framework for Autonomous Systems

Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck et al. · IEEE Transactions on Systems Man and Cybernetics Systems · 2016 · 65 citations · Full text

Engineering, Verification, Safety Science +16

A framework for dependability engineering of critical computing systems

Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart · Safety Science · 2002 · 22 citations

Software Maintenance, Reliability Engineering, Engineering +12

Criticality categories across safety standards in different domains

Jean-Paul Blanquart, Jean-Marc Astruc, Philippe Baufreton et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2012 · 15 citations

Reliability, Criticality Safety, Safety Case +6

Safety Trigger Conditions for Critical Autonomous Systems

Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet et al. · 2012 · 14 citations · Full text

Engineering, Safety Science, Safety Trigger Conditions +16

Security and Safety Assurance for Aerospace Embedded Systems

Pierre Bieber, Jean-Paul Blanquart, Gilles Descargues et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2012 · 14 citations · Full text

1–5 of 8