Rigorous System Design
Research Team

RSD › Members › Saddek Bensalem › Publications

• Home
• Publications
• Students
• Projects
• Teaching

last update:
27 Nov. 2015

Rublications [dblp] [google scholar]

---

2016

---

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.

---

2015

---

1. Souha Ben Rayana, Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Jacques Combaz: Compositional Verification for Timed Systems Based on Automatic Invariant Generation. Logical Methods in Computer Science 11(3) (2015).
2. Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis: Optimized distributed implementation of multiparty interactions with Restriction. Sci. Comput. Program. 98: 293-316 (2015)
3. Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem: Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Software and System Modeling 14(1): 173-199 (2015)
4. Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay: Statistical model checking QoS properties of systems with SBIP. STTT 17(2): 171-185 (2015)
5. Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga: A Theory Agenda for Component-Based Design. Software, Services, and Systems 2015: 409-439
6. Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga: Models for deterministic execution of real-time multiprocessor applications. DATE 2015: 1665-1670
7. Martin Törngren, Saddek Bensalem, John A. McDermid, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Bernhard Schätz: Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering. WESE 2015: 8:1-8:5
8. Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga: A Robust Framework for Securing Composed Web Services. FACS 2015: 105-122
9. Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga: Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms. HPCC/CSS/ICESS 2015: 684-687
10. Lavindra de Silva, Rongjie Yan, Félix Ingrand, Rachid Alami, Saddek Bensalem: A Verifiable and Correct-by-Construction Controller for Robots in Human Environments. HRI 2015: 281
11. Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga: A Timed-Automata Based Middleware for Time-Critical Multicore Applications. ISORC Workshops 2015: 1-8
12. Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga: Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. ISORC 2015: 198-207
13. Ahlem Triki, Jacques Combaz, Saddek Bensalem: Optimized distributed implementation of timed component-based systems. MEMOCODE 2015: 30-35
14. Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz: Compositional Verification of Parameterised Timed Systems. NFM 2015: 66-81
15. Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem: Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. NFM 2015: 359-374
16. A. Lekidis, P. Bourgos, S. Djoko-Djoko, M. Bozga and S. Bensalem Building Distributed Sensor Network Applications using BIP In IEEE Sensors Applications Symposium 2015
17. H. Guesmi, B. Ben Hedia, S. Bliudze, S. Bensalem, and J. Combaz: Towards time-triggered component-based system models,” in The Tenth International Conference on Software Engineering Advances (ICSEA), 2015.



---

2014

---



1. Saddek Bensalem, Klaus Havelund, Andrea Orlandini: Verification and validation meet planning and scheduling. STTT 16(1): 1-12 (2014)
2. Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga: Model-Driven Information Flow Security for Component-Based Systems. FPS@ETAPS 2014: 1-20
3. Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki: Rigorous System Design Flow for Autonomous Systems. ISoLA (1) 2014: 184-198
4. Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem: Building faithful high-level models and performance evaluation of manycore embedded systems. MEMOCODE 2014: 209-218
5. Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem: Faster Statistical Model Checking by Means of Abstraction and Learning. RV 2014: 340-355
6. Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz: Compositional Invariant Generation for Timed Systems. TACAS 2014: 263-278
7. B. Raman, A. Nouri, D. Gangadharan, M. Bozga, A. Basu, M. Maheshwari, A. Legay, S. Bensalem, and S. Chakraborty A General Stochastic Framework for Low-Cost Design of Multimedia SoCs In IEEE COMSOC MMTC E-Letter Vol 9(2):34-36(2014)
8. Saddek Bensalem: Compositional Verification of Timed Systems. VECoS 2014: 5-11
9. Saddek Bensalem, Yassine Lakhneck, Axel Legay: From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Lecture Notes in Computer Science 8415, Springer 2014, ISBN 978-3-642-54847-5
10. A. Lekidis, M. Bozga and S. Bensalem Model-based validation of CANopen systems In WFCS'14 Workshop



---

2013

---

1. Saddek Bensalem, Axel Legay, Marius Bozga: Rigorous embedded design: challenges and perspectives. STTT 15(3): 149-154 (2013)
2. Saddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay: Incremental Generation of Linear Invariants for Component-Based Systems. ACSD 2013: 80-89
3. Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga: Mixed Critical Earliest Deadline First. ECRTS 2013: 93-102
4. D Socci, P. Poplavko, S. Bensalem and M. Bozga Time-Triggered Mixed-Critical Scheduler In WMC'13 Workshop
5. Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis: Model-Based Implementation of Parallel Real-Time Systems. FASE 2013: 235-249
6. D. Socci, P. Poplavko, S. Bensalem and M. Bozga Modeling Mixed-critical Systems in Real-time BIP In ReTiMics'13 Workshop
7. Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket: An Abstract Framework for Deadlock Prevention in BIP. FMOODS/FORTE 2013: 161-177
8. A. Nouri, A. Legay, S. Bensalem and M. Bozga SBIP: A Statistical Model Checking Extension for the BIP Framework In SMC 2013 Workshop
9. Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf: Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. Haifa Verification Conference 2013: 344-358
10. Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled: Synthesizing distributed scheduling implementation for probabilistic component-based systems. MEMOCODE 2013: 87-96
11. Balaji Raman, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu, Mayur Maheshwari, Axel Legay, Saddek Bensalem, Samarjit Chakraborty: Stochastic modeling and performance analysis of multimedia SoCs. ICSAMOS 2013: 145-154
12. Axel Legay, Saddek Bensalem: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings. Lecture Notes in Computer Science 8174, Springer 2013, ISBN 978-3-642-40786-4



---

2012

---

1. A. Basu, S.Bensalem, M. Bozga, P. Bourgos, M. Maheshwari and J. Sifakis “Component Assemblies in the Context of Many-Core”. In 10th International Symposium Formal Methods for Components and Objects Lecture Notes in Computer Science Volume 7542, 2012, pp 314-333.
2. C. Fabre, I. Bacivarov, A. Basu, M. Ruggiero, D. Atienza, E. Flamand, J-P. Krimm, J. Mottin, L. Schor, P. Kumar, H. Yang, D. Chokshi, L. Thiele, S. Bensalem, M. Bozga, M. Sabry, Y. Leblebici, G. De Micheli, and D. Melpignano PRO3D, “Programming for Future 3D Manycore Architectures : Status After 24 Months” In 10th International Symposium Formal Methods for Components and Objects Lecture Notes in Computer Science Volume 7542, 2012, pp 277-293.
3. A. Basu, S. Bensalem, M. Bozga, J. Mottin, F. Pacull, A. Poulakidas and A. Aggelis, “System Level Modeling, Analysis and Code Generation : Object Recognition Case Study”, In Embedded World’12 Conference, Nuremberg, Feburary 28- March 1st, 2012.
4. C. H. Cheng, R. Yan, S. Bensalem and H. Ruess “Distributed Priority Synthesis”, In 7th International Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012 : 57-72.
5. S. Bensalem, M. Bozga, J. Quilbeuf and J. Sifakis, “Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities”, In International Conference on Formal Techniques for Distributed Systems, LNCS 7273, 2012, pp 118-134.
6. S. Bensalem, M. Bozga, J. Quilbeuf, D.Peled, “Knowledge Based Transactional Behavior”, In 8th International Haifa Verification Conference, HVC 2012, LNCS 7857, Haifa, Israel, November 6-8, 2012.
7. A. Ceballos, S. Bensalem, A. Cesta, L. de Silva, S. Fratini, F. Ingrand, J. Ocean, A. Orlandini, K. Rajan, R. Rasconi, and M. van Winnendael, “A Goal-Oriented Autonomous Controller For Space Exploration”, In 11th Symposium on Advanced Space Technologies in Robotics and Automation, 2011, 12-14 April, ESA/ESTEC, Noordwijk, Netherlands.
8. S. Bensalem, M. Bozga, J. Quilbeuf, J. Sifakis, “Optimized Distributed Implementation of Multiparty Interactions with Observation”. In 2nd International Workshop on Programming based on Actors, Agents, and Decentralized Control, AGERE !@SPLASH’12, 21-22 October 2012 - Tucson, Arizona, USA.
9. C. H. Cheng, R. Yan, H. Ruess, S. Bensalem, “Distributed Priority Synthesis using Knowledge”, In 2nd International Workshop on Programming based on Actors, Agents, and Decentralized Control, AGERE !@SPLASH’12, 21-22 October 2012 - Tucson, Arizona, USA.
10. A. Basu, S. Bensalem, M. Bozga, J. Sifakis, “Rigorous Component-Based System Design”, Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers. Springer 2012 Lecture Notes in Computer Science ISBN 978-3-642-34004-8


---



2011

---

1. Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis: Priority scheduling of distributed systems based on model checking. Formal Methods in System Design 39(3): 229-245 (2011)
2. Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis: Rigorous Component-Based System Design Using the BIP Framework. IEEE Software 28(3): 41-48 (2011)
3. Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll: Algorithms for Synthesizing Priorities in Component-Based Systems. ATVA 2011: 150-167
4. Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis: Time-predictable and composable architectures for dependable embedded systems. EMSOFT 2011: 351-352
5. Christian Fabre, Iuliana Bacivarov, Ananda Basu, Martino Ruggiero, David Atienza, Eric Flamand, Jean-Pierre Krimm, Julien Mottin, Lars Schor, Pratyush Kumar, Hoeseok Yang, Devesh B. Chokshi, Lothar Thiele, Saddek Bensalem, Marius Bozga, Luca Benini, Mohamed M. Sabry, Yusuf Leblebici, Giovanni De Micheli, Diego Melpignano: PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status. FMCO 2011: 277-293
6. Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis: Component Assemblies in the Context of Manycore. FMCO 2011: 314-333
7. Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis: Rigorous System Design: The BIP Approach. MEMICS 2011: 1-19
8. Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang: Rigorous system level modeling and analysis of mixed HW/SW systems. MEMOCODE 2011: 11-20
9. Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled: Efficient deadlock detection for concurrent systems. MEMOCODE 2011: 119-129
10. Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan: D-Finder 2: Towards Efficient Correctness of Incremental Design. NASA Formal Methods 2011: 453-458
11. Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois Knoll, Harald Ruess: Model Construction and Priority Synthesis for Simple Interaction Systems. NASA Formal Methods 2011: 466-471
12. Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem: Runtime Verification of Component-Based Systems. SEFM 2011: 204-220
13. Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan: A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. Software Composition 2011: 116-132


---



2010

---

1. Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, Liqiang Wang: Detection of deadlock potentials in multithreaded programs. IBM Journal of Research and Development 54(5): 3 (2010)
2. Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis: Compositional verification for component-based systems and application. IET Software 4(3): 181-193 (2010)
3. Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton: Methods for Knowledge Based Controlling of Distributed Systems. ATVA 2010: 52-66
4. Saddek Bensalem, Doron A. Peled, Joseph Sifakis: Knowledge Based Scheduling of Distributed Systems. Essays in Memory of Amir Pnueli 2010: 26-41
5. Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan: Incremental component-based construction and verification using invariants. FMCAD 2010: 257-256
6. Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay: Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. FMOODS/FORTE 2010: 32-46
7. Axel Legay, Benoît Delahaye, Saddek Bensalem: Statistical Model Checking: An Overview. RV 2010: 122-135
8. Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis: Verification of an AFDX Infrastructure Using Simulations and Probabilities. RV 2010: 330-344
9. Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan: Incremental Invariant Generation for Compositional Design. TASE 2010: 157-167
10. Anada Basu, Saddek Bensalem, Paraskevas Bourgos, Marius Bozga and Joseph Sifakis Integrating Architectural Constraints in Application Software by Using Model Transformations in BIP. IEEE International High-Level Design Validation and Test Workshop Collocated with DAC 2010, Anaheim, California, June 10-12, 2010
11. Antonio Ceballos, Saddek Bensalem, Amedeo Cesta, Lavindra de Silva, Simone Fratini, Felix Ingrand, Jorge Ocón, Andrea Orlandini, Kanna Rajan, Riccardo Rasconi, and Michel van Winnendael A Goal-Oriented Autonomous Controller For Space Exploration. ASTRA 2011,11th Symposium on Advanced Space Technologies in Robotics and Automation, 12 – 14 April, ESA/ESTEC, Noordwijk, the Netherlands.
12. Saddek Bensalem, Lavindra de Silva, Matthieu Gallien, Felix Ingrand, Rongjie Yan. "Rock Solid" Software: A Verifiable and Correct-by-Construction Controller for Rover and Spacecraft Functional Levels. The 10th International Symposium on Artificial Intelligence, Robotics and Automation in Space August 29 - September 1, 2010 Sapporo Convention Center, Sapporo, Japan
13. Saddek Bensalem, Lavindra de Silva, Matthieu Gallien, Felix Ingrand, Rongjie Yan. A Verifiable and Correct by Construction Controller for Robots in Human Environment. The Seventh IARP Workshop on Technical Challenges for Dependable Robots in Human Environments. Toulouse, France June 16-17, 2010


---



2009

---

1. Saddek Bensalem, Matthieu Gallien, Félix Ingrand, Imen Kahloul, Thanh-Hung Nguyen: Designing autonomous robots. IEEE Robot. Automat. Mag. 16(1): 67-77 (2009)
2. Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis: Priority Scheduling of Distributed Systems Based on Model Checking. CAV 2009: 79-93
3. Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis: D-Finder: A Tool for Compositional Deadlock Detection and Verification. CAV 2009: 614-619
4. Saddek Bensalem, Doron A. Peled: Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers. Lecture Notes in Computer Science 5779, Springer 2009, ISBN 978-3-642-04693-3 [contents]
5. Saddek Bensalem, Matthieu Gallien, Felix Ingrand, Imen Kahloul and Thanh-Hung Nguyen Toward a More Dependable Software Architecture for Autonomous Robots. Special issue on Software Engineering for Robotics of the IEEE Robotics and Automation Magazine. Vol. 16, No 1, March 2009


---



2008

---

1. Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen. Compositional Verification for Component-based Systems and Application. 6th International Symposium on Automated Technology for Verification and Analysis, October 20-23, 2008, Seoul, South Korea
2. Saddek Bensalem, Doron Peled, Hongyang Qu and Stavros Tripakis. Automatic Generation of Path Conditions for Concurrent Timed Systems. In Theoritical Computer Science, Volume 404, number 3, 28 Septembre 2008.
3. Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Felix Ingrand and Joseph Sifakis. Incremental Component-Based Construction and Verfication of a Robotic System. ECAI 2008 The 18th European Conference on Artificial Intelligence, Patras, Greece, July 21 - 25, 2008.
4. Saddek Bensalem, Felix Ingrand and Joseph Sifakis. Autonomous Robot Software Design Challenge 6th IARP/IEEE-RAS/EURON, Joint International Workshop on Technical Challenge for Dependable Robots in Human Environments, Pasadena, USA, May 17-18, 2008.
5. Saddek Bensalem, Moez Krichen and Stavros Tripakis. Generating Analog-Clock Real-Time Testers Using Action Refinement Techniques. In the International Conference ROGICS 2008, Mahdia, Tunisia.
6. Saddek Bensalem, Moez Krichen and Stavros Tripakis. State Identification Problems for Input/Output Transition Systems. In WODES'08, the 9th international Workshop on Discrete Event Systems, May 28-30, 2008, Goteborg, Sweden.
7. Saddek. Bensalem, Marius. Bozga, Matthieu. Gallien, Felix. Ingrand, Moez. Krichen and Stavros Tripakis. Automatic Generation of Observers for the Dala Robot with TTG. In the International Conference CISA 2008, Annaba, Algeria.
8. Matthieu Gallien, Fahmi Gargouri, Imen Kahloul, Moez Krichen, Thanh-Hung Nguyen, Saddek Bensalem, Felix Ingrand. D'une approche modulaire a une approche orientee composant pour le developpement de systemes autonomes : defis et principes. In the 3rd Workhosp CAR 2008, Bourges, France.
9. Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Felix Ingrand and Joseph Sifakis. Incremental Component-Based Construction and Verification of a Robotic System. International Workshop on Current Software frameworks in Cognitive Robotics integrating different computational paradigms, Sept. 22nd 2008, Nice, France.


---