Publications d'un membre du LURPA : Pierre-Antoine BRAMERET (7 réponses)
- 2015 (2 publication(s))
- Publications en revue à comité de lecture (1)
- Automated generation of partial Markov chain from high level descriptions
P.-A. Brameret, A. Rauzy, J.-M. Roussel
Reliability Engineering and System Safety, 139, pp. 179-187, DOI: 10.1016/j.ress.2015.02.009, 2015
- Thèses et habilitations à diriger les recherches (1)
- Assessment of Reliability Indicators From Automatically Generated Partial Markov Chains
P.-A. Brameret
Thèse de l'ENS Cachan, 133 pages, juillet 2015
- Communications dans des congrès (2)
- Preliminary System Safety Analysis with Limited Markov Chain Generation
P-A. BRAMERET, J.-M. ROUSSEL, A. RAUZY
4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013), York (United Kingdom), Paper n°3, 6 pages, September 2013 - The AltaRica 3.0 Project for Model-based Safety Assessment
T. PROSVIRNOVA, M. BATTEUX, P.-A. BRAMERET, L. KLOUL, A. CHERFI, T. FRIEDLHUBER, J.-M. ROUSSEL, A. RAUZY
4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013), York (United Kingdom), Paper n°22, 6 pages, September 2013
- Communications dans des congrès (1)
- Assessing the Dependability of Systems with Repairable and Spare Components
P.-A. BRAMERET, A. RAUZY, J.-M. ROUSSEL
18ième Congrès de Maîtrise des Risques et Sûreté de Fonctionnement (LambdaMu 18), Tours (France), Papier 3D-6, 9 p., octobre 2012,
- Communications dans des congrès (1)
- Translation from Petri nets into Boolean equations for the algebraic design of logic controllers
M. DIAZ-RODRIGUEZ, E. LOPEZ-MELLADO, P-A. BRAMERET, J-M. ROUSSEL
8th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE 2011), Merida Mexico, 6 p., October 26-28, 2011
P.A. BRAMERET
Mémoire du Master ISC de l'ENS Cachan, juillet 2011