Saddek Bensalem

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Mohamed Faouzi Atig and others (2018) · Lecture notes in computer science · Springer Science+Business Media

Statistical Model Checking: An Overview

Axel Legay and others (2010) · Runtime Verification · Springer Berlin Heidelberg

Testing Conformance of Real-Time Applications by Automatic Generation of Observers

Saddek Bensalem and others (2004) · Electronic Notes in Theoretical Computer Science · Elsevier BV

Automatic Generation of Invariants

Saddek Bensalem and others (1999) · Springer Science and Business Media LLC