9
Publications
304
Citations
9
H-Index
1989
Active since
Bernard Serpette is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer science, and parallel programming.
Top concepts
EngineeringComputer ScienceProgram AnalysisParallel ProgrammingFormal MethodsSoftware AnalysisParallel ComputingFormal VerificationSoftware EngineeringSystem Software
Publications per year
1989–2012
9
9
Asynchronous and deterministic objects
Denis Caromel, Ludovic Henrio, Bernard Serpette · 2004 · 92 citations
A dynamic extent control operator for partial continuations
Christian Queinnec, Bernard Serpette · 1991 · 48 citations · Full text
Manuel Serrano, Frédéric Boussinot, Bernard Serpette · 2004 · 25 citations
Rows per page
1–5 of 9