Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies by Dadeau, F., Gros, J.-Ph, Kouchnarenko, O.

Get full text

Test Generation from Event System Abstractions to Cover Their States and Transitions by Julliand, J., Kouchnarenko, O., Masson, P. A., Voiron, G.

Get full text

A rule-based system for automatic decidability and combinability by Tushkanova, E., Giorgetti, A., Ringeissen, C., Kouchnarenko, O.

Get full text

The emptiness problem for tree automata with at least one global disequality constraint is NP-hard by Héam, P.-C., Hugot, V., Kouchnarenko, O.

Get full text

How to compute the refinement relation for parameterized systems by Bellegarde, F., Charlet, C., Kouchnarenko, O.

Request full text

Event-based adaptation policies for Fractal components by Dormoy, J, Kouchnarenko, O

Request full text

The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard by P -C Héam, Hugot, V, Kouchnarenko, O

Get full text

A model for recursive-parallel programs by KOUCHNARENKO, O, SCHNOEBELEN, P

Get full text

Handling Left-Quadratic Rules When Completing Tree Automata by Boichut, Y., Courbis, R., Héam, P.-C., Kouchnarenko, O.

Get full text