Difference between revisions of "Recent publications"

From Numerical Transition Systems
Jump to: navigation, search
(Pending)
Line 3: Line 3:
 
==== Pending ====
 
==== Pending ====
  
 +
* Marius Bozga, Radu Iosif. Verifying Safety Properties of Inductively Defined Parameterized Systems. [https://arxiv.org/abs/2008.04160  arXiv:2008.04160]
 +
* Mnacho Echenim, Radu Iosif, Nicolas Peltier. Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Established Systems. [https://arxiv.org/abs/2007.00502 arXiv:2007.00502]
 
* M. Bozga, R. Iosif and J. Sifakis. Local Reasoning about Parametric and Reconfigurable Component-based Systems. [https://arxiv.org/abs/1908.11345 arXiv:1908.11345]
 
* M. Bozga, R. Iosif and J. Sifakis. Local Reasoning about Parametric and Reconfigurable Component-based Systems. [https://arxiv.org/abs/1908.11345 arXiv:1908.11345]
* M. Bozga, R. Iosif and J. Sifakis. Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures. [https://arxiv.org/abs/1902.02696 arXiv:1902.02696]
 
* R. Iosif and X. Xu. First Order Alternation. [https://arxiv.org/abs/1811.02398 arXiv:1811.02398]
 
* M. Bozga, R. Iosif and J. Sifakis. Checking Deadlock-Freedom of Parametric Component-Based Systems [https://arxiv.org/abs/1805.10073 arXiv:1805.10073]
 
* M. Echenim, R. Iosif and N. Peltier.  The Complexity of Prenex Separation Logic with One Selector [https://arxiv.org/abs/1804.03556 arXiv:1804.03556]
 
* M. Echenim, R. Iosif and N. Peltier. On the Expressive Completeness of Bernays-Schönfinkel-Ramsey Separation Logic [https://arxiv.org/abs/1802.00195 arXiv:1802.00195]
 
* R. Iosif and C. Serban. Complete Cyclic Proof Systems for Inductive Entailments [https://arxiv.org/abs/1707.02415 arXiv:1707.02415]
 
 
* M. Bozga, R. Iosif and F. Konecny. The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops [http://arxiv.org/abs/1307.5321 arXiv:1307.5321]
 
* M. Bozga, R. Iosif and F. Konecny. The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops [http://arxiv.org/abs/1307.5321 arXiv:1307.5321]
  

Revision as of 14:49, 16 August 2020

Newspapers-stacked.jpg

Pending

  • 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

Journals

Conferences