Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Antoine Rauzy
Antoine Rauzy
at_id:
orcid_id:
Disciplines:
Computer sciences
Mathematics
Edit
Merge
See Links
Thesis:
Courbure prescrite sur des variétés d'invariant conforme négatif
L'évaluation sémantique en calcul propositionnel
Directed Thesis:
Calcul d'indicateurs de sûreté de fonctionnement de modèles AltaRica 3.0 par simulation stochastique
Modeling Patterns for Performance Analysis of Production and Safety Systems in Process Industry
Toward an Efficient Generation of ISO 26262 Automotive Safety Analyses
Contribution à l'accélération de la simulation stochastique sur des modèles AltaRica Data Flow
Binary decision diagrams and applications to reliability analysis
AltaRica : contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement