Zobrazeno 1 - 10
of 102
pro vyhledávání: '"Kouchnarenko, Olga"'
System modeling is a classical approach to ensure their reliability since it is suitable both for a formal verification and for software testing techniques. In the context of model-based testing an approach combining random testing and coverage based
Externí odkaz:
http://arxiv.org/abs/1806.04878
Given a probabilistic transition system (PTS) $\cal A$ partially observed by an attacker, and an $\omega$-regular predicate $\varphi$over the traces of $\cal A$, measuring the disclosure of the secret $\varphi$ in $\cal A$ means computing the probabi
Externí odkaz:
http://arxiv.org/abs/1510.04316
Autor:
Lanoix, Arnaud, Kouchnarenko, Olga
Publikováno v:
EPTCS 147, 2014, pp. 32-46
Component substitution has numerous practical applications and constitutes an active research topic. This paper proposes to enrich an existing component-based framework--a model with dynamic reconfigurations making the system evolve--with a new recon
Externí odkaz:
http://arxiv.org/abs/1404.0848
Publikováno v:
Implementation and Application of Automata 7982 (2013) 331-339
This paper introduces two mechanisms for computing over-approximations of sets of reachable states, with the aim of ensuring termination of state-space exploration. The first mechanism consists in over-approximating the automata representing reachabl
Externí odkaz:
http://arxiv.org/abs/1311.6605
Publikováno v:
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - CSTVA Workshop (2013)
In the context of software testing, generating complex data inputs is frequently performed using a grammar-based specification. For combinatorial reasons, an exhaustive generation of the data -- of a given size -- is practically impossible, and most
Externí odkaz:
http://arxiv.org/abs/1311.6606
Autor:
Kouchnarenko, Olga
Cette thèse s'inscrit dans le cadre des travaux consacrés au développement des modèles sémantiques destinés aux langages de programmation concurrents. Une particularité de notre étude réside dans la considération explicite d'une récursivit
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00004949
http://tel.archives-ouvertes.fr/docs/00/04/62/60/PDF/tel-00004949.pdf
http://tel.archives-ouvertes.fr/docs/00/04/62/60/PDF/tel-00004949.pdf
Publikováno v:
COORDINATION 2023-25th International Conference on Coordination Models and Languages
COORDINATION 2023-25th International Conference on Coordination Models and Languages, Jun 2023, Lisbon, Portugal
COORDINATION 2023-25th International Conference on Coordination Models and Languages, Jun 2023, Lisbon, Portugal
International audience; Cloud applications and cyber-physical systems are becoming increasingly complex, requiring frequent reconfiguration to adapt to changing needs and requirements. Existing approaches compute new valid configurations either at de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f81d5236e13bab663f567493cc34c548
https://inria.hal.science/hal-04098074
https://inria.hal.science/hal-04098074
Publikováno v:
RR-9504, Inria. 2023
Cloud applications and cyber-physical systems are becoming increasingly complex, requiring frequent reconfiguration to adapt to changing needs and requirements. Existing approaches compute new valid configurations either at design time, at runtime, o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6964f12ce6d8bf9010e9f758f880d7fb
https://inria.hal.science/hal-04085278/document
https://inria.hal.science/hal-04085278/document
Publikováno v:
In Theoretical Computer Science 7 September 2012 450:43-53
