| Using temporal logic for dynamic reconfigurations of components J Dormoy, O Kouchnarenko, A Lanoix International Workshop on Formal Aspects of Component Software, 200-217, 2010 | 61 | 2010 |
| Event-B specification of a situated multi-agent system: Study of a platoon of vehicles A Lanoix 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of …, 2008 | 55 | 2008 |
| Combining proof and model-checking to validate reconfigurable architectures A Lanoix, J Dormoy, O Kouchnarenko Electronic Notes in Theoretical Computer Science 279 (2), 43-57, 2011 | 44 | 2011 |
| Ionization of multiwire proportional chamber gas by double photon absorption J Bourotte, B Sadoulet Nuclear Instruments and Methods 173 (3), 463-470, 1980 | 40 | 1980 |
| Component adaptation: Specification and verification I Mouakher, A Lanoix, J Souquieres 11th International Workshop on Component Oriented Programming-WCOP 2006, 8, 2006 | 34 | 2006 |
| Using CSP|| B components: application to a platoon of vehicles S Colin, A Lanoix, O Kouchnarenko, J Souquières International Workshop on Formal Methods for Industrial Critical Systems …, 2008 | 32 | 2008 |
| Refinement and verification of synchronized component-based systems O Kouchnarenko, A Lanoix FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003 | 23 | 2003 |
| Towards validating a platoon of cristal vehicles using csp|| b S Colin, A Lanoix, O Kouchnarenko, J Souquières Algebraic Methodology and Software Technology: 12th International Conference …, 2008 | 22 | 2008 |
| Enhancing dependability of component-based systems A Lanoix, D Hatebur, M Heisel, J Souquieres International Conference on Reliable Software Technologies, 41-54, 2007 | 22 | 2007 |
| Using assertions to enhance the correctness of kmelia components and their assemblies P André, G Ardourel, C Attiogbé, A Lanoix Electronic Notes in Theoretical Computer Science 263, 5-30, 2010 | 21 | 2010 |
| Runtime verification of temporal patterns for dynamic reconfigurations of components J Dormoy, O Kouchnarenko, A Lanoix International Workshop on Formal Aspects of Component Software, 115-132, 2011 | 17 | 2011 |
| Generic expression in B of the influence/reaction model: Specifying and verifying situated multi-agent systems O Simonin, A Lanoix, S Colin, A Scheuer, F Charpillet INRIA, 2007 | 12 | 2007 |
| Verifying invariants of component-based systems through refinement O Kouchnarenko, A Lanoix Algebraic Methodology and Software Technology: 10th International Conference …, 2004 | 12 | 2004 |
| Specifying in B the influence/reaction model to study situated MAS: application to vehicles platooning O Simonin, A Lanoix, A Scheuer, F Charpillet V2CS: First International workshop on Verification and Validation of multi …, 2011 | 10 | 2011 |
| How to verify and exploit a refinement of component-based systems O Kouchnarenko, A Lanoix Perspectives of Systems Informatics: 6th International Andrei Ershov …, 2007 | 10 | 2007 |
| Extending openapi 3.0 to build web services from their specification D Sferruzza, J Rocheteau, C Attiogbé, A Lanoix International Conference on Web Information Systems and Technologies, 2018 | 9 | 2018 |
| Trustworthy interface compliancy: data model adaptation using B refinement S Colin, A Lanoix, J Souquieres Electronic Notes in Theoretical Computer Science 203 (7), 23-35, 2009 | 9 | 2009 |
| Component substitution through dynamic reconfigurations A Lanoix, O Kouchnarenko arXiv preprint arXiv:1404.0848, 2014 | 8 | 2014 |
| When structural refinement of components keeps temporal properties over reconfigurations J Dormoy, O Kouchnarenko, A Lanoix International Symposium on Formal Methods, 171-186, 2012 | 8 | 2012 |
| SynCo: a refinement analysis tool for synchronized component-based systems O Kouchnarenko, A Lanoix FM 3, 47-51, 2003 | 7 | 2003 |
Olga KouchnarenkoFEMTO-ST and UFC/UBFC在 univ-fcomte.fr 的电子邮件经过验证
