L'institut

FEMTO-ST

Annuaire

Vous êtes ici

• Accueil
• Hassan Mountassir

Hassan Mountassir

Département DISC
équipe VESONTIO

UFC - UFR ST

Courriel :

hmountas [at] femto-st.fr

03.81.66.66.65

Adresse :

DISC - UFR-ST (Campus La Bouloie)

Bât C - 16 route de Gray CS11809
25030 BESANCON cedex

Publications de Hassan Mountassir

Voir toutes les publications (53)2019 (1)2018 (1)2017 (1)2016 (2)2015 (5)2014 (6)2013 (5)2012 (2)2011 (2)2010 (10)2009 (4)2008 (3)2007 (5)2006 (6)

2019 (1)

• article - SysML Model-Driven Approach to Verify Blocks Compatibility
  International Journal of Computer Aided Engineering and Technology (IJCAET) (Volume 11, Issue (2), 2019, Pages :206 - 231)
  Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
  
  pdf | doi

2018 (1)

• inproceedings - Component Design and Adaptation Based on Behavioral Contracts
  Presentation foRmal modEls for Mastering multifacEteD sYstems (2018) / Marrakesh, Morocco (Volume 929, Series Communications in Computer and Information Science (CCIS), 2018, Pages pages 217 - 230)
  Chouali, Samir | Mouelhi, Sebti | Mountassir, Hassan
  
  pdf | doi | bibtex@inproceedings{a456734c-1220-416a-ac7c-7a2a7c530351, title = {Component Design and Adaptation Based on Behavioral Contracts}, author = {Chouali, Samir and Mouelhi, Sebti and Mountassir, Hassan}, year = {2018}, address = {Marrakesh, Morocco}, booktitle = {Presentation foRmal modEls for Mastering multifacEteD sYstems (2018)}, month = {oct}, pages = {217 - 230}, url = {https://publiweb.femto-st.fr/tntnet/entries/15142/documents/author/data}, volume = {929}, doi = {10.1007/978-3-030-02852-7_19}, series = {Communications in Computer and Information Science (CCIS)} }

2017 (1)

• inproceedings - Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers
  International Workshop on Petri Nets and Software Engineering (PNSE 2017) / Zaragoza, Spain (Volume 1846, 2017, Pages pages 69 - 84)
  Dahmani, Djaouida | Boukala, Mohamed Cherif | Mountassir, Hassan | Chouali, Samir
  
  bibtex@inproceedings{545ab13b-6900-4095-9d49-ef4cce8b5d98, title = {Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers}, author = {Dahmani, Djaouida and Boukala, Mohamed Cherif and Mountassir, Hassan and Chouali, Samir}, year = {2017}, address = {Zaragoza, Spain}, booktitle = {International Workshop on Petri Nets and Software Engineering (PNSE 2017)}, month = {jun}, pages = {69 - 84}, volume = {1846} }

2016 (2)

• inproceedings - A Model-Driven Approach to Adapt SysML Blocks
  22nd International Conference on Information and Software Technologies (ICIST 2016) / Druskininkai, Lithuania (Publisher : Springer, Volume 639, Series Communications in Computer and Information Science (CCIS), 2016, Pages pages 255 - 268)
  Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
  
  pdf | doi | bibtex@inproceedings{6ddc9a34-5cf5-4284-841a-ccac310ebce0, title = {A Model-Driven Approach to Adapt SysML Blocks}, author = {Bouaziz, Hamida and Chouali, Samir and Hammad, Ahmed and Mountassir, Hassan}, year = {2016}, address = {Druskininkai, Lithuania}, booktitle = {22nd International Conference on Information and Software Technologies (ICIST 2016)}, month = {oct}, pages = {255 - 268}, url = {https://publiweb.femto-st.fr/tntnet/entries/13724/documents/author/data}, volume = {639}, doi = {10.1007/978-3-319-46254-7_21}, publisher = {Springer}, series = {Communications in Computer and Information Science (CCIS)} }
• article - Exploitation de la Hiérarchie pour la Véification de la Compatibilité des Blocs SysML
  Revue des Nouvelles Technologies de l'Information (Volume RNTI-L, Issue (8), 2016, Pages :99 - 118)
  Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
  

2015 (5)

• inproceedings - SysML Blocks Adaptation
  17th International Conference on Formal Engineering Methods (ICFEM 2015) / Paris, France (Publisher : Springer, Volume 9407, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 417 - 433)
  Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
  
  doi | bibtex@inproceedings{bchm15b:ip, title = {SysML Blocks Adaptation}, author = {Bouaziz, Hamida and Chouali, Samir and Hammad, Ahmed and Mountassir, Hassan}, year = {2015}, address = {Paris, France}, booktitle = {17th International Conference on Formal Engineering Methods (ICFEM 2015)}, editor = {Michael Butler, Sylvain Conchon, Fatiha Za\"idi }, month = {nov}, pages = {417 - 433}, volume = {9407}, doi = {10.1007/978-3-319-25423-4_27}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems
  18th ACM International SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2015) / Montréal, Canada (Publisher : Association for Computing Machinery (ACM), 2015, Pages pages 49 - 58)
  Mouelhi, Sebti | Agrou, Khalid | Chouali, Samir | Mountassir, Hassan
  
  pdf | doi | bibtex@inproceedings{macm15:ip, title = {Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems}, author = {Mouelhi, Sebti and Agrou, Khalid and Chouali, Samir and Mountassir, Hassan}, year = {2015}, address = {Montr\'eal, Canada}, booktitle = {18th ACM International SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2015)}, editor = {macm15:ip-editor.pdf}, month = {may}, pages = {49 - 58}, url = {http://dx.doi.org/10.1145/2737166.2737171}, doi = {10.1145/2737166.2737171}, publisher = {Association for Computing Machinery (ACM)} }
• inproceedings - Exploitation de la Hiérarchie pour la Vérification de la Compatibilité entre les Blocs SysML
  9ème Conférence francophone sur les Architectures Logicielles (CAL 2015) / Hammamet, Tunisia (2015, Pages pages 99 - 118)
  Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
  
  pdf | bibtex@inproceedings{bchm15:np, title = {Exploitation de la Hi\'erarchie pour la V\'erification de la Compatibilit\'e entre les Blocs SysML}, author = {Bouaziz, Hamida and Chouali, Samir and Hammad, Ahmed and Mountassir, Hassan}, year = {2015}, address = {Hammamet, Tunisia}, booktitle = {9\`eme Conf\'erence francophone sur les Architectures Logicielles (CAL 2015)}, month = {may}, pages = {99 - 118}, url = {https://publiweb.femto-st.fr/tntnet/entries/11895/documents/author/data} }
• inproceedings - An Approach to Verify SysML Functional Requirements Using Promela/Spin
  12th International Symposium onProgramming and Systems (ISPS) / Alger, Algeria (Publisher : IEEE, 2015, Pages pages 323 - 331)
  Abdulhameed, Abbas Abdulazeez | Hammad, Ahmed | Tatibouet, Bruno | Mountassir, Hassan
  
  pdf | doi | bibtex@inproceedings{ahtm15:ip, title = {An Approach to Verify SysML Functional Requirements Using Promela/Spin}, author = {Abdulhameed, Abbas Abdulazeez and Hammad, Ahmed and Tatibouet, Bruno and Mountassir, Hassan}, year = {2015}, address = {Alger, Algeria}, booktitle = {12th International Symposium onProgramming and Systems (ISPS)}, month = {apr}, pages = {323 - 331}, url = {*}, doi = {10.1109/ISPS.2015.7245003}, publisher = {IEEE} }
• inproceedings - Compatibility Verification of SysML Blocks Using Hierarchical Interface Automata
  12th International Symposium on Programming and Systems (ISPS) / Alger, Algeria (Publisher : IEEE, 2015, Pages pages 313 - 322)
  Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
  
  pdf | doi | bibtex@inproceedings{bchm15:ip, title = {Compatibility Verification of SysML Blocks Using Hierarchical Interface Automata}, author = {Bouaziz, Hamida and Chouali, Samir and Hammad, Ahmed and Mountassir, Hassan}, year = {2015}, address = {Alger, Algeria}, booktitle = {12th International Symposium on Programming and Systems (ISPS)}, month = {apr}, pages = {313 - 322}, url = {*}, doi = {10.1109/ISPS.2015.7245002}, publisher = {IEEE} }

2014 (6)

• inproceedings - An Approach Combining Simulation and Verification for SysML using SystemC and Uppaal
  CAL 2014, 8ème conférence francophone sur les architectures logicielles / Paris, France (2014, Pages pages 9 pages)
  Abdulhameed, Abbas Abdulazeez | Hammad, Ahmed | Mountassir, Hassan | Tatibouet, Bruno
  
  pdf | bibtex@inproceedings{ahmt14:onp, title = {An Approach Combining Simulation and Verification for SysML using SystemC and Uppaal}, author = {Abdulhameed, Abbas and Hammad, Ahmed and Mountassir, Hassan and Tatibou\"et, Bruno}, year = {2014}, address = {Paris, France}, booktitle = {CAL 2014, 8\`eme conf\'erence francophone sur les architectures logicielles}, month = {jun}, pages = {9 pages}, url = {https://publiweb.femto-st.fr/tntnet/entries/7302/documents/author/data} }
• inproceedings - Reusing and Adapting components using Petri Nets with Synchronous Transitions
  PNSE'14, A satellite event of Petri Nets 2014, 35th Int. Conf. on Application and Theory of Petri Nets and Concurrency and ACSD 2014, 14th Int. Conf. on Application of Concurrency to System Design / Tunis, Tunisia (2014, Pages pages 129--141)
  Dahmani, Djaouida | Boukala, Mohamed Cherif | Mountassir, Hassan
  
  pdf | bibtex@inproceedings{dbm14:ip, title = {Reusing and Adapting components using Petri Nets with Synchronous Transitions}, author = {Dahmani, Djaouida and Boukala, Mohamed Cherif and Mountassir, Hassan}, year = {2014}, address = {Tunis, Tunisia}, booktitle = {PNSE'14, A satellite event of Petri Nets 2014, 35th Int. Conf. on Application and Theory of Petri Nets and Concurrency and ACSD 2014, 14th Int. Conf. on Application of Concurrency to System Design}, month = {jun}, pages = {129--141}, url = {http://ceur-ws.org/Vol-1160/paper8.pdf} }
• inproceedings - Reusing and Adapting Components using atomic and non-atomic Strong Synchronisations
  CAL 2014, 8ème conférence francophone sur les architectures logicielles / Paris, France (2014)
  Dahmani, Djaouida | Boukala, Mohamed Cherif | Mountassir, Hassan
  
  bibtex@inproceedings{dbm14:onp, title = {Reusing and Adapting Components using atomic and non-atomic Strong Synchronisations}, author = {Dahmani, Djaouida and Boukala, Mohamed Cherif and Mountassir, Hassan}, year = {2014}, address = {Paris, France}, booktitle = {CAL 2014, 8\`eme conf\'erence francophone sur les architectures logicielles}, month = {jun} }
• inproceedings - Modélisation incrémentale d'une Architecture de Système Satisfaisant des Exigences Fonctionnelles
  CAL 2014, 8ème conférence francophone sur les architectures logicielles / Paris, France (2014)
  Carrillo Rozo, Oscar | Chouali, Samir | Mountassir, Hassan
  
  bibtex@inproceedings{ccm14:onp, title = {Mod\'elisation incr\'ementale d'une Architecture de Syst\`eme Satisfaisant des Exigences Fonctionnelles}, author = {Carrillo Rozo, Oscar and Chouali, Samir and Mountassir, Hassan}, year = {2014}, address = {Paris, France}, booktitle = {CAL 2014, 8\`eme conf\'erence francophone sur les architectures logicielles}, month = {jun} }
• inproceedings - An Approach based on SysML and SystemC to Simulate Complex Systems
  MODELSWARD 2014, 2nd Int. Conf. on Model-Driven Engineering and Software Development / Lisbon, Portugal (2014, Pages pages 555--560)
  Abdulhameed, Abbas Abdulazeez | Hammad, Ahmed | Mountassir, Hassan | Tatibouet, Bruno
  
  bibtex@inproceedings{ahmt14:oip, title = {An Approach based on SysML and SystemC to Simulate Complex Systems}, author = {Abdulhameed, Abbas Abdulazeez and Hammad, Ahmed and Mountassir, Hassan and Tatibouet, Bruno}, year = {2014}, address = {Lisbon, Portugal}, booktitle = {MODELSWARD 2014, 2nd Int. Conf. on Model-Driven Engineering and Software Development}, month = {jan}, pages = {555--560} }
• inproceedings - Incremental Modeling of System Architecture Satisfying SysML Functional Requirements
  FACS 2013, The 10th Int. Symposium on Formal Aspects of Component Software / Nanchang, China (Publisher : Springer, Volume 8348, Series Lecture Notes in Computer Science (LNCS), 2014, Pages pages 79-99)
  Carrillo Rozo, Oscar | Chouali, Samir | Mountassir, Hassan
  
  doi | bibtex@inproceedings{ccm14:ip, title = {Incremental Modeling of System Architecture Satisfying SysML Functional Requirements}, author = {Carrillo Rozo, Oscar and Chouali, Samir and Mountassir, Hassan}, year = {2014}, address = {Nanchang, China}, booktitle = {FACS 2013, The 10th Int. Symposium on Formal Aspects of Component Software}, editor = {Jos\'e Luiz Fiadeiro and Zhiming Liu and Jinyun Xue}, pages = {79-99}, volume = {8348}, doi = {10.1007/978-3-319-07602-7_7}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

2013 (5)

• inproceedings - An approach combining SysML and modelica for modelling and validate wireless sensor networks
  SESoS'13, 1st Int. Workshop on Software Engineering for Systems-of-Systems / Montpellier, France (Publisher : Association for Computing Machinery (ACM), 2013, Pages pages 5--12)
  Hammad, Ahmed | Mountassir, Hassan | Chouali, Samir
  
  pdf | doi | bibtex@inproceedings{hmc13:ip, title = {An approach combining SysML and modelica for modelling and validate wireless sensor networks}, author = {Hammad, Ahmed and Mountassir, Hassan and Chouali, Samir}, year = {2013}, address = {Montpellier, France}, booktitle = {SESoS'13, 1st Int. Workshop on Software Engineering for Systems-of-Systems}, month = {jul}, pages = {5--12}, url = {http://dx.doi.org/10.1145/2489850.2489852}, doi = {10.1145/2489850.2489852}, publisher = {Association for Computing Machinery (ACM)} }
• inproceedings - Specifying System Architecture from SysML Requirements and Component Interfaces
  ECSA'13, European Conference on Software Architecture / Montpellier, France (Publisher : Springer, Volume 7957, Series Lecture Notes in Computer Science (LNCS), 2013, Pages pages 348--352)
  Chouali, Samir | Carrillo Rozo, Oscar | Mountassir, Hassan
  
  pdf | doi | bibtex@inproceedings{ccm13:oip, title = {Specifying System Architecture from SysML Requirements and Component Interfaces}, author = {Chouali, Samir and Carrillo Rozo, Oscar and Mountassir, Hassan}, year = {2013}, address = {Montpellier, France}, booktitle = {ECSA'13, European Conference on Software Architecture}, editor = {Drira, Khalil}, month = {jul}, pages = {348--352}, url = {http://dx.doi.org/10.1007/978-3-642-39031-9_36}, volume = {7957}, doi = {10.1007/978-3-642-39031-9_36}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• article - Assembling Components using SysML with Non-Functional Requirements
  Electronic Notes in Theoretical Computer Science (ENTCS) (Volume 295, may 2013, Pages :31 - 47)
  Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
  
  pdf | doi
• inproceedings - Mapping SysML to modelica to validate wireless sensor networks non-functional requirements
  ISPS'13, 11th Int. Symposium on Programming and Systems / Algiers, Algeria (2013, Pages pages 177--186)
  Berrani, S. | Hammad, Ahmed | Mountassir, Hassan
  
  pdf | doi | bibtex@inproceedings{bhm13:ip, title = {Mapping SysML to modelica to validate wireless sensor networks non-functional requirements}, author = {Berrani, S. and Hammad, Ahmed and Mountassir, Hassan}, year = {2013}, address = {Algiers, Algeria}, booktitle = {ISPS'13, 11th Int. Symposium on Programming and Systems}, month = {apr}, pages = {177--186}, url = {https://publiweb.femto-st.fr/tntnet/entries/5967/documents/author/data}, doi = {10.1109/ISPS.2013.6581484} }
• inproceedings - Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption
  MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development / Barcelona, Spain (2013, Pages pages 198--201)
  Hammad, Ahmed | Mountassir, Hassan | Chouali, Samir
  
  bibtex@inproceedings{hmc13:oip, title = {Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption}, author = {Hammad, Ahmed and Mountassir, Hassan and Chouali, Samir}, year = {2013}, address = {Barcelona, Spain}, booktitle = {MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development}, month = {feb}, pages = {198--201} }

2012 (2)

• article - Formalizing and Verifying Compatibility and Consistency of SysML Blocks
  ACM SIGSOFT Software Engineering Notes (Volume 37-4, aug 2012, Pages :8)
  Carrillo Rozo, Oscar | Chouali, Samir | Mountassir, Hassan
  
  pdf | doi
• inproceedings - Vérification de la consistance et de la compatibilité entre blocs SysML
  CAL 2012, 6ème conférence francophone sur les architectures logicielles / Montpellier, France (2012, Pages pages ***--***)
  Carrillo Rozo, Oscar | Chouali, Samir | Mountassir, Hassan
  
  bibtex@inproceedings{ccm12:np, title = {V\'erification de la consistance et de la compatibilit\'e entre blocs SysML}, author = {Carrillo, Oscar and Chouali, Samir and Mountassir, Hassan}, year = {2012}, address = {Montpellier, France}, booktitle = {CAL 2012, 6\`eme conf\'erence francophone sur les architectures logicielles}, month = {may}, pages = {***--***} }

2011 (2)

• inproceedings - Invariant Preservation by Component Composition Using Semantical Interface Automata
  ICSEA 2011, 6-th Int. Conf. on Software Engineering Advances / Barcelona, Spain (2011, Pages pages 305--311)
  Mouelhi, Sebti | Chouali, Samir | Mountassir, Hassan
  
  bibtex@inproceedings{mcm11:ip, title = {Invariant Preservation by Component Composition Using Semantical Interface Automata}, author = {Mouelhi, Sebti and Chouali, Samir and Mountassir, Hassan}, year = {2011}, address = {Barcelona, Spain}, booktitle = {ICSEA 2011, 6-th Int. Conf. on Software Engineering Advances}, month = {oct}, pages = {305--311} }
• article - Incremental Verification of Component-Based Timed Systems
  International Journal of Computer Applications in Technology (Volume 42, Issue (2-3), 2011, Pages :159 - 176)
  Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
  
  pdf | doi

2010 (10)

• article - Assemblage des composants digne de confiance : de l'ingénierie des besoins aux spécifications formelles
  Génie Logiciel (Volume 95, dec 2010, Pages :13--18)
  Chouali, Samir | Dormoy, Julien | Hammad, Ahmed | Hufflen, Jean-Michel | Mouelhi, Sebti | Kouchnarenko, Olga | Mountassir, Hassan | Tatibouet, Bruno
  
• inproceedings - Adapting Components Behaviours using Interface Automata
  SEAA'10, 36th Euromicro Conference on Software Engineering and Advanced Applications / Lille, France (2010, Pages pages 119-122)
  Chouali, Samir | Mouelhi, Sebti | Mountassir, Hassan
  
  pdf | doi | bibtex@inproceedings{cmm10:ip, title = {Adapting Components Behaviours using Interface Automata}, author = {Chouali, Samir and Mouelhi, Sebti and Mountassir, Hassan}, year = {2010}, address = {Lille, France}, booktitle = {SEAA'10, 36th Euromicro Conference on Software Engineering and Advanced Applications}, month = {sep}, pages = {119-122}, url = {https://publiweb.femto-st.fr/tntnet/entries/264/documents/author/data}, doi = {10.1109/SEAA.2010.34} }
• inproceedings - Efficient model checking with UML and specification patterns
  ICWIT'10, the 3rd Int. Conf. on Web and Information Technologies / Marrakech, Morocco (2010, Pages pages 55--67)
  Abdelkader, Bouamari | Mostefai, Mohammed | Mountassir, Hassan | Hammad, Ahmed
  
  bibtex@inproceedings{ammh10:ip, title = {Efficient model checking with UML and specification patterns}, author = {Abdelkader, Bouamari and Mostefai, Mohammed and Mountassir, Hassan and Hammad, Ahmed}, year = {2010}, address = {Marrakech, Morocco}, booktitle = {ICWIT'10, the 3rd Int. Conf. on Web and Information Technologies}, month = {jun}, pages = {55--67} }
• inproceedings - Adapting Components using Interface Automata strengthened by Action Semantics
  FoVeoos 2010, int. conf. on Formal Verification of Object-oriented software / Paris, France (2010, Pages pages 7--21)
  Chouali, Samir | Mouelhi, Sebti | Mountassir, Hassan
  
  bibtex@inproceedings{cmm10b:ip, title = {Adapting Components using Interface Automata strengthened by Action Semantics}, author = {Chouali, Samir and Mouelhi, Sebti and Mountassir, Hassan}, year = {2010}, address = {Paris, France}, booktitle = {FoVeoos 2010, int. conf. on Formal Verification of Object-oriented software}, month = {jun}, pages = {7--21} }
• inproceedings - Adaptation des Protocoles des Composants par les Automates d'Interface
  AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels / Poitiers, France (2010, Pages pages 253 - 266)
  Chouali, Samir | Mouelhi, Sebti | Mountassir, Hassan
  
  pdf | bibtex@inproceedings{cmm10b:np, title = {Adaptation des Protocoles des Composants par les Automates d'Interface}, author = {Chouali, Samir and Mouelhi, Sebti and Mountassir, Hassan}, year = {2010}, address = {Poitiers, France}, booktitle = {AFADL'10, Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels}, month = {jun}, pages = {253 - 266}, url = {https://publiweb.femto-st.fr/tntnet/entries/425/documents/author/data} }
• inproceedings - Architecture Formalisée d'une Application Collaborative. Cas d'une Situation d'Urgence en Neurologie
  AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels / Poitiers, France (2010, Pages pages 249--252)
  Edaoudi, Rajaa | Hamdani, Marouane | Bouragba, Khalid | Ouzzif, Mohammed | Mountassir, Hassan | Erradi, Mohammed
  
  pdf | bibtex@inproceedings{ehbo+10:onp, title = {Architecture Formalis\'ee d'une Application Collaborative. Cas d'une Situation d'Urgence en Neurologie}, author = {Edaoudi, Rajaa and Hamdani, Marouane and Bouragba, Khalid and Ouzzif, Mohammed and Mountassir, Hassan and Erradi, Mohammed}, year = {2010}, address = {Poitiers, France}, booktitle = {AFADL'10, Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels}, month = {jun}, pages = {249--252}, url = {https://publiweb.femto-st.fr/tntnet/entries/545/documents/author/data} }
• proceedings - ICWIT 2010, 3-rd Int. Conf. on Web and Information Technologies
  / Marrakech, Morocco (Editor : Abdelwahed, El Hassan and Mountassir, Hassan, jun 2010)
  Mountassir, Hassan | El Hassan, Abdelwahed
  
  bibtex@proceedings{am10:be, title = {ICWIT 2010, 3-rd Int. Conf. on Web and Information Technologies}, author = {Mountassir, Hassan and El Hassan, Abdelwahed}, year = {2010}, address = {Marrakech, Morocco}, editor = {Abdelwahed, El Hassan and Mountassir, Hassan}, month = {jun} }
• inproceedings - Trustworthy Assembling of Components from requirements to Specifications
  (2010)
  Mountassir, Hassan
  
  bibtex@inproceedings{mountassir10:it, title = {Trustworthy Assembling of Components from requirements to Specifications}, author = {Mountassir, Hassan}, year = {2010}, month = {may} }
• misc - 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)
  Mountassir, Hassan
  
  bibtex@misc{mountassir10:onp, title = {Tacos : de l'expression des besoins aux sp\'ecifications formelles}, author = {Mountassir, Hassan}, year = {2010}, address = {Toulouse, France}, booktitle = {7th Nice Environment with a Process and Tools Using Norms and Example Workshop (Neptune Workshop 2010)}, month = {may}, url = {https://publiweb.femto-st.fr/tntnet/entries/551/documents/author/data} }
• inproceedings - Assembly of components based on interface automata and UML component model
  CAL'10, 4e Conf. Francophone sur les Architectures Logicielles / Pau, France (Volume RNTI-L-5, Series RNTI, Revue des Nouvelles Technologies de l'Information, 2010, Pages pages 73--85)
  Chouali, Samir | Mouelhi, Sebti | Mountassir, Hassan
  
  pdf | bibtex@inproceedings{cmm10:np, title = {Assembly of components based on interface automata and UML component model}, author = {Chouali, Samir and Mouelhi, Sebti and Mountassir, Hassan}, year = {2010}, address = {Pau, France}, booktitle = {CAL'10, 4e Conf. Francophone sur les Architectures Logicielles}, editor = {Drira, Khalil}, month = {mar}, pages = {73--85}, url = {https://publiweb.femto-st.fr/tntnet/entries/673/documents/author/data}, volume = {RNTI-L-5}, series = {RNTI, Revue des Nouvelles Technologies de l'Information} }

2009 (4)

• inproceedings - Verification of real time systems: application to the transportation domain
  SCLP'09, 2nd Int. Workshop on Service computing, Context-aware, Location-aware and Positioning techniques, joint to NTMS'09 / Cairo, Egypt (2009, Pages pages 719--727)
  Hammad, Ahmed | Mountassir, Hassan
  
  pdf | doi | bibtex@inproceedings{hm09:ip, title = {Verification of real time systems: application to the transportation domain}, author = {Hammad, Ahmed and Mountassir, Hassan}, year = {2009}, address = {Cairo, Egypt}, booktitle = {SCLP'09, 2nd Int. Workshop on Service computing, Context-aware, Location-aware and Positioning techniques, joint to NTMS'09}, month = {dec}, pages = {719--727}, url = {http://dx.doi.org/10.1109/NTMS.2009.5384729}, doi = {10.1109/NTMS.2009.5384729} }
• inproceedings - Contrats et Vérification d'assemblage des composants
  (2009)
  Mountassir, Hassan
  
  bibtex@inproceedings{mountassir09:it, title = {Contrats et V\'erification d'assemblage des composants}, author = {Mountassir, Hassan}, year = {2009}, month = {dec} }
• article - Politiques d'adaptation pour la reconfiguration du composant de localisation
  Journal européen des systèmes automatisés (JESA) (Volume 43, Issue (7-8-9), nov 2009, Pages :773 - 789)
  Dormoy, Julien | Kouchnarenko, Olga | Mountassir, Hassan
  
  pdf
• inproceedings - Refinement of Interface Automata Strengthened by Action Semantics
  Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA 2009) / York, United Kingdom (Volume 253, Issue 1, Series Electronic Notes in Theoretical Computer Science (ENTCS), 2009, Pages pages 111 - 126)
  Mouelhi, Sebti | Chouali, Samir | Mountassir, Hassan
  
  pdf | doi | bibtex@inproceedings{mcm09:ip, title = {Refinement of Interface Automata Strengthened by Action Semantics}, author = {Mouelhi, Sebti and Chouali, Samir and Mountassir, Hassan}, year = {2009}, address = {York, United Kingdom}, booktitle = {Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA 2009)}, month = {oct}, number = {1}, pages = {111 - 126}, url = {https://publiweb.femto-st.fr/tntnet/entries/247/documents/author/data}, volume = {253}, doi = {10.1016/j.entcs.2009.09.031}, series = {Electronic Notes in Theoretical Computer Science (ENTCS)} }

2008 (3)

• inproceedings - Using the profile UML4SoC for modeling a smart surface
  ICEEDT'08, 2nd int. conf. on Electrical Engineering Design and Technology / Hammamet, Tunisia (2008)
  Hammad, Ahmed | Mountassir, Hassan | Tatibouet, Bruno
  
  bibtex@inproceedings{hmt08:ip, title = {Using the profile UML4SoC for modeling a smart surface}, author = {Hammad, Ahmed and Mountassir, Hassan and Tatibou\"et, Bruno}, year = {2008}, address = {Hammamet, Tunisia}, booktitle = {ICEEDT'08, 2nd int. conf. on Electrical Engineering Design and Technology}, month = {nov} }
• inproceedings - Heuristics to verify LTL properties of hierarchical systems
  VECoS'2008, 2nd Int. Workshop on Verification and Evaluation of Computer and Communication Systems / Leeds, United Kingdom (Publisher : JIAS, Journal of Information Assurance and Security, Series eWiC - electronic Workshops in Computing, 2008, Pages pages ***--***)
  Hammad, Ahmed | Mountassir, Hassan
  
  bibtex@inproceedings{hm08:ip, title = {Heuristics to verify LTL properties of hierarchical systems}, author = {Hammad, Ahmed and Mountassir, Hassan}, year = {2008}, address = {Leeds, United Kingdom}, booktitle = {VECoS'2008, 2nd Int. Workshop on Verification and Evaluation of Computer and Communication Systems}, month = {jul}, pages = {***--***}, publisher = {JIAS, Journal of Information Assurance and Security}, series = {eWiC - electronic Workshops in Computing} }
• article - Description of a teleconferencing floor control protocol and its implementation
  Engineering Applications of Artificial Intelligence (Volume 21, Issue (3), apr 2008, Pages :430 - 441)
  Ouzzif, Mohammed | Erradi, Mohammed | Mountassir, Hassan
  
  pdf | doi

2007 (5)

• inproceedings - Preservation of timed properties during an incremental development by components
  ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation / Poitiers, France (Series RNTI, Revue des Nouvelles Technologies de l'Information, 2007, Pages pages 159--166)
  Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
  
  pdf | bibtex@inproceedings{jmo07b:ip, title = {Preservation of timed properties during an incremental development by components}, author = {Julliand, Jacques and Mountassir, Hassan and Oudot, Emilie}, year = {2007}, address = {Poitiers, France}, booktitle = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation}, editor = {Ait Ameur, Y. and Boniol, F. and Wiels, V.}, month = {dec}, pages = {159--166}, url = {https://publiweb.femto-st.fr/tntnet/entries/731/documents/author/data}, series = {RNTI, Revue des Nouvelles Technologies de l'Information} }
• inproceedings - VeSTA : a Tool to Verify the Correct Integration of a Component in a Composite Timed System
  ICFEM'07, the 9th Int. Conf. on Formal Engineering Methods / Boca Raton, Florida, United States (Volume 4789, Series Lecture Notes in Computer Science (LNCS), 2007, Pages pages 116--135)
  Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
  
  pdf | bibtex@inproceedings{jmo07:ip, title = {VeSTA : a Tool to Verify the Correct Integration of a Component in a Composite Timed System}, author = {Julliand, Jacques and Mountassir, Hassan and Oudot, Emilie}, year = {2007}, address = {Boca Raton, Florida, United States}, booktitle = {ICFEM'07, the 9th Int. Conf. on Formal Engineering Methods}, editor = {Butler, M. and Hinchey, M. and Larrondo-Petrie, M.M.}, month = {nov}, pages = {116--135}, url = {https://publiweb.femto-st.fr/tntnet/entries/184/documents/author/data}, volume = {4789}, series = {Lecture Notes in Computer Science (LNCS)} }
• techreport - Composability, compatibility, compositionality: automatic preservation of timed properties during incremental development
  (nov 2007, Research Report)
  Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
  
  bibtex@techreport{jmo07:ir, title = {Composability, compatibility, compositionality: automatic preservation of timed properties during incremental development}, author = {Julliand, Jacques and Mountassir, Hassan and Oudot, Emilie}, year = {2007}, month = {nov}, url = {https://publiweb.femto-st.fr/tntnet/entries/94/documents/author/data} }
• inproceedings - Spécification et Validation d'un Contrôleur de Performances Sportives
  E-Medisys 07, int. conf. on E-Medical Systems / Fez, Morocco (2007, Pages pages 173--178)
  Hammad, Ahmed | Mountassir, Hassan | Al'Achhab, Mohammed
  
  pdf | bibtex@inproceedings{aahm07:np, title = {Sp\'ecification et Validation d'un Contr\^oleur de Performances Sportives}, author = {Al'Achhab, Mohammed and Hammad, Ahmed and Mountassir, Hassan}, year = {2007}, address = {Fez, Morocco}, booktitle = {E-Medisys 07, int. conf. on E-Medical Systems}, month = {oct}, pages = {173--178}, url = {https://publiweb.femto-st.fr/tntnet/entries/188/documents/author/data} }
• inproceedings - VeSTA : Vérification de la préservation des propriétés d'un composant lors de son intégration dans un système temporisé
  AFADL'07, Approches Formelles dans l'Assistance au Développement de Logiciels - Session Outils / Namur, Belgium (2007, Pages pages 289--290)
  Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
  
  pdf | bibtex@inproceedings{jmo07:onp, title = {VeSTA : V\'erification de la pr\'eservation des propri\'et\'es d'un composant lors de son int\'egration dans un syst\`eme temporis\'e}, author = {Julliand, Jacques and Mountassir, Hassan and Oudot, Emilie}, year = {2007}, address = {Namur, Belgium}, booktitle = {AFADL'07, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels - Session Outils}, month = {jun}, pages = {289--290}, url = {https://publiweb.femto-st.fr/tntnet/entries/530/documents/author/data} }

2006 (6)

• inproceedings - Experiments in the use of tau-simulations for the components-verification of real-time systems
  SAVCBS'06, Specification and Verification of Component-Based Systems / Portland, Oregon, United States (2006, Pages pages 33--40)
  Julliand, Jacques | Bellegarde, Françoise | Mountassir, Hassan | Oudot, Emilie
  
  pdf | bibtex@inproceedings{bjmo06:ip, title = {Experiments in the use of tau-simulations for the components-verification of real-time systems}, author = {Bellegarde, Fran\c{c}oise and Julliand, Jacques and Mountassir, Hassan and Oudot, Emilie}, year = {2006}, address = {Portland, Oregon, United States}, booktitle = {SAVCBS'06, Specification and Verification of Component-Based Systems}, month = {nov}, pages = {33--40}, url = {https://publiweb.femto-st.fr/tntnet/entries/160/documents/author/data} }
• inproceedings - Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot
  2nd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (IsoLA 2006) / Paphos, Cyprus (2006, Pages pages 28 - 35)
  Al'Achhab, Mohammed | Hammad, Ahmed | Mountassir, Hassan
  
  doi | bibtex@inproceedings{aahm06:ip, title = {Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot}, author = {Al'Achhab, Mohammed and Hammad, Ahmed and Mountassir, Hassan}, year = {2006}, address = {Paphos, Cyprus}, booktitle = {2nd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (IsoLA 2006)}, month = {nov}, pages = {28 - 35}, doi = {10.1109/ISoLA.2006.10} }
• techreport - The tool VeSTA: Verification of Simulations for Timed Automata
  (jul 2006, Technical Report)
  Julliand, Jacques | Bellegarde, Françoise | Mountassir, Hassan | Oudot, Emilie
  
  bibtex@techreport{bjmo06a:ir, title = {The tool VeSTA: Verification of Simulations for Timed Automata}, author = {Bellegarde, Fran\c{c}oise and Julliand, Jacques and Mountassir, Hassan and Oudot, Emilie}, year = {2006}, month = {jul}, url = {https://publiweb.femto-st.fr/tntnet/entries/580/documents/author/data} }
• techreport - Experiments in the use of tau-simulations for the Verification of Timed Components
  (jul 2006, Research Report)
  Julliand, Jacques | Bellegarde, Françoise | Mountassir, Hassan | Oudot, Emilie
  
  bibtex@techreport{bjmo06b:ir, title = {Experiments in the use of tau-simulations for the Verification of Timed Components}, author = {Bellegarde, Fran\c{c}oise and Julliand, Jacques and Mountassir, Hassan and Oudot, Emilie}, year = {2006}, month = {jul}, url = {https://publiweb.femto-st.fr/tntnet/entries/604/documents/author/data} }
• inproceedings - Spécifications hiérarchiques et vérification des propriétés sous hypothèses d'équité
  6ème Conf. Francophone de Modélisation et Simulation, MOSIM'06 / Rabat, Morocco (2006)
  Hammad, Ahmed | Mountassir, Hassan | Al'Achhab, Mohammed
  
  bibtex@inproceedings{aahm06:np, title = {Sp\'ecifications hi\'erarchiques et v\'erification des propri\'et\'es sous hypoth\`eses d'\'equit\'e}, author = {Al'Achhab, Mohammed and Hammad, Ahmed and Mountassir, Hassan}, year = {2006}, address = {Rabat, Morocco}, booktitle = {6\`eme Conf. Francophone de Mod\'elisation et Simulation, MOSIM'06}, editor = {Gourgaud, M. and Riane, F.}, month = {apr} }
• misc - VeSTA - Vérification de Simulations entre Automates Temporisés
  ( 2006)
  Julliand, Jacques | Bellegarde, Françoise | Mountassir, Hassan | Oudot, Emilie
  
  bibtex@misc{bjmo06:soft, title = {VeSTA - V\'erification de Simulations entre Automates Temporis\'es}, author = {Bellegarde, Fran\c{c}oise and Julliand, Jacques and Mountassir, Hassan and Oudot, Emilie}, year = {2006}, url = {http://lifc.univ-fcomte.fr/ oudot/VeSTA} }