The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hassen Saïdi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Susanne Graf, Hassen Saïdi
    Verifying Invariants Using theorem Proving. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:196-207 [Conf]
  3. Susanne Graf, Hassen Saïdi
    Construction of Abstract State Graphs with PVS. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:72-83 [Conf]
  4. Hassen Saïdi
    The Invariant Checker: Automated Deductive Verification of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:436-439 [Conf]
  5. Hassen Saïdi, Natarajan Shankar
    Abstract and Model Check While You Prove. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:443-454 [Conf]
  6. 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]
  7. Bruno Dutertre, Hassen Saïdi, Victoria Stavridou
    Intrusion-Tolerant Group Management in Enclaves. [Citation Graph (0, 0)][DBLP]
    DSN, 2001, pp:203-214 [Conf]
  8. 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]
  9. 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]
  10. Hassen Saïdi
    Modular and Incremental Analysis of Concurrent Software Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:92-101 [Conf]
  11. Hassen Saïdi
    Model Checking Guided Abstraction and Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:377-396 [Conf]
  12. Hassen Saïdi
    Intrusion-Tolerant Group Management in Enclaves. [Citation Graph (0, 0)][DBLP]
    Security Protocols Workshop, 2001, pp:213-216 [Conf]
  13. Hassen Saïdi, Victoria Stavridou, Bruno Dutertre
    Protocol Codesign. [Citation Graph (0, 0)][DBLP]
    Security Protocols Workshop, 2003, pp:106-113 [Conf]
  14. 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]
  15. Hassen Saïdi
    A Tool for Proving Invariance Properties of Concurrent Systems Automatically. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:412-416 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. Hassen Saïdi
    Discovering Symmetries. [Citation Graph (0, 0)][DBLP]
    FMICS/PDMC, 2006, pp:67-83 [Conf]

  24. Eureka: A Framework for Enabling Static Malware Analysis. [Citation Graph (, )][DBLP]


  25. Guarded models for intrusion detection. [Citation Graph (, )][DBLP]


Search in 0.018secs, Finished in 0.019secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002