Difference between revisions of "Recent publications"

Revision as of 15:12, 28 April 2013

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

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.

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 (view source) Radu iosif (Talk \| contribs) ← Older edit		Revision as of 15:12, 28 April 2013 (view source) Radu iosif (Talk \| contribs) Newer edit →
Line 1:		Line 1:
−	[[File:Newspapers-stacked.jpg\|right]]	+	[[File:Newspapers-stacked.jpg\|right\|top]]

	==== Pending ====		==== Pending ====