Difference between revisions of "Recent publications"

From Numerical Transition Systems
Jump to: navigation, search
Line 8: Line 8:
  
 
* R. Iosif and A. Rogalewicz. Automata-based termination proofs, Computing and Informatics, No. 4 (2013) (to appear)
 
* R. Iosif and A. Rogalewicz. Automata-based termination proofs, Computing and Informatics, No. 4 (2013) (to appear)
* A. Bouajjani, M. Bozga, P. Habermehl, R. Iosif, P. Moro and T. Vojnar. Programs with Lists are Counter Automata, Formal Methods in System Design, Volume 38, Issue 2, (2011) pp 158-192  
+
* A. Bouajjani, M. Bozga, P. Habermehl, R. Iosif, P. Moro and T. Vojnar. Programs with Lists are Counter Automata, Formal Methods in System Design, Volume 38, Issue 2, (2011) Pages 158-192  
 
* M. Bozga, R. Iosif, S. Perarnau. Quantitative Separation Logic and Programs with Lists,  Journal of Automated Reasoning, Volume 45 Issue 2 (2010) Pages 131 - 156
 
* M. Bozga, R. Iosif, S. Perarnau. Quantitative Separation Logic and Programs with Lists,  Journal of Automated Reasoning, Volume 45 Issue 2 (2010) Pages 131 - 156
 
* P. Habermehl, R. Iosif, T. Vojnar. Automata-based Verification of Programs with Tree Updates, Acta Informatica: Volume 47, Issue 1 (2010), Page 1.
 
* P. Habermehl, R. Iosif, T. Vojnar. Automata-based Verification of Programs with Tree Updates, Acta Informatica: Volume 47, Issue 1 (2010), Page 1.
Line 18: Line 18:
  
 
==== Conferences ====
 
==== Conferences ====
 +
 +
* R. Iosif, A. Rogalewicz, J. Simácek. The Tree Width of Separation Logic with Recursive Definitions. CADE 2013 (to appear)
 +
* P. Ganty, R. Iosif, F. Konecny. Underapproximation of Procedure Summaries for Integer Programs. TACAS 2013, pp 245-259
 +
* H. Hojjat, R. Iosif, F. Konecny, V. Kuncak, P. Ruemmer. Accelerating Interpolants. ATVA 2012, pp 187-202
 +
* H. Hojjat, F. Konecny, F. Garnier, R. Iosif, V. Kuncak, P. Ruemmer. A Verification Toolkit for Numerical Transition Systems - Tool Paper. FM 2012, pp 247-251

Revision as of 15:07, 28 April 2013

Newspapers-stacked.jpg

Pending

  • M. Bozga, R. Iosif and F. Konecny. Deciding Conditional Termination, arXiv:1302.2762 [cs.LO]

Journals

  • R. Iosif and A. Rogalewicz. Automata-based termination proofs, Computing and Informatics, No. 4 (2013) (to appear)
  • A. Bouajjani, M. Bozga, P. Habermehl, R. Iosif, P. Moro and T. Vojnar. Programs with Lists are Counter Automata, Formal Methods in System Design, Volume 38, Issue 2, (2011) Pages 158-192
  • M. Bozga, R. Iosif, S. Perarnau. Quantitative Separation Logic and Programs with Lists, Journal of Automated Reasoning, Volume 45 Issue 2 (2010) Pages 131 - 156
  • P. Habermehl, R. Iosif, T. Vojnar. Automata-based Verification of Programs with Tree Updates, Acta Informatica: Volume 47, Issue 1 (2010), Page 1.
  • M. Bozga, R. Iosif, Y. Lakhnech. Flat Parametric Counter Automata. Fundamenta Informaticae, Volume 91 (2), 275 - 303, IOS Press (2009)
  • R. Iosif. Symmetry Reductions for Model Checking of Concurrent Dynamic Software. Software Tools for Technology Transfer (STTT), Vol. 6, No. 4, 302 - 319, Springer-Verlag (2004).
  • R. Iosif, M. Dwyer, J. Hatcliff. Translating Java for Multiple Model Checkers: the Bandera Back End. Formal Methods in System Design (FSMD), Vol. 26, No. 2, Kluwer Academic Publishers (2005).
  • R. Iosif, R. Sisto. Temporal Logic Properties of Java Objects. Journal of Systems and Software, Volume 68, Issue 3, 243-251, Elsevier Science Inc (2003).
  • C. Demartini, R. Iosif, R. Sisto. A Deadlock Detection Tool For Concurrent Java Programs. Software: Practice & Experience, Volume 29, Issue 7, (June 1999), 577 -- 603.

Conferences

  • R. Iosif, A. Rogalewicz, J. Simácek. The Tree Width of Separation Logic with Recursive Definitions. CADE 2013 (to appear)
  • P. Ganty, R. Iosif, F. Konecny. Underapproximation of Procedure Summaries for Integer Programs. TACAS 2013, pp 245-259
  • H. Hojjat, R. Iosif, F. Konecny, V. Kuncak, P. Ruemmer. Accelerating Interpolants. ATVA 2012, pp 187-202
  • H. Hojjat, F. Konecny, F. Garnier, R. Iosif, V. Kuncak, P. Ruemmer. A Verification Toolkit for Numerical Transition Systems - Tool Paper. FM 2012, pp 247-251