Idir Aït-Sadoune
Orcid: 0000-0002-6484-8276
According to our database1,
Idir Aït-Sadoune
authored at least 27 papers
between 2006 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023
Proceedings of the Model and Data Engineering - 12th International Conference, 2023
2019
Proceedings of the Model and Data Engineering - 9th International Conference, 2019
2018
Int. J. Softw. Tools Technol. Transf., 2018
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
2017
Proceedings of the Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), 2017
Proceedings of the Model and Data Engineering - 7th International Conference, 2017
2016
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
2015
Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation.
Tech. Sci. Informatiques, 2015
Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B.
Proceedings of the Correct Software in Web Applications and Web Services, 2015
2014
Proceedings of the Model and Data Engineering - 4th International Conference, 2014
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the Database and Expert Systems Applications, 2014
Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation.
Proceedings of the 2014 AAAI Spring Symposia, 2014
2013
Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification.
Trans. Large Scale Data Knowl. Centered Syst., 2013
2011
Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B.
Proceedings of the Model and Data Engineering - First International Conference, 2011
2010
Modélisation et Vérification Formelles de Compositions de Services. Une Approche Fondée sur le Raffinement et la Preuve. (Modelling and verifying services compositions).
PhD thesis, 2010
Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach.
Proceedings of the Software Engineering Research, 2010
Proceedings of the Abstract State Machines, 2010
2009
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
2008
Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement.
Ingénierie des Systèmes d Inf., 2008
Proceedings of the Leveraging Applications of Formal Methods, 2008
Proceedings of the First International Workshop on Semantic Metadata Management and Applications, 2008
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008
2006
Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve.
Proceedings of the 18th International Conference of the Association Francophone d'Interaction Homme-Machine, 2006