Search the dblp DataBase
Hassen Saïdi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Saddek Bensalem , Yassine Lakhnech , Hassen Saïdi Powerful Techniques for the Automatic Generation of Invariants. [Citation Graph (0, 0)][DBLP ] CAV, 1996, pp:323-335 [Conf ] Susanne Graf , Hassen Saïdi Verifying Invariants Using theorem Proving. [Citation Graph (0, 0)][DBLP ] CAV, 1996, pp:196-207 [Conf ] Susanne Graf , Hassen Saïdi Construction of Abstract State Graphs with PVS. [Citation Graph (0, 0)][DBLP ] CAV, 1997, pp:72-83 [Conf ] Hassen Saïdi The Invariant Checker: Automated Deductive Verification of Reactive Systems. [Citation Graph (0, 0)][DBLP ] CAV, 1997, pp:436-439 [Conf ] Hassen Saïdi , Natarajan Shankar Abstract and Model Check While You Prove. [Citation Graph (0, 0)][DBLP ] CAV, 1999, pp:443-454 [Conf ] Alfonso Valdes , Magnus Almgren , Steven Cheung , Yves Deswarte , Bruno Dutertre , Joshua Levy , Hassen Saïdi , Victoria Stavridou , Tomás E. Uribe Dependable Intrusion Tolerance: Technology Demo. [Citation Graph (0, 0)][DBLP ] DISCEX (2), 2003, pp:128-130 [Conf ] Bruno Dutertre , Hassen Saïdi , Victoria Stavridou Intrusion-Tolerant Group Management in Enclaves. [Citation Graph (0, 0)][DBLP ] DSN, 2001, pp:203-214 [Conf ] Paul S. Min , Hassen Saïdi , Alex Chandra , Manju V. Hegde Multi-Channel Copy Networks: Architecture, Performance Model, Fairness, and Cell Sequencing. [Citation Graph (0, 0)][DBLP ] INFOCOM, 1995, pp:931-938 [Conf ] Hassen Saïdi , Paul S. Min , Manju V. Hegde Guaranteed Cell Sequence in Nonblocking Multi-channel Switching. [Citation Graph (0, 0)][DBLP ] INFOCOM, 1994, pp:1420-1427 [Conf ] Hassen Saïdi Modular and Incremental Analysis of Concurrent Software Systems. [Citation Graph (0, 0)][DBLP ] ASE, 1999, pp:92-101 [Conf ] Hassen Saïdi Model Checking Guided Abstraction and Analysis. [Citation Graph (0, 0)][DBLP ] SAS, 2000, pp:377-396 [Conf ] Hassen Saïdi Intrusion-Tolerant Group Management in Enclaves. [Citation Graph (0, 0)][DBLP ] Security Protocols Workshop, 2001, pp:213-216 [Conf ] Hassen Saïdi , Victoria Stavridou , Bruno Dutertre Protocol Codesign. [Citation Graph (0, 0)][DBLP ] Security Protocols Workshop, 2003, pp:106-113 [Conf ] Alfonso Valdes , Magnus Almgren , Steven Cheung , Yves Deswarte , Bruno Dutertre , Joshua Levy , Hassen Saïdi , Victoria Stavridou , Tomás E. Uribe An Architecture for an Adaptive Intrusion-Tolerant Server. [Citation Graph (0, 0)][DBLP ] Security Protocols Workshop, 2002, pp:158-178 [Conf ] Hassen Saïdi A Tool for Proving Invariance Properties of Concurrent Systems Automatically. [Citation Graph (0, 0)][DBLP ] TACAS, 1996, pp:412-416 [Conf ] Ashish Tiwari , Harald Rueß , Hassen Saïdi , Natarajan Shankar A Technique for Invariant Generation. [Citation Graph (0, 0)][DBLP ] TACAS, 2001, pp:113-127 [Conf ] David Lesens , Hassen Saïdi Abstraction of parameterized networks. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1997, v:9, n:, pp:- [Journal ] Joshua Levy , Hassen Saïdi , Tomás E. Uribe Combining Monitors for Runtime System Verification. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal ] Robert A. Riemenschneider , Hassen Saïdi , Bruno Dutertre Using Model Checking to Assess the Dependability of Agent-Based Systems. [Citation Graph (0, 0)][DBLP ] IEEE Intelligent Systems, 2004, v:19, n:5, pp:62-70 [Journal ] Paul S. Min , Manju V. Hegde , Hassen Saïdi , Alex Chandra Nonblocking copy networks in multi-channel switching. [Citation Graph (0, 0)][DBLP ] IEEE/ACM Trans. Netw., 1995, v:3, n:6, pp:857-871 [Journal ] Paul S. Min , Hassen Saïdi , Manju V. Hegde A nonblocking architecture for broadband multichannel switching. [Citation Graph (0, 0)][DBLP ] IEEE/ACM Trans. Netw., 1995, v:3, n:2, pp:181-198 [Journal ] Hassen Saïdi , Paul S. Min , Manju V. Hegde A new structural property of statistical data forks. [Citation Graph (0, 0)][DBLP ] IEEE/ACM Trans. Netw., 1995, v:3, n:3, pp:289-298 [Journal ] Hassen Saïdi Discovering Symmetries. [Citation Graph (0, 0)][DBLP ] FMICS/PDMC, 2006, pp:67-83 [Conf ] Eureka: A Framework for Enabling Static Malware Analysis. [Citation Graph (, )][DBLP ] Guarded models for intrusion detection. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.326secs