Back to INDEX

  Publications of Hassan Mountassir  

Articles in journal or book chapters
  1. Samir Chouali, Sebti Mouelhi, and Hassan Mountassir. Adaptation sémantique des protocoles des composants par les automates d'interface. TSI - Technique et Science Informatiques, 31(*):***--***, 2012. Note: Papier accepté. À paraître. [bibtex]


  2. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Incremental Verification of Component-Based Timed Systems. IJCAT, International Journal of Computer Applications in Technology, special issue on Formal Modeling and Verification of Critical Systems, 42(2-3):***--***, 2011. Note: Accepted manuscript. To appear. [bibtex]


  3. Samir Chouali, Julien Dormoy, Ahmed Hammad, Jean-Michel Hufflen, Sebti Mouelhi, Olga Kouchnarenko, Hassan Mountassir, Bruno Tatibouët, and others. Assemblage des composants digne de confiance : de l'ingénierie des besoins aux spécifications formelles. Génie Logiciel, 95:13--18, December 2010. [bibtex]


  4. Julien Dormoy, Olga Kouchnarenko, and Hassan Mountassir. Politiques d'adaptation pour la reconfiguration du composant de localisation. JESA, Journal européen des systèmes automatisés, 43(7-8-9):773--789, November 2009. Note: Edition spéciale MSR'09 - Modélisation des systèmes réactifs. [bibtex]


  5. Mohammed Ouzzif, M. Erradi, and Hassan Mountassir. Description of a teleconferencing floor control protocol and its implementation. Engineering Applications of Artificial Intelligence, 21(3):430--441, 2008. [bibtex]


  6. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Vérification de systèmes hiérarchiques par raffinement. Journal européen des systèmes automatisés, 39(1-3):239--254, October 2005. Note: Édition spéciale MSR'05, Modélisation des Systèmes Réactifs. [bibtex]


  7. Jacques Julliand, Pierre-Alain Masson, and Hassan Mountassir. Vérification par model-checking modulaire des propriétés dynamiques introduites en B. TSI (Technique et Science Informatiques), 20(7):927--957, 2001. [bibtex]


Conference articles
  1. Samir Chouali, Ahmed Hammad, and Hasan Mountassir. Assembling Components using SysML with Non-Functional Requirements. In FESCA 2012, 9th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, volume * of ENTCS, Electronic Notes in Theoretical Computer Science, Tallinn, Estonia, pages ***--***, March 2012. Note: To appear. [bibtex]


  2. Sebti Mouelhi, Samir Chouali, and Hassan Mountassir. Invariant Preservation by Component Composition Using Semantical Interface Automata. In ICSEA 2011, 6-th Int. Conf. on Software Engineering Advances, Barcelona, Spain, pages 305--311, October 2011. [bibtex]


  3. Bouamari Abdelkader, Mohammed Mostefai, Hassan Mountassir, and Ahmed Hammad. Efficient model checking with UML and specification patterns. In ICWIT'10, the 3rd Int. Conf. on Web and Information Technologies, Marrakech, Morocco, pages 55--67, June 2010. [bibtex]


  4. Samir Chouali, Sebti Mouelhi, and Hassan Mountassir. Adaptation des Protocoles des Composants par les Automates d'Interface. In AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, France, pages 253--266, June 2010. [bibtex]


  5. Samir Chouali, Sebti Mouelhi, and Hassan Mountassir. Adapting Components Behaviours using Interface Automata. In SEAA'10, 36th Euromicro Conference on Software Engineering and Advanced Applications, Lille, France, pages 119-122, September 2010. IEEE Computer Society Press. [bibtex]


  6. Samir Chouali, Sebti Mouelhi, and Hassan Mountassir. Adapting Components using Interface Automata strengthened by Action Semantics. In FoVeoos 2010, int. conf. on Formal Verification of Object-oriented software, Paris, France, pages 7--21, June 2010. [bibtex]


  7. Samir Chouali, Sebti Mouelhi, and Hassan Mountassir. Assembly of components based on interface automata and UML component model. In Khalil Drira, editor, CAL'10, 4e Conf. Francophone sur les Architectures Logicielles, volume RNTI-L-5 of RNTI, Revue des Nouvelles Technologies de l'Information, Pau, France, pages 73--85, March 2010. Cépaduès éditions. [bibtex]


  8. Rajaa Edaoudi, Marouane Hamdani, Khalid Bouragba, Mohammed Ouzzif, Hassan Mountassir, and Mohammed Erradi. Architecture Formalisée d'une Application Collaborative. Cas d'une Situation d'Urgence en Neurologie. In AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, France, pages 249--252, June 2010. Note: Papier court. [bibtex]


  9. Ahmed Hammad and Hassan Mountassir. Verification of real time systems: application to the transportation domain. In SCLP'09, 2nd Int. Workshop on Service computing, Context-aware, Location-aware and Positioning techniques, joint to NTMS'09, Cairo, Egypt, pages 719--727, December 2009. IEEE Computer Society Press. [bibtex]


  10. Sebti Mouelhi, Samir Chouali, and Hassan Mountassir. Refinement of Interface Automata Strengthened by Action Semantics. In FESCA'09 proceedings, volume 253-1 of ENTCS, Electronic Notes in Theoretical Computer Science, York, United Kingdom, pages 111--126, 2009. [bibtex]


  11. Samir Chouali, Hassan Mountassir, and Sebti Mouelhi. An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. In FESCA'08, Formal Foundations of Embedded Software and Component-based Software Architectures, volume 238-6 of ENTCS, Electronic Notes in Theoretical Computer Science, Budapest, Hungary, pages 3--13, 2008. Elsevier. Note: A paper from 2008 published in ENTCS in 2010. [bibtex]


  12. Ahmed Hammad and Hassan Mountassir. Heuristics to verify LTL properties of hierarchical systems. In VECoS'2008, 2nd Int. Workshop on Verification and Evaluation of Computer and Communication Systems, eWiC - electronic Workshops in Computing, Leeds, United Kingdom, pages ***--***, July 2008. British Computer Society. [bibtex]


  13. Ahmed Hammad, Hassan Mountassir, and Bruno Tatibouët. Using the profile UML4SoC for modeling a smart surface. In ICEEDT'08, 2nd int. conf. on Electrical Engineering Design and Technology, Hammamet, Tunisia, November 2008. Note: Proceedings on CD-ROM. 6 pages. [bibtex]


  14. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Spécification et Validation d'un Contrôleur de Performances Sportives. In E-Medisys 07, int. conf. on E-Medical Systems, Fez, Morocco, pages 173--178, October 2007. [bibtex]


  15. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Preservation of timed properties during an incremental development by components. In Y. Ait Ameur, F. Boniol, and V. Wiels, editors, ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, RNTI, Revue des Nouvelles Technologies de l'Information, Poitiers, France, pages 159--166, December 2007. Cépaduès éditions. [bibtex]


  16. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. VeSTA : Vérification de la préservation des propriétés d'un composant lors de son intégration dans un système temporisé. In AFADL'07, Approches Formelles dans l'Assistance au Développement de Logiciels - Session Outils, Namur, Belgium, pages 289--290, June 2007. [bibtex]


  17. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. VeSTA : a Tool to Verify the Correct Integration of a Component in a Composite Timed System. In M. Butler, M. Hinchey, and M.M. Larrondo-Petrie, editors, ICFEM'07, the 9th Int. Conf. on Formal Engineering Methods, volume 4789 of LNCS, Boca Raton, Florida, United States, pages 116--135, November 2007. Springer. [bibtex]


  18. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Spécifications hiérarchiques et vérification des propriétés sous hypothèses d'équité. In M. Gourgaud and F. Riane, editors, 6ème Conf. Francophone de Modélisation et Simulation, MOSIM'06, Rabat, Morocco, April 2006. Note: Actes sur CD. 7 pages. ISBN 2-7430-0893-8. [bibtex]


  19. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot. In ISoLA 2006, 2nd Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Paphos, Cyprus, pages 19--26, November 2006. IEEE Computer Society Press. [bibtex]


  20. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Experiments in the use of tau-simulations for the components-verification of real-time systems. In SAVCBS'06, Specification and Verification of Component-Based Systems, Portland, Oregon, United States, pages 33--40, November 2006. [bibtex]


  21. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Exploitation du raffinement pour vérifier les modèles hiérarchiques. In Actes du RJCITR'05, 1ère Rencontres des Jeunes Chercheurs en Informatique Temps Réel, Nancy, France, September 2005. [bibtex]


  22. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, and Emilie Oudot. On the contribution of a tau-simulation in the incremental modeling of timed systems. In FACS'05, 2nd Int. Workshop on Formal Aspects of Components Software, volume 160 of Electronic Notes in Theoretical Computer Science, Macao, Macao, pages 97--111, October 2005. Elsevier. [bibtex]


  23. Ahmed Hammad, Jacques Julliand, Hassan Mountassir, and Mohammed Al'Achhab. Conception et vérification de systèmes temps réel par raffinement. In 12th Conf. on Real Time and Embedded Systems, RTS EMBEDDED SYSTEMS'04, Paris, France, pages 85--99, March 2004. [bibtex]


  24. Ahmed Hammad, Hassan Mountassir, and Emilie Oudot. Préservation de propriétés MITL par raffinement temporisé. In Jacques Julliand, editor, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, Besançon, France, pages 207--221, June 2004. [bibtex]


  25. Ahmed Hammad, Jacques Julliand, Hassan Mountassir, and D. Okalas. Expression en B et raffinement des systèmes réactifs temps réel. In Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'03, Rennes, France, pages 211--225, January 2003. [bibtex]


  26. Pierre-Alain Masson, Hassan Mountassir, and Jacques Julliand. Modular verification for a class of PLTL properties. In 2nd Int. Conf. on Integrated Formal Methods, IFM'2000, volume 1945 of LNCS, Dagstuhl, Saarland, Germany, pages 398--419, November 2000. Springer. [bibtex]


  27. Hassan Mountassir, Françoise Bellegarde, Jacques Julliand, and Pierre-Alain Masson. Coopération entre Preuve et Model-Checking pour vérifier des propriétés LTL. In Actes du congrès AFADL'2000, Grenoble, France, pages 127--141, January 2000. [bibtex]


  28. Françoise Bellegarde, Jacques Julliand, and Hassan Mountassir. Model-Based Verification through Refinement of Finite B Event Systems. In K. Robinson and Didier Bert, editors, Formal Methods'99 B User Group Meeting, Toulouse, France, September 1999. Springer. [bibtex]


  29. A. Ibriz, M. Erradi, Hassan Mountassir, and Michel Tréhel. A Layered Cooperative Architecture and its Application in Teleteaching Framework. In Special Session on Coordination in Parallel and Distributed Applications and Activities: PDPTA'99, Las Vegas, United States, pages 1516--1522, June 1999. [bibtex]


  30. Jacques Julliand, Pierre-Alain Masson, and Hassan Mountassir. Modular verification of dynamic properties for reactive systems. In International Workshop on Integrated Formal Methods, IFM'99, York, Grande-Bretagne, pages 89--108, June 1999. [bibtex]


Books and proceedings
  1. El Hassan Abdelwahed and Hassan Mountassir, editors. ICWIT 2010, 3-rd Int. Conf. on Web and Information Technologies, Marrakech, Morocco, June 2010. [bibtex]


  2. Y. Ait Ameur, F. Boniol, and Hassan Mountassir, editors. Approches Formelles pour la validation de systèmes temps-réel, volume 42(9) of JESA, Journal européen des systèmes automatisés, Numéro Spécial. Hermes, 2008. Note: 133 pages. [bibtex]


Internal reports
  1. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Composability, compatibility, compositionality: automatic preservation of timed properties during incremental development. Research Report RR2007-01, LIFC - Laboratoire d'Informatique de l'Universit é de Franche Comté, November 2007.
    Keywords: tau-simulations, component-based timed systems, integration of components, preservation of timed linear properties.. [Abstract] [bibtex]


  2. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Experiments in the use of tau-simulations for the Verification of Timed Components. Research Report RR2006-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, July 2006.
    Keywords: tau-simulation, integration of components, timed systems, preservation of linear-time properties. [Abstract] [bibtex]


  3. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, and Emilie Oudot. The tool VeSTA: Verification of Simulations for Timed Automata. Technical Report RT2006-01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, July 2006.
    Keywords: tau-simulation, integration of components, timed automata, preservation of linear-time properties. [Abstract] [bibtex]


  4. Mohammed Al'Achhab, K. Cristiano, Ahmed Hammad, and Hassan Mountassir. Implementing Hierarchical automata in Promela/Spin. Technical Report RT2004-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, April 2004. [bibtex]


  5. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Refinement of Hierarchical Systems. Research Report RR2004-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, April 2004.
    Keywords: Specification, hierarchical automata, refinement, Kripke structure, verification. [Abstract] [bibtex]


Other publications
  1. Hassan Mountassir. Tacos : de l'expression des besoins aux spécifications formelles. 7-th Neptune Workshop. Environment with a Process and Tools Using Norms and Example, Toulouse, France, May 2010. [bibtex]


  2. Hassan Mountassir. Trustworthy Assembling of Components from requirements to Specifications. Tutoriel invité, Workshop NEPTUNE (Nice Environment with a Process and Tools Using Norms and Examples), Toulouse, May 2010. [bibtex]


  3. Hassan Mountassir. Contrats et Vérification d'assemblage des composants. séminaire invité, ENSIAS, Rabat, December 2009. [bibtex]


  4. Jacques Julliand, Pierre-Alain Masson, and Hassan Mountassir. Vérification modulaire des propriétés dynamiques introduites en B. , December 1999. [bibtex]


Back to INDEX

Wed May 16 18:07:19 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html