Difference between revisions of "Recent publications"

From Numerical Transition Systems
Jump to: navigation, search
Line 21: Line 21:
 
==== Conferences ====
 
==== Conferences ====
  
* R. Iosif, A. Sangnier. [[Media:Atva2016-1|How hard is it to verify flat affine counter systems with the finite monoid property ?]] ATVA 2016, to appear
+
* R. Iosif, A. Sangnier. [[Media:Atva2016-1.pdf|How hard is it to verify flat affine counter systems with the finite monoid property ?]] ATVA 2016, to appear
 
* A. Reynolds, R. Iosif and T. King. A Decision Procedure for Separation Logic in SMT. ATVA 2016, to appear
 
* A. Reynolds, R. Iosif and T. King. A Decision Procedure for Separation Logic in SMT. ATVA 2016, to appear
 
* R. Iosif, A. Rogalewicz and T. Vojnar. [http://arxiv.org/pdf/1410.5056.pdf Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems] TACAS 2016, to appear.
 
* R. Iosif, A. Rogalewicz and T. Vojnar. [http://arxiv.org/pdf/1410.5056.pdf Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems] TACAS 2016, to appear.

Revision as of 10:51, 11 July 2016

Newspapers-stacked.jpg

Pending

  • M. Bozga, R. Iosif and F. Konecny. The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops arXiv:1307.5321

Journals

Conferences