The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Saddek Bensalem: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002