Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Yoann Blein"'
Publikováno v:
International Journal of Critical Computer-Based Systems
International Journal of Critical Computer-Based Systems, Inderscience, 2021, ⟨10.1504/IJCCBS.2021.117997⟩
International Journal of Critical Computer-Based Systems, Inderscience, 2021, ⟨10.1504/IJCCBS.2021.117997⟩
The ParTraP language has been designed to express temporal and timed properties on finite execution traces of parametric events. It aims to ease properties' expression for users not experienced in ...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c6ecaff803f83418753c6f0ea8bc02b
https://hal.archives-ouvertes.fr/hal-03257052
https://hal.archives-ouvertes.fr/hal-03257052
Publikováno v:
Runtime Verification-18th International Conference, RV 2018
Runtime Verification-18th International Conference, RV 2018, Nov 2018, Limassol, Cyprus. pp.437-446, ⟨10.1007/978-3-030-03769-7_26⟩
Runtime Verification ISBN: 9783030037680
RV
Runtime Verification-18th International Conference, RV 2018, Nov 2018, Limassol, Cyprus. pp.437-446, ⟨10.1007/978-3-030-03769-7_26⟩
Runtime Verification ISBN: 9783030037680
RV
International audience; We present ParTraP and its associated toolset, supporting a lightweight approach to formal methods. In critical systems, such as medical systems, it is often easy to enhance the code with tracing information. ParTraP is an exp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::21338a91ebeea9c3d26c08f2d08fc532
https://hal.univ-grenoble-alpes.fr/hal-02004420
https://hal.univ-grenoble-alpes.fr/hal-02004420
Publikováno v:
the 6th Conference on Formal Methods in Software Engineering (FormaliSE'18)
the 6th Conference on Formal Methods in Software Engineering (FormaliSE'18), Jun 2018, Gothenburg, Sweden. pp.10-19, ⟨10.1145/3193992.3193998⟩
FormaliSE@ICSE
the 6th Conference on Formal Methods in Software Engineering (FormaliSE'18), Jun 2018, Gothenburg, Sweden. pp.10-19, ⟨10.1145/3193992.3193998⟩
FormaliSE@ICSE
International audience; This article proposes a temporal and parametric specification language (ParTraP) developed for the verification of execution traces. The language extends specification patterns with nested scopes, real-time and first-order qua
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c3d6b05720f17cd2873ef5a6e926a966
https://hal.univ-grenoble-alpes.fr/hal-02004378
https://hal.univ-grenoble-alpes.fr/hal-02004378
Publikováno v:
IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017
IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, Jul 2017, Prague, Czech Republic. pp.599-600, ⟨10.1109/QRS-C.2017.135⟩
QRS Companion
IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, Jul 2017, Prague, Czech Republic. pp.599-600, ⟨10.1109/QRS-C.2017.135⟩
QRS Companion
A new generation of medical devices emerges to supportincreasingly more complex medical decisions and procedures.These Medical Devices (MD) combine data fromnovel sensors and existing modalities like scanners withelaborate software processing to assi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ccf7f87d29b4e52c4479fed2b37b7c0
https://hal.archives-ouvertes.fr/hal-01657553/document
https://hal.archives-ouvertes.fr/hal-01657553/document