Hassen Saïdi

2008
25	EE	Monirul I. Sharif, Vinod Yegneswaran, Hassen Saïdi, Phillip A. Porras, Wenke Lee: Eureka: A Framework for Enabling Static Malware Analysis. ESORICS 2008: 481-500
2007
24	EE	Hassen Saïdi: Guarded models for intrusion detection. PLAS 2007: 85-94
2006
23	EE	Hassen Saïdi: Discovering Symmetries. FMICS/PDMC 2006: 67-83
2004
22	EE	Robert A. Riemenschneider, Hassen Saïdi, Bruno Dutertre: Using Model Checking to Assess the Dependability of Agent-Based Systems. IEEE Intelligent Systems 19(5): 62-70 (2004)
2003
21	EE	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. DISCEX (2) 2003: 128-130
20	EE	Hassen Saïdi, Victoria Stavridou, Bruno Dutertre: Protocol Codesign. Security Protocols Workshop 2003: 106-113
2002
19	EE	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. Security Protocols Workshop 2002: 158-178
18	EE	Joshua Levy, Hassen Saïdi, Tomás E. Uribe: Combining Monitors for Runtime System Verification. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
2001
17	EE	Bruno Dutertre, Hassen Saïdi, Victoria Stavridou: Intrusion-Tolerant Group Management in Enclaves. DSN 2001: 203-214
16	EE	Hassen Saïdi: Intrusion-Tolerant Group Management in Enclaves. Security Protocols Workshop 2001: 213-216
15	EE	Ashish Tiwari, Harald Rueß, Hassen Saïdi, Natarajan Shankar: A Technique for Invariant Generation. TACAS 2001: 113-127
2000
14		Hassen Saïdi: Model Checking Guided Abstraction and Analysis. SAS 2000: 377-396
1999
13	EE	Hassen Saïdi: Modular and Incremental Analysis of Concurrent Software Systems. ASE 1999: 92-101
12	EE	Hassen Saïdi, Natarajan Shankar: Abstract and Model Check While You Prove. CAV 1999: 443-454
1997
11		Hassen Saïdi: The Invariant Checker: Automated Deductive Verification of Reactive Systems. CAV 1997: 436-439
10		Susanne Graf, Hassen Saïdi: Construction of Abstract State Graphs with PVS. CAV 1997: 72-83
9	EE	David Lesens, Hassen Saïdi: Abstraction of parameterized networks. Electr. Notes Theor. Comput. Sci. 9: (1997)
1996
8		Susanne Graf, Hassen Saïdi: Verifying Invariants Using theorem Proving. CAV 1996: 196-207
7		Saddek Bensalem, Yassine Lakhnech, Hassen Saïdi: Powerful Techniques for the Automatic Generation of Invariants. CAV 1996: 323-335
6		Hassen Saïdi: A Tool for Proving Invariance Properties of Concurrent Systems Automatically. TACAS 1996: 412-416
1995
5		Paul S. Min, Hassen Saïdi, Alex Chandra, Manju V. Hegde: Multi-Channel Copy Networks: Architecture, Performance Model, Fairness, and Cell Sequencing. INFOCOM 1995: 931-938
4	EE	Paul S. Min, Hassen Saïdi, Manju V. Hegde: A nonblocking architecture for broadband multichannel switching. IEEE/ACM Trans. Netw. 3(2): 181-198 (1995)
3	EE	Hassen Saïdi, Paul S. Min, Manju V. Hegde: A new structural property of statistical data forks. IEEE/ACM Trans. Netw. 3(3): 289-298 (1995)
2	EE	Paul S. Min, Manju V. Hegde, Hassen Saïdi, Alex Chandra: Nonblocking copy networks in multi-channel switching. IEEE/ACM Trans. Netw. 3(6): 857-871 (1995)
1994
1		Hassen Saïdi, Paul S. Min, Manju V. Hegde: Guaranteed Cell Sequence in Nonblocking Multi-channel Switching. INFOCOM 1994: 1420-1427

Coauthor Index

1	Magnus Almgren	[19] [21]
2	Saddek Bensalem	[7]
3	Alex Chandra	[2] [5]
4	Steven Cheung	[19] [21]
5	Yves Deswarte	[19] [21]
6	Bruno Dutertre	[17] [19] [20] [21] [22]
7	Susanne Graf	[8] [10]
8	Manju V. Hegde	[1] [2] [3] [4] [5]
9	Yassine Lakhnech	[7]
10	Wenke Lee	[25]
11	David Lesens	[9]
12	Joshua Levy	[18] [19] [21]
13	Paul S. Min	[1] [2] [3] [4] [5]
14	Phillip A. Porras	[25]
15	Robert A. Riemenschneider	[22]
16	Harald Rueß	[15]
17	Natarajan Shankar	[12] [15]
18	Monirul I. Sharif	[25]
19	Victoria Stavridou	[17] [19] [20] [21]
20	Ashish Tiwari	[15]
21	Tomás E. Uribe	[18] [19] [21]
22	Alfonso Valdes	[19] [21]
23	Vinod Yegneswaran	[25]

Colors in the list of coauthors