
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
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
1
1
2
5
5
1
10
5
6
1
1
Publications
|
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, ⟨10.1007/978-3-030-11030-7_2⟩
Article dans une revue
hal-02075980
v1
|
|
Introducing Probabilistic Reasoning within Event-BSoftware and Systems Modeling, 2019, ⟨10.1007/s10270-017-0626-5⟩
Article dans une revue
hal-01610778
v1
|
|
A tool-assisted method for the systematic construction of critical embedded systems using Event-BComputer Science and Information Systems, 2019, 17 (1), pp.315-338. ⟨10.2298/CSIS190501042A⟩
Article dans une revue
hal-02468473
v1
|
|
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-00505336
v1
|
|
Trustworthy Assembly of Components using B Refinemente-Informatica Software Engineering Journal (ISEJ), 2008, 2 (1), 19 p
Article dans une revue
hal-00123997
v2
|
|
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-00180972
v1
|
|
A Model-Driven Method for Fast Building Consistent Web Services in PracticeMODELSWARD, INSTICC, Jan 2018, Funchal, Portugal. ⟨10.5220/0006531900150024⟩
Communication dans un congrès
hal-01654287
v3
|
|
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⟩
Communication dans un congrès
hal-02009658
v1
|
|
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-01929259
v1
|
|
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⟩
Communication dans un congrès
hal-01868498
v1
|
|
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-02010874
v1
|
|
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⟩
Communication dans un congrès
hal-01916059
v1
|
|
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-01590903
v1
|
|
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-01685126
v1
|
|
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-00935129
v1
|
|
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-00699997
v1
|
|
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-00700007
v1
|
|
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-00541613
v1
|
|
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-00642345
v1
|
|
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-00642348
v1
|
|
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-00663353
v1
|
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-01222542
v1
|
|
|
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-00662875
v1
|
|
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-00483236
v1
|
Contract-based Verification of Kmelia Component Assemblies using Event-BFESCA @ Etaps2010, Mar 2010, Paphos, Greece. pp.1
Communication dans un congrès
hal-00483755
v1
|
|
|
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-00423672
v1
|
|
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-00261630
v1
|
|
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-00260577
v1
|
|
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-00286431
v1
|
|
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-00131340
v1
|
|
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-00123884
v2
|
|
Enhancing Dependability of Component-based SystemsReliable Software Technologies Ada-Europe 2007, 2007, Genève, Switzerland. pp.41--54
Communication dans un congrès
hal-00123999
v1
|
|
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-00074477
v1
|
|
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-00001263
v1
|
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-00110527
v1
|
|
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-04482134
v2
|
Requirements for the Description of Component Assembling2008
Autre publication scientifique
hal-00344884
v1
|
|
Model for the Land Transport Domain2008
Autre publication scientifique
hal-00344882
v1
|
|
A synthesis of existing approaches to specify non-functional properties2008
Autre publication scientifique
hal-00344883
v1
|
|
Validation technique des sous-systèmes2008
Autre publication scientifique
hal-00343549
v1
|
|
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-00181250
v1
|
|
|
Component-based Development using the B method2006
Autre publication scientifique
hal-00105041
v1
|
|
Relaxing B Sharing Restrictions within CSP||B2010
Pré-publication, Document de travail
hal-00495769
v1
|
|
An Experience with a Formal Modelling of a Multi-Agent System: the Platooning Problem2008
Pré-publication, Document de travail
hal-00260568
v2
|
|
A Step-by-step Process to Build Conform UML Protocol State Machines2006
Pré-publication, Document de travail
hal-00019314
v1
|
|
A Fully Probabilistic Extension of Event-B[Research Report] LINA-University of Nantes. 2016
Rapport
(rapport de recherche)
hal-01255753
v1
|
|
Moving from Event-B to probabilistic Event-B[Research Report] LINA-University of Nantes. 2016
Rapport
(rapport de recherche)
hal-01316610
v2
|
|
About Probabilistic Event-B[Research Report] LINA-University of Nantes. 2015
Rapport
(rapport de recherche)
hal-01151594
v2
|
|
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
(rapport de recherche)
inria-00173876
v2
|
|
How to Verify and Exploit a Refinement of Component-based Systems[Research Report] RR-5898, INRIA. 2006
Rapport
(rapport de recherche)
inria-00071369
v1
|
|
Refinement and Verification of Synchronized Component-based Systems[Research Report] RR-4862, INRIA. 2003, pp.29
Rapport
(rapport de recherche)
inria-00071721
v1
|
|
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-00011649
v1
|
Chargement...
Chargement...