| 2026 | Coordination | Motif Refinement for the Hierarchical Control of Structured CPSs. | Simon Bliudze, Sophie Cerf, Olga Kouchnarenko |
| 2024 | SEFM | Composing Run-Time Variability Models. | Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko |
| 2023 | Coordination | Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems. | Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko |
| 2018 | TAP | An Approximation-Based Approach for the Random Exploration of Large Models. | Julien Bernard, Pierre-Cyrille Ham, Olga Kouchnarenko |
| 2018 | TAP | Under-Approximation Generation Driven by Relevance Predicates and Variants. | Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron |
| 2017 | TASE | Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort? | Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron |
| 2017 | VMCAI | Reduction of Workflow Nets for Generalised Soundness Verification. | Hadrien Bride, Olga Kouchnarenko, Fabien Peureux |
| 2016 | FMICS | Workflow Nets Verification: SMT or CLP? | Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron |
| 2015 | ICFEM | Practical Analysis Framework for Component Systems with Dynamic Reconfigurations. | Olga Kouchnarenko, Jean-Franois Weber |
| 2014 | IFM | Verifying Modal Workflow Specifications Using Constraint Solving. | Hadrien Bride, Olga Kouchnarenko, Fabien Peureux |
| 2013 | ICST | Random Grammar-Based Testing for Covering All Non-terminals. | Alos Dreyfus, Pierre-Cyrille Ham, Olga Kouchnarenko |
| 2012 | CADE | From Linear Temporal Logic Properties to Rewrite Propositions. | Pierre-Cyrille Ham, Vincent Hugot, Olga Kouchnarenko |
| 2012 | FM | When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations. | Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix |
| 2010 | AICCSA | Event-based adaptation policies for Fractal components. | Julien Dormoy, Olga Kouchnarenko |
| 2010 | ICST | SAT Solvers for Queries over Tree Automata with Constraints. | Pierre-Cyrille Ham, Vincent Hugot, Olga Kouchnarenko |
| 2008 | FMICS | Using CSP||B Components: Application to a Platoon of Vehicles. | Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquires |
| 2007 | WETICE | How to Handle QoS Aspects in Web Services Substitutivity Verification. | Pierre-Cyrille Ham, Olga Kouchnarenko, Jrme Voinot |
| 2006 | ICTAC | Handling Algebraic Properties in Automatic Analysis of Security Protocols. | Yohan Boichut, Pierre-Cyrille Ham, Olga Kouchnarenko |
| 2005 | CAV | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. | Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cullar, Paul Hankes Drielsma, Pierre-Cyrille Ham, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mdersheim, David von Oheimb, Michal Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 2003 | FM | Refinement and Verification of Synchronized Component-Based Systems. | Olga Kouchnarenko, Arnaud Lanoix |
| 2003 | MEMOCODE | How to Compute the Refinement Relation for Parameterized Systems. | Franoise Bellegarde, Celina Charlet, Olga Kouchnarenko |
| 2001 | FM | Reformulation: A Way to Combine Dynamic Properties and B Refinement. | Franoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko |
| 2000 | FASE | Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. | Franoise Bellegarde, Jacques Julliand, Olga Kouchnarenko |
| 1997 | PACT | A Formal Framework for the Analysis of Recursive-Parallel Programs. | Olga Kouchnarenko, Philippe Schnoebelen |