Difference between revisions of "Recent publications"
From Numerical Transition Systems
Radu iosif (Talk | contribs) |
Radu iosif (Talk | contribs) |
||
| Line 8: | Line 8: | ||
* R. Iosif and A. Rogalewicz. Automata-based termination proofs, Computing and Informatics, No. 4 (2013) (to appear) | * 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, Volume 38 | + | * A. Bouajjani, M. Bozga, P. Habermehl, R. Iosif, P. Moro and T. Vojnar. Programs with Lists are Counter Automata, Formal Methods in System Design, Volume 38(2) (2011) pp 158-192 |
| − | * M. Bozga, R. Iosif, S. Perarnau. Quantitative Separation Logic and Programs with Lists, Journal of Automated Reasoning, Volume 45 | + | * M. Bozga, R. Iosif, S. Perarnau. Quantitative Separation Logic and Programs with Lists, Journal of Automated Reasoning, Volume 45(2) (2010) pp 131-156 |
| − | * P. Habermehl, R. Iosif, T. Vojnar. Automata-based Verification of Programs with Tree Updates, Acta Informatica: Volume 47 | + | * P. Habermehl, R. Iosif, T. Vojnar. Automata-based Verification of Programs with Tree Updates, Acta Informatica: Volume 47(1) (2010) pp 1-31 |
| − | * M. Bozga, R. Iosif, Y. Lakhnech. Flat Parametric Counter Automata. Fundamenta Informaticae, Volume 91 (2) | + | * M. Bozga, R. Iosif, Y. Lakhnech. Flat Parametric Counter Automata. Fundamenta Informaticae, Volume 91(2) (2009) pp 275 - 303 |
| − | * R. Iosif. Symmetry Reductions for Model Checking of Concurrent Dynamic Software. Software Tools for Technology Transfer | + | * R. Iosif. Symmetry Reductions for Model Checking of Concurrent Dynamic Software. Software Tools for Technology Transfer, Volume 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 | + | * R. Iosif, M. Dwyer, J. Hatcliff. Translating Java for Multiple Model Checkers: the Bandera Back End. Formal Methods in System Design, Volume 26(2) (2005), pp 137-180 |
| − | * R. Iosif, R. Sisto. Temporal Logic Properties of Java Objects. Journal of Systems and Software, Volume 68 | + | * R. Iosif, R. Sisto. Temporal Logic Properties of Java Objects. Journal of Systems and Software, Volume 68(3) (2003) pp 243-251 |
| − | * C. Demartini, R. Iosif, R. Sisto. A Deadlock Detection Tool For Concurrent Java Programs. Software: Practice & Experience, Volume 29 | + | * C. Demartini, R. Iosif, R. Sisto. A Deadlock Detection Tool For Concurrent Java Programs. Software: Practice & Experience, Volume 29(7) (1999), pp 577-603 |
==== Conferences ==== | ==== Conferences ==== | ||
Revision as of 16:19, 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, Volume 38(2) (2011) pp 158-192
- M. Bozga, R. Iosif, S. Perarnau. Quantitative Separation Logic and Programs with Lists, Journal of Automated Reasoning, Volume 45(2) (2010) pp 131-156
- P. Habermehl, R. Iosif, T. Vojnar. Automata-based Verification of Programs with Tree Updates, Acta Informatica: Volume 47(1) (2010) pp 1-31
- M. Bozga, R. Iosif, Y. Lakhnech. Flat Parametric Counter Automata. Fundamenta Informaticae, Volume 91(2) (2009) pp 275 - 303
- R. Iosif. Symmetry Reductions for Model Checking of Concurrent Dynamic Software. Software Tools for Technology Transfer, Volume 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, Volume 26(2) (2005), pp 137-180
- R. Iosif, R. Sisto. Temporal Logic Properties of Java Objects. Journal of Systems and Software, Volume 68(3) (2003) pp 243-251
- C. Demartini, R. Iosif, R. Sisto. A Deadlock Detection Tool For Concurrent Java Programs. Software: Practice & Experience, Volume 29(7) (1999), pp 577-603
Conferences
- R. Iosif, A. Rogalewicz, J. Simácek. The Tree Width of Separation Logic with Recursive Definitions. CADE 2013 (to appear)
- 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
