Jerome Hugues

Jerome Hugues

Carnegie Mellon University - Pittsburgh / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 878513
person_outline Jerome Hugues's MOST POPULAR ARTICLES
1-) From the prototype to the final embedded system using the Ocarina AADL tool suiteJ Hugues, B Zalila, L Pautet, F KordonACM Transactions on Embedded Computing Systems (TECS) 7 (4), 1-25, 20081782008
2-) Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity ApplicationsG Lasnier, B Zalila, L Pautet, J HuguesInternational Conference on Reliable Software Technologies, 237-250, 20091172009
3-) PolyORB: a schizophrenic middleware to build versatile reliable distributed applicationsT Vergnaud, J Hugues, L Pautet, F KordonInternational Conference on Reliable Software Technologies, 106-119, 2004952004
4-) Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina.J Hugues, B Zalila, L Pautet, F KordonIEEE International Workshop on Rapid System Prototyping 7, 106, 2007572007
5-) On the formal verification of middleware behavioral propertiesJ Hugues, T Vergnaud, L Pautet, Y Thierry-Mieg, S Baarir, F KordonElectronic Notes in Theoretical Computer Science 133, 139-157, 2005552005