Difference between revisions of "Recent publications"
From Numerical Transition Systems
Radu iosif (Talk | contribs) |
Radu iosif (Talk | contribs) |
||
| Line 2: | Line 2: | ||
==== Pending ==== | ==== Pending ==== | ||
| + | |||
| + | * | ||
==== Journals ==== | ==== Journals ==== | ||
| − | + | * 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, Issue 2, (2011) pp 158-192 | |
| − | * M. Bozga, R. Iosif, S. Perarnau. Quantitative Separation Logic and Programs with Lists, Journal of Automated Reasoning, Volume 45 Issue 2 (2010) | + | * M. Bozga, R. Iosif, S. Perarnau. Quantitative Separation Logic and Programs with Lists, Journal of Automated Reasoning, Volume 45 Issue 2 (2010) Pages 131 - 156 |
| − | Pages 131 - 156 | + | |
* P. Habermehl, R. Iosif, T. Vojnar. Automata-based Verification of Programs with Tree Updates, Acta Informatica: Volume 47, Issue 1 (2010), Page 1. | * P. Habermehl, R. Iosif, T. Vojnar. Automata-based Verification of Programs with Tree Updates, Acta Informatica: Volume 47, Issue 1 (2010), Page 1. | ||
* M. Bozga, R. Iosif, Y. Lakhnech. Flat Parametric Counter Automata. Fundamenta Informaticae, Volume 91 (2), 275 - 303, IOS Press (2009) | * M. Bozga, R. Iosif, Y. Lakhnech. Flat Parametric Counter Automata. Fundamenta Informaticae, Volume 91 (2), 275 - 303, IOS Press (2009) | ||
| Line 14: | Line 15: | ||
* R. Iosif, R. Sisto. Temporal Logic Properties of Java Objects. Journal of Systems and Software, Volume 68, Issue 3, 243-251, Elsevier Science Inc (2003). | * R. Iosif, R. Sisto. Temporal Logic Properties of Java Objects. Journal of Systems and Software, Volume 68, Issue 3, 243-251, Elsevier Science Inc (2003). | ||
* C. Demartini, R. Iosif, R. Sisto. A Deadlock Detection Tool For Concurrent Java Programs. Software: Practice & Experience, Volume 29, Issue 7, (June 1999), 577 -- 603. | * C. Demartini, R. Iosif, R. Sisto. A Deadlock Detection Tool For Concurrent Java Programs. Software: Practice & Experience, Volume 29, Issue 7, (June 1999), 577 -- 603. | ||
| − | |||
| − | |||
| − | |||
==== Conferences ==== | ==== Conferences ==== | ||
Revision as of 14:53, 28 April 2013
Pending
*
Journals
- 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, Issue 2, (2011) pp 158-192
- M. Bozga, R. Iosif, S. Perarnau. Quantitative Separation Logic and Programs with Lists, Journal of Automated Reasoning, Volume 45 Issue 2 (2010) Pages 131 - 156
- P. Habermehl, R. Iosif, T. Vojnar. Automata-based Verification of Programs with Tree Updates, Acta Informatica: Volume 47, Issue 1 (2010), Page 1.
- M. Bozga, R. Iosif, Y. Lakhnech. Flat Parametric Counter Automata. Fundamenta Informaticae, Volume 91 (2), 275 - 303, IOS Press (2009)
- R. Iosif. Symmetry Reductions for Model Checking of Concurrent Dynamic Software. Software Tools for Technology Transfer (STTT), Vol. 6, No. 4, 302 - 319, Springer-Verlag (2004).
- R. Iosif, M. Dwyer, J. Hatcliff. Translating Java for Multiple Model Checkers: the Bandera Back End. Formal Methods in System Design (FSMD), Vol. 26, No. 2, Kluwer Academic Publishers (2005).
- R. Iosif, R. Sisto. Temporal Logic Properties of Java Objects. Journal of Systems and Software, Volume 68, Issue 3, 243-251, Elsevier Science Inc (2003).
- C. Demartini, R. Iosif, R. Sisto. A Deadlock Detection Tool For Concurrent Java Programs. Software: Practice & Experience, Volume 29, Issue 7, (June 1999), 577 -- 603.
