Search the dblp DataBase

Publications of Author

1. Serge Haddad, Jean-Michel Ilié, Mohamed Taghelit, Belhassen Zouari
   Symbolic Reachability Graph and Partial Symmetries. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1995, pp:238-257 [Conf]
   
2. Belhassen Zouari, Serge Haddad, Mohamed Taghelit
   A Protocol Specification Language with a High-Level Petri Net Semantics. [Citation Graph (0, 0)][DBLP]
   Decentralized and Distributed Systems, 1993, pp:225-241 [Conf]
   
3. Serge Haddad, Mohamed Taghelit, Belhassen Zouari
   Assessment of ESTELLE and EDT Through Real Case Studies. [Citation Graph (0, 0)][DBLP]
   PSTV, 1993, pp:223-238 [Conf]
   
4. Belhassen Zouari
   A Structure Causality Relation for Liveness Characterisation in Petri Nets. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2005, v:11, n:6, pp:1115-1133 [Journal]
   
5. Belhassen Zouari
   A Structure Causality Relation for Liveness Characterisation in Petri Nets. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2006, v:12, n:2, pp:214-232 [Journal]
   
6. 
   A distributed verification approach for modular Petri nets. [Citation Graph (, )][DBLP]
   
   
7. 
   Coloured Petri Net Model for the Formal Validation of Sensor Networks. [Citation Graph (, )][DBLP]
   
   
8. 
   A Byzantine solution to early detect massive attacks. [Citation Graph (, )][DBLP]
   
   
9. 
   A formal design of secure information systems by using a Formal Secure Data Flow Diagram (FSDFD). [Citation Graph (, )][DBLP]