by kinds

Journal Articles

2018

  1. Performance evaluation of stochastic real-time systems with the SBIP framework. Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay - IJCCBS - [bibtex]
  2. Early validation of system requirements and design through correctness-by-construction. Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis - Journal of Systems and Software - [bibtex]
  3. TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm. Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec - ISSE - [bibtex]
  4. Maximal software execution time: a regression-based approach. Ayoub Nouri, Peter Poplavko, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros - ISSE - [bibtex]
  5. DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems. Georgia Giannopoulou, Peter Poplavko, Dario Socci, Pengcheng Huang, Nikolay Stoimenov, Paraskevas Bourgos, Lothar Thiele, Marius Bozga, Saddek Bensalem, Sylvain Girbal, Madeleine Faugère, Romain Soulat, Beno\^ Dupont de Dinechin - Design Autom. for Emb. Sys. - [bibtex]
  6. Model-based design of IoT systems with the BIP component framework. Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis - Softw., Pract. Exper. - [bibtex]
  7. Global and Local Deadlock Freedom in BIP. Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket - ACM Trans. Softw. Eng. Methodol. - [bibtex]

2017

  1. Underapproximation of procedure summaries for integer programs. Pierre Ganty, Radu Iosif, Filip Konecn\'y - STTT - [bibtex]
  2. Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Hosein Nazarpour, Ylies Falcone, Saddek Bensalem, Marius Bozga - Formal Asp. Comput. - [bibtex]
  3. Rigorous Design of Cyber-Physical Systems. Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel - Software & Systems Modeling - [bibtex]
  4. Functional BIP: Embedding connectors in functional programming languages. Romain Edelmann, Simon Bliudze, Joseph Sifakis - J. Log. Algebr. Meth. Program. - [bibtex]

2016

  1. Distinguishing extended finite state machine configurations using predicate abstraction. Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem - J. Software Eng. R&D - [bibtex]
  2. Automated Proofs of Block Cipher Modes of Operation. Martin Gagne, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini - J. Autom. Reasoning - [bibtex]
  3. ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis. Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem - ACM Trans. Embedded Comput. Syst. - [bibtex]
  4. Component-based verification using incremental design and invariants. Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan - Software and System Modeling - [bibtex]

2015

  1. Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Ylies Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem - Software and System Modeling - [bibtex]
  2. System Design Automation: Challenges and Limitations. Joseph Sifakis - Proceedings of the IEEE - [bibtex]
  3. Compositional Verification for Timed Systems Based on Automatic Invariant Generation. Souha Ben Rayana, Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Jacques Combaz - Logical Methods in Computer Science - [bibtex]
  4. Optimized distributed implementation of multiparty interactions with Restriction. Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis - Sci. Comput. Program. - [bibtex]
  5. Statistical model checking QoS properties of systems with SBIP. Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille J'egourel, Axel Legay - STTT - [bibtex]

2014

  1. Component-based verification using incremental design and invariants. Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan - Software & Systems Modeling - [bibtex]
  2. Deciding Conditional Termination. Marius Bozga, Radu Iosif, Filip Konecn\'y - Logical Methods in Computer Science - [bibtex]
  3. Verification and validation meet planning and scheduling. Saddek Bensalem, Klaus Havelund, Andrea Orlandini - STTT - [bibtex]

2013

  1. Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Ylies Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem - Software & Systems Modeling - [bibtex]
  2. Rigorous implementation of real-time systems - from theory to application. Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis - Mathematical Structures in Computer Science - [bibtex]
  3. Rigorous embedded design: challenges and perspectives. Saddek Bensalem, Axel Legay, Marius Bozga - STTT - [bibtex]

2012

  1. Rigorous design of robot software: A formal component-based approach. Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Felix Ingrand - Robotics and Autonomous Systems - [bibtex]
  2. Statistical abstraction and model-checking of large heterogeneous systems. Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay - STTT - [bibtex]
  3. A framework for automated distributed implementation of component-based models. Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis - Distributed Computing - [bibtex]
  4. Model-based implementation of distributed systems with priorities. Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf - Design Automation for Embedded Systems - [bibtex]

2011

  1. A vision for computer science - the system perspective. Joseph Sifakis - Central Europ. J. Computer Science - [bibtex]
  2. Priority scheduling of distributed systems based on model checking. Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis - Formal Methods in System Design - [bibtex]
  3. Rigorous Component-Based System Design Using the BIP Framework. Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis - IEEE Software - [bibtex]

2010

  1. Causal semantics for the algebra of connectors. Simon Bliudze, Joseph Sifakis - Formal Methods in System Design - [bibtex]
  2. Detection of deadlock potentials in multithreaded programs. Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, Liqiang Wang - IBM Journal of Research and Development - [bibtex]
  3. Source-to-Source Architecture Transformation for Performance Optimization in BIP. Marius Bozga, Mohamad Jaber, Joseph Sifakis - IEEE Trans. Industrial Informatics - [bibtex]
  4. Compositional verification for component-based systems and application. Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis - IET Software - [bibtex]

2009

  1. Model checking: algorithmic verification and debugging. Edmund M. Clarke, Allen Emerson, Joseph Sifakis - Commun. ACM - [bibtex]
  2. Toward a More Dependable Software Architecture for Autonomous Robots. Saddek Bensalem, Matthieu Gallien, Felix Ingrand, Imen Kahloul, Thanh-Hung Nguyen - Special issue on Software Engineering for Robotics of the IEEE Robotics and Automation Magazine - [bibtex]

2008

  1. Symbolic quality control for multimedia applications. Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus - Real-Time Systems - [bibtex]
  2. The Algebra of Connectors - Structuring Interaction in BIP. Simon Bliudze, Joseph Sifakis - IEEE Trans. Computers - [bibtex]
  3. Automatic generation of path conditions for concurrent timed systems. Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis - Theor. Comput. Sci. - [bibtex]

2007

  1. The Discipline of Embedded Systems Design. Thomas A. Henzinger, Joseph Sifakis - IEEE Computer - [bibtex]

Book Chapters (inbook)

2013

  1. Smart Multicore Embedded Systems. Marius Bozga, Georgios Chasapis, Vassilios Dimakopoulos, Aggelis Aggelis - [bibtex]

Book Chapters

2015

  1. Tools for Ensemble Design and Runtime. Dhaminda B. Abeywickrama, Jacques Combaz, Vojtech Hork\'y, Jaroslav Keznikl, Jan Kofron, Alberto Lluch -, Michele Loreti, Andrea Margheri, Philip Mayer, Giacoma Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tuma, Andrea Vandin, Emil Vassev - Software Engineering for Collective Autonomic Systems - The ASCENS Approach - [bibtex]
  2. Correctness of Service Components and Service Component Ensembles. Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron - Software Engineering for Collective Autonomic Systems - The ASCENS Approach - [bibtex]

Conference Articles

2019

  1. Mechanically Proving Determinacy of Hierarchical Block Diagram Translations. Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis - Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Lisbon, Portugal, January 13-15, 2019 - [bibtex]

2018

  1. An Entailment Checker for Separation Logic with Inductive Definitions. Radu Iosif, Cristina Serban - 18th International Workshop on Automated Verification of Critical Systems, AVOCS'18 - [bibtex]
  2. Predictability in Mixed-Criticality Systems. Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem - 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2018, Hakodate, Japan, August 28-31, 2018 - [bibtex]
  3. Abstraction Refinement for Emptiness Checking of Alternating Data Automata. Radu Iosif, Xiao Xu - Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software - [bibtex]
  4. DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits - CoRR - [bibtex]
  5. Programming Dynamic Reconfigurable Systems. Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis - Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings - [bibtex]
  6. Algorithmic Complexity of Correctness Testing in MC-Scheduling. Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem - Proceedings of the 26th International Conference on Real-Time Networks and Systems, RTNS 2018, Chasseneuil-du-Poitou, France, October 10-12, 2018 - [bibtex]
  7. Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem - Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III - [bibtex]
  8. S-BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems. Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem - Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings - [bibtex]
  9. DReAM: Dynamic Reconfigurable Architecture Modeling. Rocco De Nicola, Alessandro Maggi, Joseph Sifakis - Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III - [bibtex]
  10. System Design in the Era of IoT - Meeting the Autonomy Challenge. Joseph Sifakis - Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece, 15th April 2018. - [bibtex]
  11. A Complete Cyclic Proof System for Inductive Entailments in First Order Logic. Radu Iosif, Cristina Serban - LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018 - [bibtex]
  12. Program Verification with Separation Logic. Radu Iosif - Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings - [bibtex]
  13. The Refinement Calculus of Reactive Systems Toolset. Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis - Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software - [bibtex]
  14. Using the ERGO framework in a Planetary and an Orbital Scenario. Jorge Ocon, Karl Buckley, Francisco Colemenero, Saddek Bensalem, Iulia Dragomir, Spyros Karachalios, Mark Woods, Florian Pommerening, Thomas Keller - International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS) 2018, Madrid, Spain, June 4-6, 2018 - [bibtex]
  15. The ERGO framework and its use in planetary/orbital scenarios. Jorge Ocon, Francisco Colemenero, Joaquin Estremera, Karl Buckley, Mercedes Alonso, Enrique Heredia, Javier Garcia, Amanda Coles, Andrew Coles, Moises Martinez, Emre Savas, Florian Pommerening, Thomas Keller, Spyros Karachalios, Mark Woods, Iulia Dragomir, Saddek Bensalem, Pierre Dissaux, Arnaud Schach, Robert Marc, Piotr Weclewski - International Astronautical Congress (IAC) 2018, Bremen, Germany, October 1-5, 2018 - [bibtex]
  16. Left-Eigenvectors Are Certificates of the Orbit Problem. Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem - Reachability Problems - 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings - [bibtex]
  17. A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism. Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo - Fundamental Approaches to Software Engineering, 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessalonik - [bibtex]
  18. Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis - Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III - [bibtex]
  19. Mitigating Security Risks Through Attack Strategies Exploration. Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem - Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II - [bibtex]
  20. A Model-based Approach to Certification of Adaptive MILS. Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong - International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2018, Luxembourg, June 25, 2018. - [bibtex]

2017

  1. Reasoning in the Bernays-Sch"onfinkel-Ramsey Fragment of Separation Logic. Andrew Reynolds, Radu Iosif, Cristina Serban - Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings - [bibtex]
  2. Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis - Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distrib - [bibtex]
  3. Synthesizing Invariants by Solving Solvable Loops. Steven de Oliveira, Saddek Bensalem, Virgile Prevosto - Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings - [bibtex]
  4. Knowledge Based Optimization for Distributed Real-Time Systems. Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga - 24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017 - [bibtex]
  5. ESROCOS: a Robotic Operating System for Space and Terrestrial Applications. Miguel Munoz, Giuseppe Montano, Malte Wirkus, Kilian Hoeflinger, Daniel Silveira, Nikolaos Tsiogkas, Jerome Hugues, Herman Bruyninckx, Iulia Dragomir, Ali Muhammad - Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA) 2017, Leiden, Netherlands, June 20-22, 2017 - [bibtex]
  6. TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm. Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec - Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings - [bibtex]
  7. Regression-Based Statistical Bounds on Software Execution Time. Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros - Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings - [bibtex]
  8. Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper). Fotios Gioulekas, Peter Poplavko, Rany Kahil, Panagiotis Katsaros, Marius Bozga, Saddek Bensalem, Pedro Palomo - Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings - [bibtex]
  9. An End-to-End Security Model for Adaptive Service-Oriented Applications. Takoua Abdellatif, Marius Bozga - Service-Oriented Computing - ICSOC 2017 Workshops - ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13-16, 2017, Revised Selected Papers - [bibtex]
  10. Improved Learning for Stochastic Timed Models by State-Merging Algorithms. Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem - NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings - [bibtex]

2016

  1. Transforming VHDL descriptions into formal component-based models. Ayoub Nouri, Rahma Ben Atitallah, Anca Molnos, Christian Fabre, Frédéric Heitzmann, Olivier Debicki - 2016 International Symposium on Rapid System Prototyping, RSP 2016, Pittsburg, PA, USA, October 6-7, 2016 - [bibtex]
  2. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. Radu Iosif, Adam Rogalewicz, Tomás Vojnar - Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 - [bibtex]
  3. Architecture Diagrams: A Graphical Language for Architecture Style Specification. Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis - Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016. - [bibtex]
  4. Architecture-Based Design: A Satellite On-Board Software Case Study. Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton Ivanov, Panagiotis Katsaros, Joseph Sifakis - Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers - [bibtex]
  5. Parameterized Systems in BIP: Design and Model Checking. Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis - 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada - [bibtex]
  6. A Decision Procedure for Separation Logic in SMT. Andrew Reynolds, Radu Iosif, Cristina Serban, Tim King - Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings - [bibtex]
  7. A Model-Based Approach to Secure Multiparty Distributed Systems. Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga - Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Pa - [bibtex]
  8. Local Planning of Multiparty Interactions with Bounded Horizons. Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem - FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings - [bibtex]
  9. Polynomial Invariants by Linear Algebra. Steven de Oliveira, Saddek Bensalem, Virgile Prevosto - Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings - [bibtex]
  10. How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property? Radu Iosif, Arnaud Sangnier - Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings - [bibtex]
  11. RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. Souha Ben-Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz - Proceedings of the 22Nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 9636 - [bibtex]
  12. A Compositional Approach to the Verification of Hybrid Systems. Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga - Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday - [bibtex]
  13. Compositional Parameter Synthesis. Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess - FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings - [bibtex]
  14. Monitoring Multi-threaded Component-Based Systems. Hosein Nazarpour, Ylies Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz - Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings - [bibtex]
  15. Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference. Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga - Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Pa - [bibtex]
  16. Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. Hela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem - 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, April 11-14, 2016 - [bibtex]
  17. Performance Evaluation of Complex Systems Using the SBIP Framework. Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem - Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016. - [bibtex]

2015

  1. Configuration Logics: Modelling Architecture Styles. Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis - Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niter\'oi, Brazil, October 14-16, 2015, Revised Selected Papers - [bibtex]
  2. Models for deterministic execution of real-time multiprocessor applications. Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga - Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015 - [bibtex]
  3. A Theory Agenda for Component-Based Design. Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga - Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering - [bibtex]
  4. Optimized distributed implementation of timed component-based systems. Ahlem Triki, Jacques Combaz, Saddek Bensalem - 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015 - [bibtex]
  5. Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols. Gilles Barthe, Juan Manuel Crespo, Yassine Lakhnech, Benedikt Schmidt - Advances in Cryptology - EUROCRYPT 2015 - 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II - [bibtex]
  6. Building Distributed Sensor Network Applications using BIP. Alexios Lekidis, Paraskevas Bourgos, Simplice Djoko-Djoko, Marius Bozga, Saddek Bensalem - Proceedings of 2015 IEEE Sensors Applications Symposium, Zadar, Croatia - [bibtex]
  7. Compositional Verification of Parameterised Timed Systems. Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz - NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings - [bibtex]
  8. Using BIP to reinforce correctness of resource-constrained IoT applications. Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis - 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015, Siegen, Germany, June 8-10, 2015 - [bibtex]
  9. Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga - IEEE 18th International Symposium on Real-Time Distributed Computing, ISORC 2015, Auckland, New Zealand, 13-17 April, 2015 - [bibtex]
  10. A Timed-Automata Based Middleware for Time-Critical Multicore Applications. Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga - 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORC Workshops 2015, Auckland, New Zealand, April 13-17, 2015 - [bibtex]
  11. Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering. Martin Torngren, Saddek Bensalem, John A. McDermid, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Bernhard Schatz - Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, WESE 2015, Amsterdam, The Netherlands, October 4-9, 2015 - [bibtex]
  12. A Robust Framework for Securing Composed Web Services. Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga - Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015, Revised Selected Papers - [bibtex]
  13. Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms. Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga - 17th IEEE International Conference on High Performance Computing and Communications, HPCC 2015, 7th IEEE International Symposium on Cyberspace Safety and Security, CSS 2015, and 12th IEEE In - [bibtex]
  14. A Verifiable and Correct-by-Construction Controller for Robots in Human Environments. Lavindra de Silva, Rongjie Yan, Felix Ingrand, Rachid Alami, Saddek Bensalem - Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2015 Extended Abstracts, Portland, OR, USA, March 02 - 05, 2015 - [bibtex]
  15. Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem - NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings - [bibtex]

2014

  1. Keynote talk III: A framework for modeling architectures and their properties. Joseph Sifakis - Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014 - [bibtex]
  2. Toward a System Design Science. Joseph Sifakis - From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings - [bibtex]
  3. Formal Verification of e-Reputation Protocols. Ali Kassem, Pascal Lafourcade, Yassine Lakhnech - Foundations and Practice of Security - 7th International Symposium, FPS 2014, Montreal, QC, Canada, November 3-5, 2014. Revised Selected Papers - [bibtex]
  4. Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops. Marius Bozga, Radu Iosif, Filip Konecn\'y - Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings - [bibtex]
  5. Compositional Verification of Timed Systems. Saddek Bensalem - Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2014, Beja"ia, Algeria, September 29-30, 2014. - [bibtex]
  6. Faster Statistical Model Checking by Means of Abstraction and Learning. Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem - Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings - [bibtex]
  7. Building faithful high-level models and performance evaluation of manycore embedded systems. Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem - Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014 - [bibtex]
  8. Rigorous System Design Flow for Autonomous Systems. Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Procee - [bibtex]
  9. Model-based validation of CANopen systems. Alexios Lekidis, Marius Bozga, Saddek Bensalem - Proceedings of WFCS'14 - 10th IEEE International Workshop on Factory Communication Systems, Toulouse, France - [bibtex]
  10. Compositional Invariant Generation for Timed Systems. Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz - Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS - [bibtex]
  11. Architecture internalisation in BIP. Simon Bliudze, Joseph Sifakis, Marius Bozga, Mohamad Jaber - CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30 - July 4, 2014 - [bibtex]
  12. Model-driven Information Flow Security for Component-Based Systems. Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga - Proceedings of FPS'14 - From Programs to Systems - The Systems Perspective in Computing, ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis - [bibtex]

2013

  1. Synthesizing distributed scheduling implementation for probabilistic component-based systems. Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron Peled - 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013 - [bibtex]
  2. Model-Based Implementation of Parallel Real-Time Systems. Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis - Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, M - [bibtex]
  3. Time-Triggered Mixed-Critical Scheduler. Dario Socci, Petro Poplavko, Saddek Bensalem, Marius Bozga - 1st International Workshop on Mixed Criticality Systems (WMC) - [bibtex]
  4. Modeling Mixed Critical Systems in Real-Time BIP. Dario Socci, Petro Poplavko, Saddek Bensalem, Marius Bozga - Proc. ReTiMiCs-2013, Workshop on Real-Time Mixed Criticality Systems - [bibtex]
  5. SBIP: A Statistical Model Checking Extension for the BIP Framework. Ayoub Nouri, Axel Legay, Saddek Bensalem, Marius Bozga - Statistical Model Checking Workshop, SMC - [bibtex]
  6. A model-based design flow for CAN-based systems. Alexios Lekidis, Marius Bozga, Didier Mauuary, Saddek Bensalem - Proceedings of the iCC CAN in Automation Conference, Paris, France - [bibtex]
  7. Stochastic modeling and performance analysis of multimedia SoCs. Balaji Raman, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu, Mayur Maheshwari, Axel Legay, Saddek Bensalem, Samarjit Chakraborty - 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2013, Agios Konstantinos, Samos Island, Greece, July 15-18, 2013 - [bibtex]
  8. Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron Peled, Jean Quilbeuf - Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings - [bibtex]
  9. An Abstract Framework for Deadlock Prevention in BIP. Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket - Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Technique - [bibtex]
  10. Mixed Critical Earliest Deadline First. Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga - 25th Euromicro Conference on Real-Time Systems, ECRTS 2013, Paris, France, July 9-12, 2013 - [bibtex]
  11. Incremental Generation of Linear Invariants for Component-Based Systems. Saddek Bensalem, Marius Bozga, Beno^it Boyer, Axel Legay - 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013 - [bibtex]

2012

  1. State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim Guldstrand Larsen, Axel Legay, Jan Tretmans - 2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012 - [bibtex]
  2. A Theory of Fault Recovery for Component-Based Models. Borzoo Bonakdarpour, Marius Bozga, Gregor Goessler - Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings - [bibtex]
  3. Modeling and Validation of a Data Process Unit Control for Space Applications. Hai Wan, Chongdi Huang, Yuhui Wang, Fei He, Ming Gu, Rui Chen, Marius Bozga - Proceedings of ERTS'2012 - Embedded Real-Time Software and Systems, Toulouse, France - [bibtex]
  4. Rigorous Component-Based System Design - (Invited Paper). Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis - Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers - [bibtex]
  5. Modeling and Validation of PLC-Controlled Systems: A Case Study. Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Gu Ming, Marius Bozga - Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China - [bibtex]
  6. Modeling Dynamic Architectures Using Dy-BIP. Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis - Software Composition - 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings - [bibtex]
  7. Statistical Model Checking QoS Properties of Systems with SBIP. Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille J'egourel, Axel Legay, Ayoub Nouri - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proc - [bibtex]
  8. Integration of correct-by-construction BIP models into the MetroII design space exploration flow. Alena Simalatsar, Liangpeng Guo, Marius Bozga, Roberto Passerone - 30th International IEEE Conference on Computer Design, ICCD 2012, Montreal, QC, Canada, September 30 - Oct. 3, 2012 - [bibtex]
  9. Knowledge Based Transactional Behavior. Saddek Bensalem, Marius Bozga, Doron Peled, Jean Quilbeuf - Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers - [bibtex]
  10. Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis - Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. - [bibtex]
  11. Optimized distributed implementation of multiparty interactions with observation. Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis - Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions - [bibtex]
  12. System Level Modeling, Analysis and Code Generation: Object Recognition Case Study. Aannda Basu, Saddek Bensalem, Marius Bozga, Julien Mottin, Francois Pacull, Athanasios Poulakidas, Aggelis Aggelis - Proceedings of Embedded World'12 Conference, Nurnberg, Germany - [bibtex]

2011

  1. Methods and tools for component-based system design. Joseph Sifakis - Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011 - [bibtex]
  2. Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems. Simon Bliudze, Joseph Sifakis - Software Composition - 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings - [bibtex]
  3. D-Finder 2: Towards Efficient Correctness of Incremental Design. Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan - NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings - [bibtex]
  4. Model Construction and Priority Synthesis for Simple Interaction Systems. Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois Knoll, Harald Ruess - NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings - [bibtex]
  5. Algorithms for Synthesizing Priorities in Component-Based Systems. Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll - Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings - [bibtex]
  6. Time-predictable and composable architectures for dependable embedded systems. Saddek Bensalem, Kees Goossens, Christoph Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis - Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011 - [bibtex]
  7. Efficient deadlock detection for concurrent systems. Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron Peled - 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011 - [bibtex]
  8. A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Felix Ingrand, Axel Legay, Rongjie Yan - Software Composition - 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings - [bibtex]
  9. Component Assemblies in the Context of Manycore. Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis - Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers - [bibtex]
  10. Automated distributed implementation of component-based models with priorities. Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf - Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011 - [bibtex]
  11. Rigorous System Design: The BIP Approach. Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis - Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers - [bibtex]
  12. Rigorous system level modeling and analysis of mixed HW/SW systems. Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang - 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011 - [bibtex]
  13. Runtime Verification of Component-Based Systems. Ylies Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem - Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings - [bibtex]

2010

  1. Component-based Construction of Heterogeneous Real-time Systems in BIP. Joseph Sifakis - The Future of Software Engineering - [bibtex]
  2. Model-based implementation of real-time applications. Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis - Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010 - [bibtex]
  3. Embedded Systems Design - Scientific Challenges and Work Directions. Joseph Sifakis - Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2 - [bibtex]
  4. Incremental Invariant Generation for Compositional Design. Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan - 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010 - [bibtex]
  5. Knowledge Based Scheduling of Distributed Systems. Saddek Bensalem, Doron Peled, Joseph Sifakis - Time for Verification, Essays in Memory of Amir Pnueli - [bibtex]
  6. Statistical Model Checking: An Overview. Axel Legay, Benoît Delahaye, Saddek Bensalem - Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings - [bibtex]
  7. Systematic Correct Construction of Self-stabilizing Systems: A Case Study. Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis - Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings - [bibtex]
  8. Compositional Translation of Simulink Models into Synchronous BIP. Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safaka, Marius Bozga, Joseph Sifakis - IEEE Fifth International Symposium on Industrial Embedded Systems - SIES 2010, University of Trento, Italy, July 7-9, 2010 - [bibtex]
  9. Automated Conflict-free distributed implementation of component-based models. Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis - IEEE Fifth International Symposium on Industrial Embedded Systems - SIES 2010, University of Trento, Italy, July 7-9, 2010 - [bibtex]
  10. Verification of an AFDX Infrastructure Using Simulations and Probabilities. Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis - Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings - [bibtex]
  11. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay - Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, - [bibtex]
  12. From high-level component-based models to distributed implementations. Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis - Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010 - [bibtex]
  13. Methods for Knowledge Based Controlling of Distributed Systems. Saddek Bensalem, Marius Bozga, Susanne Graf, Doron Peled, Sophie Quinton - Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings - [bibtex]
  14. Incremental component-based construction and verification using invariants. Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan - Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23 - [bibtex]

2009

  1. Automated Proofs for Encryption Modes. Martin Gagne, Pascal Lafourcade, Yassine Lakhnech, Safavi Reihaneh - 13th Annual Asian Computing Science Conference Focusing on Information Security and Privacy: Theory and Practice (ASIAN0'9) - [bibtex]
  2. Modeling synchronous systems in BIP. Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis - Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009 - [bibtex]
  3. Embedded systems design - Scientific challenges and work directions. Joseph Sifakis - Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009 - [bibtex]
  4. The Quest for Correctness-Beyond a Posteriori Verification. Joseph Sifakis - Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings - [bibtex]
  5. Component-Based Construction of Heterogeneous Real-Time Systems in Bip. Joseph Sifakis - Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings - [bibtex]
  6. D-Finder: A Tool for Compositional Deadlock Detection and Verification. Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis - Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings - [bibtex]
  7. Prototyping of Distributed Embedded Systems Using AADL. Mohamed Yassin Chkouri, Marius Bozga - Model Based Architecting and Construction of Embedded Systems ACES-MB - [bibtex]
  8. Deterministic data flow communication in AADL. Mohamed Yassin Chkouri, Marius Bozga - ICESS '09: Proceedings of the 2009 International Conference on Embedded Software and Systems Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis - Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings - [bibtex]
  9. Source-to-source architecture transformation for performance optimization in BIP. Marius Bozga, Mohamad Jaber, Joseph Sifakis - IEEE Fourth International Symposium on Industrial Embedded Systems - SIES 2009, Ecole Polytechnique Federale de Lausanne, Switzerland, July 8 - 10, 2009 - [bibtex]
  10. Priority Scheduling of Distributed Systems Based on Model Checking. Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis - Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings - [bibtex]
  11. Automatic Verification of Integer Array Programs. Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecn\'y, Tomás Vojnar - Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings - [bibtex]
  12. Component-Based Construction of Real-Time Systems in BIP. Joseph Sifakis - Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings - [bibtex]

2008

  1. A Notion of Glue Expressiveness for Component-Based Systems. Simon Bliudze, Joseph Sifakis - CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings - [bibtex]
  2. Specification and Verification of Conurrent Systems in Cesar. Jean-Pierre Queille, Joseph Sifakis - 25 Years of Model Checking - History, Achievements, Perspectives - [bibtex]
  3. Incremental Component-Based Construction and Verification of a Robotic System. Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Felix Ingrand, Joseph Sifakis - ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings - [bibtex]
  4. Translating AADL into BIP - Application to the Verification of Real-time Systems. Mohamed Yassin Chkouri, Marius Bozga, Joseph Sifakis - Workshops and Symposia at MODELS 2008 - [bibtex]
  5. Translating AADL into BIP - Application to the Verification of Real-Time Systems. Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis - Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers - [bibtex]
  6. Distributed Semantics and Implementation for Systems with Interaction and Priority. Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis - Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings - [bibtex]
  7. Compositional Verification for Component-Based Systems and Application. Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen - Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings - [bibtex]
  8. Compositional Verification for Component-Based Systems and Application. Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis - ATVA '08: Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis - [bibtex]

2007

  1. Using BIP for Modeling and Verification of Networked Systems - A Case Study on TinyOS-based Networks. Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis - IEEE NCA'07 - [bibtex]
  2. Using Speed Diagrams for Symbolic Quality Management. Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus - 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA - [bibtex]
  3. The algebra of connectors: structuring interaction in BIP. Simon Bliudze, Joseph Sifakis - Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria - [bibtex]
  4. Causal Semantics for the Algebra of Connectors. Simon Bliudze, Joseph Sifakis - Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures - [bibtex]
  5. Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks. Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis - Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12 - 14 July 2007, Cambridge, MA, USA - [bibtex]
  6. An Approach to Modeling and Verification of Component Based Systems. Gregor Goessler, Susanne Graf, Mila Majster-Cederbaum, Moritz Martens, Joseph Sifakis - Current Trends in Theory and Practice of Computer Science, SOFSEM'07 - [bibtex]

2006

  1. The Embedded Systems Design Challenge. Thomas A. Henzinger, Joseph Sifakis - FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings - [bibtex]
  2. WPDRTS keynote: component-based construction of embedded systems. Joseph Sifakis - 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece - [bibtex]
  3. Ensuring Properties of Interaction Systems by Construction. Gregor Goessler, Susanne Graf, Mila Majster-Cederbaum, Moritz Martens, Joseph Sifakis - Program Analysis and Compilation, Theory and Practice - [bibtex]
  4. A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems. Marc Poulhiès, Jacques Pulou, Christophe Rippert, Joseph Sifakis - Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers - [bibtex]
  5. Modeling Heterogeneous Real-time Components in BIP. Ananda Basu, Marius Bozga, Joseph Sifakis - Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India - [bibtex]

2005

  1. Fine grain QoS control for multimedia application software. Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis - Design, Automation and Test in Europe (DATE 2005), Munich, Germany - [bibtex]
  2. QoS Control for Optimality and Safety. Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis - Proceedings of the 5th Conference on Embedded Software (EMSOFT 2005), Jersey City, New Jersey, USA - [bibtex]

PhD Thesis and HDR

2019

  1. Modeling Self-configuration In Architecture-based Self-adaptive Systems. Rim El-Ballouli - [bibtex]
  2. Schedulable Mixed-critical Multi-core Systems Design. Rany Kahil - [bibtex]
  3. Modeling and Analysis of Stochastic Real-Time Systems. Braham Lotfi Mediouni - [bibtex]

2018

  1. Automated reasoning in separation logic with inductive definitions. Cristina Serban - [bibtex]
  2. Finding constancy in linear routines. Steven De Oliveira - [bibtex]
  3. Formal Methods for Distributed Real-Time Systems. Mahieddine Dellabani - [bibtex]
  4. An adaptive charging protocol for Lithium-on Batteries. Thusitha Asela Bandara - [bibtex]

2017

  1. From Timed Component-Based Systems to Time-Triggered Implementations: A Correct-by-Design Approach. Hela Guesmi - [bibtex]
  2. Monitoring Multi-threaded and Distributed Component-Based Systems. Hosein Nazarpour - [bibtex]

2016

  1. Model-based Information Flow Security. Najah Ben Said - Theses - [bibtex]
  2. Compositional Verification of Component-based Real-time Systems and Applications. Souha Ben Rayana - Tekaya - Theses - [bibtex]
  3. Scheduling of Certifiable Mixed-Criticality Systems. Dario Socci - Theses - [bibtex]

2015

  1. Design flow for the rigorous development of networked embedded systems. Alexios Lekidis - Theses - [bibtex]
  2. Automated Verification of Exam, Cash, Reputation, and Routing Protocols. Ali Kassem - [bibtex]
  3. Rigorous System-level Modeling and Performance Evaluation for Embedded System Design. Ayoub Nouri - Theses - [bibtex]
  4. Distributed Implementations of Timed Component-based Systems. Ahlem Triki - Theses - [bibtex]

2014

  1. Vérification et synthèse quantitative. Christian von Essen - [bibtex]

2013

  1. Rigorous Design Flow for Programming Manycore Platforms. Paraskevas Bourgos - Theses - [bibtex]
  2. Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions : Application to the BIP Framework.. Jean Quilbeuf - Theses - [bibtex]

2012

  1. Rigorous Implementation of Real-Time Systems. Tesnim Abdellatif - Theses - [bibtex]

2011

  1. Modeling Synchronous Systems in BIP. Vasiliki Sfyrla Sfyrla - Theses - [bibtex]

2010

  1. Modelling real-time embedded systems using AADL for the automatic generation of applications formally verified. Mohamed Yassin Chkouri - Theses - [bibtex]
  2. Centralized and Distributed Implementations of Correct-by-construction Component-based Systems by using Source-to-source Transformations in BIP. Mohamad Jaber - Theses - [bibtex]
  3. Constructive Verification for Component-based Systems. Thanh-Hung Nguyen - Theses - [bibtex]
  4. Design and Implementation of Component Based Systems. Towards a Unification of the Software Engineering and the System Paradigms.. Marc Poulhiès - Theses - [bibtex]
  5. Component-Based Design of Real-Time Systems (HDR). Marius Bozga - [bibtex]

2008

  1. Component-based Modeling of Heterogeneous Real-time Systems in BIP. Ananda Basu - Theses - [bibtex]

Contact | Site Map | Site powered by SPIP 3.1.11 + AHUNTSIC [CC License]

info visites 1350193