Search - Archive ouverte HAL Access content directly

Filter your results

82 Results
Domains : info
Image document

Towards Validating a Platoon of Cristal Vehicles using CSP||B

Samuel Colin , Arnaud Lanoix , Olga Kouchnarenko , Jeanine Souquières
12th 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 Analysis

Christian Attiogbé
31st 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
Image document

A Trustworthy Assembly of COTS Components

Arnaud Lanoix , Jeanine Souquières
2006
Preprints, Working Papers, ... hal-00123997v1

Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams

Christian Attiogbé , Pascal Poizat , Gwen Salaün
{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 Transformations

Vincent Aranega , Jean-Marie Mottu , Anne Etien , Jean-Luc Dekeyser
Cordeiro, 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
Image document

A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes

Christian Attiogbe , Pascal Poizat , Gwen Salaün
IEEE 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 pratique

Pascal André , Alain Vailly
Editions Ellipses, pp.246, 2004, Collection Technosup
Books hal-00458124v1

Software Specification Methods - An Overview Using a Case Study

Henri Habrias , Marc Frappier
ISTE, pp.282, 2006
Books hal-00458174v1

Du semi-formel au formel, un exemple

Henri Habrias
6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, 2006, Rabat, Maroc, Maroc. pp.842--851
Conference papers hal-00458170v1
Image document

Can Component/Service-Based Systems Be Proved Correct?

Christian Attiogbe
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 Mechanization

Pascal André , Gilles Ardourel , Christian Attiogbé , Henri Habrias , Cédric Stoquer et al.
2005
Other publications hal-00458116v1

From Research to Teaching Formal Methods: The B Method - TFM-B'2009

Christian Attiogbe , Henri Habrias
Université de Nantes, pp.134, 2008
Books hal-00481604v1

From Research to Teaching Formal Methods: The B Method (TFM-B'2008)

Christian Attiogbe , Henri Habrias
Université de Nantes, pp.147, 2008
Books hal-00483735v1

Combining B Tools for Multi-Process Systems Specification

Christian Attiogbe
African Conference on Research in Computer Science (CARI'2006), Nov 2006, Cotonou, Benin. p. 35--42
Conference papers hal-00482855v1
Image document

Relaxing B Sharing Restrictions within CSP||B

Arnaud Lanoix , Olga Kouchnarenko , Samuel Colin , Vincent Poirriez
International Conference on Software Composition 2012, May 2012, Prague, Czech Republic. pp.35-50
Conference papers hal-00699997v1
Image document

Protocoles d'utilisation de composants : spécification et analyse en Kmelia

Pascal Andre , Gilles Ardourel , Christian Attiogbé
1è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/PVS

J. Christian Attiogbe
4th 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
Image document

Dynamic Composition of Evolving Process Types

Christian Attiogbé
[Research Report] LINA-University of Nantes. 2011, pp.24
Reports hal-00655017v1

Un point de vue sur les méthodes formelles à Objets

Pascal André , Jean-Claude Royer
Revue 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
Image document

Defining Component Protocols with Service Composition: Illustration with the Kmelia Model

Pascal Andre , Gilles Ardourel , Christian Attiogbé
Software Composition, 6th International Symposium, SC 2007, Mar 2007, Braga, Portugal. pp.2-17, ⟨10.1007/978-3-540-77351-1⟩
Conference papers hal-00397713v1
Image document

A Formal Analysis Toolbox for the Kmelia Component Model

Pascal Andre , Gilles Ardourel , Christian Attiogbé
ProVeCS 2007 - Satellite Event of TOOLS Europe, Jun 2007, Zürich, Switzerland. pp.10-25
Conference papers hal-00423690v1
Image document

Using Temporal Logic for Dynamic Reconfigurations of Components

Julien Dormoy , Olga Kouchnarenko , Arnaud Lanoix
FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software, 2010, Portugal
Conference papers hal-00662875v1
Image document

Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles

Arnaud Lanoix
2nd 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 MEC

Pascal André , Gilles Ardourel , Christian Attiogbé
6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, 2006, Rabat, Maroc, Maroc. pp.497--506
Conference papers hal-00458119v1
Image document

Using Models of Partial Knowledge to Test Model Transformations

Sagar Sen , Jean-Marie Mottu , Massimo Tisi , Jordi Cabot
International Conference on Model Transformation, May 2012, Prague, Czech Republic
Conference papers hal-00692175v1

Integration of Formal Datatypes within State Diagrams

Christian Attiogbé , Pascal Poizat , Gwen Salaün
Fundamental 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'UML

Christian Attiogbé , Pascal Poizat , Gwen Salaün
Approches 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 Transformation

Vincent Aranega , Jean-Marie Mottu , Anne Etien , Jean-Luc Dekeyser
Workshop on Model driven Engineering Verification and Validation, Oct 2010, Olso, Norway
Conference papers inria-00524150v1
Image document

Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies

Pascal Andre , Gilles Ardourel , Christian Attiogbé , Arnaud Lanoix
6th International Workshop on Formal Aspects of Component Software (FACS 2009), Oct 2009, Eindhoven, Netherlands
Conference papers hal-00423672v1

Behavioural Verification of Service Composition

Pascal André , Gilles Ardourel , Christian Attiogbé
ICSOC Workshop on Engineering Service Compositions, WESC'05, 2005, Amsterdam, The Netherlands, Netherlands. pp.77--84
Conference papers hal-00458120v1