Pending
publication/rejectionPapers
by Radu Iosif
Pending
publication/rejection
Journals
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
(by year)
2010
2009
R. Iosif, A. Rogalewicz. Automata-based Termination Proofs. CIAA'09
M. Bozga, C. Girlea, R. Iosif. Iterating Octagons. TACAS'09
M. Bozga, P. Habermehl, R. Iosif, F. Konecny, T. Vojnar. Automatic Verification of Integer Array Programs. CAV'09
2008
P. Habermehl, R. Iosif, T. Vojnar. A Logic of Singly Indexed Arrays. LPAR'08
M. Bozga, R. Iosif, S. Perarnau. Quantitative Separation Logic and Programs with Lists. IJCAR'08
P. Habermehl, R. Iosif, T. Vojnar. What Else is Decidable About Integer Arrays? FOSSACS'08
2007
M. Bozga, R. Iosif, V. Sfyrla. An Efficient Algorithm for the Computation of Optimum Paths in Weighted Graphs. MEMICS'07
P. Habermehl, R. Iosif, A. Rogalewicz, T. Vojnar. Proving Termination of Tree Manipulating Programs. ATVA'07
M. Bozga, R. Iosif. On Flat Programs with Lists. VMCAI'07
2006
M. Bozga, R. Iosif and Y. Lakhnech. Flat Parametric Counter Automata. ICALP'06, extended version in Fundamenta Informatica 91 (2), 275 - 303.
A. Bouajjani, M. Bozga, P. Habermehl, R. Iosif, P. Moro and T. Vojnar. Programs with Lists are Counter Automata. CAV'06
P. Habermehl, R. Iosif and T. Vojnar. Automata-based Verification of Programs with Tree Updates. TACAS'06
2005
M. Bozga and R. Iosif. Quantitative Verification of Programs with Lists. VISSAS'05
M. Bozga and R. Iosif. On Decidability within the Arithmetic of Addition and Divisibility. FOSSACS'05
2004
M. Bozga, R. Iosif and Y. Lakhnech. On Logics of Aliasing. SAS'04
M. Bozga, R. Iosif. On Model Checking Generic Topologies. LRPP'04
2003
Robby, M. B. Dwyer, J. Hatcliff, R. Iosif. Space-Reduction Strategies for Model Checking Dynamic Software. SoftMC'03
M. Bozga, R. Iosif and Y. Lakhnech. Storeless Semantics and Alias Logic. PEPM'03
2002 and earlier ...
R. Iosif. Symmetry Reduction Criteria for Software Model Checking. SPIN'02
R. Iosif. Exploiting Heap Symmetries in Explicit-State Model Checking of Software. ASE'01
R. Iosif, R. Sisto.Using Garbage Collection in Model Checking. SPIN'00
C. Demartini, R. Iosif, R. Sisto. dSPIN: A Dynamic Extension of SPIN. SPIN'99
C. Demartini, R. Iosif, R. Sisto.Modeling and Validation of Java Multi-threading Applications using SPIN. SPIN'98