Radu Iosif

	2009
26		Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar: Automatic Verification of Integer Array Programs. CAV 2009: 157-172
25		Radu Iosif, Adam Rogalewicz: Automata-Based Termination Proofs. CIAA 2009: 165-177
24		Marius Bozga, Codruta Gîrlea, Radu Iosif: Iterating Octagons. TACAS 2009: 337-351
23		Marius Bozga, Radu Iosif, Yassine Lakhnech: Flat Parametric Counter Automata. Fundam. Inform. 91(2): 275-303 (2009)
	2008
22		Peter Habermehl, Radu Iosif, Tomás Vojnar: What Else Is Decidable about Integer Arrays?. FoSSaCS 2008: 474-489
21		Marius Bozga, Radu Iosif, Swann Perarnau: Quantitative Separation Logic and Programs with Lists. IJCAR 2008: 34-49
20		Peter Habermehl, Radu Iosif, Tomás Vojnar: A Logic of Singly Indexed Arrays. LPAR 2008: 558-573
	2007
19		Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar: Proving Termination of Tree Manipulating Programs. ATVA 2007: 145-161
18		Marius Bozga, Radu Iosif: On Flat Programs with Lists. VMCAI 2007: 122-136
	2006
17		Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar: Programs with Lists Are Counter Automata. CAV 2006: 517-531
16		Marius Bozga, Radu Iosif, Yassine Lakhnech: Flat Parametric Counter Automata. ICALP (2) 2006: 577-588
15		Peter Habermehl, Radu Iosif, Tomás Vojnar: Automata-Based Verification of Programs with Tree Updates. TACAS 2006: 350-364
	2005
14		Marius Bozga, Radu Iosif: On Decidability Within the Arithmetic of Addition and Divisibility. FoSSaCS 2005: 425-439
13		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)
	2004
12		Marius Bozga, Radu Iosif, Yassine Lakhnech: On Logics of Aliasing. SAS 2004: 344-360
11		Radu Iosif: Symmetry reductions for model checking of concurrent dynamic software. STTT 6(4): 302-319 (2004)
	2003
10		Marius Bozga, Radu Iosif, Yassine Lakhnech: Storeless semantics and alias logic. PEPM 2003: 55-65
9		Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif: Space-Reduction Strategies for Model Checking Dynamic Software. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
8		Radu Iosif, Riccardo Sisto: Temporal logic properties of Java objects. Journal of Systems and Software 68(3): 243-251 (2003)
	2002
7		Radu Iosif: Symmetry Reduction Criteria for Software Model Checking. SPIN 2002: 22-41
	2001
6		Radu Iosif: Exploiting Heap Symmetries in Explicit-State Model Checking of Software. ASE 2001: 254-261
5		Radu Iosif, Riccardo Sisto: Temporal Logic Properties of Java Objects. SEKE 2001: 120-127
	2000
4		Radu Iosif: Formal verification applied to Java concurrent software. ICSE 2000: 707-709
3		Radu Iosif, Riccardo Sisto: Using Garbage Collection in Model Checking. SPIN 2000: 20-33
	1999
2		Claudio Demartini, Radu Iosif, Riccardo Sisto: dSPIN: A Dynamic Extension of SPIN. SPIN 1999: 261-276
1		Claudio Demartini, Radu Iosif, Riccardo Sisto: A Deadlock Detection Tool for Concurrent Java Programs. Softw., Pract. Exper. 29(7): 577-603 (1999)

Coauthor Index

1	Ahmed Bouajjani	[17]
2	Marius Bozga	[10] [12] [14] [16] [17] [18] [21] [23] [24] [26]
3	Claudio Demartini	[1] [2]
4	Matthew B. Dwyer	[9] [13]
5	Codruta Gîrlea	[24]
6	Peter Habermehl	[15] [17] [19] [20] [22] [26]
7	John Hatcliff	[9] [13]
8	Filip Konecný	[26]
9	Yassine Lakhnech	[10] [12] [16] [23]
10	Pierre Moro	[17]
11	Swann Perarnau	[21]
12	Robby	[9]
13	Adam Rogalewicz	[19] [25]
14	Riccardo Sisto	[1] [2] [3] [5] [8]
15	Tomás Vojnar	[15] [17] [19] [20] [22] [26]

Colors in the list of coauthors