2023
Journal articles
- titre
- Correctness of IoT-based systems: From a DSL to a mechanised analysis
- auteur
- Christian Attiogbé, Jérôme Rocheteau
- article
- Journal of Computer Languages, 2023, 77, pp.101239. ⟨10.1016/j.cola.2023.101239⟩
- Accès au bibtex
-
2022
Conference papers
- titre
- Architectural Invariants and Correctness of IoT-Based Systems
- auteur
- Christian Attiogbé, Jérôme Rocheteau
- article
- Model and Data Engineering (MEDI'2022), Nov 2022, Cairo, Egypt. pp.75-88, ⟨10.1007/978-3-031-23119-3_6⟩
- Accès au bibtex
-
2021
Journal articles
-
- titre
- Service Promotion in a Federation of Security Domains
- auteur
- Abdramane Bah, Pascal Andre, Christian Attiogbé, Jacqueline Konaté
- article
- Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2021, Volume 34 - 2020 - Special Issue CARI 2020, ⟨10.46298/arima.6757⟩
- Accès au texte intégral et bibtex
-
2020
Conference papers
-
- titre
- Service Promotion in a Federation of Security Domains
- auteur
- Abdramane Bah, Pascal André, Christian Attiogbé, Jacqueline Konate
- article
- Colloque Africain sur la Recherche en Informatique et en Mathématiques Appliquées, Oct 2020, Thiès, Senegal
- Accès au texte intégral et bibtex
-
2019
Journal articles
- titre
- A tool-assisted method for the systematic construction of critical embedded systems using Event-B
- auteur
- Pascal Andre, Christian Attiogbé, Arnaud Lanoix
- article
- Computer Science and Information Systems, 2019, 00, pp.42-42. ⟨10.2298/CSIS190501042A⟩
- Accès au bibtex
-
-
- titre
- A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models
- auteur
- David Sferruzza, Jérôme Rocheteau, Christian Attiogbé, Arnaud Lanoix
- article
- Model-Driven Engineering and Software Development, 2019, 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Federation of Services from Autonomous Domains with Heterogeneous Access Control Models
- auteur
- Abdramane Bah, Pascal André, Christian Attiogbé, Jacqueline Konaté
- article
- 18th International Information Security for South Africa Conference, Aug 2019, Johanesbourg, South Africa
- Accès au bibtex
-
-
- titre
- Model checking paramétrique statistique du plan de vol de drone civil
- auteur
- Ran Bao, Christian Attiogbe, Paulin Fournier, Didier Lime
- article
- MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France
- Accès au texte intégral et bibtex
-
-
- titre
- Parametric Statistical Model Checking of UAV Flight Plan
- auteur
- Ran Bao, Christian Attiogbe, Benoit Delahaye, Paulin Fournier, Didier Lime
- article
- 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.57-74, ⟨10.1007/978-3-030-21759-4_4⟩
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework
- auteur
- Pascal Andre, Jonathan Pepin, Christian Attiogbé, Erwan Breton
- article
- Model-Driven Engineering and Software Development - 6th International Conference, {MODELSWARD} 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers, 991, Springer, pp.106-133, 2019, Communications in Computer and Information Science book series (CCIS, volume 991), ⟨10.1007/978-3-030-11030-7_6⟩
- Accès au bibtex
-
Reports
-
- titre
- Federated Access Control in Service Oriented Architecture
- auteur
- Abdramane Bah, Pascal André, Christian Attiogbé, Jacqueline Konaté
- article
- [Research Report] LS2N, Université de Nantes. 2019
- Accès au texte intégral et bibtex
-
2018
Conference papers
-
- titre
- Virtual Extension of Meta-models with Facet Tools
- auteur
- Pascal Andre, Jonathan Pepin, Christian Attiogbé, Erwan Breton
- article
- 6th International Conference on Model-Driven Engineering and Software Development, Jan 2018, Funchal, Portugal. ⟨10.5220/0006547100590070⟩
- Accès au texte intégral et bibtex
-
-
- titre
- A Model-Driven Method for Fast Building Consistent Web Services in Practice
- auteur
- David Sferruzza, Jérôme Rocheteau, Christian Attiogbe, Arnaud Lanoix
- article
- MODELSWARD, INSTICC, Jan 2018, Funchal, Portugal
- Accès au texte intégral et bibtex
-
-
- titre
- Systematic Construction of Critical Embedded Systems Using Event-B
- auteur
- Pascal Andre, Christian Attiogbé, Arnaud Lanoix
- article
- New 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Building Correct SDN Components from a Global Event-B Formal Model
- auteur
- Christian Attiogbé
- article
- Formal Aspects of Component Software, Oct 2018, Pohang, South Korea. pp.35-53, ⟨10.1007/978-3-030-02146-7_2⟩
- Accès au texte intégral et bibtex
-
- titre
- A Model-Driven Method for Fast Building Consistent Web Services in Practice
- auteur
- David Sferruzza, Jérôme Rocheteau, Christian Attiogbé, Arnaud Lanoix
- article
- 17ièmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2018, Grenoble, France
- Accès au bibtex
-
-
- titre
- Alignement des points de vue du système d'information Une approche pragmatique
- auteur
- Jonathan Pepin, Pascal Andre, Christian Attiogbé, Erwann Breton
- article
- Actes du XXXVIème Congrès INFORSID, May 2018, Nantes, France
- Accès au texte intégral et bibtex
-
- titre
- A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models
- auteur
- David Sferruzza, Jérôme Rocheteau, Christian Attiogbe, Arnaud Lanoix
- article
- Model-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⟩
- Accès au bibtex
-
-
- titre
- Extending OpenAPI 3.0 to Build Web Services from their Specification
- auteur
- David Sferruzza, Jérôme Rocheteau, Christian Attiogbé, Arnaud Lanoix
- article
- International Conference on Web Information Systems and Technologies, INSTICC, Sep 2018, Seville, Spain
- Accès au texte intégral et bibtex
-
Book sections
-
- titre
- An Operational Semantics of UML2.X Sequence Diagrams for Distributed Systems
- auteur
- Fatma Dhaou, Inès Mouakher, Khaled Bsaïes, Christian Attiogbé
- article
- Evaluation of Novel Approaches to Software Engineering. 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers, pp.158-182, 2018, ⟨10.1007/978-3-319-94135-6_8⟩
- Accès au texte intégral et bibtex
-
2017
Conference papers
- titre
- Mastering Heterogeneous Behavioural Models
- auteur
- Christian Attiogbé
- article
- Model and Data Engineering - 7th International Conference, (MEDI'2017), Oct 2017, Barcelona, Spain
- Accès au bibtex
-
-
- titre
- Combining Techniques to Verify Service-based Components
- auteur
- Pascal Andre, Christian Attiogbe, Jean-Marie Mottu
- article
- MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development , Feb 2017, Porto, Portugal. pp.645 - 656, ⟨10.5220/0006212106450656⟩
- Accès au texte intégral et bibtex
-
-
- titre
- A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments
- auteur
- Fatma Dhaou, Inès Mouakher, Christian Attiogbé, Khaled Bsaïes
- article
- 12th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2017, Porto, France. ⟨10.5220/0006314100470056⟩
- Accès au texte intégral et bibtex
-
2016
Journal articles
- titre
- An Improved Model Facet Method to Support EA Alignment
- auteur
- Jonathan Pepin, Pascal Andre, Christian Attiogbé, Erwan Breton
- article
- Complex Systems Informatics and Modeling Quarterly, 2016, 9, pp.1 - 27. ⟨10.7250/csimq.2016-9.01⟩
- Accès au bibtex
-
Conference papers
-
- titre
- Refinement of UML2.0 Sequence Diagrams for Distributed Systems
- auteur
- Fatma Dhaou, Inès Mouakher, Christian Attiogbé, Khaled Bsaïes
- article
- the 11th International Joint Conference on Software Technologies {(ICSOFT} 2016), Jul 2016, Lisbon, Portugal
- Accès au texte intégral et bibtex
-
- titre
- Mapping Component Models on Distributed Architectures: Correctness Checking
- auteur
- Christian Attiogbe
- article
- 13th Workshop on Model-Driven Engineering, Verification and Validation co-located with MODELS-2016, Oct 2016, Saint-Malo, France
- Accès au bibtex
-
2015
Conference papers
-
- titre
- Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems
- auteur
- Fatma Dhaou, Inès Mouakher, Christian Attiogbé, Khaled Bsaïes
- article
- 10th International Conference on Software Engineering and Applications, Jul 2015, Colmar, France. ⟨10.5220/0005517703390347⟩
- Accès au texte intégral et bibtex
-
- titre
- A Method for Business-IT Alignment of Legacy Systems
- auteur
- Pascal Andre, Jonathan Pepin, Christian Attiogbé, Erwan Breton
- article
- 17th International Conference on Enterprise Information Systems, Apr 2015, Barcelona, France. ⟨10.5220/0005351502290237⟩
- Accès au bibtex
-
- titre
- Deriving Event-B Models from Mealy Machines: Application to an Auction System
- auteur
- Christian Attiogbé
- article
- Model and Data Engineering - 5th International Conference, (MEDI'2015), Sep 2015, Rhodes, Greece. pp.77-88, ⟨10.1007/978-3-319-23781-7_7⟩
- Accès au bibtex
-
Reports
-
- titre
- Test Cases Evolution of Mobile Applications
- auteur
- Lynda Ait Oubelli, Jean-Marie Mottu, Christian Attiogbé
- article
- [Research Report] Université de Nantes. 2015
- Accès au texte intégral et bibtex
-
2014
Conference papers
-
- titre
- Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach
- auteur
- Christian Attiogbé
- article
- ISoLA'2014 - Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, B. Steffen & T. Margaria, Oct 2014, Corfu, Greece. pp.573 - 587, ⟨10.1007/978-3-662-45231-8_48⟩
- Accès au texte intégral et bibtex
-
2012
Conference papers
- titre
- Comparaison de Modèles Filtrée pour le Test de Transformations de Modèles
- auteur
- Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, Christian Attiogbé
- article
- CIEL 2012, 2012, Rennes, France
- Accès au bibtex
-
2011
Journal articles
-
- titre
- Kmelia : un modèle abstrait et formel pour la description et la composition de compo-sants et de services
- auteur
- Pascal Andre, Gilles Ardourel, Christian Attiogbé
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, Technique et Science Informatiques, 30 (6), pp.627-658. ⟨10.3166/tsi.30.627-658⟩
- Accès au texte intégral et bibtex
-
Reports
-
- titre
- Dynamic Composition of Evolving Process Types
- auteur
- Christian Attiogbé
- article
- [Research Report] LINA-University of Nantes. 2011, pp.24
- Accès au texte intégral et bibtex
-
2010
Journal articles
- titre
- Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies
- auteur
- Pascal Andre, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix
- article
- Electronic Notes in Theoretical Computer Science, 2010, 263, pp.5-30. ⟨10.1016/j.entcs.2010.05.002⟩
- Accès au bibtex
-
Conference papers
-
- titre
- Using Event-B to Verify the Kmelia Components and Their Assemblies
- auteur
- P. Andre, Gilles Ardourel, Christian Attiogbe, Arnaud Lanoix
- article
- ABZ'2010, Feb 2010, Oreford, Canada. pp.410, ⟨10.1007/978-3-642-11811-1_43⟩
- Accès au texte intégral et bibtex
-
- titre
- Multi-levels Use of Contracts for Trusted Components
- auteur
- Mohamed Messabihi, Pascal André, Christian Attiogbé
- article
- Workshop on Component and Service Interoperability, Jun 2010, Malaga, Spain. pp.71-85, ⟨10.4204/EPTCS.37⟩
- Accès au bibtex
-
- titre
- Contract-based Verification of Kmelia Component Assemblies using Event-B
- auteur
- Pascal André, Gilles Ardourel, Christian Attiogbe, Arnaud Lanoix
- article
- FESCA @ Etaps2010, Mar 2010, Paphos, Greece. pp.1
- Accès au bibtex
-
- titre
- Preuve de cohérence de composants Kmelia à l'aide de la méthode B
- auteur
- Mohamed Messabihi, Pascal André, Christian Attiogbé
- article
- 4e Conférence Francophone sur les Architectures Logicielles, Mar 2010, Pau, France. pp.113-126
- Accès au bibtex
-
2009
Conference papers
-
- titre
- Correction d'assemblages de composants impliquant des interfaces paramétrées
- auteur
- Pascal André, Christian Attiogbé, Mohamed Messabihi
- article
- 3e Conférence Francophone sur les Architectures Logicielles, Mar 2009, Nancy, France. pp.34--44
- Accès au texte intégral et bibtex
-
-
- titre
- Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies
- auteur
- Pascal Andre, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix
- article
- 6th International Workshop on Formal Aspects of Component Software (FACS 2009), Oct 2009, Eindhoven, Netherlands
- Accès au texte intégral et bibtex
-
-
- titre
- Can Component/Service-Based Systems Be Proved Correct?
- auteur
- Christian Attiogbe
- article
- 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⟩
- Accès au texte intégral et bibtex
-
- titre
- Semantic Embedding of Petri Nets into Event-B
- auteur
- Christian Attiogbe
- article
- Integration of Model-based Formal Methods Tools (IM_FMT @ IFM'2009), Mar 2009, Dusseldorf, Germany
- Accès au bibtex
-
- titre
- Modelling and Analysing Dynamic Decentralised Systems
- auteur
- Christian Attiogbé
- article
- International Symposium on Dependable Computing (PRDC 2009), Nov 2009, Shanghai, China. pp.109-114, ⟨10.1109/PRDC.2009.9⟩
- Accès au bibtex
-
2008
Conference papers
-
- titre
- Mastering Specification Heterogeneity with Multifacet Analysis
- auteur
- Christian Attiogbe
- article
- Modeling, Validation, and Heterogeneity (MoVaH @ ICST'08), Apr 2008, Lillehammer, Norway
- Accès au texte intégral et bibtex
-
Books
- titre
- Composants, services et aspects Techniques et outils pour la vérification
- auteur
- Pascal André, Christian Attiogbé
- article
- Hermès - Lavoisier, pp.130, 2008
- Accès au bibtex
-
- titre
- From Research to Teaching Formal Methods: The B Method (TFM-B'2008)
- auteur
- Christian Attiogbe, Henri Habrias
- article
- Université de Nantes, pp.147, 2008
- Accès au bibtex
-
- titre
- From Research to Teaching Formal Methods: The B Method - TFM-B'2009
- auteur
- Christian Attiogbe, Henri Habrias
- article
- Université de Nantes, pp.134, 2008
- Accès au bibtex
-
- titre
- L'Objet : Composants, services et aspects
- auteur
- Christian Attiogbe, Pascal Andre
- article
- Lavoisier, Hermes, pp.128, 2008
- Accès au bibtex
-
2007
Journal articles
-
- titre
- A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes
- auteur
- Christian Attiogbe, Pascal Poizat, Gwen Salaün
- article
- IEEE Transactions on Software Engineering, 2007, 33 (3), pp.157-170. ⟨10.1109/TSE.2007.21⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Adaptation for Hierarchical Components and Services
- auteur
- Pascal Andre, Gilles Ardourel, Christian Attiogbé
- article
- Electronic Notes in Theoretical Computer Science, 2007, 189, pp.5--20. ⟨10.1016/j.entcs.2007.05.045⟩
- Accès au texte intégral et bibtex
-
Conference papers
-
- titre
- A Formal Analysis Toolbox for the Kmelia Component Model
- auteur
- Pascal Andre, Gilles Ardourel, Christian Attiogbé
- article
- ProVeCS 2007 - Satellite Event of TOOLS Europe, Jun 2007, Zürich, Switzerland. pp.10-25
- Accès au texte intégral et bibtex
-
-
- titre
- Defining Component Protocols with Service Composition: Illustration with the Kmelia Model
- auteur
- Pascal Andre, Gilles Ardourel, Christian Attiogbé
- article
- Software Composition, 6th International Symposium, SC 2007, Mar 2007, Braga, Portugal. pp.2-17, ⟨10.1007/978-3-540-77351-1⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Protocoles d'utilisation de composants : spécification et analyse en Kmelia
- auteur
- Pascal André, Gilles Ardourel, Christian Attiogbé
- article
- 13e Conférence Francophone sur les Langages et Modèles à Objets, Mar 2007, Toulouse, France. pp.19-34
- Accès au texte intégral et bibtex
-
Habilitation à diriger des recherches
-
- titre
- Contributions aux approches formelles de développement de logiciels : Intégration de méthodes formelles et analyse multifacette
- auteur
- Christian Attiogbé
- article
- Génie logiciel [cs.SE]. Université de Nantes, 2007
- Accès au texte intégral et bibtex
-
Books
- titre
- First International Workshop on Property Verification for Software Components and Services
- auteur
- Christian Attiogbe, Daniel Kroening
- article
- ETH Zurich, pp.72, 2007
- Accès au bibtex
-
2006
Conference papers
-
- titre
- Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB).
- auteur
- Christian Attiogbe
- article
- IASTED Conf. on Software Engineering (SE'2006), Feb 2006, Innsbruck, Austria. pp.85-90
- Accès au texte intégral et bibtex
-
- titre
- Vérification d'assemblage de composants logiciels Expérimentations avec MEC
- auteur
- Pascal André, Gilles Ardourel, Christian Attiogbé
- article
- 6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, 2006, Rabat, Maroc, Maroc. pp.497--506
- Accès au bibtex
-
-
- titre
- Protocoles d'utilisation de composants : spécification et analyse en Kmelia
- auteur
- Pascal Andre, Gilles Ardourel, Christian Attiogbé
- article
- 1ère Conférence Francophone sur les Architectures Logicielles, Sep 2006, Nantes, France. pp.101--118
- Accès au texte intégral et bibtex
-
- titre
- Combining B Tools for Multi-Process Systems Specification
- auteur
- Christian Attiogbe
- article
- African Conference on Research in Computer Science (CARI'2006), Nov 2006, Cotonou, Benin. p. 35--42
- Accès au bibtex
-
-
- titre
- Checking Component Composability
- auteur
- Christian Attiogbé, Pascal André, Gilles Ardourel
- article
- 5th International Symposium on Software Composition, Mar 2006, Vienne, Austria. pp.18-33, ⟨10.1007/11821946⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Composing Components with Shared Services in the Kmelia Model
- auteur
- Pascal Andre, Gilles Ardourel, Christian Attiogbé
- article
- Software Composition, 7th International Symposium, SC 2008, Mar 2006, Budapest, Hungary. pp.125-140, ⟨10.1007/978-3-540-78789-1_9⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
-
- titre
- A Service-Based Component Model: Formalism, Analysis and Mechanization
- auteur
- Pascal André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, Cédric Stoquer
- article
- 2006
- Accès au texte intégral et bibtex
-
-
- titre
- Combining B Tools for Multi-Process Systems Specification
- auteur
- Christian Attiogbé
- article
- 2006
- Accès au texte intégral et bibtex
-
2005
Journal articles
- titre
- Analyzing the Readers/Writers System Using the B Theorem Prover
- auteur
- Christian Attiogbé
- article
- GESTS International Transaction on Computer Science and Engineering, 2005, 7 (1), pp.87--98
- Accès au bibtex
-
Conference papers
- titre
- Vérification de conformité des interactions entre composants
- auteur
- Pascal André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, Cédric Stoquer
- article
- LMO Workshop (Objets, Composants et Modèles), OCM'05, 2005, Berne, Suisse, Suisse. pp.1-6
- Accès au bibtex
-
- titre
- Behavioural Verification of Service Composition
- auteur
- Pascal André, Gilles Ardourel, Christian Attiogbé
- article
- ICSOC Workshop on Engineering Service Compositions, WESC'05, 2005, Amsterdam, The Netherlands, Netherlands. pp.77--84
- Accès au bibtex
-
- titre
- Practical Combination of Theorem Proving and Model Checking for the Multi-facet Analysis
- auteur
- Christian Attiogbé
- article
- 31st Annual Conference on Current Trends in Theory and Practice of Informatics, SOFSEM'05, 2005, Liptovsky Jan, Slovakia, Slovakia. pp.1--10
- Accès au bibtex
-
Other publications
- titre
- A Service-Based Component Model{:} Description Formalism, Formal Analysis and Mechanization
- auteur
- Pascal André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, Cédric Stoquer
- article
- 2005
- Accès au bibtex
-
- titre
- Semantic Embedding of Petri Nets into Event-B
- auteur
- Christian Attiogbé
- article
- 2005
- Accès au bibtex
-
- titre
- Vérification de conformité des interactions entre composants
- auteur
- Pascal André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, Cédric Stoquer
- article
- 2005
- Accès au bibtex
-
2004
Journal articles
- titre
- MIAOw: a Method to Integrate a Process Algebra with Formal Data
- auteur
- Gwen Salaün, Christian Attiogbé
- article
- Informatica, 2004, 28 (2), pp.207--219
- Accès au bibtex
-
Conference papers
- titre
- Systematic Derivation of a Validation Model from a Rule-oriented Model: A System Validation Case Study using PROMELA/SPIN
- auteur
- Christian Attiogbé
- article
- 4th International Conference on Information and Communication Technologies: from Theory to Applications, ICTTA'04, 2004, Damscus, Syria, Syria. pp.581 -- 587
- Accès au bibtex
-
Other publications
- titre
- Towards a Generic Analysis and Design Framework: the KEPU Information System (NatIF Project)
- auteur
- Christian Attiogbé
- article
- 2004
- Accès au bibtex
-
2003
Conference papers
- titre
- Integration of Formal Datatypes within State Diagrams
- auteur
- Christian Attiogbé, Pascal Poizat, Gwen Salaün
- article
- Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, 2003, Genova, Italy, Italy. pp.341--355
- Accès au bibtex
-
- titre
- Intégration de données formelles dans les diagrammes d'états d'UML
- auteur
- Christian Attiogbé, Pascal Poizat, Gwen Salaün
- article
- Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'2003, 2003, Toulouse, France. pp.3--17
- Accès au bibtex
-
- titre
- Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams
- auteur
- Christian Attiogbé, Pascal Poizat, Gwen Salaün
- article
- {8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'03}, 2003, Nice, France, France. pp.240a
- Accès au bibtex
-
- titre
- Formalising an Integrated Language in PVS
- auteur
- Gwen Salaün, Christian Attiogbé
- article
- 5th International Conference on Formal Engineering Methods, ICFEM 2003, 2003, Singapore, Singapore. pp.187--205
- Accès au bibtex
-