Nombre de documents trouvés : 42 documents

1 - 2 - 3 - 4 - 5

Iterating Octagons Bozga M., Girlea C., Iosif R. Dans Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, York, UK, March 22-29, 2009, Proceedings - Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Royaume-Uni (2009) [hal-00374863 − version 1]

Compositional Verification for Component-based Systems and Application Bensalem S., Bozga M., Nguyen T.-H., Sifakis J. Dans Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings - Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Corée, République de (2008) [hal-00359303 − version 1]

Quantitative Separation Logic and Programs with Lists Bozga M., Iosif R., Perarnau S. Dans Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings - Automated Reasoning 4th International Joint Conference, IJCAR 2008, Australie (2008) [hal-00359290 − version 1]

Distributed Semantics and Implementation for Systems with Interaction and Priority Basu A., Bidinger P., Bozga M., Sifakis J. Dans FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo Proceedings - Formal Techniques for Networked and Distributed Systems – FORTE 2008, Japon (2008) [hal-00359261 − version 1]

An Efficient Algorithm for the Computation of Optimum Paths in Weighted Graphs Bozga M., Iosif R., Sfyrla V. Dans MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science - MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Tchèque, République (2007) [hal-00374984 − version 1]

On Timed Components and their Abstraction Ben Salah R., Bozga M., Maler O. SAVCBS 2007 Proceedings - Sixth International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2007), Croatie (2007) [hal-00375707 − version 1]

On Flat Programs with Lists Bozga M., Iosif R. Dans Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings - Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, France (2007) [hal-00361205 − version 1]

Modeling Heterogeneous Real-Time Components in BIP Basu A., Bozga M., Sifakis J. Dans Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) Proceedings - Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), Inde (2006) [hal-00375298 − version 1]

On Interleaving in Timed Automata Ben Salah R., Bozga M., Maler O. CONCUR 2006 - Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings - CONCUR 2006 - Concurrency Theory 17th International Conference, CONCUR 2006, Allemagne (2006) [hal-00369800 − version 1]

Programs with Lists are Counter Automata Bouajjani A., Bozga M., Habermehl P., Iosif R., Moro P., Vojnar T. Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Computer Aided Verification, États-Unis d'Amérique (2006) [hal-00148002 − version 1]

1 - 2 - 3 - 4 - 5

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