Recent publications

From Numerical Transition Systems
Revision as of 15:51, 16 August 2020 by Radu iosif (Talk | contribs)

Jump to: navigation, search


  • Marius Bozga, Radu Iosif. Verifying Safety Properties of Inductively Defined Parameterized Systems. arXiv:2008.04160
  • Mnacho Echenim, Radu Iosif, Nicolas Peltier. Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Established Systems. arXiv:2007.00502
  • M. Bozga, R. Iosif and J. Sifakis. Local Reasoning about Parametric and Reconfigurable Component-based Systems. arXiv:1908.11345
  • M. Bozga, R. Iosif and F. Konecny. The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops arXiv:1307.5321