Radu Iosif

2009
23	EE	Marius Bozga, Codruta Gîrlea, Radu Iosif: Iterating Octagons. TACAS 2009: 337-351
2008
22	EE	Peter Habermehl, Radu Iosif, Tomás Vojnar: What Else Is Decidable about Integer Arrays?. FoSSaCS 2008: 474-489
21	EE	Marius Bozga, Radu Iosif, Swann Perarnau: Quantitative Separation Logic and Programs with Lists. IJCAR 2008: 34-49
20	EE	Peter Habermehl, Radu Iosif, Tomás Vojnar: A Logic of Singly Indexed Arrays. LPAR 2008: 558-573
2007
19	EE	Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar: Proving Termination of Tree Manipulating Programs. ATVA 2007: 145-161
18	EE	Marius Bozga, Radu Iosif: On Flat Programs with Lists. VMCAI 2007: 122-136
2006
17	EE	Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar: Programs with Lists Are Counter Automata. CAV 2006: 517-531
16	EE	Marius Bozga, Radu Iosif, Yassine Lakhnech: Flat Parametric Counter Automata. ICALP (2) 2006: 577-588
15	EE	Peter Habermehl, Radu Iosif, Tomás Vojnar: Automata-Based Verification of Programs with Tree Updates. TACAS 2006: 350-364
2005
14	EE	Marius Bozga, Radu Iosif: On Decidability Within the Arithmetic of Addition and Divisibility. FoSSaCS 2005: 425-439
13	EE	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	EE	Marius Bozga, Radu Iosif, Yassine Lakhnech: On Logics of Aliasing. SAS 2004: 344-360
11	EE	Radu Iosif: Symmetry reductions for model checking of concurrent dynamic software. STTT 6(4): 302-319 (2004)
2003
10	EE	Marius Bozga, Radu Iosif, Yassine Lakhnech: Storeless semantics and alias logic. PEPM 2003: 55-65
9	EE	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	EE	Radu Iosif, Riccardo Sisto: Temporal logic properties of Java objects. Journal of Systems and Software 68(3): 243-251 (2003)
2002
7	EE	Radu Iosif: Symmetry Reduction Criteria for Software Model Checking. SPIN 2002: 22-41
2001
6	EE	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	EE	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	EE	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]
3	Claudio Demartini	[1] [2]
4	Matthew B. Dwyer	[9] [13]
5	Codruta Gîrlea	[23]
6	Peter Habermehl	[15] [17] [19] [20] [22]
7	John Hatcliff	[9] [13]
8	Yassine Lakhnech	[10] [12] [16]
9	Pierre Moro	[17]
10	Swann Perarnau	[21]
11	Robby	[9]
12	Adam Rogalewicz	[19]
13	Riccardo Sisto	[1] [2] [3] [5] [8]
14	Tomás Vojnar	[15] [17] [19] [20] [22]

Colors in the list of coauthors