Old Web
English
Sign In
Acemap
>
authorDetail
>
Pierre Bieber
Pierre Bieber
University of Toulouse
Computer science
Software engineering
Formal methods
Architecture
Spacecraft
4
Papers
14
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
A model-based certification approach for multi/many-core embedded systems
2018
Pierre Bieber
Frédéric Boniol
Youcef Bouchebaba
Julien Brunel
Claire Pagetti
Olivier Poitou
Thomas Polacsek
Luca Santinelli
Nathanaël Sensfelder
Show All
Source
Cite
Save
Citations (2)
A BACKBONE MODEL FOR SAFETY ASSESSMENT OF THE AIR TRANSPORT SYSTEM
2018
Pierre Bieber
J. Morio
F Kaakai
Marion Morel
Sylvain Metge
M Llobet
L. Carbó
Show All
Source
Cite
Save
Citations (0)
Integration of formal fault analysis in ASSERT: Case studies and lessons learnt
2008
Pierre Bieber
J Blanquart
G. Durrieu
David Lesens
J Lucotte
F. Tardy
M. Turin
Christel Seguin
Eric Conquet
Show All
Source
Cite
Save
Citations (12)
1