|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 20 occurrences of 15 keywords
|
|
|
|
|
Results
Found 36 publication records. Showing 36 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko |
Combining Proof and Model-checking to Validate Reconfigurable Architectures.  |
Electr. Notes Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko |
Loops and Overloops for Tree Walking Automata. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot |
Component simulation-based substitutivity managing QoS and composition issues. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot |
Component Simulation-based Substitutivity Managing QoS Aspects. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko |
Composition of Services with Constraints. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko |
SAT Solvers for Queries over Tree Automata with Constraints. |
ICST Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix |
Using Temporal Logic for Dynamic Reconfigurations of Components. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Giorgetti, Claude Marché, Elena Tushkanova, Olga Kouchnarenko |
Specifying generic Java programs: two case studies. |
LDTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Dormoy, Olga Kouchnarenko |
Event-based adaptation policies for Fractal components. |
AICCSA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko |
Handling Non Left-Linear Rules when Completing Tree Automata. |
Int. J. Found. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko |
Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko |
How to Tackle Integer Weighted Automata Positivity. |
RP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko |
TAGED Approximations for Temporal Properties Model-Checking. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko |
Handling Left-Quadratic Rules When Completing Tree Automata. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko |
Verification of class liveness properties with java modelling language. |
IET Software |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko |
Approximation-based Tree Regular Model-Checking. |
Nord. J. Comput. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières |
Towards Validating a Platoon of Cristal Vehicles Using CSP||B. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
CSP?B, distributed systems, formal methods, case study, platooning |
| 1 | Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières |
Using CSP||B Components: Application to a Platoon of Vehicles. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
verification, formal methods, specification, case study, CSP, B, compositional modelling |
| 1 | Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko |
Finer Is Better: Abstraction Refinement for Rewriting Approximations. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot |
How to Handle QoS Aspects in Web Services Substitutivity Verification. |
WETICE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Kouchnarenko, Arnaud Lanoix |
How to Verify and Exploit a Refinement of Component-Based Systems. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
LTL properties, verification, composition, refinement, modules, component-based systems |
| 1 | Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko |
Handling Algebraic Properties in Automatic Analysis of Security Protocols. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Julliand, Olga Kouchnarenko (eds.) |
B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings |
B |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Kouchnarenko, Arnaud Lanoix |
Verifying Invariants of Component-Based Systems through Refinement. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko |
How to Compute the Refinement Relation for Parameterized Systems. |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Darlot, Jacques Julliand, Olga Kouchnarenko |
Refinement Preserves PLTL Properties. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
Presevation of PLTL properties, B event systems, Refinement development |
| 1 | Olga Kouchnarenko, Arnaud Lanoix |
Refinement and Verification of Synchronized Component-Based Systems. |
FME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko |
Raffiner pour vérifier des systèmes paramétrés. |
Technique et Science Informatiques |
2002 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair |
Automatic Approximation for the Verification of Cryptographic Protocols. |
FASec |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko |
Synchronized Parallel Composition of Event Systems in B. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko |
Reformulation: A Way to Combine Dynamic Properties and B Refinement. |
FME |
2001 |
DBLP DOI BibTeX RDF |
Verification of PLTL properties, Combination of proof and model-checking, Refinement development |
| 1 | Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko |
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko |
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
B Refinement Design, Verification, Specification, Dynamic properties, Event Systems |
| 1 | Olga Kouchnarenko, Ph. Schnoebelen |
A Formal Framework for the Analysis of Recursive-Parallel Programs. |
PaCT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Kouchnarenko, Ph. Schnoebelen |
A model for recursive-parallel programs. |
Electr. Notes Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")