Nombre de documents trouvés : 57 documents

1 - 2 - 3 - 4 - 5 - 6

Runtime Verification of Component-Based Systems Falcone Y., Jaber M., Nguyen T.-H., Bozga M., Bensalem S. Dans Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings - Software Engineering and Formal Methods, Uruguay (2011) [hal-00642969 - version 1]

A Theory of Fault Recovery for Component-Based Models Bonakdarpour B., Bozga M., Gössler G. SRDS, Espagne (2011) [hal-00665222 - version 1]

Verification of an AFDX infrastructure using simulation and probabilities Basu A., Bensalem S., Bozga M., Delahaye B., Legay A., Sifakis E. Dans Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings - Runtime Verification - First International Conference, RV 2010, Malte (2010) [hal-00557717 - version 1]

From High-Level Component=Based Models to Distributed Implementations Bonakdarpour B., Bozga M., Jaber M., Quilbeuf J., Sifakis J. Dans Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010 - 10th International conference on Embedded software, EMSOFT 2010, États-Unis (2010) [hal-00557792 - version 1]

Incremental Component-based Construction and Verification using Invariants Bensalem S., Bozga M., Legay A., Nguyen T.-H., Sifakis J., Yan R. Dans Formal Methods in Computer Aided Design, Lugano, Switzerland - 20-23 October, 2010 - Proceedings - Formal Methods in Computer Aided Design, FMCAD 2010, Suisse (2010) [hal-00557802 - version 1]

Methods for Knowledge Based Controlling of Distributed Systems Bensalem S., Bozga M., Graf S., Peled D., Quinton S. Dans Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings - Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapour (2010) [hal-00557799 - version 1]

Systematic Correct Construction of Self-stabilizing Systems: A Case Study Basu A., Bonakdarpour B., Bozga M., Sifakis J. Dans Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings - Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, États-Unis (2010) [hal-00558054 - version 1]

Quantitative Separation Logic and Programs with Lists Bozga M., Iosif R., Perarnau S. Journal of Automated Reasoning 45, 2 (2010) 131-156 [hal-00568868 - version 1]

Issues on Memory Managemenet for Component-based Systems Bozga M., Sifakis E. EC2 2010: Workshop on Exploiting Concurrency Efficiently and Correctly, Royaume-Uni (2010) [hal-00561770 - version 1]

Automated Conflict-Free Distributed Implementation of Component-Based Models Bonakdarpour B., Bozga M., Jaber M., Quilbeuf J., Sifakis J. Dans IEEE Fifth International Symposium on Industrial Embedded Systems - SIES 2010, University of Trento, Italy, July 7-9, 2010 - IEEE Fifth International Symposium on Industrial Embedded Systems, Italie (2010) [hal-00558046 - version 1]

1 - 2 - 3 - 4 - 5 - 6

L'URL de cette page est : http://hal.archives-ouvertes.fr/aut/Marius Bozga/