Fabien Siron

Orcid: 0000-0001-8027-0745

According to our database¹, Fabien Siron authored at least 2 papers in 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Methodology for the formal verification of temporal properties for real-time safety-critical applications based on logical time. (Méthodologie de vérification formelle de propriétés temporelles pour les applications temps-réel critiques basées sur le concept de temps logique).

[BibT_eX]

[DOI]

Fabien Siron

PhD thesis, 2023

Semantics foundations of PsyC based on synchronous Logical Execution Time.

[BibT_eX]

[DOI]

Fabien Siron

Dumitru Potop-Butucaru

Robert de Simone

Damien Chabrol

Amira Methni