Saddek Bensalem

2008
23	EE	Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen: Compositional Verification for Component-Based Systems and Application. ATVA 2008: 64-79
22	EE	Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis: Incremental Component-Based Construction and Verification of a Robotic System. ECAI 2008: 631-635
21	EE	Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Automatic generation of path conditions for concurrent timed systems. Theor. Comput. Sci. 404(3): 275-292 (2008)
2007
20	EE	Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck: Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference 2007: 120-135
19		Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis: A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. ISoLA 2007: 191-202
2006
18	EE	Grigore Rosu, Saddek Bensalem: Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis. CAV 2006: 263-277
17	EE	Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier: Confirmation of deadlock potentials detected by runtime analysis. PADTAD 2006: 41-50
2005
16	EE	Saddek Bensalem, Klaus Havelund: Dynamic Deadlock Analysis of Multi-threaded Programs. Haifa Verification Conference 2005: 208-223
15	EE	Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Generating Path Conditions for Timed Systems. IFM 2005: 5-19
14	EE	Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis: Testing Conformance of Real-Time Applications by Automatic Generation of Observers. Electr. Notes Theor. Comput. Sci. 113: 23-43 (2005)
2004
13		Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Automatic Generation of Path Conditions for Timed Systems. ISoLA (Preliminary proceedings) 2004: 243-249
2003
12	EE	Saddek Bensalem, Susanne Graf, Yassine Lakhnech: Abstraction as the Key for Invariant Verification. Verification: Theory and Practice 2003: 67-99
2001
11	EE	Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre: Incremental Verification by Abstraction. TACAS 2001: 98-112
10	EE	Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech: Networks of Processes with Parameterized State Space. Electr. Notes Theor. Comput. Sci. 50(4): (2001)
2000
9		Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech: A Transformational Approach for Generating Non-linear Invariants. SAS 2000: 58-74
8	EE	Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl: Abstracting WS1S Systems to Verify Parameterized Networks. TACAS 2000: 188-203
1999
7	EE	Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech: Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis. CAV 1999: 146-159
6		Saddek Bensalem, Yassine Lakhnech: Automatic Generation of Invariants. Formal Methods in System Design 15(1): 75-92 (1999)
1998
5		Saddek Bensalem, Yassine Lakhnech, Sam Owre: Computing Abstractions of Infinite State Systems Compositionally and Automatically. CAV 1998: 319-331
4		Saddek Bensalem, Yassine Lakhnech, Sam Owre: InVeST: A Tool for the Verification of Invariants. CAV 1998: 505-510
1996
3		Saddek Bensalem, Yassine Lakhnech, Hassen Saïdi: Powerful Techniques for the Automatic Generation of Invariants. CAV 1996: 323-335
1995
2		Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem: Property Preserving Abstractions for the Verification of Concurrent Systems. Formal Methods in System Design 6(1): 11-44 (1995)
1992
1		Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis: Property Preserving Simulations. CAV 1992: 260-273

Coauthor Index

1	Parosh Aziz Abdulla	[7]
2	Aurore Annichini	[7]
3	Ananda Basu	[22]
4	Kai Baukus	[8] [10]
5	Sergey Berezin	[11]
6	Ahmed Bouajjani	[1] [2] [7]
7	Marius Bozga	[9] [14] [23]
8	Jean-Claude Fernandez	[9] [17]
9	Matthieu Gallien	[22]
10	Lucian Ghirvu	[9]
11	Susanne Graf	[2] [12]
12	Peter Habermehl	[7]
13	Klaus Havelund	[16] [17]
14	Félix Ingrand (François Felix Ingrand)	[22]
15	Moez Krichen	[14] [19]
16	Yassine Lakhnech	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
17	Charles Lesire	[22]
18	Claire Loiseaux	[1] [2]
19	Lotfi Majdoub	[19]
20	Laurent Mounier	[17]
21	Thanh-Hung Nguyen	[22] [23]
22	Sam Owre	[4] [5] [11]
23	Doron Peled	[13] [15] [20] [21]
24	Hongyang Qu	[13] [15] [20] [21]
25	Riadh Robbana	[19]
26	Grigore Rosu	[18]
27	Hassen Saïdi	[3]
28	Joseph Sifakis	[1] [2] [22] [23]
29	Karsten Stahl	[8] [10]
30	Stavros Tripakis	[13] [14] [15] [19] [20] [21]
31	Lenore D. Zuck	[20]