( en | de | ru )

 

Disambiguation of "Kouchnarenko, Olga"

Author of the publication

copydeleteadd this publication to your clipboard
Composition of Services with Constraints.

, , , and . FACS@FMWeek, volume 263 of Electronic Notes in Theoretical Computer Science, page 31-46. Elsevier, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Olga Kouchnarenko

Üstün Olgay

Olga Munteanu

Rapidly changing automotive global value chains in Hungary: multinational vs. local firm perspectives. Uni Leipzig, (2009)

Olga Bruskina

Periinterventionelle Blutungskomplikationen und die Auswirkung auf den 1-Jahresverlauf nach perkutaner Koronarintervention: Blutungen als zusätzliche Komponente eines kombinierten klinischen Endpunktes. TU München, (2008)

Olga Osetska

Homo- and heterodinuclear luminescent helicates. TU Aachen, (2008)
 

Other publications of authors with the same name

Towards Validating a Platoon of Cristal Vehicles Using CSP||B, , , and . (2008)Refinement Preserves PLTL Properties., , and . ZB, volume 2651 of Lecture Notes in Computer Science, page 408-420. Springer, (2003)Selected and extended papers from FACS 2016., and . Sci. Comput. Program., (2019)Testing adaptation policies for software components., , and . Softw. Qual. J., 28 (3): 1347-1378 (2020)Automated Generation of Initial Configurations for Testing Component Systems., , and . FACS, volume 13077 of Lecture Notes in Computer Science, page 134-152. Springer, (2021)Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies., , and . Autom. Control. Comput. Sci., 56 (7): 606-622 (December 2022)JML-based verification of liveness properties on a class in isolation., , and . SAVCBS@FSE, page 41-48. ACM, (2006)Composition of Services with Constraints., , , and . FACS@FMWeek, volume 263 of Electronic Notes in Theoretical Computer Science, page 31-46. Elsevier, (2009)How to Verify and Exploit a Refinement of Component-Based Systems, and . (2007)Component Simulation-based Substitutivity Managing QoS Aspects., , and . FACS, volume 260 of Electronic Notes in Theoretical Computer Science, page 109-123. Elsevier, (2008)