Search - Archive ouverte HAL Access content directly

Filter your results

82 Results

Application d'ontologies formelles au droit

Pascal André , Henri Habrias
SDC'06 Journée sur les Ontologies et textes juridiques, OTJ'06, 2006, Nantes, France, France. pp.30--39
Conference papers hal-00458123v1

Un cadre pour la vérification de modèles UML

Pascal André , Gilles Ardourel , Gerson Sunye
Other publications hal-00458117v1

Vérification de conformité des interactions entre composants

Pascal André , Gilles Ardourel , Christian Attiogbé , Henri Habrias , Cédric Stoquer et al.
LMO Workshop (Objets, Composants et Modèles), OCM'05, 2005, Berne, Suisse, Suisse. pp.1-6
Conference papers hal-00458121v1
Image document

Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB).

Christian Attiogbe
IASTED Conf. on Software Engineering (SE'2006), Feb 2006, Innsbruck, Austria. pp.85-90
Conference papers hal-00420050v1

A Mechanically Proved Development Combining B Abstract Systems and Spin

J. Christian Attiogbe
Fourth International Conference on Quality Software QSIC'2004, Sep 2004, Braunschweig, Germany. pp.42 - 49, ⟨10.1109/QSIC.2004.1357943⟩
Conference papers hal-00421162v1

Systematic Derivation of a Validation Model from a Rule-oriented Model: A System Validation Case Study using PROMELA/SPIN

Christian Attiogbé
4th International Conference on Information and Communication Technologies: from Theory to Applications, ICTTA'04, 2004, Damscus, Syria, Syria. pp.581 -- 587
Conference papers hal-00458200v1
Image document

Correction d'assemblages de composants impliquant des interfaces paramétrées

Pascal André , Christian Attiogbé , Mohamed Messabihi
3e Conférence Francophone sur les Architectures Logicielles, Mar 2009, Nancy, France. pp.34--44
Conference papers hal-00423658v1

Préconditions et invariants, l'écriture de contraintes mal adaptées à un paradigme de spécification

Henri Habrias , Pascal André
22e congrès INFORSID, 2004, Biarritz, France, France. pp.387--403
Conference papers hal-00467549v1
Image document

Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components

Julien Dormoy , Olga Kouchnarenko , Arnaud Lanoix
8th International Symposium on Formal Aspects of Component Software - FACS 2011, Sep 2011, Oslo, Norway
Conference papers hal-00642345v1

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

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

A Service-Based Component Model{:} Description Formalism, Formal Analysis and Mechanization

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

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

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
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
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

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

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

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

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

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

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

Software Specification Methods - An Overview Using a Case Study

Henri Habrias , Marc Frappier
ISTE, pp.282, 2006
Books hal-00458174v1
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
Image document

A Trustworthy Assembly of COTS Components

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

Dynamic Composition of Evolving Process Types

Christian Attiogbé
[Research Report] LINA-University of Nantes. 2011, pp.24
Reports hal-00655017v1
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

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

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
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