Arnaud Lanoix
53
Documents
Publications
- 6
- 6
- 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
- 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
- 16
- 12
- 11
- 8
- 7
- 6
- 6
- 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
- 3
- 2
- 1
- 2
- 3
- 6
- 1
- 10
- 5
- 6
- 1
- 1
|
|
Introducing Probabilistic Reasoning within Event-BSoftware and Systems Modeling, 2019
Article dans une revue
hal-01610778v1
|
A tool-assisted method for the systematic construction of critical embedded systems using Event-BComputer Science and Information Systems, 2019, 00, pp.42-42. ⟨10.2298/CSIS190501042A⟩
Article dans une revue
hal-02468473v1
|
|
|
|
A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible ModelsModel-Driven Engineering and Software Development, 2019, 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers
Article dans une revue
hal-02075980v1
|
Using Assertions to Enhance the Correctness of Kmelia Components and their AssembliesElectronic Notes in Theoretical Computer Science, 2010, 263, pp.5-30. ⟨10.1016/j.entcs.2010.05.002⟩
Article dans une revue
hal-00505336v1
|
|
|
|
Trustworthy Assembly of Components using B Refinemente-Informatica Software Engineering Journal (ISEJ), 2008, 2 (1), 19 p
Article dans une revue
hal-00123997v2
|
|
|
Développement formel par composants : assemblage et vérification à l'aide de BRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2008, 27 (8), pp.1007-1032. ⟨10.3166/TSI.27.1007-1032⟩
Article dans une revue
hal-00180972v1
|
|
|
A Model-Driven Method for Fast Building Consistent Web Services in PracticeMODELSWARD, INSTICC, Jan 2018, Funchal, Portugal
Communication dans un congrès
hal-01654287v3
|
|
|
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
Communication dans un congrès
hal-01916059v1
|
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⟩
Communication dans un congrès
hal-02010874v1
|
|
|
|
Extending OpenAPI 3.0 to Build Web Services from their SpecificationInternational Conference on Web Information Systems and Technologies, INSTICC, Sep 2018, Seville, Spain
Communication dans un congrès
hal-01868498v1
|
|
|
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⟩
Communication dans un congrès
hal-01929259v1
|
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
Communication dans un congrès
hal-02009658v1
|
|
|
|
Une extension probabiliste pour Event-B16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France
Communication dans un congrès
hal-01685126v1
|
|
|
Moving from Event-B to Probabilistic Event-B32nd ACM SIGAPP Symposium On Applied Computing, Apr 2017, Marrakech, Morocco. ⟨10.1145/3019612.3019823⟩
Communication dans un congrès
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
Communication dans un congrès
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
Communication dans un congrès
hal-00935129v1
|
|
|
Structural Refinement of Components Keeps Temporal Properties over Reconfigurations18th International Symposium on Formal Methods (FM 2012), Aug 2012, Paris, France. 15 p
Communication dans un congrès
hal-00700007v1
|
|
|
Relaxing B Sharing Restrictions within CSP||BInternational Conference on Software Composition 2012, May 2012, Prague, Czech Republic. pp.35-50
Communication dans un congrès
hal-00699997v1
|
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⟩
Communication dans un congrès
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
Communication dans un congrès
hal-00642345v1
|
|
|
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
Communication dans un congrès
hal-00663353v1
|
|
|
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⟩
Communication dans un congrès
hal-00483236v1
|
Contract-based Verification of Kmelia Component Assemblies using Event-BFESCA @ Etaps2010, Mar 2010, Paphos, Greece. pp.1
Communication dans un congrès
hal-00483755v1
|
|
|
|
Using Temporal Logic for Dynamic Reconfigurations of ComponentsFACS 2010, 7th Int. Ws. on Formal Aspects of Component Software, 2010, Portugal
Communication dans un congrès
hal-00662875v1
|
|
|
Using Temporal Logic for Dynamic Reconfigurations of Components7th International Workshop on Formal Aspects of Component Software - FACS'2010, Oct 2010, Guimaraes, Portugal
Communication dans un congrès
inria-00541613v1
|
|
|
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
Communication dans un congrès
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
Communication dans un congrès
hal-00286431v1
|
|
|
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
Communication dans un congrès
hal-00260577v1
|
|
|
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
Communication dans un congrès
hal-00261630v1
|
|
|
Enhancing Dependability of Component-based SystemsReliable Software Technologies Ada-Europe 2007, 2007, Genève, Switzerland. pp.41--54
Communication dans un congrès
hal-00123999v1
|
|
|
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
Communication dans un congrès
hal-00123884v2
|
|
|
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
Communication dans un congrès
hal-00131340v1
|
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
Communication dans un congrès
inria-00110527v1
|
|
|
|
An Operator-based Approach to Incremental Development of Conform Protocol State MachinesTrustworthy Software 2006, May 2006, Saarbrücken, Germany. pp.14
Communication dans un congrès
inria-00001263v1
|
|
|
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
Communication dans un congrès
inria-00074477v1
|
|
|
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
Poster de conférence
hal-04482134v2
|
Requirements for the Description of Component Assembling2008
Autre publication scientifique
hal-00344884v1
|
|
A synthesis of existing approaches to specify non-functional properties2008
Autre publication scientifique
hal-00344883v1
|
|
Model for the Land Transport Domain2008
Autre publication scientifique
hal-00344882v1
|
|
Validation technique des sous-systèmes2008
Autre publication scientifique
hal-00343549v1
|
|
Requirements for the description of a component in order to use in a component based approach -- Livrable TACOS L2-1.02007
Autre publication scientifique
hal-00181250v1
|
|
|
|
Component-based Development using the B method2006
Autre publication scientifique
hal-00105041v1
|
|
|
Relaxing B Sharing Restrictions within CSP||B2010
Pré-publication, Document de travail
hal-00495769v1
|
|
|
An Experience with a Formal Modelling of a Multi-Agent System: the Platooning Problem2008
Pré-publication, Document de travail
hal-00260568v2
|
|
|
A Step-by-step Process to Build Conform UML Protocol State Machines2006
Pré-publication, Document de travail
hal-00019314v1
|
|
|
Moving from Event-B to Probabilistic Event-B[Research Report] LINA-University of Nantes. 2016
Rapport
hal-01316599v1
|
|
|
Moving from Event-B to probabilistic Event-B[Research Report] LINA-University of Nantes. 2016
Rapport
hal-01316610v2
|
|
|
A Fully Probabilistic Extension of Event-B[Research Report] LINA-University of Nantes. 2016
Rapport
hal-01255753v1
|
|
|
About Probabilistic Event-B[Research Report] LINA-University of Nantes. 2015
Rapport
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
Rapport
inria-00173876v2
|
|
|
How to Verify and Exploit a Refinement of Component-based Systems[Research Report] RR-5898, INRIA. 2006
Rapport
inria-00071369v1
|
|
|
Refinement and Verification of Synchronized Component-based Systems[Research Report] RR-4862, INRIA. 2003, pp.29
Rapport
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 : ⟩
Thèse
tel-00011649v1
|