Rigorous System Design
Research Team

Saddek Bensalem

Rublications [dblp] [google scholar]


  1. A. Nouri, M. Bozga, A. Legay and S. Bensalem Performance Evaluation of Complex Systems Using the SBIP Framework In VECoS'16 Workshop
  2. N. Ben Said, T. Abdellatif, S. Bensalem and M. Bozga A Model-Based Approach to Secure Multiparty Distributed Systems In ISOLA'16 Conference
  3. P. Poplavko, R. Kahil, D. Socci, S. Bensalem and M. Bozga Mixed-Critical Systems Design with Coarse-grained Multi-core Interference In ISOLA'16 Conference
  4. A. Nouri, M. Bozga, A. Molnos, A. Legay and S. Bensalem ASTROLABE: A Rigorous Approach for System-level Performance Modeling and Analysis In Transactions on Embedded Computing Systems
  5. P. Poplavko, D. Socci, R. Kahil, M. Bozga and S. Bensalem Extended Abstract: Process Networks for Reactive Streaming with Timed-automata Implementation In IDEA'16 Workshop
  6. S. Ben Rayana, S. Bensalem, M. Bozga and J. Combaz RTD-Finder: A Tool for Compositional Verification of Real-Time Component-based Systems In TACAS'16 Conference
  7. L. Astefanoaei, S. Bensalem and M. Bozga A Compositional Approach to the Verication of Hybrid Systems In Theory and Practice of Formal Methods Lecture Notes in Computer Science 9660, Springer 2016, ISBN 978-3-319-30733-6
  8. H. Nazarpour, Y. Falcone, S. Bensalem, M. Bozga and J. Combaz Monitoring Multi-threaded Component-Based Systems In iFM'16 Conference
  9. M. Torngren, F. Asplund, S. Bensalem, J. McDermid, R. Passerone, H. Pfeifer, A. Sangiovanni-Vincentelli, B. Schätz; Characterization, analysis and recommendations for exploiting the opportunities of Cyber-Physical Systems: Chapter in the book "Cyber-Physical Systems: Foundations, Principles and Applications" (Elsevier).
  10. K. El-Fakih, N. Yevtushenko, M. Bozga, S. Bensalem Distinguishing Extended Finite State Machine Configurations Using Predicated Abstraction In Journal of Software Engineering Research and Development
  11. H. Guesmi, B. Ben Hedia, S. Bliudze, M. Jan, and S. Bensalem, “Towards correct transformation: From high-level models to time-triggered implementations,” in Proc. of WiP RTAS, 2016.