Boucheneb Hanifa

  

 

   Ing, Ph.D.  Professeur,

   Département de Génie Informatique

   École Polytechnique de Montréal

   

    Email :      hanifa.boucheneb@polymtl.ca

   Tél :          (514) 430 4711  poste 4101

 

Intérêt de recherche :

Publications importantes (depuis 2003) :

Articles de revues avec comité de lecture :

  1. R. Hadjidj, H. Boucheneb "Efficient reachability analysis for time Petri nets", accepted for publication in IEEE Transactions on Computers journal (August 2010). 

  2. H. Boucheneb, G. Gardey,  O. (H.) Roux, "TCTL model checking of time Petri nets", in Journal of Logic and Computation, vol. 19 Issue 6, pp 1509-1540, December 2009.

  3. R. Hadjidj, H. Boucheneb, "On-the-fly TCTL model checking of time Petri nets", in Journal of Theoretical and Computer Science (TCS), vol. 410, Issue 42, pp 4241-4261, September 2009. 

  4. H. Rakkay, H. Boucheneb, "Security analysis of Role Based Acess Control models using Colored Petri nets and CPNtools", in Transactions on Computational Science IV Journal, special issue on Security in Computing, pp 149-176, March 2009. 

  5. H. Boucheneb, H. Rakkay "A more efficient time Petri net state space abstraction useful to model checking timed linear properties", Fundamenta informaticae Journal, vol. 88 (4), pp. 469-495, December 2008.

  6.  H. Boucheneb "Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties", Formal Aspect of Computing journal (FACJ), vol. 20(2), pp 225-238, March 2008. 

  7. R. Hadjidj, H. Boucheneb "Improving state class constructions for CTL* model checking of Time Petri Nets", International Journal on Software Tools Technology Transfer (STTT), vol. 10(2), pp 167-184, March 2008. 

  8. A. Ouardani, S. Pierre, H. Boucheneb "A security protocol for mobile agents based on the cooperation of sedentary agents", Journal of Network and Computer Applications (JNCA), vol. 30/3, pp 1228-1243, August 2007. 

  9. A. El Rhazi, S. Pierre, H. Boucheneb “A secure protocol based on a sedentary agent for Mobile Agent Environments”, Journal of Computer Science 3(1): pp 35-42, 2007. 

  10. H. Boucheneb "Checking untimed and timed linear properties of the Interval Timed Colored Petri Net model", Revista Computación y Sistemas, vol. 10 No. 2, pp 107-134, 2006. 

  11. H. Rakkay, H. Boucheneb "Timed Secure Colored Petri Net", Journal of Annals of Telecommunications, vol. 61, no.11-12, pp 1314-1346, November-December 2006. 

  12. H. Boucheneb, R. Hadjidj "Using inclusion abstraction to construct atomic state class graphs for Time Petri Nets", International Journal of Embedded Systems, vol. 2 No 1/2, pp 128-139, 2006. 

  13. H. Boucheneb, R. Hadjidj "CTL* model-checking of Time Petri Nets", Journal of Theoretical Computer Science (TCS), Vol. 353/1-3, pp 208-227, 2006.
  14. H. Boucheneb, J. Mullins,"Analyse des réseaux de Petri temporels : Calcul des classes en O(n2) et des temps de chemin en O(m´n)", Revue Techniques et Sciences Informatiques (TSI), Vol. 4/2003, 24 pages, 2003. 
--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Chapitres de livres
  1. H. Boucheneb, R. Hadjidj “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. 
  2. L. Gheorghe, G. Nicolescu, H. Boucheneb, “Generic methodology for the design co-simulation tools”, in Model-Based Design for Embedded Systems, Published by CRC, November 2009, ISBN 978-1420067842..
---------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Conférences et workshops : 
  1. H. Boucheneb, A. Imine “Symbolic Model-Checking of Optimistic Replication Algorithms”, 8th International Conference on Integrated Formal Methods (IFM 2010), LNCS 6396, pp. 89–104, October 2010. 
  2. H. Boucheneb, K. Barkaoui “On interleaving in {P,A}-Time Petri nets with strong semantics”, 12th International Workshop on Verification of Infinite-State Systems (INFINITY 2010), September 2010..
  3. P. Heidira, H. Boucheneb “Efficient Method for Checking the Existence of a Safety/ reachability Controller”, 10th conference of Application of Concurrency to System Design (ACSD), IEEE computer society press, June 2010. 
  4. H. Boucheneb, K. Barkaoui, "On combining the ready sets and the covering steps methods",  3rd international workshop of Verification, Evaluation of Computer and Communication Systems (VECos’09), British Computer Society, July 2009 (Rabat, Morroco) .
  5. H. Rakkay, H. Boucheneb, O. H. Roux, “Time Arc Petri Nets and their analysis”, 9th conference of Application of Concurrency to System Design (ACSD), IEEE computer society press, July 2009 (Augsburg, Germany).
  6. H. Boucheneb, A. Imine, “On Model-Checking Optimistic Replication Algorithms”, 11th Formal Methods for Open Object-Based Distributed Systems and 29th Formal Techniques for Networked and Distributed Systems, June 2009 (Lisbon, Portugal)
  7. K. Barkaoui, H. Boucheneb, A Hicheur, "Design and Verification of Time-Constrained Workflow with Multi-Level Security", 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS), June 2009 (Bari, Italy).
  8.  H. Boucheneb, K. Barkaoui, “Relevant timed schedules / clock valuations for constructing time Petri net reachability graphs”, 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS),  volume 5215 of LNCS, September 2008 (Saint Malo, France).
  9. R. Benayad, K. Barkaoui, H. Boucheneb,  A. Hicheur, “Verification of Workflow Processes under Multilevel Security Considerations”, 3rd  International Conference on Risks and Security of Internet and Systems (CRISIS), October 2008 (Tozeur, Tunisia).
  10. K. Barkaoui, H. Boucheneb, A Hicheur, “Modeling and Analyzing Time-Constrained Flexible Workflows with Time Recursive Petri Nets”, 5th nternational Workshop on Web Services and Formal Methods (WS-FM), volume 5387 of LNCS, September 2008 (Milan, Italy).   
  11. L. Gheorghe, F.   Bouchhima,   G. Nicolescu, H.   Boucheneb, “Semantics for Model-Based Validation of Continuous/Discrete Systems”, 11th Conference of Design, Automation and Test in Europe (DATE), 2008.
  12. H. Rakkay, H. Boucheneb, O. H. Roux, “Réseaux de Petri à arcs temporels généralisés aux sémantiques faible et forte”, 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, (MSR), 2007.
  13. H. Boucheneb, H. Rakkay, "A more efficient time Petri net state space abstraction preserving linear properties", 7th conference of Application of Concurrency to System Design (ACSD), IEEE computer society press, 2007.
  14. H. Rakkay, H. Boucheneb, "Using Timed Colored Petri Net to formalize Temporal Role Based Access Control Policies", Conférence Nouvelles Technologies de la Répartition (NOTERE), 2007.
  15. R. Hadjidj, H. Boucheneb, "Zenoness detection and timed model checking for real time systems", 1st international workshop of Verification, Evaluation of Computer and Communication Systems (VECos’07), British Computer Society, 2007.
  16. H. Boucheneb, R. Hadjidj, "Model checking of time Petri nets", 1st international workshop of Verification, Evaluation of Computer and Communication Systems (VECos’07), invited talk, British Computer Society, 2007.
  17. L. Gheorghe, F. Bouchhima, G. Nicolescu, H. Boucheneb,"A Formalization of Global Simulation Models for Continuous/Discrete Systems", Summer Computer Simulation Conference (SCSC), 2007.
  18. R. Hadjidj, H. Boucheneb, "On-the-fly TCTL model checking of Time Petri Nets using state class method", 6th conference of Application of Concurrency to System Design (ACSD), IEEE computer society press, 2006.
  19. L.Gheorghe, F. Bouchhima, G. Nicolescu, H. Boucheneb, "Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-simulation Tool", 7th IEEE International Workshop on Rapid System Prototyping (RSP), 2006.
  20.  A. Ouardani, S. Pierre, H. Boucheneb, "A Secure Protocol for Mobile Agents in Hostile Environment", 2nd International Workshop on Mobility Aware Technologies and Applications, (MATA), Lecture Notes in Computer Science  (LNCS) 3744, 2005.
  21. H. Rakkay, H. Boucheneb, "Timed Secure Colored Petri Net", Conférence Nouvelles Technologies de la Répartition (NOTERE),  2005.  
  22. R. Hadjidj, H. Boucheneb, "Improving state class constructions for CTL* model checking of Time Petri Nets", 5th conference of Application of Concurrency to System Design (ACSD), IEEE computer society press, 2005.
  23. H. Boucheneb, R. Hadjidj, "Towards optimal CTL* model checking of Time Petri nets", IFAC Workshop on Discrete Event Systems (WODES), 2004.
  24. A. El Rhazi, S. Pierre, H. Boucheneb, "Secure Protocol in Mobile Agent Environment", IEEE Canadian Conference on Electrical and Computer Engineering (CCECE), 2003.