| 2008 |
|---|
| 21 | EE | Saddek Bensalem,
Marius Bozga,
Joseph Sifakis,
Thanh-Hung Nguyen:
Compositional Verification for Component-Based Systems and Application.
ATVA 2008: 64-79 |
| 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 |
