Saddek Bensalem

	2012
49		Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay: Statistical abstraction and model-checking of large heterogeneous systems. STTT 14(1): 53-72 (2012)
	2011
48		Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll: Algorithms for Synthesizing Priorities in Component-Based Systems. ATVA 2011: 150-167
47		Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis: Time-predictable and composable architectures for dependable embedded systems. EMSOFT 2011: 351-352
46		Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis: Rigorous System Design: The BIP Approach. MEMICS 2011: 1-19
45		Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang: Rigorous system level modeling and analysis of mixed HW/SW systems. MEMOCODE 2011: 11-20
44		Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron Peled: Efficient deadlock detection for concurrent systems. MEMOCODE 2011: 119-129
43		Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan: D-Finder 2: Towards Efficient Correctness of Incremental Design. NASA Formal Methods 2011: 453-458
42		Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois Knoll, Harald Ruess: Model Construction and Priority Synthesis for Simple Interaction Systems. NASA Formal Methods 2011: 466-471
41		Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem: Runtime Verification of Component-Based Systems. SEFM 2011: 204-220
40		Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan: A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. Software Composition 2011: 116-132
39		Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll: Algorithms for Synthesizing Priorities in Component-based Systems CoRR abs/1107.1383: (2011)
38		Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan, Harald Ruess: Distributed Priority Synthesis and its Applications CoRR abs/1112.1783: (2011)
37		Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis: Priority scheduling of distributed systems based on model checking. Formal Methods in System Design 39(3): 229-245 (2011)
36		Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis: Rigorous Component-Based System Design Using the BIP Framework. IEEE Software 28(3): 41-48 (2011)
	2010
35		Saddek Bensalem, Marius Bozga, Susanne Graf, Doron Peled, Sophie Quinton: Methods for Knowledge Based Controlling of Distributed Systems. ATVA 2010: 52-66
34		Saddek Bensalem, Doron Peled, Joseph Sifakis: Knowledge Based Scheduling of Distributed Systems. Essays in Memory of Amir Pnueli 2010: 26-41
33		Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan: Incremental component-based construction and verification using invariants. FMCAD 2010: 257-256
32		Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay: Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. FMOODS/FORTE 2010: 32-46
31		Axel Legay, Benoît Delahaye, Saddek Bensalem: Statistical Model Checking: An Overview. RV 2010: 122-135
30		Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis: Verification of an AFDX Infrastructure Using Simulations and Probabilities. RV 2010: 330-344
29		Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan: Incremental Invariant Generation for Compositional Design. TASE 2010: 157-167
28		Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, Liqiang Wang: Detection of deadlock potentials in multithreaded programs. IBM Journal of Research and Development 54(5): 3 (2010)
27		Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis: Compositional verification for component-based systems and application. IET Software 4(3): 181-193 (2010)
	2009
26		Saddek Bensalem, Doron Peled: Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers Springer 2009
25		Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis: D-Finder: A Tool for Compositional Deadlock Detection and Verification. CAV 2009: 614-619
24		Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis: Priority Scheduling of Distributed Systems Based on Model Checking. CAV 2009: 79-93
	2008
23		Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen: Compositional Verification for Component-Based Systems and Application. ATVA 2008: 64-79
22		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		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		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		Grigore Rosu, Saddek Bensalem: Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis. CAV 2006: 263-277
17		Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier: Confirmation of deadlock potentials detected by runtime analysis. PADTAD 2006: 41-50
	2005
16		Saddek Bensalem, Klaus Havelund: Dynamic Deadlock Analysis of Multi-threaded Programs. Haifa Verification Conference 2005: 208-223
15		Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Generating Path Conditions for Timed Systems. IFM 2005: 5-19
14		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		Saddek Bensalem, Susanne Graf, Yassine Lakhnech: Abstraction as the Key for Invariant Verification. Verification: Theory and Practice 2003: 67-99
	2001
11		Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre: Incremental Verification by Abstraction. TACAS 2001: 98-112
10		Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech: Networks of Processes with Parameterized State Space. Electr. Notes Theor. Comput. Sci. 50(4): 386-400 (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		Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl: Abstracting WS1S Systems to Verify Parameterized Networks. TACAS 2000: 188-203
	1999
7		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	Rahul Agarwal	[28]
3	Aurore Annichini	[7]
4	Ananda Basu	[22] [24] [30] [32] [36] [37] [45] [46] [49]
5	Kai Baukus	[8] [10]
6	Sergey Berezin	[11]
7	Ahmed Bouajjani	[1] [2] [7]
8	Paraskevas Bourgos	[45] [46]
9	Marius Bozga	[9] [14] [23] [25] [27] [30] [32] [33] [35] [36] [41] [45] [46] [49]
10	Christian Buckl	[39] [48]
11	Benoît Caillaud	[32]
12	Yu-Fang Chen	[39] [48]
13	Chih-Hong Cheng	[38] [39] [42] [48]
14	Jacques Combaz	[36]
15	Benoît Delahaye	[30] [31] [32] [49]
16	Yliès Falcone	[41]
17	Eitan Farchi	[28]
18	Jean-Claude Fernandez	[9] [17]
19	Matthieu Gallien	[22]
20	Lucian Ghirvu	[9]
21	Kees G. W. Goossens (Kees Goossens)	[47]
22	Susanne Graf	[2] [12] [35]
23	Andreas Griesmayer	[40] [43] [44]
24	Peter Habermehl	[7]
25	Klaus Havelund	[16] [17] [28]
26	Kai Huang	[45]
27	Félix Ingrand (François Felix Ingrand)	[22] [40]
28	Mohamad Jaber	[36] [41]
29	Barbara Jobstmann	[39] [42] [48]
30	Christoph M. Kirsch (Christoph Meyer)	[47]
31	Alois Knoll	[39] [42] [48]
32	Moez Krichen	[14] [19]
33	Yassine Lakhnech	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
34	Edward A. Lee	[47]
35	Axel Legay	[29] [30] [31] [32] [33] [40] [43] [44] [49]
36	Charles Lesire	[22]
37	Claire Loiseaux	[1] [2]
38	Lotfi Majdoub	[19]
39	Laurent Mounier	[17]
40	Thanh-Hung Nguyen	[22] [23] [25] [27] [29] [33] [36] [41] [43] [44]
41	Yarden Nir-Buchbinder (Yarden Nir)	[28]
42	Roman Obermaisser	[47]
43	Sam Owre	[4] [5] [11]
44	Doron Peled	[13] [15] [20] [21] [24] [26] [34] [35] [37] [44]
45	Hongyang Qu	[13] [15] [20] [21]
46	Sophie Quinton	[35]
47	Riadh Robbana	[19]
48	Grigore Rosu	[18]
49	Harald Ruess (Harald Rueß)	[38] [39] [42] [48]
50	Hassen Saïdi	[3]
51	Emmanuel Sifakis	[30]
52	Joseph Sifakis	[1] [2] [22] [23] [24] [25] [27] [29] [33] [34] [36] [37] [43] [45] [46] [47]
53	Lavindra de Silva	[40]
54	Karsten Stahl	[8] [10]
55	Scott D. Stoller	[28]
56	Stavros Tripakis	[13] [14] [15] [19] [20] [21]
57	Shmuel Ur	[28]
58	Liqiang Wang	[28]
59	Rongjie Yan	[29] [33] [38] [39] [40] [42] [43] [48]
60	Lenore D. Zuck	[20]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page