Filter your results
- 52
- 30
- 52
- 11
- 8
- 6
- 2
- 1
- 1
- 1
- 1
- 82
- 3
- 5
- 8
- 6
- 8
- 8
- 11
- 10
- 8
- 7
- 4
- 1
- 1
- 2
- 63
- 19
- 75
- 8
- 7
- 5
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 47
- 29
- 19
- 15
- 10
- 6
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
|
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
|
||
Practical Combination of Theorem Proving and Model Checking for the Multi-facet Analysis31st Annual Conference on Current Trends in Theory and Practice of Informatics, SOFSEM'05, 2005, Liptovsky Jan, Slovakia, Slovakia. pp.1--10
Conference papers
hal-00458165v1
|
|||
|
A Trustworthy Assembly of COTS Components2006
Preprints, Working Papers, ...
hal-00123997v1
|
||
Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams{8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'03}, 2003, Nice, France, France. pp.240a
Conference papers
hal-00458164v1
|
|||
Using Trace to Situate Errors in Model TransformationsCordeiro, José and Ranchordas, AlpeshKumar and Shishkov, Boris. Software and Data Technologies, 50, Springer Berlin Heidelberg, 2011, Communications in Computer and Information Science, 978-3-642-20116-5. ⟨10.1007/978-3-642-20116-5_11⟩
Book sections
inria-00589253v1
|
|||
|
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal DatatypesIEEE Transactions on Software Engineering, 2007, 33 (3), pp.157-170. ⟨10.1109/TSE.2007.21⟩
Journal articles
hal-00470280v1
|
||
Exercices corrigés en langage Z - Les spécifications formelles par la pratiqueEditions Ellipses, pp.246, 2004, Collection Technosup
Books
hal-00458124v1
|
|||
Software Specification Methods - An Overview Using a Case StudyISTE, pp.282, 2006
Books
hal-00458174v1
|
|||
Du semi-formel au formel, un exemple6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, 2006, Rabat, Maroc, Maroc. pp.842--851
Conference papers
hal-00458170v1
|
|||
|
Can Component/Service-Based Systems Be Proved Correct?Conference on Current Trends in Theory and Practice of Computer Science, Czech Republic, Jan 2009, Spindleruv Mlýn,, Czech Republic. pp.3-18, ⟨10.1007/978-3-540-95891-8_2⟩
Conference papers
hal-00420051v1
|
||
A Service-Based Component Model{:} Description Formalism, Formal Analysis and Mechanization2005
Other publications
hal-00458116v1
|
|||
From Research to Teaching Formal Methods: The B Method - TFM-B'2009Université de Nantes, pp.134, 2008
Books
hal-00481604v1
|
|||
From Research to Teaching Formal Methods: The B Method (TFM-B'2008)Université de Nantes, pp.147, 2008
Books
hal-00483735v1
|
|||
Combining B Tools for Multi-Process Systems SpecificationAfrican Conference on Research in Computer Science (CARI'2006), Nov 2006, Cotonou, Benin. p. 35--42
Conference papers
hal-00482855v1
|
|||
|
Relaxing B Sharing Restrictions within CSP||BInternational Conference on Software Composition 2012, May 2012, Prague, Czech Republic. pp.35-50
Conference papers
hal-00699997v1
|
||
|
Protocoles d'utilisation de composants : spécification et analyse en Kmelia1ère Conférence Francophone sur les Architectures Logicielles, Sep 2006, Nantes, France. pp.101--118
Conference papers
hal-00423665v1
|
||
Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS4th International Conference on Formal Engineering Methods, ICFEM'2002, Oct 2002, Shanghai, China. pp.120-131, ⟨10.1007/3-540-36103-0_15⟩
Conference papers
istex
hal-00421160v1
|
|||
|
Dynamic Composition of Evolving Process Types[Research Report] LINA-University of Nantes. 2011, pp.24
Reports
hal-00655017v1
|
||
Un point de vue sur les méthodes formelles à ObjetsRevue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 1996, 2 (4), pp.5-12
Journal articles
hal-00444069v1
|
|||
|
Defining Component Protocols with Service Composition: Illustration with the Kmelia ModelSoftware Composition, 6th International Symposium, SC 2007, Mar 2007, Braga, Portugal. pp.2-17, ⟨10.1007/978-3-540-77351-1⟩
Conference papers
hal-00397713v1
|
||
|
A Formal Analysis Toolbox for the Kmelia Component ModelProVeCS 2007 - Satellite Event of TOOLS Europe, Jun 2007, Zürich, Switzerland. pp.10-25
Conference papers
hal-00423690v1
|
||
|
Using Temporal Logic for Dynamic Reconfigurations of ComponentsFACS 2010, 7th Int. Ws. on Formal Aspects of Component Software, 2010, Portugal
Conference papers
hal-00662875v1
|
||
|
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
|
||
Vérification d'assemblage de composants logiciels Expérimentations avec MEC6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, 2006, Rabat, Maroc, Maroc. pp.497--506
Conference papers
hal-00458119v1
|
|||
|
Using Models of Partial Knowledge to Test Model TransformationsInternational Conference on Model Transformation, May 2012, Prague, Czech Republic
Conference papers
hal-00692175v1
|
||
Integration of Formal Datatypes within State DiagramsFundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, 2003, Genova, Italy, Italy. pp.341--355
Conference papers
hal-00458163v1
|
|||
Intégration de données formelles dans les diagrammes d'états d'UMLApproches Formelles dans l'Assistance au Développement de Logiciels, AFADL'2003, 2003, Toulouse, France. pp.3--17
Conference papers
hal-00458199v1
|
|||
Using Traceability to Enhance Mutation Analysis Dedicated to Model TransformationWorkshop on Model driven Engineering Verification and Validation, Oct 2010, Olso, Norway
Conference papers
inria-00524150v1
|
|||
|
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
|
||
Behavioural Verification of Service CompositionICSOC Workshop on Engineering Service Compositions, WESC'05, 2005, Amsterdam, The Netherlands, Netherlands. pp.77--84
Conference papers
hal-00458120v1
|