Arnaud Lanoix
52
Documents
Publications
- 6
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 16
- 12
- 11
- 8
- 6
- 6
- 5
- 5
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 6
- 2
- 2
- 2
- 1
- 2
- 3
- 6
- 1
- 10
- 5
- 6
- 1
- 1
|
|
Systematic Construction of Critical Embedded Systems Using Event-BNew Trends in Model and Data Engineering - MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. ⟨10.1007/978-3-030-02852-7_18⟩
Conference papers
hal-01929259v1
|
|
|
A Model-Driven Method for Fast Building Consistent Web Services in PracticeMODELSWARD, INSTICC, Jan 2018, Funchal, Portugal. ⟨10.5220/0006531900150024⟩
Conference papers
hal-01654287v3
|
A Model-Driven Method for Fast Building Consistent Web Services in Practice17ièmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2018, Grenoble, France. ⟨10.5220/0006531900150024⟩
Conference papers
hal-02009658v1
|
|
|
|
Extending OpenAPI 3.0 to Build Web Services from their SpecificationInternational Conference on Web Information Systems and Technologies, INSTICC, Sep 2018, Seville, Spain. ⟨10.5220/0006923604120419⟩
Conference papers
hal-01868498v1
|
A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible ModelsModel-Driven Engineering and Software Development - 6th International Conference, (MODELSWARD) 2018 - revised selected papers, Jan 2018, Funchal, Portugal. pp.9-33, ⟨10.1007/978-3-030-11030-7_2⟩
Conference papers
hal-02010874v1
|
|
|
|
Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of EventsNew Trends in Model and Data Engineering - MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. https://www.springer.com/gp/book/9783030028510, ⟨10.1007/978-3-030-02852-7_17⟩
Conference papers
hal-01916059v1
|
|
|
Une extension probabiliste pour Event-B16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France
Conference papers
hal-01685126v1
|
|
|
Moving from Event-B to Probabilistic Event-B32nd ACM SIGAPP Symposium On Applied Computing, Apr 2017, Marrakech, Morocco. ⟨10.1145/3019612.3019823⟩
Conference papers
hal-01590903v1
|
Combining Proof and Model-checking to Validate Reconfigurable ArchitecturesFESCA 2011, 8th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, 2015, Saarbrücken, Germany. pp.43--57
Conference papers
hal-01222542v1
|
|
|
|
Component Substitution through Dynamic Reconfigurations11th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, Apr 2014, Grenoble, France. 14 p
Conference papers
hal-00935129v1
|
|
|
Structural Refinement of Components Keeps Temporal Properties over Reconfigurations18th International Symposium on Formal Methods (FM 2012), Aug 2012, Paris, France. 15 p
Conference papers
hal-00700007v1
|
|
|
Relaxing B Sharing Restrictions within CSP||BInternational Conference on Software Composition 2012, May 2012, Prague, Czech Republic. pp.35-50
Conference papers
hal-00699997v1
|
|
|
Specifying in B the Influence/Reaction Model to Study Situated MAS: Application to vehicles platooningV2CS : First International workshop on Verification and Validation of multi-agent models for complex systems, Nov 2011, France. 15 p
Conference papers
hal-00663353v1
|
Combining Proof and Model-checking to Validate Reconfigurable Architectures8th International Workshop on Formal Engineering approaches to Software Components and Architectures - FESCA 2011, joint to ETAPS 2011, Apr 2011, Saarbrucken, Germany. pp.43-57, ⟨10.1016/j.entcs.2011.11.011⟩
Conference papers
hal-00642348v1
|
|
|
|
Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components8th International Symposium on Formal Aspects of Component Software - FACS 2011, Sep 2011, Oslo, Norway
Conference papers
hal-00642345v1
|
|
|
Using Event-B to Verify the Kmelia Components and Their AssembliesABZ'2010, Feb 2010, Oreford, Canada. pp.410, ⟨10.1007/978-3-642-11811-1_43⟩
Conference papers
hal-00483236v1
|
|
|
Using Temporal Logic for Dynamic Reconfigurations of Components7th International Workshop on Formal Aspects of Component Software - FACS'2010, Oct 2010, Guimaraes, Portugal
Conference papers
inria-00541613v1
|
|
|
Using Temporal Logic for Dynamic Reconfigurations of ComponentsFACS 2010, 7th Int. Ws. on Formal Aspects of Component Software, 2010, Portugal
Conference papers
hal-00662875v1
|
Contract-based Verification of Kmelia Component Assemblies using Event-BFESCA @ Etaps2010, Mar 2010, Paphos, Greece. pp.1
Conference papers
hal-00483755v1
|
|
|
|
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies6th International Workshop on Formal Aspects of Component Software (FACS 2009), Oct 2009, Eindhoven, Netherlands
Conference papers
hal-00423672v1
|
|
|
Using CSP||B Components: Application to a Platoon of Vehicles13th International ERCIM Wokshop on Formal Methods for Industrial Critical Systems (FMICS 2008), Sep 2008, Italy. 16 p
Conference papers
hal-00286431v1
|
|
|
Towards Validating a Platoon of Cristal Vehicles using CSP||B12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), Jul 2008, France. 6 p
Conference papers
hal-00261630v1
|
|
|
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008), Jun 2008, France. 8 p
Conference papers
hal-00260577v1
|
|
|
Schémas de développement d'adaptateurs à l'aide de BApproches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), Jun 2007, Namur, Belgique. pp.91-108
Conference papers
hal-00131340v1
|
|
|
Trustworthy interface compliancy: data model adaptation using B refinementFormal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), Satellite workshop of ETAPS, Mar 2007, Braga, Portugal. 13 p
Conference papers
hal-00123884v2
|
|
|
Enhancing Dependability of Component-based SystemsReliable Software Technologies Ada-Europe 2007, 2007, Genève, Switzerland. pp.41--54
Conference papers
hal-00123999v1
|
|
|
Component Adaptation: Specification and Verification11th International Workshop on Component Oriented Programming - WCOP 2006, Wolfgang Weck, Ralf Reussner and Clemens Szyperski, Jul 2006, Nantes, France. pp.8
Conference papers
inria-00074477v1
|
How to Verify and Exploit a Refinement of Component-based SystemsSixth International Andrei Ershov Memorial Conference Perspectives Of System Informatics (PSI'06), 2006, Novosibirsk, Akademgorodok, Russia, France. pp.457-469
Conference papers
inria-00110527v1
|
|
|
|
An Operator-based Approach to Incremental Development of Conform Protocol State MachinesTrustworthy Software 2006, May 2006, Saarbrücken, Germany. pp.14
Conference papers
inria-00001263v1
|
|
|
UMLChecker : un outil vérifiant la conformité entre une spécification et du code dans un enseignement de programmation orientée objetMens, Kim; Goletti, Olivier. Colloque Didapro 10 sur la Didactique de l’informatique et des STIC, 2024, Louvain-La-Neuve, Belgique. pp.152-154, 2024
Conference poster
hal-04482134v2
|
Validation technique des sous-systèmes2008
Other publications
hal-00343549v1
|
|
A synthesis of existing approaches to specify non-functional properties2008
Other publications
hal-00344883v1
|
|
Requirements for the Description of Component Assembling2008
Other publications
hal-00344884v1
|
|
Model for the Land Transport Domain2008
Other publications
hal-00344882v1
|
|
Requirements for the description of a component in order to use in a component based approach -- Livrable TACOS L2-1.02007
Other publications
hal-00181250v1
|
|
|
|
Component-based Development using the B method2006
Other publications
hal-00105041v1
|
|
|
Relaxing B Sharing Restrictions within CSP||B2010
Preprints, Working Papers, ...
hal-00495769v1
|
|
|
An Experience with a Formal Modelling of a Multi-Agent System: the Platooning Problem2008
Preprints, Working Papers, ...
hal-00260568v2
|
|
|
A Step-by-step Process to Build Conform UML Protocol State Machines2006
Preprints, Working Papers, ...
hal-00019314v1
|
|
|
A Fully Probabilistic Extension of Event-B[Research Report] LINA-University of Nantes. 2016
Reports
hal-01255753v1
|
|
|
Moving from Event-B to probabilistic Event-B[Research Report] LINA-University of Nantes. 2016
Reports
hal-01316610v2
|
|
|
About Probabilistic Event-B[Research Report] LINA-University of Nantes. 2015
Reports
hal-01151594v2
|
|
|
Generic Expression in B of the Influence/Reaction Model: Specifying and Verifying Situated Multi-Agent Systems[Research Report] RR-6304, INRIA. 2007, pp.18
Reports
inria-00173876v2
|
|
|
How to Verify and Exploit a Refinement of Component-based Systems[Research Report] RR-5898, INRIA. 2006
Reports
inria-00071369v1
|
|
|
Refinement and Verification of Synchronized Component-based Systems[Research Report] RR-4862, INRIA. 2003, pp.29
Reports
inria-00071721v1
|
|
|
Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétésGénie logiciel [cs.SE]. Université de Franche-Comté, 2005. Français. ⟨NNT : ⟩
Theses
tel-00011649v1
|