Testing adaptation policies for software components von Dadeau, Frédéric, Gros, Jean-Philippe, Kouchnarenko, Olga

Volltext

Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies von Dadeau, Frederic, Gros, Jean-Philippe, Kouchnarenko, Olga

Volltext

Component Substitution through Dynamic Reconfigurations von Lanoix, Arnaud, Kouchnarenko, Olga

Volltext

Selected and extended papers from FACS 2016 von Kouchnarenko, Olga, Madelaine, Eric

Volltext

Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers von Kouchnarenko, Olga, Khosravi, Ramtin

Volltext

Using CSP||B Components: Application to a Platoon of Vehicles von Colin, Samuel, Lanoix, Arnaud, Kouchnarenko, Olga, Souquières, Jeanine

Volltext

Checking Business Process Evolution von Poizat, Pascal, Salaün, Gwen, Krishna, Ajay

Volltext

Verifying Modal Workflow Specifications Using Constraint Solving von Bride, Hadrien, Kouchnarenko, Olga, Peureux, Fabien

Volltext

B in Large-Scale Projects: The Canarsie Line CBTC Experience von ESSAME, Didier, DOLLE, Daniel

Volltext

Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers

Volltext

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

Volltext

Assessing SMT and CLP approaches for workflow nets verification von Bride, Hadrien, Kouchnarenko, Olga, Peureux, Fabien, Voiron, Guillaume

Volltext

Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besan'on, France, October 19-21, 2016, Revised Selected Papers

Volltext

Assessing SMT and CLP approaches for workflow nets verification von Bride, Hadrien, Kouchnarenko, Olga, Peureux, Fabien, Voiron, Guillaume

Volltext

From Formal Methods to Software Components: Back to the Future? von Lau, Kung-Kiu

Volltext

Opacity for linear constraint Markov chains von Bérard, Béatrice, Kouchnarenko, Olga, Mullins, John, Sassolas, Mathieu

Volltext

B 2007: formal specification and development in B: 7th International Conference of B users, Besancon, France January 17-19, 2007 ; proceedings von Julliand, Jacques, Kouchnarenko, Olga

Volltext

Coordinated Actors for Reliable Self-adaptive Systems von Bagheri, Maryam, Akkaya, Ilge, Khamespanah, Ehsan, Khakpour, Narges, Sirjani, Marjan, Movaghar, Ali, Lee, Edward A.

Volltext

Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data von Bride, Hadrien, Kouchnarenko, Olga, Peureux, Fabien

Volltext

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

Volltext