Difference between revisions of "Recent publications"

From Numerical Transition Systems
Jump to: navigation, search
Line 22: Line 22:
 
==== Conferences ====
 
==== Conferences ====
  
* R. Iosif, A. Rogalewicz and T. Vojnar. [[Media:Atva14.pdf|Deciding Entailments in Inductive Separation Logic with Tree Automata]] ATVA 2014, to appear
+
* R. Iosif, A. Rogalewicz and T. Vojnar. [[Media:Atva14.pdf|Deciding Entailments in Inductive Separation Logic with Tree Automata]] ATVA 2014, pp 201-218
 
* M. Bozga, R. Iosif and F. Konecny.  [http://arxiv.org/abs/1307.5321 Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops] VMCAI 2014 pp 242-261   
 
* M. Bozga, R. Iosif and F. Konecny.  [http://arxiv.org/abs/1307.5321 Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops] VMCAI 2014 pp 242-261   
 
* R. Iosif, A. Rogalewicz, J. Simacek. [[Media:Cade13.pdf|The Tree Width of Separation Logic with Recursive Definitions]] CADE 2013, pp 21-38 ('''Best Paper Award''')
 
* R. Iosif, A. Rogalewicz, J. Simacek. [[Media:Cade13.pdf|The Tree Width of Separation Logic with Recursive Definitions]] CADE 2013, pp 21-38 ('''Best Paper Award''')

Revision as of 15:23, 1 March 2015

Newspapers-stacked.jpg

Pending

  • R. Iosif, A. Rogalewicz and T. Vojnar. Abstraction Refinement for Trace Inclusion of Data Automata arXiv:1410.5056
  • P. Ganty, R. Iosif and F. Konecny. Underapproximation of Procedure Summaries for Integer Programs arXiv:1210.4289
  • P. Ganty, R. Iosif. Generating Bounded Languages Using Bounded Control Sets arXiv:1405.3069

Journals

Conferences