Edit Profile (opens in new tab) Iosif, Radu Compute Distance To: Compute Author ID: iosif.radu Published as: Iosif, Radu Documents Indexed: 45 Publications since 2000 Co-Authors: 29 Co-Authors with 44 Joint Publications 520 Co-Co-Authors all top 5 Co-Authors 1 single-authored 17 Bozga, Marius 11 Vojnar, Tomáš 8 Habermehl, Peter 7 Konečný, Filip 7 Rogalewicz, Adam 5 Echenim, Mnacho 5 Peltier, Nicolas 3 Lakhnech, Yassine 3 Serban, Cristina 2 Bouajjani, Ahmed 2 Dwyer, Matthew B. 2 Ganty, Pierre 2 Hatcliff, John 2 Moro, Pierre 2 Perarnau, Swann 2 Reynolds, Andrew 1 Bueri, Lucas 1 Gîrlea, Codruţa 1 Hojjat, Hossein 1 Holík, Lukáš 1 King, Tim 1 Kuncak, Viktor 1 Robby, Matthew 1 Rümmer, Philipp 1 Sangnier, Arnaud 1 Sifakis, Joseph 1 Šimáček, Jiří 1 Sisto, Riccardo 1 Xu, Xiao all top 5 Serials 3 Formal Methods in System Design 1 Acta Informatica 1 Information Processing Letters 1 Journal of Automated Reasoning 1 Fundamenta Informaticae 1 Computing and Informatics 1 ACM Transactions on Computational Logic 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming Fields 40 Computer science (68-XX) 19 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) 1 Number theory (11-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 39 Publications have been cited 186 times in 109 Documents Cited by ▼ Year ▼ The tree width of separation logic with recursive definitions. Zbl 1329.03068Iosif, Radu; Rogalewicz, Adam; Simacek, Jiri 22 2013 Programs with lists are counter automata. Zbl 1188.68181Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš 19 2006 Flat parametric counter automata. Zbl 1134.68028Bozga, Marius; Iosif, Radu; Lakhnech, Yassine 12 2006 Deciding entailments in inductive separation logic with tree automata. Zbl 1448.68266Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš 12 2014 Iterating octagons. Zbl 1234.68200Bozga, Marius; Gîrlea, Codruţa; Iosif, Radu 11 2009 What else is decidable about integer arrays? Zbl 1139.03007Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš 9 2008 Programs with lists are counter automata. Zbl 1217.68059Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš 7 2011 Flat parametric counter automata. Zbl 1189.03046Bozga, Marius; Iosif, Radu; Lakhnech, Yassine 6 2009 Fast acceleration of ultimately periodic relations. Zbl 1427.68113Bozga, Marius; Iosif, Radu; Konečný, Filip 5 2010 Quantitative separation logic and programs with lists. Zbl 1207.03038Bozga, Marius; Iosif, Radu; Perarnau, Swann 5 2010 Safety problems are NP-complete for flat integer programs with octagonal loops. Zbl 1428.68160Bozga, Marius; Iosif, Radu; Konečný, Filip 5 2014 A logic of singly indexed arrays. Zbl 1182.03032Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš 5 2008 How hard is it to verify flat affine counter systems with the finite monoid property? Zbl 1398.68311Iosif, Radu; Sangnier, Arnaud 5 2016 Accelerating interpolants. Zbl 1374.68291Hojjat, Hossein; Iosif, Radu; Konečný, Filip; Kuncak, Viktor; Rümmer, Philipp 5 2012 Reasoning in the Bernays-Schönfinkel-Ramsey fragment of separation logic. Zbl 1484.68104Reynolds, Andrew; Iosif, Radu; Serban, Cristina 5 2017 Unifying decidable entailments in separation logic with inductive definitions. Zbl 07437079Echenim, Mnacho; Iosif, Radu; Peltier, Nicolas 4 2021 The Bernays-Schönfinkel-Ramsey class of separation logic on arbitrary domains. Zbl 07158701Echenim, Mnacho; Iosif, Radu; Peltier, Nicolas 4 2019 Automatic verification of integer array programs. Zbl 1242.68063Bozga, Marius; Habermehl, Peter; Iosif, Radu; Konečný, Filip; Vojnar, Tomáš 4 2009 On decidability within the arithmetic of addition and divisibility. Zbl 1119.03060Bozga, Marius; Iosif, Radu 4 2005 On logics of aliasing. Zbl 1104.68016Bozga, Marius; Iosif, Radu; Lakhnech, Yassine 4 2004 Proving termination of tree manipulating programs. Zbl 1141.68469Habermehl, Peter; Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš 3 2007 A decision procedure for separation logic in SMT. Zbl 1398.68486Reynolds, Andrew; Iosif, Radu; Serban, Cristina; King, Tim 3 2016 Symmetry reduction criteria for software model checking. Zbl 1077.68686Iosif, Radu 3 2002 Checking deadlock-freedom of parametric component-based systems. Zbl 1455.68102Bozga, Marius; Iosif, Radu; Sifakis, Joseph 2 2021 The Bernays-Schönfinkel-Ramsey class of separation logic with uninterpreted predicates. Zbl 1446.03064Echenim, Mnacho; Iosif, Radu; Peltier, Nicolas 2 2020 Quantitative separation logic and programs with lists. Zbl 1165.03329Bozga, Marius; Iosif, Radu; Perarnau, Swann 2 2008 Space-reduction strategies for model checking dynamic software. Zbl 1271.68097Robby; Dwyer, Matthew B.; Hatcliff, John; Iosif, Radu 2 2003 Deciding conditional termination. Zbl 1338.68047Bozga, Marius; Iosif, Radu; Konečný, Filip 2 2014 On flat programs with lists. Zbl 1132.68334Bozga, Marius; Iosif, Radu 2 2007 Automata-based termination proofs. Zbl 1413.68021Iosif, Radu; Rogalewicz, Adam 2 2013 Underapproximation of procedure summaries for integer programs. Zbl 1381.68052Ganty, Pierre; Iosif, Radu; Konečný, Filip 2 2013 Automata-based verification of programs with tree updates. Zbl 1185.68414Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš 1 2010 Automata-based termination proofs. Zbl 1248.68148Iosif, Radu; Rogalewicz, Adam 1 2009 Abstraction refinement for emptiness checking of alternating data automata. Zbl 1423.68255Iosif, Radu; Xu, Xiao 1 2018 Abstraction refinement and antichains for trace inclusion of infinite state systems. Zbl 1420.68107Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš 1 2016 Entailment is undecidable for symbolic heap separation logic formulæ with non-established inductive rules. Zbl 07411507Echenim, Mnacho; Iosif, Radu; Peltier, Nicolas 1 2022 Deciding conditional termination. Zbl 1338.68046Bozga, Marius; Iosif, Radu; Konečný, Filip 1 2012 Using garbage collection in model checking. Zbl 0976.68574Iosif, Radu; Sisto, Riccardo 1 2000 Interprocedural reachability for flat integer programs. Zbl 1434.68107Ganty, Pierre; Iosif, Radu 1 2015 Entailment is undecidable for symbolic heap separation logic formulæ with non-established inductive rules. Zbl 07411507Echenim, Mnacho; Iosif, Radu; Peltier, Nicolas 1 2022 Unifying decidable entailments in separation logic with inductive definitions. Zbl 07437079Echenim, Mnacho; Iosif, Radu; Peltier, Nicolas 4 2021 Checking deadlock-freedom of parametric component-based systems. Zbl 1455.68102Bozga, Marius; Iosif, Radu; Sifakis, Joseph 2 2021 The Bernays-Schönfinkel-Ramsey class of separation logic with uninterpreted predicates. Zbl 1446.03064Echenim, Mnacho; Iosif, Radu; Peltier, Nicolas 2 2020 The Bernays-Schönfinkel-Ramsey class of separation logic on arbitrary domains. Zbl 07158701Echenim, Mnacho; Iosif, Radu; Peltier, Nicolas 4 2019 Abstraction refinement for emptiness checking of alternating data automata. Zbl 1423.68255Iosif, Radu; Xu, Xiao 1 2018 Reasoning in the Bernays-Schönfinkel-Ramsey fragment of separation logic. Zbl 1484.68104Reynolds, Andrew; Iosif, Radu; Serban, Cristina 5 2017 How hard is it to verify flat affine counter systems with the finite monoid property? Zbl 1398.68311Iosif, Radu; Sangnier, Arnaud 5 2016 A decision procedure for separation logic in SMT. Zbl 1398.68486Reynolds, Andrew; Iosif, Radu; Serban, Cristina; King, Tim 3 2016 Abstraction refinement and antichains for trace inclusion of infinite state systems. Zbl 1420.68107Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš 1 2016 Interprocedural reachability for flat integer programs. Zbl 1434.68107Ganty, Pierre; Iosif, Radu 1 2015 Deciding entailments in inductive separation logic with tree automata. Zbl 1448.68266Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš 12 2014 Safety problems are NP-complete for flat integer programs with octagonal loops. Zbl 1428.68160Bozga, Marius; Iosif, Radu; Konečný, Filip 5 2014 Deciding conditional termination. Zbl 1338.68047Bozga, Marius; Iosif, Radu; Konečný, Filip 2 2014 The tree width of separation logic with recursive definitions. Zbl 1329.03068Iosif, Radu; Rogalewicz, Adam; Simacek, Jiri 22 2013 Automata-based termination proofs. Zbl 1413.68021Iosif, Radu; Rogalewicz, Adam 2 2013 Underapproximation of procedure summaries for integer programs. Zbl 1381.68052Ganty, Pierre; Iosif, Radu; Konečný, Filip 2 2013 Accelerating interpolants. Zbl 1374.68291Hojjat, Hossein; Iosif, Radu; Konečný, Filip; Kuncak, Viktor; Rümmer, Philipp 5 2012 Deciding conditional termination. Zbl 1338.68046Bozga, Marius; Iosif, Radu; Konečný, Filip 1 2012 Programs with lists are counter automata. Zbl 1217.68059Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš 7 2011 Fast acceleration of ultimately periodic relations. Zbl 1427.68113Bozga, Marius; Iosif, Radu; Konečný, Filip 5 2010 Quantitative separation logic and programs with lists. Zbl 1207.03038Bozga, Marius; Iosif, Radu; Perarnau, Swann 5 2010 Automata-based verification of programs with tree updates. Zbl 1185.68414Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš 1 2010 Iterating octagons. Zbl 1234.68200Bozga, Marius; Gîrlea, Codruţa; Iosif, Radu 11 2009 Flat parametric counter automata. Zbl 1189.03046Bozga, Marius; Iosif, Radu; Lakhnech, Yassine 6 2009 Automatic verification of integer array programs. Zbl 1242.68063Bozga, Marius; Habermehl, Peter; Iosif, Radu; Konečný, Filip; Vojnar, Tomáš 4 2009 Automata-based termination proofs. Zbl 1248.68148Iosif, Radu; Rogalewicz, Adam 1 2009 What else is decidable about integer arrays? Zbl 1139.03007Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš 9 2008 A logic of singly indexed arrays. Zbl 1182.03032Habermehl, Peter; Iosif, Radu; Vojnar, Tomáš 5 2008 Quantitative separation logic and programs with lists. Zbl 1165.03329Bozga, Marius; Iosif, Radu; Perarnau, Swann 2 2008 Proving termination of tree manipulating programs. Zbl 1141.68469Habermehl, Peter; Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš 3 2007 On flat programs with lists. Zbl 1132.68334Bozga, Marius; Iosif, Radu 2 2007 Programs with lists are counter automata. Zbl 1188.68181Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš 19 2006 Flat parametric counter automata. Zbl 1134.68028Bozga, Marius; Iosif, Radu; Lakhnech, Yassine 12 2006 On decidability within the arithmetic of addition and divisibility. Zbl 1119.03060Bozga, Marius; Iosif, Radu 4 2005 On logics of aliasing. Zbl 1104.68016Bozga, Marius; Iosif, Radu; Lakhnech, Yassine 4 2004 Space-reduction strategies for model checking dynamic software. Zbl 1271.68097Robby; Dwyer, Matthew B.; Hatcliff, John; Iosif, Radu 2 2003 Symmetry reduction criteria for software model checking. Zbl 1077.68686Iosif, Radu 3 2002 Using garbage collection in model checking. Zbl 0976.68574Iosif, Radu; Sisto, Riccardo 1 2000 all cited Publications top 5 cited Publications all top 5 Cited by 210 Authors 13 Demri, Stéphane P. 11 Iosif, Radu 8 Vojnar, Tomáš 7 Finkel, Alain 6 Holík, Lukáš 5 Lengál, Ondřej 4 Blondin, Michael 4 Bouajjani, Ahmed 4 Bozga, Marius 4 Lozes, Etienne 4 Rogalewicz, Adam 4 Zuleger, Florian 3 Brochenin, Rémi 3 Deters, Morgan 3 Enea, Constantin 3 Ganty, Pierre 3 Haase, Christoph 3 Kuncak, Viktor 3 Mazowiecki, Filip 3 Sighireanu, Mihaela 2 Alberti, Francesco 2 Bacci, Giovanni 2 Bielecki, Włodzimierz 2 Bjørner, Nikolaj S. 2 Bouyer, Patricia 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 Echenim, Mnacho 2 Fahrenberg, Uli 2 Fiedor, Tomáš 2 Frohn, Florian 2 Ghilardi, Silvio 2 Giesl, Jürgen 2 Habermehl, Peter 2 Hatcliff, John 2 Jansen, Christina 2 Kimura, Daisuke 2 Klimek, Tomasz 2 Kraska, Krzysztof 2 Larsen, Kim Guldstrand 2 Le, Quang Loc 2 Leroux, Jérôme 2 Majumdar, Rupak 2 Mansutti, Alessio 2 Markey, Nicolas 2 Matheja, Christoph 2 Noll, Thomas 2 Ouaknine, Joel O. 2 Pagel, Jens 2 Peltier, Nicolas 2 Pinchinat, Sophie 2 Praveen, M. 2 Raskin, Mikhail 2 Reynier, Pierre-Alain 2 Sangnier, Arnaud 2 Schmitz, Sylvain 2 Sharygina, Natasha 2 Tatsuta, Makoto 2 Weissenbacher, Georg 2 Worrell, James B. 2 Wu, Zhilin 1 Abdulla, Parosh Aziz 1 Alechina, Natasha 1 Alur, Rajeev 1 Aschermann, Cornelius 1 Babić, Domagoj 1 Balaban, Ittai 1 Bansal, Kshitij 1 Beckert, Bernhard 1 Beckschulze, Eva 1 Borralleras, Cristina 1 Bouchy, Florent 1 Brauer, Jörg 1 Brotherston, James 1 Bueri, Lucas 1 Bulling, Nils 1 Cao, Yongzhi 1 Černý, Pavol 1 Chakraborty, Supratik 1 Chalupa, Marek 1 Cook, Byron 1 Cyphert, John 1 Dang, Zhe 1 Encrenaz, Emmanuelle 1 Felli, Paolo 1 Fuhs, Carsten 1 Furia, Carlo Alberto 1 Gallagher, John P. 1 Galmiche, Didier 1 Gascon, Régis 1 Gîrlea, Codruţa 1 Goranko, Valentin F. 1 Gorogiannis, Nikos 1 Grädel, Erich ...and 110 more Authors all top 5 Cited in 17 Serials 9 Formal Methods in System Design 8 Theoretical Computer Science 7 Journal of Automated Reasoning 7 Logical Methods in Computer Science 4 Acta Informatica 4 Formal Aspects of Computing 4 ACM Transactions on Computational Logic 3 Information Processing Letters 2 Annals of Pure and Applied Logic 2 Information and Computation 2 Journal of Applied Non-Classical Logics 2 Theory of Computing Systems 1 Journal of Computer and System Sciences 1 Journal of Combinatorial Optimization 1 The Journal of Logic and Algebraic Programming 1 Mathematics in Computer Science 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 6 Fields 104 Computer science (68-XX) 58 Mathematical logic and foundations (03-XX) 2 Systems theory; control (93-XX) 1 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Numerical analysis (65-XX) Citations by Year