Saddek Bensalem

Identifiers

No identifiers captured yet.

Papers (12)

1. Performance Evaluation of the NDN Data Plane Using Statistical Model Checking cs.NI · 2019 · author #7
2. Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design cs.SE · 2018 · author #2
3. Left-eigenvectors are certificates of the Orbit Problem cs.LO · 2018 · author #4
4. Monitoring Distributed Component-Based Systems cs.SE · 2017 · author #4
5. Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems cs.SE · 2016 · author #3
6. Synthesizing invariants by solving solvable loops cs.LO · 2016 · author #2
7. Polynomial invariants by linear algebra cs.LO · 2016 · author #2
8. Timed Orchestration for Component-based Systems cs.FL · 2015 · author #5
9. A Verifiable and Correct-by-Construction Controller for Robot Functional Levels cs.RO · 2013 · author #1
10. EFSMT: A Logical Framework for Cyber-Physical Systems cs.LO · 2013 · author #4
11. Distributed Priority Synthesis and its Applications cs.LO · 2011 · author #2
12. Algorithms for Synthesizing Priorities in Component-based Systems cs.LO · 2011 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Chih-Hong Cheng 4 shared papers
• Harald Ruess 4 shared papers
• Rongjie Yan 3 shared papers
• Steven de Oliveira 3 shared papers
• Virgile Prevosto 3 shared papers
• Alois Knoll 2 shared papers
• Christian Buckl 2 shared papers
• Hosein Nazarpour 2 shared papers
• Marius Bozga 2 shared papers
• Yli\`es Falcone 2 shared papers
• Abdella Battou 1 shared papers
• Ayoub Nouri 1 shared papers
• Barbara Jobstmann 1 shared papers
• F\'elix Ingrand 1 shared papers
• James Filliben 1 shared papers
• Junxiao Shi 1 shared papers
• Lacramioara Astefanoaei 1 shared papers
• Lavindra de Silva 1 shared papers
• Lotfi Benmohamed 1 shared papers
• Mohamad Jaber 1 shared papers