Pierre-Olivier Ribet

Publications

405

Citations

H-Index

2003

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Pierre-Olivier Ribet is an author at Centre National de la Recherche Scientifique specializing in formal methods, engineering, and formal verification.

Top concepts

EngineeringFormal MethodsFormal VerificationSystems EngineeringVerificationSoftware DesignSystem SoftwareComputer ScienceEmbedded SystemsProgram Analysis

Publications per year

2003–2004

Publications

The tool TINA – Construction of abstract state spaces for petri nets and time petri nets

Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat · International Journal of Production Research · 2004 · 388 citations

Petri Net, Engineering, Reachability Problem +14

Towards the verification of real-time systems in avionics

B. Berthomieu, Pierre-Olivier Ribet, François Vernadat et al. · Electronic Notes in Theoretical Computer Science · 2003 · 17 citations · Full text

Engineering, Verification, Computer Architecture +21

Rows per page

1–2 of 2