Saddek Bensalem
Identifiers
- name variant Saddek Bensalem 0.60 · backfill
Papers (12)
- Performance Evaluation of the NDN Data Plane Using Statistical Model Checking cs.NI · 2019 · author #7
- Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design cs.SE · 2018 · author #2
- Left-eigenvectors are certificates of the Orbit Problem cs.LO · 2018 · author #4
- Monitoring Distributed Component-Based Systems cs.SE · 2017 · author #4
- Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems cs.SE · 2016 · author #3
- Synthesizing invariants by solving solvable loops cs.LO · 2016 · author #2
- Polynomial invariants by linear algebra cs.LO · 2016 · author #2
- Timed Orchestration for Component-based Systems cs.FL · 2015 · author #5
- A Verifiable and Correct-by-Construction Controller for Robot Functional Levels cs.RO · 2013 · author #1
- EFSMT: A Logical Framework for Cyber-Physical Systems cs.LO · 2013 · author #4
- Distributed Priority Synthesis and its Applications cs.LO · 2011 · author #2
- Algorithms for Synthesizing Priorities in Component-based Systems cs.LO · 2011 · author #2
Mentions
- 1107.1383 #2 · arxiv_oai · confidence 0.70 Saddek Bensalem
- 1504.05513 #5 · backfill · confidence 0.70 Saddek Bensalem
- 1309.0442 #1 · backfill · confidence 0.70 Saddek Bensalem
- 1306.3456 #4 · backfill · confidence 0.70 Saddek Bensalem
- 1112.1783 #2 · backfill · confidence 0.70 Saddek Bensalem
- 1107.1383 #2 · backfill · confidence 0.70 Saddek Bensalem
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