J. Christian Attiogbé

According to our database1, J. Christian Attiogbé authored at least 58 papers between 1993 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Building Correct SDN-Based Components from a Global Formal Mode.
CoRR, 2018

Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin.
CoRR, 2018

Extending OpenAPI 3.0 to Build Web Services from their Specification.
Proceedings of the 14th International Conference on Web Information Systems and Technologies, 2018

A Model-Driven Method for Fast Building Consistent Web Services in Practice.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Virtual Extension of Meta-models with Facet Tools.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Systematic Construction of Critical Embedded Systems Using Event-B.
Proceedings of the New Trends in Model and Data Engineering, 2018

Building Correct SDN Components from a Global Event-B Formal Model.
Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams.
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

2017
Mastering Heterogeneous Behavioural Models.
CoRR, 2017

Combining Techniques to Verify Service-based Components.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Mastering Heterogeneous Behavioural Models.
Proceedings of the Model and Data Engineering - 7th International Conference, 2017

A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments.
Proceedings of the ENASE 2017, 2017

2016
An Improved Model Facet Method to Support EA Alignment.
CSIMQ, 2016

Mapping Component Models on Distributed Architectures: Correctness Checking.
Proceedings of the 13th Workshop on Model-Driven Engineering, 2016

Refinement of UML2.0 Sequence Diagrams for Distributed Systems.
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

A Facet-based Model Mapping Method for EA Alignment and Evolution.
Proceedings of the CAiSE'16 Forum, 2016

2015
Deriving Event-B Models from Mealy Machines: Application to an Auction System.
Proceedings of the Model and Data Engineering - 5th International Conference, 2015

Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems.
Proceedings of the ICSOFT-EA 2015, 2015

A Method for Business-IT Alignment of Legacy Systems.
Proceedings of the ICEIS 2015, 2015

2014
Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013
Partial Test Oracle in Model Transformation Testing.
Proceedings of the Theory and Practice of Model Transformations, 2013

2011
Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services.
Technique et Science Informatiques, 2011

Dynamic Composition of Evolving Process Types
CoRR, 2011

2010
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies.
Electr. Notes Theor. Comput. Sci., 2010

Multilevel Contracts for Trusted Components
Proceedings of the Proceedings International Workshop on Component and Service Interoperability, 2010

Preuve de cohérence de composants Kmelia à l'aide de la méthode B.
Proceedings of the 4e Conférence francophone sur les Architectures Logicielles, 2010

Using Event-B to Verify the Kmelia Components and Their Assemblies.
Proceedings of the Abstract State Machines, 2010

2009
Can Component/Service-Based Systems Be Proved Correct?
CoRR, 2009

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

Modelling and Analysing Dynamic Decentralised Systems
CoRR, 2009

Can Component/Service-Based Systems Be Proved Correct?.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Correction d'assemblages de composants impliquant des interfaces paramétrées.
Proceedings of the 3e Conférence francophone sur les Architectures Logicielles, 2009

2008
Éditorial.
L'OBJET, 2008

Composing Components with Shared Services in the KmeliaModel.
Proceedings of the Software Composition, 7th International Symposium, 2008

Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Mastering Specification Heterogeneity with Multifacet Analysis.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

2007
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes.
IEEE Trans. Software Eng., 2007

Adaptation for Hierarchical Components and Services.
Electr. Notes Theor. Comput. Sci., 2007

Defining Component Protocols with Service Composition: Illustration with the Kmelia Model.
Proceedings of the Software Composition, 6th International Symposium, 2007

Protocoles d'utilisation de composants : spécification et analyse en Kmelia.
Proceedings of the Actes des journées Langages et Modèles à Objets, 2007

Contributions aux approches formelles de développement de logiciels : Intégration de méthodes formelles et analyse multifacette. (Contribution to formal approaches of software engineering: formal method integration and multi-faceted analysis).
, 2007

2006
Checking Component Composability.
Proceedings of the Software Composition, 5th International Symposium, 2006

Multi-process Systems Analysis Using Event B: Application to Group Communication Systems.
Proceedings of the Formal Methods and Software Engineering, 2006

Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB).
Proceedings of the IASTED International Conference on Software Engineering, 2006

Spécification d'architectures en Kmelia : hiérarchie de connexion et composition.
Proceedings of the 1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 2006

2005
Semantic Embedding of Petri Nets into Event-B
CoRR, 2005

A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

2004
MIAOw: a Method to Integrate a Process Algebra with Formal Data.
Informatica (Slovenia), 2004

A Mechanically Proved Development Combining B Abstract Systems and Spin.
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

2003
Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Formalising an Integrated Language in PVS.
Proceedings of the Formal Methods and Software Engineering, 2003

Integration of Formal Datatypes within State Diagrams.
Proceedings of the Fundamental Approaches to Software Engineering, 2003

2002
Foundations for a Combination of Heterogeneous Specification Components.
Electr. Notes Theor. Comput. Sci., 2002

Specification of an Access Control System with a Formalism Combining CCS and CASL.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS.
Proceedings of the Formal Methods and Software Engineering, 2002

A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

1993
Handling Interaction in Software Specification.
Proceedings of the Human Computer Interaction, Vienna Conference, 1993


  Loading...