Jean-Baptiste Raclet

Statistics

Publications

Citations

588

H-Index

Active since

2008

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

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

Institut Polytechnique de Bordeaux

Université Toulouse - Jean Jaurès

Université Toulouse III - Paul Sabatier

Jean-Baptiste Raclet is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, formal methods, and computer science.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSystems EngineeringDesignSocial SciencesSoftware DesignSystem SoftwareIndustrial Design

Publications per year

2008–2018

Publications

Contracts for System Design

Albert Benveniste, Benoı̂t Caillaud, Dejan Ničković et al. · Foundations and Trends® in Electronic Design Automation · 2018 · 230 citations · Full text

A Modal Interface Theory for Component-based Design

Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste et al. · Fundamenta Informaticae · 2011 · 99 citations · Full text

Engineering, Modal Interface Theory, Interface Automata +18

Residual for Component Specifications

Jean-Baptiste Raclet · Electronic Notes in Theoretical Computer Science · 2008 · 74 citations · Full text

Engineering, Verification, Software Engineering +18

Modal interfaces

Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste et al. · 2009 · 59 citations

Engineering, Substructural Logic, Automated Reasoning +10

Why Are Modalities Good for Interface Theories?

Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste et al. · 2009 · 52 citations · Full text

Architectural Design, Engineering, Alphabet Equalization +14

1–5 of 10