Hanifa Boucheneb

Professeur Titulaire

Département de Génie Informatique et Génie Logiciel (GIGL)

École Polytechnique de Montréal

Tél.: (514) 340-4711 poste 4101
Téléc.: (514) 340-5139
Local: M-4107
hanifa.boucheneb@polymtl.ca

Laboratoire VERIFORM

Recherche

Intérêts de recherche

  • Modélisation et vérification de systèmes temps réel, de politiques de sécurité, de systèmes d'édition collaborative et de workflows.
  • Model-checking de modèles temporisés
  • Techniques d'ordre partiel
  • Techniques d'abstraction
  • Software model-checking 
  • Synthèse de contrôleur
  • Vérification de modèles paramétrés (temps et données)

Unité(s) de recherche


Publications
(depuis janvier 2008) 

Revues avec comité de lecture :

  1. Hanifa Boucheneb and Kamel Barkaoui. (2015). Stubborn sets for time Petri nets. ACM Transactions in Embedded Computing Systems (TECS). 14(1): 11:1-11:25.
  2. Aurel Randolph*, Hanifa Boucheneb, Abdessamad Imine and Alejandro Quintero. (2015). On Synthesizing a Consistent Operational Transformation Approach. IEEE Transactions on Computers. 64(4): 1074-1089.
  3. Aurel Randolph*, Abdessamed Imine, Hanifa Boucheneb and Alejandro Quintero,. (2015). Sṕecification et Analyse d’un Protocole de Contr̂ole d’Acc̀es Optimiste pour éditeurs Collaboratifs Répartis. Ingénierie des Systèmes d'Information (ISI). 19(6): 9-32.
  4. Luiza Gheorghe Iugan*, Hanifa Boucheneb and Gabriela Nicolescu. (2015). A generic conceptual framework based on formal representationfor the design of continuous/discrete co-simulation tools. accepted for publication in International Journal of Design Automation for Embedded Systems.
  5. Hanifa Boucheneb and Kamel Barkaoui. (2014). Partial Order Reduction for Checking Soundness of Time Workflow Nets. Information Sciences Elsevier Journal. 282: 261-276.
  6. Sabine Boufenara*, Kamel Barkaoui, Faiza Belala and Hanifa Boucheneb. (2014). Transactional Petri nets: a semantic framework for UML2 activities. International Journal of Critical Computer-Based Systems (IJCCBS). 5(3/4): 241-267.
  7. Hanifa Boucheneb and Kamel Barkaoui. (2014). On combining the ready sets with the covering steps method. InInternationalJournal of Critical Computer-Based Systems (IJCCBS). 5(1/2): 55-77.
  8. Parisa Heidira* and Hanifa Boucheneb. (2013). Maximally Permissive Controller Synthesis for Time Petri Nets. International Journal of Control. 86(3): 493-5.
  9. Hanifa Boucheneb and Kamel Barkaoui. (2013). Reducing interleaving semantics redundancy in reachability analysis of time Petrinets. ACM Transactions in Embedded Computing Systems (TECS). 12(1): 1-24.
  10. Parisa Heidira* and Hanifa Boucheneb. (2013). Controller Synthesis of Time Petri Nets Using Stopwatch. Journal of Engineering. 2013: 1-6.
  11. Rachid Hadjidj* and Hanifa Boucheneb. (2011). Efficient reachability analysis for time Petri nets. IEEE Transactions on Computers. 60(8): 1085-1099.
  12. Hanifa Boucheneb and Kamel Barkaoui,. (2011). Relevant timed schedules /clock valuations for constructing time Petri net reachability graphs. Discrete Event Dynamic Systems (DEDS). 21(2): 171-204.
  13. Hanifa Boucheneb, Guillaume Gardey* and Olivier (H.) Roux. (2009). TCTL model checking of time Petri nets. Logic and Computation. 19(6): 1509-1540.
  14. Rachid Hadjidj* and Hanifa Boucheneb. (2009). On-the-fly TCTL model checking of time Petri nets. Theoretical and Computer Science (TCS). 410(42): 4241-4261.
  15. Hind Rakkay* and Hanifa Boucheneb. (2009). Security analysis of Role Based Acess Control models using Colored Petri nets and CPN tools. Transactions on Computational Science IV.: 149-176. 
  16. Hanifa Boucheneb and Hind Rakkay*. (2008). A more efficient time Petri net state space abstraction useful to model checking timed linear properties, in Fundamenta informaticae Journal, vol. 88 (4): 469-495, December.
  17. Hanifa. Boucheneb. (2008). Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties. Formal Aspect of Computing journal (FACJ), vol. 20(2): 225-238.
  18. Rachid Hadjidj* and Hanifa Boucheneb. (2008). Improving state class constructions for CTL* model checking of Time Petri Nets. International Journal on Software Tools Technology Transfer (STTT), vol. 10(2): 167-184.

Chapitres de livres avec comité de lecture :


  1. Parisa Heidira* and Hanifa Boucheneb. (2012).  A Forward On-The-Fly Approach in Controller Synthesis of Time Petri Nets. Petri Nets - Manufacturing and Computer Science, Pawel Pawlewski (Ed.), ISBN: 978-953-51-0700-2, InTech, August 2012,
  2. Luiza Gheorghe*, Gabriela Nicolescu and Hanifa Boucheneb. (2009) Generic methodology for the design co-simulation tools. In Model-Based Design for Embedded Systems, Published by CRC, November 2009, ISBN 978-1420067842.
  3. Hanifa Boucheneb and Rachid Hadjidj*. (2008).  Model checking of time Petri nets. Volume Petri Net: Theory and Application. Edited by Vedran Kordic, 2008. Published by I-Tech Publishing, Vienna, Austria. ISBN 978-3-902613-12-7.

Conférences et Workshops avec comité de lecture :
  1. Hanifa Boucheneb and Kamel Barkaoui. (2015). Strongly generalized soundness of Time Workflow Nets. IEEE computer society. 15th conference of Application of Concurrency to System Design (ACSD), Bruxelles, , 2015-06-24 (10-20)
  2. Mohamed Reza Gholami* and Hanifa Boucheneb. (2014). Applying Formal Methods into Safety-Critical Health Applications. LNCS, vol. 8822. 4th international symposium on model based safety assessment (IMBSA), Munich, Allemagne, 2014-10-27 (195-208)
  3. Hanifa Boucheneb, Kamel Barkaoui and Karim Weslati*. (2014). Delay-dependent partial order reduction technique for time Petri nets. LNCS, vol. 8711. 12th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Florence, Italie, 2014-09-08 (53-68) Papier
  4. Majda Moussa*, Hakima Ould-Slimane*, Hanifa Boucheneb and Steven Chamberland,. (2014). A formal framework for verifying inter-firewalls consistency. IEEE. 19th IEEE Symposium on Computers and Communication (ISCC), Funchai, Portugal, 2014-06-23 (1-7)
  5. Zohra Sbaï, Kamel Barkaoui and Hanifa Boucheneb. (2014). Compatibility Analysis of Time Open Workflow Nets. CEUR Workshop Proceedings. International Workshop on Petri Nets and Software Engineering (PNSE), Tunis, Tunisie, 2014-06-23 (249-268)
  6. Francis Giraldeau*, Michel Dagenais and Hanifa Boucheneb. (2014). Teaching Operating Systems Concepts with ExecutionVisualization. American Society for Engineering Education. 121st ASEE Annual Conference & Exposition, Indianapolis, États-Unis, 2014-06-15
  7. Aurel Randolph*, Abdessamed Imine,Hanifa Boucheneb and Alejandro Quintero. (2013). Specification and Verification using Alloy of OptimisticAccess Control for Distributed Collaborative Editors. LNCS, vol 8187. 18th International Workshop of Formal Methods for Industrial Critical Systems (FMICS), Madrid, Espagne, 2013-09-23 (184-198)
  8. Rachid Hadjidj* and Hanifa Boucheneb. (2013). RT-Studio: A tool for modular design and analysis of realtime systems using Interpreted Time Petri Nets. Proceedings. International Workshop on Petri Nets and Software Engineering (PNSE), Milan, Italie, 2013-06-24 (247-254)
  9. Hanifa Boucheneb, Didier Lime and Olivier H. Roux,. (2013). On multi-enabledness in time Petri nets. LNCS, vol 9727. 34th International Conference on Application and Theory of Petri Nets and other models of concurrency (Petri nets), Milan, Italie, 2013-06-24 (130-149)
  10. Aurel Randolph*, Hanifa Boucheneb, Abdessamed Imine and Alejandro Quintero. (2013). On Synthesizing a Consistent Operational TransformationApproach. Electronic Proceedings in Theoretical Computer Science (EPTCS) 107. 14th International Workshop on Verification of Infinite-State Systems (INFINITY),, Paris, France, 2012-08-27 (45-59)
  11. Hanifa Boucheneb*, Adrien Bullich and Olivier H. Roux. (2012). FIFO Time Petri Nets for conflicts handling. IFAC. 11th International Workshop on Discrete Event Systems (WODES), Guadalajara, Mexique, 2012-10-03 (143-148)
  12. Adrien Bullich*, Hanifa Boucheneb and Olivier (H) Roux. (2012). Refinement of time Petri nets semantics in conflict situations. Proceedings. 9th International Conference on Cybernetics and Information Technologies, Systems and Applications: CITSA, Orlondo, États-Unis, 2012-07-17
  13. Hakima Ould-Slimane*, Moustafa Bande* and Hanifa Boucheneb. (2012). WiseShare: A collaborative environment for knowledge sharing governed by ABAC policies. IEEE. 8th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom), Pittsburgh, États-Unis, 2012-10-14 (21- 29)
  14. Hanifa Boucheneb and Kamel Barkaoui. (2012). Parametric Verification of Time Workflow Nets. Proceedings. 24th International Conference on Software Engineering (SEKE), San Francisco, États- Unis, 2012-07-01 (375-380)
  15. Hanifa Boucheneb and Kamel Barkaoui. (2012). Reachability Analysis of P-time Petri Nets with Parametric Marking. IEEE computer society. 12th conference of Application of Concurrency to System Design (ACSD), Hambourg, Allemagne, 2012-06-25 (72-81)
  16. Sabine Boufenara*, Kamel Barkaoui, Faiza Belala and Hanifa Boucheneb. (2011). On Formalizing UML2 Activities Using TPNets: CaseStudies. British Computer Society. 5th international workshop of Verification, Evaluation of Computer and Communication Systems (VECos), Tunis, Tunisie, 2011-09-15
  17. Abdessamed Imine, Hanifa Boucheneb and Michael Rusinowitch. (2011). Enforcing Commutativity Using Operational Transformations“, inWorkshop on Verification of Concurrent Data-Structures. Workshop on Verification of Concurrent Data-Structures (VERICO), Austine, États-Unis, 2011-01-29
  18. Hanifa Boucheneb, Kamel Barkaoui. (2010). On interleaving in {P,A}-Time Petri nets with strong semantics. Electronic Proceedings in Theoretical Computer Science (EPTCS) 39. 12th International Workshop on Verification of Infinite-State Systems (INFINITY), Singapour, 2010-09-21 (7-11)
  19. Hanifa Boucheneb, and Abdessamed Imine. (2010). Symbolic Model-Checking of Optimistic Replication Algorithms. LNCS, vol 6396. 8th International Conference on Integrated Formal Methods (IFM), Nancy, France, 2010-10-11 (89-104)
  20. Parisa Heidira* and Hanifa Boucheneb. (2010). Efficient Method for Checking the Existence of a Safety/ reachability Controller. IEEE computer society. 10th conference of Application of Concurrency to System Design (ACSD), Braga, Portugal, 2010-06-21 (201-210)
  21. Hanifa Boucheneb and Kamel Barkaoui,. (2009). On combining the ready sets and the covering steps methods. British Computer Society. 3rd international workshop of Verification, Evaluation of Computer and Communication Systems (VECoS), Rabat, Maroc, 2009-07-02 (74-84)
  22. Hind Rakkay*, Hanifa Boucheneb and Olivier (H) Roux. (2009). Time Arc Petri Nets and their analysis. IEEE computer society. 9th conference of Application of Concurrency to System Design (ACSD), Augsburg, Allemagne, 2009-07-01 (138-147)
  23. Hanifa Boucheneb and Abdessamed Imine,. (2009). On Model-Checking Optimistic Replication Algorithms. LNCS, vol. 5522. 11th Formal Methods for Open Object-Based Distributed Systems and 29th Formal Techniques for Networked and Distributed Systems, Lisbon, Portugal, 2009-06-09 (73-89)
  24. Kamel Barkaoui, Hanifa Boucheneb and Awatef Hicheur*. (2009). Design and Verification of Time- Constrained Workflow with Multi-LevelSecurity. IFAC. 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS), Bari, Italie, 2009-06-10 (25-32)
  25. Hanifa Boucheneb and Kamel Barkaoui. (2009). Covering steps graphs of time Petri nets. Electronic Notes in Theoretical Computer Science (ENTCS), vol. 239. 10th International Workshop on Verification of Infinite-State Systems (INFINITY), Toronto, Canada, 2008-08-13 (155-165)
  26. Hanifa Boucheneb and Kamel Barkaoui. (2008). Relevant timed schedules / clock valuations for constructing time Petri net reachability graphs. 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), LNCS, vol. 5215.
  27. Rahma Benayad, Kamel Barkaoui, Hanifa Boucheneb and Awatef Hicheur*. (2008). Verification of Workflow Processes under Multilevel Security Considerations. 3rd International Conference on Risks and Security of Internet and Systems (CRISIS).
  28. Kamel Barkaoui, Hanifa Boucheneb and Awatef Hicheur*. (2008). Modeling and Analyzing Time-Constrained Flexible Workflows with Time Recursive Petri Nets. 5th International Workshop on Web Services and Formal Methods (WS-FM 2008), LNCS, vol. 5387 : 19-36.
  29. Luiza Gheorghe*, Faouzi Bouchhima*, Gabriela Nicolescu and Hanifa Boucheneb. (2008). Semantics for Model-Based Validation of Continuous/Discrete Systems. Design, Automation and Test in Europe (DATE) : 498-503.  
  30. Luiza Gheorghe*, Gabriela Nicolescu and Hanifa Boucheneb. (2008). Semantics for Rollback-Based Continuous/Discrete Simulation. In Proc. of BMAS 2008, California, USA.
Subpages (1): Spécifications Alloy
Comments