Zobrazeno 1 - 10
of 159
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
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
Publikováno v:
In Electronic Notes in Theoretical Computer Science 12 December 2011 279(2):43-57