Radu Iosif

Pierre Ganty, Radu Iosif, Filip Konecný: Underapproximation of Procedure Summaries for Integer Programs. TACAS 2013: 245-259

Radu Iosif, Adam Rogalewicz, Jirí Simácek: The Tree Width of Separation Logic with Recursive Definitions. CoRR abs/1301.5139 (2013)

Marius Bozga, Radu Iosif, Filip Konecný: Deciding Conditional Termination. CoRR abs/1302.2762 (2013)

Hossein Hojjat, Radu Iosif, Filip Konecný, Viktor Kuncak, Philipp Rümmer: Accelerating Interpolants. ATVA 2012: 187-202

Hossein Hojjat, Filip Konecný, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rümmer: A Verification Toolkit for Numerical Transition Systems - Tool Paper. FM 2012: 247-251

Marius Bozga, Radu Iosif, Filip Konecný: Deciding Conditional Termination. TACAS 2012: 252-266

Pierre Ganty, Radu Iosif, Filip Konecný: Underapproximation of Procedure Summaries for Integer Programs. CoRR abs/1210.4289 (2012)

Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar: Programs with lists are counter automata. Formal Methods in System Design 38(2): 158-192 (2011)

Peter Habermehl, Radu Iosif, Tomás Vojnar: Automata-based verification of programs with tree updates. Acta Inf. 47(1): 1-31 (2010)

Marius Bozga, Radu Iosif, Swann Perarnau: Quantitative Separation Logic and Programs with Lists. J. Autom. Reasoning 45(2): 131-156 (2010)

Marius Bozga, Radu Iosif, Filip Konecný: Fast Acceleration of Ultimately Periodic Relations. CAV 2010: 227-242

Marius Bozga, Radu Iosif, Yassine Lakhnech: Flat Parametric Counter Automata. Fundam. Inform. 91(2): 275-303 (2009)

Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar: Automatic Verification of Integer Array Programs. CAV 2009: 157-172

Marius Bozga, Codruta Gîrlea, Radu Iosif: Iterating Octagons. TACAS 2009: 337-351

Radu Iosif, Adam Rogalewicz: Automata-Based Termination Proofs. CIAA 2009: 165-177

Marius Bozga, Radu Iosif, Swann Perarnau: Quantitative Separation Logic and Programs with Lists. IJCAR 2008: 34-49

Peter Habermehl, Radu Iosif, Tomás Vojnar: What Else Is Decidable about Integer Arrays?. FoSSaCS 2008: 474-489

Peter Habermehl, Radu Iosif, Tomás Vojnar: A Logic of Singly Indexed Arrays. LPAR 2008: 558-573

Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar: Proving Termination of Tree Manipulating Programs. ATVA 2007: 145-161

Marius Bozga, Radu Iosif: On Flat Programs with Lists. VMCAI 2007: 122-136

Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar: Programs with Lists Are Counter Automata. CAV 2006: 517-531

Marius Bozga, Radu Iosif, Yassine Lakhnech: Flat Parametric Counter Automata. ICALP (2) 2006: 577-588

Peter Habermehl, Radu Iosif, Tomás Vojnar: Automata-Based Verification of Programs with Tree Updates. TACAS 2006: 350-364

Radu Iosif, Matthew B. Dwyer, John Hatcliff: Translating Java for Multiple Model Checkers: The Bandera Back-End. Formal Methods in System Design 26(2): 137-180 (2005)

Marius Bozga, Radu Iosif: On Decidability Within the Arithmetic of Addition and Divisibility. FoSSaCS 2005: 425-439

Radu Iosif: Symmetry reductions for model checking of concurrent dynamic software. STTT 6(4): 302-319 (2004)

Marius Bozga, Radu Iosif, Yassine Lakhnech: On Logics of Aliasing. SAS 2004: 344-360

Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif: Space-Reduction Strategies for Model Checking Dynamic Software. Electr. Notes Theor. Comput. Sci. 89(3): 499-517 (2003)

Radu Iosif, Riccardo Sisto: Temporal logic properties of Java objects. Journal of Systems and Software 68(3): 243-251 (2003)

Marius Bozga, Radu Iosif, Yassine Lakhnech: Storeless semantics and alias logic. PEPM 2003: 55-65

Radu Iosif: Symmetry Reduction Criteria for Software Model Checking. SPIN 2002: 22-41

Radu Iosif: Exploiting Heap Symmetries in Explicit-State Model Checking of Software. ASE 2001: 254-261

Radu Iosif, Riccardo Sisto: Temporal Logic Properties of Java Objects. SEKE 2001: 120-127

Radu Iosif: Formal verification applied to Java concurrent software. ICSE 2000: 707-709

Radu Iosif, Riccardo Sisto: Using Garbage Collection in Model Checking. SPIN 2000: 20-33

Claudio Demartini, Radu Iosif, Riccardo Sisto: A Deadlock Detection Tool for Concurrent Java Programs. Softw., Pract. Exper. 29(7): 577-603 (1999)

Claudio Demartini, Radu Iosif, Riccardo Sisto: dSPIN: A Dynamic Extension of SPIN. SPIN 1999: 261-276