×

zbMATH — the first resource for mathematics

Iosif, Radu

Compute Distance To:
Author ID: iosif.radu Recent zbMATH articles by "Iosif, Radu"
Published as: Iosif, Radu
Documents Indexed: 42 Publications since 2000

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 124 times in 76 Documents Cited by Year
Programs with lists are counter automata. Zbl 1188.68181
Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš
19
2006
The tree width of separation logic with recursive definitions. Zbl 1329.03068
Iosif, Radu; Rogalewicz, Adam; Simacek, Jiri
14
2013
Flat parametric counter automata. Zbl 1134.68028
Bozga, Marius; Iosif, Radu; Lakhnech, Yassine
9
2006
Iterating octagons. Zbl 1234.68200
Bozga, Marius; Gîrlea, Codruţa; Iosif, Radu
8
2009
Deciding entailments in inductive separation logic with tree automata. Zbl 1448.68266
Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš
7
2014
What else is decidable about integer arrays? Zbl 1139.03007
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
7
2008
A logic of singly indexed arrays. Zbl 1182.03032
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
5
2008
Programs with lists are counter automata. Zbl 1217.68059
Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš
4
2011
Quantitative separation logic and programs with lists. Zbl 1207.03038
Bozga, Marius; Iosif, Radu; Perarnau, Swann
4
2010
Automatic verification of integer array programs. Zbl 1242.68063
Bozga, Marius; Habermehl, Peter; Iosif, Radu; Konečný, Filip; Vojnar, Tomáš
4
2009
Flat parametric counter automata. Zbl 1189.03046
Bozga, Marius; Iosif, Radu; Lakhnech, Yassine
4
2009
On logics of aliasing. Zbl 1104.68016
Bozga, Marius; Iosif, Radu; Lakhnech, Yassine
4
2004
Safety problems are NP-complete for flat integer programs with octagonal loops. Zbl 1428.68160
Bozga, Marius; Iosif, Radu; Konečný, Filip
3
2014
Accelerating interpolants. Zbl 1374.68291
Hojjat, Hossein; Iosif, Radu; Konečný, Filip; Kuncak, Viktor; Rümmer, Philipp
3
2012
Proving termination of tree manipulating programs. Zbl 1141.68469
Habermehl, Peter; Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš
3
2007
On decidability within the arithmetic of addition and divisibility. Zbl 1119.03060
Bozga, Marius; Iosif, Radu
3
2005
Deciding conditional termination. Zbl 1338.68047
Bozga, Marius; Iosif, Radu; Konečný, Filip
2
2014
Automata-based termination proofs. Zbl 1413.68021
Iosif, Radu; Rogalewicz, Adam
2
2013
Quantitative separation logic and programs with lists. Zbl 1165.03329
Bozga, Marius; Iosif, Radu; Perarnau, Swann
2
2008
On flat programs with lists. Zbl 1132.68334
Bozga, Marius; Iosif, Radu
2
2007
Space-reduction strategies for model checking dynamic software. Zbl 1271.68097
Robby; Dwyer, Matthew B.; Hatcliff, John; Iosif, Radu
2
2003
Symmetry reduction criteria for software model checking. Zbl 1077.68686
Iosif, Radu
2
2002
Abstraction refinement for emptiness checking of alternating data automata. Zbl 1423.68255
Iosif, Radu; Xu, Xiao
1
2018
Reasoning in the Bernays-Schönfinkel-Ramsey fragment of separation logic. Zbl 06687371
Reynolds, Andrew; Iosif, Radu; Serban, Cristina
1
2017
Abstraction refinement and antichains for trace inclusion of infinite state systems. Zbl 1420.68107
Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš
1
2016
A decision procedure for separation logic in SMT. Zbl 1398.68486
Reynolds, Andrew; Iosif, Radu; Serban, Cristina; King, Tim
1
2016
How hard is it to verify flat affine counter systems with the finite monoid property? Zbl 1398.68311
Iosif, Radu; Sangnier, Arnaud
1
2016
Interprocedural reachability for flat integer programs. Zbl 1434.68107
Ganty, Pierre; Iosif, Radu
1
2015
Deciding conditional termination. Zbl 1338.68046
Bozga, Marius; Iosif, Radu; Konečný, Filip
1
2012
Fast acceleration of ultimately periodic relations. Zbl 1427.68113
Bozga, Marius; Iosif, Radu; Konečný, Filip
1
2010
Automata-based verification of programs with tree updates. Zbl 1185.68414
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
1
2010
Automata-based termination proofs. Zbl 1248.68148
Iosif, Radu; Rogalewicz, Adam
1
2009
Using garbage collection in model checking. Zbl 0976.68574
Iosif, Radu; Sisto, Riccardo
1
2000
Abstraction refinement for emptiness checking of alternating data automata. Zbl 1423.68255
Iosif, Radu; Xu, Xiao
1
2018
Reasoning in the Bernays-Schönfinkel-Ramsey fragment of separation logic. Zbl 06687371
Reynolds, Andrew; Iosif, Radu; Serban, Cristina
1
2017
Abstraction refinement and antichains for trace inclusion of infinite state systems. Zbl 1420.68107
Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš
1
2016
A decision procedure for separation logic in SMT. Zbl 1398.68486
Reynolds, Andrew; Iosif, Radu; Serban, Cristina; King, Tim
1
2016
How hard is it to verify flat affine counter systems with the finite monoid property? Zbl 1398.68311
Iosif, Radu; Sangnier, Arnaud
1
2016
Interprocedural reachability for flat integer programs. Zbl 1434.68107
Ganty, Pierre; Iosif, Radu
1
2015
Deciding entailments in inductive separation logic with tree automata. Zbl 1448.68266
Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš
7
2014
Safety problems are NP-complete for flat integer programs with octagonal loops. Zbl 1428.68160
Bozga, Marius; Iosif, Radu; Konečný, Filip
3
2014
Deciding conditional termination. Zbl 1338.68047
Bozga, Marius; Iosif, Radu; Konečný, Filip
2
2014
The tree width of separation logic with recursive definitions. Zbl 1329.03068
Iosif, Radu; Rogalewicz, Adam; Simacek, Jiri
14
2013
Automata-based termination proofs. Zbl 1413.68021
Iosif, Radu; Rogalewicz, Adam
2
2013
Accelerating interpolants. Zbl 1374.68291
Hojjat, Hossein; Iosif, Radu; Konečný, Filip; Kuncak, Viktor; Rümmer, Philipp
3
2012
Deciding conditional termination. Zbl 1338.68046
Bozga, Marius; Iosif, Radu; Konečný, Filip
1
2012
Programs with lists are counter automata. Zbl 1217.68059
Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš
4
2011
Quantitative separation logic and programs with lists. Zbl 1207.03038
Bozga, Marius; Iosif, Radu; Perarnau, Swann
4
2010
Fast acceleration of ultimately periodic relations. Zbl 1427.68113
Bozga, Marius; Iosif, Radu; Konečný, Filip
1
2010
Automata-based verification of programs with tree updates. Zbl 1185.68414
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
1
2010
Iterating octagons. Zbl 1234.68200
Bozga, Marius; Gîrlea, Codruţa; Iosif, Radu
8
2009
Automatic verification of integer array programs. Zbl 1242.68063
Bozga, Marius; Habermehl, Peter; Iosif, Radu; Konečný, Filip; Vojnar, Tomáš
4
2009
Flat parametric counter automata. Zbl 1189.03046
Bozga, Marius; Iosif, Radu; Lakhnech, Yassine
4
2009
Automata-based termination proofs. Zbl 1248.68148
Iosif, Radu; Rogalewicz, Adam
1
2009
What else is decidable about integer arrays? Zbl 1139.03007
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
7
2008
A logic of singly indexed arrays. Zbl 1182.03032
Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš
5
2008
Quantitative separation logic and programs with lists. Zbl 1165.03329
Bozga, Marius; Iosif, Radu; Perarnau, Swann
2
2008
Proving termination of tree manipulating programs. Zbl 1141.68469
Habermehl, Peter; Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš
3
2007
On flat programs with lists. Zbl 1132.68334
Bozga, Marius; Iosif, Radu
2
2007
Programs with lists are counter automata. Zbl 1188.68181
Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš
19
2006
Flat parametric counter automata. Zbl 1134.68028
Bozga, Marius; Iosif, Radu; Lakhnech, Yassine
9
2006
On decidability within the arithmetic of addition and divisibility. Zbl 1119.03060
Bozga, Marius; Iosif, Radu
3
2005
On logics of aliasing. Zbl 1104.68016
Bozga, Marius; Iosif, Radu; Lakhnech, Yassine
4
2004
Space-reduction strategies for model checking dynamic software. Zbl 1271.68097
Robby; Dwyer, Matthew B.; Hatcliff, John; Iosif, Radu
2
2003
Symmetry reduction criteria for software model checking. Zbl 1077.68686
Iosif, Radu
2
2002
Using garbage collection in model checking. Zbl 0976.68574
Iosif, Radu; Sisto, Riccardo
1
2000
all top 5

Cited by 173 Authors

11 Demri, Stéphane P.
8 Iosif, Radu
8 Vojnar, Tomáš
6 Finkel, Alain
6 Holík, Lukáš
5 Lengál, Ondřej
4 Bouajjani, Ahmed
4 Rogalewicz, Adam
3 Bozga, Marius
3 Brochenin, Rémi
3 Deters, Morgan
3 Enea, Constantin
3 Lozes, Etienne
3 Sighireanu, Mihaela
2 Alberti, Francesco
2 Bielecki, Włodzimierz
2 Bjørner, Nikolaj S.
2 Bozzelli, Laura
2 Brockschmidt, Marc
2 Chambart, Pierre
2 Chen, Taolue
2 Chin, Wei-Ngan
2 Dhar, Amit Kumar
2 Dragoi, Cezara
2 Dwyer, Matthew B.
2 Fiedor, Tomáš
2 Ghilardi, Silvio
2 Habermehl, Peter
2 Hatcliff, John
2 Jansen, Christina
2 Klimek, Tomasz
2 Kraska, Krzysztof
2 Kuncak, Viktor
2 Noll, Thomas
2 Pinchinat, Sophie
2 Sangnier, Arnaud
2 Schmitz, Sylvain
2 Sharygina, Natasha
2 Wu, Zhilin
1 Abdulla, Parosh Aziz
1 Alechina, Natasha
1 Alur, Rajeev
1 Aschermann, Cornelius
1 Babić, Domagoj
1 Bacci, Giovanni
1 Balaban, Ittai
1 Bansal, Kshitij
1 Beckert, Bernhard
1 Beckschulze, Eva
1 Borralleras, Cristina
1 Bouchy, Florent
1 Bouyer, Patricia
1 Brauer, Jörg
1 Brotherston, James
1 Bulling, Nils
1 Cao, Yongzhi
1 Černý, Pavol
1 Cook, Byron
1 Dang, Zhe
1 Encrenaz, Emmanuelle
1 Fahrenberg, Uli
1 Frohn, Florian
1 Fuhs, Carsten
1 Furia, Carlo Alberto
1 Galmiche, Didier
1 Ganty, Pierre
1 Gascon, Régis
1 Giesl, Jürgen
1 Gîrlea, Codruţa
1 Goranko, Valentin F.
1 Gorogiannis, Nikos
1 Gu, Ming
1 Gu, Xincai
1 Guo, Heng
1 Gurfinkel, Arie
1 Haase, Christoph
1 He, Fei
1 Heinen, Jonathan
1 Hensel, Jera
1 Hruška, Martin
1 Hu, Alan J.
1 Ibarra, Oscar H.
1 Igarashi, Atsushi
1 Imanishi, Akifumi
1 Jaghoori, Mohammad Mahdi
1 Janků, Petr
1 Jonsson, Bengt
1 Katelaan, Jens
1 Katoen, Joost-Pieter
1 Khamespanah, Ehsan
1 Khoo, Siau-Cheng
1 Khoussainov, Bakhadyr M.
1 Klebanov, Vladimir
1 Kojima, Kensuke
1 Kowalewski, Stefan
1 Kreutzer, Stephan
1 Kröning, Daniel
1 Larchey-Wendling, Dominique
1 Larraz, Daniel
1 Larsen, Kim Guldstrand
...and 73 more Authors

Citations by Year