Difference between revisions of "Recent publications"
From Numerical Transition Systems
Radu iosif (Talk | contribs) |
Radu iosif (Talk | contribs) |
||
| Line 35: | Line 35: | ||
* A. Bouajjani, M. Bozga, P. Habermehl, R. Iosif, P. Moro, T. Vojnar. [[Media:Cav06.pdf|Programs with Lists Are Counter Automata]] CAV 2006, pp 517-531 | * A. Bouajjani, M. Bozga, P. Habermehl, R. Iosif, P. Moro, T. Vojnar. [[Media:Cav06.pdf|Programs with Lists Are Counter Automata]] CAV 2006, pp 517-531 | ||
* M. Bozga, R. Iosif, Y. Lakhnech. [[Media:Icalp06.pdf|Flat Parametric Counter Automata]] ICALP 2006, pp 577-588 | * M. Bozga, R. Iosif, Y. Lakhnech. [[Media:Icalp06.pdf|Flat Parametric Counter Automata]] ICALP 2006, pp 577-588 | ||
| − | * P. Habermehl, R. Iosif, T. Vojnar. Automata-Based Verification of Programs with Tree Updates | + | * P. Habermehl, R. Iosif, T. Vojnar. [[Media:Tacas06.pdf|Automata-Based Verification of Programs with Tree Updates]] TACAS 2006, pp 350-364 |
| − | * M. Bozga, R. Iosif. On Decidability Within the Arithmetic of Addition and Divisibility | + | * M. Bozga, R. Iosif. [[Media:Tacas06.pdf|On Decidability Within the Arithmetic of Addition and Divisibility]] FoSSaCS 2005, pp 425-439 |
* M. Bozga, R. Iosif, Y. Lakhnech. On Logics of Aliasing. SAS 2004, pp 344-360 | * M. Bozga, R. Iosif, Y. Lakhnech. On Logics of Aliasing. SAS 2004, pp 344-360 | ||
* M. Bozga, R. Iosif, Y. Lakhnech. Storeless semantics and alias logic. PEPM 2003, pp 55-65 | * M. Bozga, R. Iosif, Y. Lakhnech. Storeless semantics and alias logic. PEPM 2003, pp 55-65 | ||
* R. Iosif. Symmetry Reduction Criteria for Software Model Checking. SPIN 2002, pp 22-41 | * R. Iosif. Symmetry Reduction Criteria for Software Model Checking. SPIN 2002, pp 22-41 | ||
* R. Iosif. Exploiting Heap Symmetries in Explicit-State Model Checking of Software. ASE 2001, pp 254-261 | * R. Iosif. Exploiting Heap Symmetries in Explicit-State Model Checking of Software. ASE 2001, pp 254-261 | ||
Revision as of 19:21, 28 April 2013
Pending
- M. Bozga, R. Iosif and F. Konecny. Deciding Conditional Termination, arXiv:1302.2762 [cs.LO]
Journals
- 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, Vol. 38(2) (2011) pp 158-192
- M. Bozga, R. Iosif, S. Perarnau. Quantitative Separation Logic and Programs with Lists Journal of Automated Reasoning, Vol. 45(2) (2010) pp 131-156
- P. Habermehl, R. Iosif, T. Vojnar. Automata-based Verification of Programs with Tree Updates Acta Informatica: Vol. 47(1) (2010) pp 1-31
- M. Bozga, R. Iosif, Y. Lakhnech. Flat Parametric Counter Automata Fundamenta Informaticae, Vol. 91(2) (2009) pp 275 - 303
- R. Iosif. Symmetry Reductions for Model Checking of Concurrent Dynamic Software Software Tools for Technology Transfer, Vol. 6(4), pp 302 - 319
- R. Iosif, M. Dwyer, J. Hatcliff. Translating Java for Multiple Model Checkers: the Bandera Back End Formal Methods in System Design, Vol. 26(2) (2005), pp 137-180
- R. Iosif, R. Sisto. Temporal Logic Properties of Java Objects Journal of Systems and Software, Vol. 68(3) (2003) pp 243-251
- C. Demartini, R. Iosif, R. Sisto. A Deadlock Detection Tool For Concurrent Java Programs. Software: Practice & Experience, Vol. 29(7) (1999), pp 577-603
Conferences
- R. Iosif, A. Rogalewicz, J. Simacek. The Tree Width of Separation Logic with Recursive Definitions CADE 2013 (to appear) Best Paper Award
- 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
- M. Bozga, R. Iosif, F. Konecny. Deciding Conditional Termination TACAS 2012, pp 252-266
- M. Bozga, R. Iosif, F. Konecny. Fast Acceleration of Ultimately Periodic Relations CAV 2010, pp 227-242
- M. Bozga, P. Habermehl, R. Iosif, F. Konecny, T. Vojnar. Automatic Verification of Integer Array Programs CAV 2009, pp 157-172
- M. Bozga, C. Gîrlea, R. Iosif. Iterating Octagons TACAS 2009, pp 337-351
- R. Iosif, A. Rogalewicz. Automata-Based Termination Proofs CIAA 2009, pp 165-177
- M. Bozga, R. Iosif, S. Perarnau. Quantitative Separation Logic and Programs with Lists IJCAR 2008, pp 34-49
- P. Habermehl, R. Iosif, T. Vojnar. What Else Is Decidable about Integer Arrays? FoSSaCS 2008, pp 474-489
- P. Habermehl, R. Iosif, T. Vojnar. A Logic of Singly Indexed Arrays LPAR 2008, pp 558-573
- P. Habermehl, R. Iosif, A. Rogalewicz, T. Vojnar. Proving Termination of Tree Manipulating Programs ATVA 2007, pp 145-161
- M. Bozga, R. Iosif. On Flat Programs with Lists VMCAI 2007, pp 122-136
- A. Bouajjani, M. Bozga, P. Habermehl, R. Iosif, P. Moro, T. Vojnar. Programs with Lists Are Counter Automata CAV 2006, pp 517-531
- M. Bozga, R. Iosif, Y. Lakhnech. Flat Parametric Counter Automata ICALP 2006, pp 577-588
- P. Habermehl, R. Iosif, T. Vojnar. Automata-Based Verification of Programs with Tree Updates TACAS 2006, pp 350-364
- M. Bozga, R. Iosif. On Decidability Within the Arithmetic of Addition and Divisibility FoSSaCS 2005, pp 425-439
- M. Bozga, R. Iosif, Y. Lakhnech. On Logics of Aliasing. SAS 2004, pp 344-360
- M. Bozga, R. Iosif, Y. Lakhnech. Storeless semantics and alias logic. PEPM 2003, pp 55-65
- R. Iosif. Symmetry Reduction Criteria for Software Model Checking. SPIN 2002, pp 22-41
- R. Iosif. Exploiting Heap Symmetries in Explicit-State Model Checking of Software. ASE 2001, pp 254-261
