Publications by a LURPA's member: Pierre-Antoine BRAMERET (7 réponses)

2015 (2 publication(s))

Journal Papers (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

PhD theses and French "Habilitation à diriger des 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

2013 (2 publication(s))

Conference Papers (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

2012 (1 publication(s))

Conference Papers (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,

2011 (2 publication(s))

Conference Papers (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

Master theses (1)

• Determining the availability of a system built with repairable components
  P.A. BRAMERET
  Mémoire du Master ISC de l'ENS Cachan, juillet 2011