Verimag

by kinds

Journal Articles

2015

  1. 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]
  2. 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]
  3. Optimized distributed implementation of multiparty interactions with Restriction. Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis - Sci. Comput. Program. - [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]

2013

  1. Rigorous implementation of real-time systems - from theory to application. Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis - Mathematical Structures in Computer Science - [bibtex]
  2. 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]
  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]

Conference Articles

2015

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]

2014

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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. 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]
  2. Time-Triggered Mixed-Critical Scheduler. Dario Socci, Petro Poplavko, Saddek Bensalem, Marius Bozga - 1st International Workshop on Mixed Criticality Systems (WMC) - [bibtex]
  3. 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]
  4. SBIP: A Statistical Model Checking Extension for the BIP Framework. Ayoub Nouri, Axel Legay, Saddek Bensalem, Marius Bozga - Statistical Model Checking Workshop, SMC - [bibtex]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  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. 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]
  2. 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]
  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. 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]
  10. 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]

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

2015

  1. Rigorous System-level Modeling and Performance Evaluation for Embedded System Design. Ayoub Nouri - Theses - [bibtex]
  2. Distributed Implementations of Timed Component-based Systems. Ahlem Triki - Theses - [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.0.22 + AHUNTSIC [CC License]

info visites 705069