Search the dblp DataBase

Publications of Author

1. Saddek Bensalem, Susanne Graf, Yassine Lakhnech
   Abstraction as the Key for Invariant Verification. [Citation Graph (0, 0)][DBLP]
   Verification: Theory and Practice, 2003, pp:67-99 [Conf]
   
2. Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech
   Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis. [Citation Graph (0, 0)][DBLP]
   CAV, 1999, pp:146-159 [Conf]
   
3. Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis
   Property Preserving Simulations. [Citation Graph (0, 0)][DBLP]
   CAV, 1992, pp:260-273 [Conf]
   
4. Saddek Bensalem, Yassine Lakhnech, Sam Owre
   Computing Abstractions of Infinite State Systems Compositionally and Automatically. [Citation Graph (0, 0)][DBLP]
   CAV, 1998, pp:319-331 [Conf]
   
5. Saddek Bensalem, Yassine Lakhnech, Sam Owre
   InVeST: A Tool for the Verification of Invariants. [Citation Graph (0, 0)][DBLP]
   CAV, 1998, pp:505-510 [Conf]
   
6. Saddek Bensalem, Yassine Lakhnech, Hassen Saïdi
   Powerful Techniques for the Automatic Generation of Invariants. [Citation Graph (0, 0)][DBLP]
   CAV, 1996, pp:323-335 [Conf]
   
7. Grigore Rosu, Saddek Bensalem
   Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis. [Citation Graph (0, 0)][DBLP]
   CAV, 2006, pp:263-277 [Conf]
   
8. Saddek Bensalem, Klaus Havelund
   Dynamic Deadlock Analysis of Multi-threaded Programs. [Citation Graph (0, 0)][DBLP]
   Haifa Verification Conference, 2005, pp:208-223 [Conf]
   
9. Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis
   Generating Path Conditions for Timed Systems. [Citation Graph (0, 0)][DBLP]
   IFM, 2005, pp:5-19 [Conf]
   
10. Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech
    A Transformational Approach for Generating Non-linear Invariants. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:58-74 [Conf]
    
11. Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl
    Abstracting WS1S Systems to Verify Parameterized Networks. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:188-203 [Conf]
    
12. Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre
    Incremental Verification by Abstraction. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:98-112 [Conf]
    
13. Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech
    Networks of Processes with Parameterized State Space. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:4, pp:- [Journal]
    
14. Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis
    Testing Conformance of Real-Time Applications by Automatic Generation of Observers. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:23-43 [Journal]
    
15. Saddek Bensalem, Yassine Lakhnech
    Automatic Generation of Invariants. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1999, v:15, n:1, pp:75-92 [Journal]
    
16. Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem
    Property Preserving Abstractions for the Verification of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1995, v:6, n:1, pp:11-44 [Journal]
    
17. 
    Compositional Verification for Component-Based Systems and Application. [Citation Graph (, )][DBLP]
    
    
18. 
    Methods for Knowledge Based Controlling of Distributed Systems. [Citation Graph (, )][DBLP]
    
    
19. 
    Knowledge Based Scheduling of Distributed Systems. [Citation Graph (, )][DBLP]
    
    
20. 
    D-Finder: A Tool for Compositional Deadlock Detection and Verification. [Citation Graph (, )][DBLP]
    
    
21. 
    Priority Scheduling of Distributed Systems Based on Model Checking. [Citation Graph (, )][DBLP]
    
    
22. 
    Incremental Component-Based Construction and Verification of a Robotic System. [Citation Graph (, )][DBLP]
    
    
23. 
    Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. [Citation Graph (, )][DBLP]
    
    
24. 
    Test Case Generation for Ultimately Periodic Paths. [Citation Graph (, )][DBLP]
    
    
25. 
    A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. [Citation Graph (, )][DBLP]
    
    
26. 
    Automatic Generation of Path Conditions for Timed Systems. [Citation Graph (, )][DBLP]
    
    
27. 
    Confirmation of deadlock potentials detected by runtime analysis. [Citation Graph (, )][DBLP]