Hassen Saïdi

	2008
25		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		Hassen Saïdi: Guarded models for intrusion detection. PLAS 2007: 85-94
	2006
23		Hassen Saïdi: Discovering Symmetries. FMICS/PDMC 2006: 67-83
	2004
22		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		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		Hassen Saïdi, Victoria Stavridou, Bruno Dutertre: Protocol Codesign. Security Protocols Workshop 2003: 106-113
	2002
19		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		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		Bruno Dutertre, Hassen Saïdi, Victoria Stavridou: Intrusion-Tolerant Group Management in Enclaves. DSN 2001: 203-214
16		Hassen Saïdi: Intrusion-Tolerant Group Management in Enclaves. Security Protocols Workshop 2001: 213-216
15		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		Hassen Saïdi: Modular and Incremental Analysis of Concurrent Software Systems. ASE 1999: 92-101
12		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		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		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		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		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