Olfa Mosbahi < Olga Kouchnarenko < Olga Sorkine-Hornung

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 63.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000417 (2013-12-02)	Alois Dreyfus ; Pierre-Cyrille Heam ; Olga Kouchnarenko ; Catherine Masson	A Random Testing Approach Using Pushdown Automata
000446 (2012-03-24)	Elena Tushkanova ; Alain Giorgetti ; Christophe Ringeissen ; Olga Kouchnarenko	A Rule-Based Framework for Building Superposition-Based Decision Procedures
000847 (2014)	Aloïs Dreyfus ; Pierre-Cyrille Héam ; Olga Kouchnarenko ; Catherine Masson	A random testing approach using pushdown automata
000943 (2015-03)	Elena Tushkanova ; Alain Giorgetti ; Christophe Ringeissen ; Olga Kouchnarenko	A rule-based system for automatic decidability and combinability
000B11 (2013-10-28)	Olga Kouchnarenko ; Jean-Francois Weber	Adapting Component-based Systems at Runtime via Policies with Temporal Patterns
000F60 (2008)	Yohan Boichut ; Pierre-Cyrille Heam ; Olga Kouchnarenko	Approximation based tree regular model checking
001095 (2006)	Yohan Boichut ; Pierre-Cyrille Héam ; Olga Kouchnarenko	Automatic Abstraction Generation : How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users
001098 (2002)	Frédéric Oehl ; Gérard Cécé ; Olga Kouchnarenko ; David Sinclair	Automatic Approximation for the Verification of Cryptographic Protocols
001103 (2012-11)	Elena Tushkanova ; Christophe Ringeissen ; Alain Giorgetti ; Olga Kouchnarenko	Automatic Decidability for Theories Modulo Integer Offsets
001104 (2013-06-10)	Elena Tushkanova ; Christophe Ringeissen ; Alain Giorgetti ; Olga Kouchnarenko	Automatic Decidability for Theories with Counting Operators
001105 (2013-06-23)	Elena Tushkanova ; Christophe Ringeissen ; Alain Giorgetti ; Olga Kouchnarenko	Automatic Decidability: A Schematic Calculus for Theories with Counting Operators
001136 (2005)	Yohan Boichut ; Pierre-Cyrille Héam ; Olga Kouchnarenko	Automatic Verification of Security Protocols Using Approximations
001585 (2011-04-02)	Arnaud Lanoix ; Julien Dormoy ; Olga Kouchnarenko	Combining Proof and Model-checking to Validate Reconfigurable Architectures
001708 (2008-09)	Pierre-Cyrille Heam ; Olga Kouchnarenko ; Jérôme Voinot	Component Simulation-based Substitutivity Managing QoS Aspects
001709 (2010)	Pierre-Cyrille Heam ; Olga Kouchnarenko ; Jérôme Voinot	Component Simulation-based Substitutivity Managing QoS and Composition Issues
001710 (2010)	Pierre-Cyrille Héam ; Olga Kouchnarenko ; Jérôme Voinot	Component Simulation-based Substitutivity Managing QoS and Composition Issues
001712 (2014-04-12)	Arnaud Lanoix ; Olga Kouchnarenko	Component Substitution through Dynamic Reconfigurations
001720 (2010)	Fahima Cheikh ; Pierre-Cyrille Héam ; Olga Kouchnarenko	Composition of Services with Constraints
001723 (2009-11-02)	Philippe Balbiani ; Fahima Cheikh ; Pierre-Cyrille Heam ; Olga Kouchnarenko	Composition of services with constraints
001861 (2015-08-25)	Hadrien Bride ; Olga Kouchnarenko ; Fabien Peureux	Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
001A71 (2014)	Olga Kouchnarenko ; Jean-Francois Weber	Decentralised Evaluation of Temporal Patterns over Component-based Systems at Runtime

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Olga Kouchnarenko" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Olga Kouchnarenko" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Olga Kouchnarenko
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022