Olga Kouchnarenko
Orcid: 0000-0003-1482-9015Affiliations:
- Université de Franche-Comté, Besançon, France
According to our database1,
Olga Kouchnarenko
authored at least 75 papers
between 1996 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
1
1
1
3
2
2
2
1
1
1
2
1
2
1
1
2
3
2
2
3
4
5
2
4
4
5
1
3
1
1
3
2
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024
Proceedings of the 2024 IEEE International Conferences on Internet of Things (iThings) and IEEE Green Computing & Communications (GreenCom) and IEEE Cyber, 2024
2023
Proceedings of the Coordination Models and Languages, 2023
2022
Autom. Control. Comput. Sci., December, 2022
2021
Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021
2020
2019
2018
Int. J. Softw. Tools Technol. Transf., 2018
Test Generation from Event System Abstractions to Cover Their States and Transitions.
Program. Comput. Softw., 2018
Proceedings of the Tests and Proofs - 12th International Conference, 2018
Proceedings of the Tests and Proofs - 12th International Conference, 2018
2017
The emptiness problem for tree automata with at least one global disequality constraint is NP-hard.
Inf. Process. Lett., 2017
Autom. Control. Comput. Sci., 2017
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017
Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort?
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017
Proceedings of the Perspectives of System Informatics, 2017
2016
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016
2015
Sci. Comput. Program., 2015
Proceedings of the Formal Methods and Software Engineering, 2015
Proceedings of the Perspectives of System Informatics, 2015
2014
Softw. Test. Verification Reliab., 2014
Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014
The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard.
CoRR, 2014
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014
Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014
2013
Proceedings of the Implementation and Application of Automata, 2013
Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013
2012
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012
Proceedings of the Implementation and Application of Automata, 2012
Proceedings of the Software Composition - 11th International Conference, 2012
When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations.
Proceedings of the FM 2012: Formal Methods, 2012
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012
2011
Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2011
Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011
2010
Sci. Comput. Program., 2010
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010
Proceedings of the Third International Conference on Software Testing, 2010
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010
Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010
2009
Int. J. Found. Comput. Sci., 2009
Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives.
Proceedings of the Joint Proceedings of the 8th, 2009
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009
Proceedings of the Implementation and Application of Automata, 2009
Proceedings of the Reachability Problems, 3rd International Workshop, 2009
2008
Approximation-based Tree Regular Model-Checking.
Nord. J. Comput., 2008
IET Softw., 2008
Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008
Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008
Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008
Proceedings of the Formal Methods for Industrial Critical Systems, 2008
Proceedings of the Algebraic Methodology and Software Technology, 2008
2007
Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007
2006
Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006
Proceedings of the Theoretical Aspects of Computing, 2006
Proceedings of the Perspectives of Systems Informatics, 2006
2005
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
Proceedings of the Algebraic Methodology and Software Technology, 2004
2003
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003
Proceedings of the FME 2003: Formal Methods, 2003
2002
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002
Proceedings of the Formal Aspects of Security, First International Conference, 2002
2001
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001
2000
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000
Proceedings of the Fundamental Approaches to Software Engineering, 2000
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).
PhD thesis, 1997
Proceedings of the Parallel Computing Technologies, 1997
1996
Proceedings of the First International Workshop on Verification of Infinite State Systems, 1996