Difference between revisions of "Recent publications"

From Numerical Transition Systems
Jump to: navigation, search
Line 3: Line 3:
 
==== Pending ====
 
==== Pending ====
  
 +
* R. Iosif. Decidable Horn Systems with Difference Constraints Arithmetic [http://arxiv.org/abs/1503.00258 arXiv:1503.00258]
 
* R. Iosif, A. Rogalewicz and T. Vojnar. Abstraction Refinement for Trace Inclusion of Data Automata [http://arxiv.org/abs/1410.5056 arXiv:1410.5056]
 
* R. Iosif, A. Rogalewicz and T. Vojnar. Abstraction Refinement for Trace Inclusion of Data Automata [http://arxiv.org/abs/1410.5056 arXiv:1410.5056]
 
* P. Ganty, R. Iosif and F. Konecny. Underapproximation of Procedure Summaries for Integer Programs [http://arxiv.org/abs/1210.4289 arXiv:1210.4289]
 
* P. Ganty, R. Iosif and F. Konecny. Underapproximation of Procedure Summaries for Integer Programs [http://arxiv.org/abs/1210.4289 arXiv:1210.4289]

Revision as of 06:34, 3 March 2015

Newspapers-stacked.jpg

Pending

  • R. Iosif. Decidable Horn Systems with Difference Constraints Arithmetic arXiv:1503.00258
  • 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