Olga Kouchnarenko

83 papers A* 1A 2B 6C 11Misc 1Journal 21Unranked 38

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	A Hybrid Modelling Approach for Hierarchical Control of Structured CPSs. Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday Simon Bliudze, Sophie Cerf, Olga Kouchnarenko
2025	—	`conf`	Fancy Some Chips for Your TeaStore? Modeling the Control of an Adaptable Discrete System. WACA@DisCoTec Anna Gallone, Simon Bliudze, Sophie Cerf, Olga Kouchnarenko
2024	—	`conf`	Building a First Prototype of a Multi-scale Modular Distributed Display. iThings/GreenCom/CPSCom/SmartData/Cybermatics Frédéric Lassabe, Dominique Dhoutaut, Benoît Piranda, Olga Kouchnarenko, Julien Bourgeois
2024	B	`conf`	Composing Run-Time Variability Models. SEFM Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko
2023	C	`conf`	Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems. COORDINATION Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko
2022	J	`jnl`	Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies. Autom. Control. Comput. Sci. Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko
2021	—	`conf`	Automated Generation of Initial Configurations for Testing Component Systems. FACS Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko
2020	J	`jnl`	Testing adaptation policies for software components. Softw. Qual. J. Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko
2019	J	`jnl`	Selected and extended papers from FACS 2016. Sci. Comput. Program. Olga Kouchnarenko, Eric Madelaine
2018	—	`conf`	An Approximation-Based Approach for the Random Exploration of Large Models. TAP@STAF Julien Bernard, Pierre-Cyrille Héam, Olga Kouchnarenko
2018	J	`jnl`	An Approximation-based Approach for the Random Exploration of Large Models. CoRR Julien Bernard, Pierre-Cyrille Héam, Olga Kouchnarenko
2018	J	`jnl`	Assessing SMT and CLP approaches for workflow nets verification. Int. J. Softw. Tools Technol. Transf. Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron
2018	J	`jnl`	Opacity for linear constraint Markov chains. Discret. Event Dyn. Syst. Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas
2018	J	`jnl`	Test Generation from Event System Abstractions to Cover Their States and Transitions. Program. Comput. Softw. Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
2018	—	`conf`	Under-Approximation Generation Driven by Relevance Predicates and Variants. TAP@STAF Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
2017	—	`conf`	Approximating Event System Abstractions by Covering Their States and Transitions. Ershov Informatics Conference Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
2017	J	`jnl`	Component-Based Systems Reconfigurations Using Graph Transformations with GROOVE. Autom. Control. Comput. Sci. Olga Kouchnarenko, Jean-François Weber
2017	—	`ed.`	Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers FACS Olga Kouchnarenko, Ramtin Khosravi
2017	B	`conf`	Reduction of Workflow Nets for Generalised Soundness Verification. VMCAI Hadrien Bride, Olga Kouchnarenko, Fabien Peureux
2017	J	`jnl`	The emptiness problem for tree automata with at least one global disequality constraint is NP-hard. Inf. Process. Lett. Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
2017	Misc	`conf`	Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort? TASE Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
2016	—	`conf`	Preserving opacity on Interval Markov Chains under simulation. WODES Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas
2016	—	`conf`	Workflow Nets Verification: SMT or CLP? FMICS-AVoCS Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron
2015	J	`jnl`	A rule-based system for automatic decidability and combinability. Sci. Comput. Program. Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko
2015	—	`conf`	Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data. Ershov Memorial Conference Hadrien Bride, Olga Kouchnarenko, Fabien Peureux
2015	C	`conf`	Practical Analysis Framework for Component Systems with Dynamic Reconfigurations. ICFEM Olga Kouchnarenko, Jean-François Weber
2015	J	`jnl`	Probabilistic Opacity in Refinement-Based Modeling. CoRR Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas
2014	J	`jnl`	A random testing approach using pushdown automata. Softw. Test. Verification Reliab. Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko, Catherine Masson
2014	—	`conf`	Component Substitution through Dynamic Reconfigurations. FESCA Arnaud Lanoix, Olga Kouchnarenko
2014	—	`conf`	Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime. FACS Olga Kouchnarenko, Jean-François Weber
2014	J	`jnl`	The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard. CoRR Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
2014	B	`conf`	Verifying Modal Workflow Specifications Using Constraint Solving. IFM Hadrien Bride, Olga Kouchnarenko, Fabien Peureux
2013	—	`conf`	Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns. FACS Olga Kouchnarenko, Jean-François Weber
2013	—	`conf`	Automatic Decidability: A Schematic Calculus for Theories with Counting Operators. RTA Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko
2013	C	`conf`	Enhancing Approximations for Regular Reachability Analysis. CIAA Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko
2013	J	`jnl`	Enhancing Approximations for Regular Reachability Analysis. CoRR Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko
2013	—	`conf`	Random Grammar-Based Testing for Covering All Non-terminals. ICST Workshops Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko
2013	J	`jnl`	Random Grammar-based Testing for Covering All Non-Terminals. CoRR Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko
2012	—	`conf`	A Rule-Based Framework for Building Superposition-Based Decision Procedures. WRLA Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko
2012	A	`conf`	From Linear Temporal Logic Properties to Rewrite Propositions. IJCAR Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
2012	J	`jnl`	Loops and overloops for Tree-Walking Automata. Theor. Comput. Sci. Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
2012	C	`conf`	On Positive TAGED with a Bounded Number of Constraints. CIAA Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
2012	A	`conf`	Relaxing B Sharing Restrictions within CSP\|\|B. SC Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin, Vincent Poirriez
2012	B	`conf`	When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations. FM Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix
2011	—	`conf`	Combining Proof and Model-checking to Validate Reconfigurable Architectures. FESCA@ETAPS Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko
2011	C	`conf`	Loops and Overloops for Tree Walking Automata. CIAA Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
2011	—	`conf`	Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components. FACS Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix
2010	J	`jnl`	Component simulation-based substitutivity managing QoS and composition issues. Sci. Comput. Program. Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot
2010	C	`conf`	Event-based adaptation policies for Fractal components. AICCSA Julien Dormoy, Olga Kouchnarenko
2010	—	`conf`	SAT Solvers for Queries over Tree Automata with Constraints. ICST Workshops Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
2010	—	`conf`	Specifying generic Java programs: two case studies. LDTA Alain Giorgetti, Claude Marché, Elena Tushkanova, Olga Kouchnarenko
2010	—	`conf`	Using Temporal Logic for Dynamic Reconfigurations of Components. FACS Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix
2009	—	`conf`	Composition of Services with Constraints. FACS@FMWeek Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko
2009	J	`jnl`	Handling Non Left-Linear Rules when Completing Tree Automata. Int. J. Found. Comput. Sci. Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
2009	—	`conf`	How to Tackle Integer Weighted Automata Positivity. RP Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
2009	C	`conf`	TAGED Approximations for Temporal Properties Model-Checking. CIAA Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
2009	—	`conf`	Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives. INFINITY Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
2008	J	`jnl`	Approximation-based Tree Regular Model-Checking. Nord. J. Comput. Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
2008	—	`conf`	Component Simulation-based Substitutivity Managing QoS Aspects. FACS Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot
2008	—	`conf`	Finer Is Better: Abstraction Refinement for Rewriting Approximations. RTA Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
2008	—	`conf`	Handling Left-Quadratic Rules When Completing Tree Automata. RP Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
2008	—	`conf`	Towards Validating a Platoon of Cristal Vehicles Using CSP\|\|B. AMAST Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
2008	C	`conf`	Using CSP\|\|B Components: Application to a Platoon of Vehicles. FMICS Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
2008	J	`jnl`	Verification of class liveness properties with java modelling language. IET Softw. Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko
2007	C	`conf`	How to Handle QoS Aspects in Web Services Substitutivity Verification. WETICE Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot
2006	—	`ed.`	B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings B Jacques Julliand, Olga Kouchnarenko
2006	C	`conf`	Handling Algebraic Properties in Automatic Analysis of Security Protocols. ICTAC Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
2006	—	`conf`	How to Verify and Exploit a Refinement of Component-Based Systems. Ershov Memorial Conference Olga Kouchnarenko, Arnaud Lanoix
2006	—	`conf`	JML-based verification of liveness properties on a class in isolation. SAVCBS@FSE Julien Groslambert, Jacques Julliand, Olga Kouchnarenko
2005	A*	`conf`	The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron
2004	—	`conf`	Verifying Invariants of Component-Based Systems through Refinement. AMAST Olga Kouchnarenko, Arnaud Lanoix
2003	C	`conf`	How to Compute the Refinement Relation for Parameterized Systems. MEMOCODE Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko
2003	—	`conf`	Refinement Preserves PLTL Properties. ZB Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
2003	—	`conf`	Refinement and Verification of Synchronized Component-Based Systems. FME Olga Kouchnarenko, Arnaud Lanoix
2002	—	`conf`	Automatic Approximation for the Verification of Cryptographic Protocols. FASec Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair
2002	J	`jnl`	Raffiner pour vérifier des systèmes paramétrés. Tech. Sci. Informatiques Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko
2002	—	`conf`	Synchronized Parallel Composition of Event Systems in B. ZB Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko
2001	—	`conf`	Reformulation: A Way to Combine Dynamic Properties and B Refinement. FME Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
2000	B	`conf`	Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. FASE Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko
2000	—	`conf`	Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. ZB Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
1997	B	`conf`	A Formal Framework for the Analysis of Recursive-Parallel Programs. PaCT Olga Kouchnarenko, Philippe Schnoebelen
1997	—	`—`	Sémantique des programmes récursifs-parallèles et méthodes pour leur analyse. (Semantics of recursive-parallel programs and methods for their analysis). Olga Kouchnarenko
1996	—	`conf`	A model for recursive-parallel programs. INFINITY Olga Kouchnarenko, Philippe Schnoebelen