by kinds

Journal Articles

2020

  1. The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates. Mnacho Echenim, Radu Iosif, Nicolas Peltier - ACM Trans. Comput. Log. - [bibtex]

2019

  1. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. Lukas Holik, Radu Iosif, A Rogalewicz, T Vojnar - Formal Methods in System Design - [bibtex]

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. 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]

2015

  1. 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]

Conference Articles

2020

  1. Structural Invariants for the Verification of Systems with Parameterized Architectures. Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel - Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, , Proceedings, Part I - [bibtex]
  2. Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard. Mnacho Echenim, Radu Iosif, Nicolas Peltier - LPAR 2020 - [bibtex]

2019

  1. The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains. Mnacho Echenim, Radu Iosif, Nicolas Peltier - Foundations of Software Science and Computation Structures (FOSSACS) - 22nd International Conference - [bibtex]
  2. SL-COMP: Competition of Solvers for Separation Logic. Mihaela Sighireanu, Juan Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengal, Chong Gao, Zhilin Wu - Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019 - [bibtex]
  3. Alternating Automata Modulo First Order Theories. Radu Iosif, Xiao Xu - Computer Aided Verification - 31st International Conference - [bibtex]
  4. Prenex Separation Logic with One Selector Field. Mnacho Echenim, Radu Iosif, Nicolas Peltier - Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference - [bibtex]
  5. Checking Deadlock-Freedom of Parametric Component-Based Systems. Marius Bozga, Radu Iosif, Joseph Sifakis - Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference - [bibtex]

2018

  1. 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 - [bibtex]
  2. Program Verification with Separation Logic. Radu Iosif - Model Checking Software - 25th International Symposium, SPIN 2018 - [bibtex]
  3. 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 - [bibtex]
  4. 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]
  5. Program Verification with Separation Logic. Radu Iosif - Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings - [bibtex]
  6. 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]
  7. 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]
  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. 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]
  10. 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]

2017

  1. Reasoning in the Bernays-Schönfinkel-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. 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. 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]
  2. 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]
  3. 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]
  4. 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]

2015

  1. 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]

2008

  1. 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]

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

info visites 1685282