HAL :: Recherche

version française

.:. Recherche > Recherche avancée .:.

Veuillez décrire votre requête dans le formulaire ci-dessous. Les champs vides seront ignorés

Trier les résultats suivant	Type de publication (Tout cocher/Tout désélectionner)

voir également les notices bibliographiques

Nombre de documents trouvés : 76 documents


					1 - 2 - 3 - 4 - 5 - 6 - 7 ...

fulltext access

Knowledge-based Distributed Conflict Resolution for Multiparty Interactions and Priorities
Bensalem S., Bozga M., Quilbeuf J., Sifakis J.
In Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings - Formal Techniques for Distributed Systems FMOODS/FORTE 2012, Sweden (2012) [hal-00722485 - version 1]

fulltext access

Modeling Dynamic architectures using Dy-BIP
Bozga M., Jaber M., Maris N., Sifakis J.
Dans Software Composition - 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings - Software Composition - 11th International Conference, SC 2012, Tchèque, République (2012) [hal-00722481 - version 1]

fulltext access

Deciding Conditional Termination
Bozga M., Iosif R., Konecny F.
Dans Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings - Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Estonie (2012) [hal-00722494 - version 1]

fulltext access

System-Level Modeling, Analysis and Code Generation: Object Recognition Case Study
Basu A., Bensalem S., Bozga M., Mottin J., Pacull F., Poulakidas A., Aggelis A.
Embedded World 2012, Allemagne (2012) [hal-00722513 - version 1]

A Theory of Fault Recovery for Component-Based Models
Bonakdarpour B., Bozga M., Goessler G.
Stabilization, Safety, and Security of Distributed Systems, Canada (2012) [hal-00747622 - version 1]

Statistical abstraction and model-checking of Large Heterogeneous Systems
Basu A., Bensalem S., Bozga M., Delahaye B., Legay A.
International Journal on Software Tools for Technology Transfer 14, 1 (2012) 53-72 [hal-00722489 - version 1]

fulltext access

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]

fulltext access

Automated Distributed Implementation of Component-Based Models with Priorities
Bonakdarpour B., Bozga M., Quilbeuf J.
Dans Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011 - 1th International Conference on Embedded Software, EMSOFT 2011, Taïwan, Province De Chine (2011) [hal-00722405 - version 1]

fulltext access

Performance Evaluation of Schedulers in a Probabilistic Setting
Kempf J.-F., Bozga M., Maler O.
Dans Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings - Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Danemark (2011) [hal-00722412 - version 2]

fulltext access

Rigorous System Level Modeling and Analysis of Mixed HW/SW Systems
Bourgos P., Basu A., Bensalem S., Bozga M., Sifakis J., Huang K.
Dans 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011 - 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Royaume-Uni (2011) [hal-00722402 - version 1]


					1 - 2 - 3 - 4 - 5 - 6 - 7 ...

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