Arnaud Lanoix - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2020

A tool-assisted method for the systematic construction of critical embedded systems using Event-BPascal André, J. Christian Attiogbé, Arnaud Lanoix. comsis, 17(1):315-338, 2020. [doi]

2019

Introducing probabilistic reasoning within Event-BMohamed Amine Aouadhi, Benoît Delahaye, Arnaud Lanoix. SoSyM, 18(3):1953-1984, 2019. [doi]

2018

2017

Moving from Event-B to probabilistic Event-BMohamed Amine, Benoît Delahaye, Arnaud Lanoix. SAC 2017: 1348-1355 [doi]

2012

When Structural Refinement of Components Keeps Temporal Properties over ReconfigurationsJulien Dormoy, Olga Kouchnarenko, Arnaud Lanoix. FM 2012: 171-186 [doi]

Relaxing B Sharing Restrictions within CSP||BArnaud Lanoix, Olga Kouchnarenko, Samuel Colin, Vincent Poirriez. SC 2012: 35-50 [doi]

2011

Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of ComponentsJulien Dormoy, Olga Kouchnarenko, Arnaud Lanoix. facs2 2012: 115-132 [doi]

Combining Proof and Model-checking to Validate Reconfigurable ArchitecturesArnaud Lanoix, Julien Dormoy, Olga Kouchnarenko. ENTCS, 279(2):43-57, 2011. [doi]

2010

2009

Trustworthy Interface Compliancy: Data Model Adaptation Using B RefinementSamuel Colin, Arnaud Lanoix, Jeanine Souquières. ENTCS, 203(7):23-35, 2009. [doi]

2008

2007

Enhancing Dependability of Component-Based SystemsArnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières. Ada-Europe 2007: 41-54 [doi]

2006

How to Verify and Exploit a Refinement of Component-Based SystemsOlga Kouchnarenko, Arnaud Lanoix. ershov 2007: 297-309 [doi]

An Operator-based Approach to Incremental Development of Conform Protocol State MachinesArnaud Lanoix, Dieu Donné Okalas Ossami, Jeanine Souquières. Dagstuhl 2006: [doi]

2005

Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétés. (Synchronized component-based systems : contributions to the compositional verification of refinement and properties)Arnaud Lanoix. PhD thesis, University of Franche-Comté, Besançon, France, 2005. [doi]

2004

Verifying Invariants of Component-Based Systems through RefinementOlga Kouchnarenko, Arnaud Lanoix. amast 2004: 289-303 [doi]

2003

Refinement and Verification of Synchronized Component-Based SystemsOlga Kouchnarenko, Arnaud Lanoix. FM 2003: 341-358 [doi]

Sign in or sign up to see more results.

runs on WebDSL