Difference between revisions of "Recent publications"

From Numerical Transition Systems
Jump to: navigation, search
Line 30: Line 30:
 
==== Conferences ====
 
==== Conferences ====
  
 +
* M. Echenim, R. Iosif, N. Peltier. [[Media:|Tableaux2019.pdf|Prenex Separation Logic with One Selector Field]]. TABLEAUX 2019, pp 409--427
 
* M. Bozga, R. Iosif and J. Sifakis. [[Media:Tacas2019.pdf|Checking Deadlock-Freedom of Parametric Component-Based Systems]]. TACAS 2019, Part II, pp 3-20
 
* M. Bozga, R. Iosif and J. Sifakis. [[Media:Tacas2019.pdf|Checking Deadlock-Freedom of Parametric Component-Based Systems]]. TACAS 2019, Part II, pp 3-20
 
* R. Iosif and C. Serban. [[Media:Lpar2018.pdf|A Complete Cyclic Proof System for Inductive Entailments in First Order Logic]]. LPAR 2018, pp 435--453
 
* R. Iosif and C. Serban. [[Media:Lpar2018.pdf|A Complete Cyclic Proof System for Inductive Entailments in First Order Logic]]. LPAR 2018, pp 435--453

Revision as of 09:17, 28 January 2020

Newspapers-stacked.jpg

Pending

  • M. Bozga, R. Iosif and J. Sifakis. Local Reasoning about Parametric and Reconfigurable Component-based Systems. arXiv:1908.11345
  • M. Bozga, R. Iosif and J. Sifakis. Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures. arXiv:1902.02696
  • R. Iosif and X. Xu. First Order Alternation. arXiv:1811.02398
  • M. Bozga, R. Iosif and J. Sifakis. Checking Deadlock-Freedom of Parametric Component-Based Systems arXiv:1805.10073
  • M. Echenim, R. Iosif and N. Peltier. The Complexity of Prenex Separation Logic with One Selector arXiv:1804.03556
  • M. Echenim, R. Iosif and N. Peltier. On the Expressive Completeness of Bernays-Schönfinkel-Ramsey Separation Logic arXiv:1802.00195
  • R. Iosif and C. Serban. Complete Cyclic Proof Systems for Inductive Entailments arXiv:1707.02415
  • M. Bozga, R. Iosif and F. Konecny. The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops arXiv:1307.5321

Journals

Conferences