Radu Iosif

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 55

Top Venues

Publications

Mark Chimes, Radu Iosif, Florian Zuleger
Tree-Verifiable Graph Grammars. CoRR (2024)
Mark Chimes, Radu Iosif, Florian Zuleger
Tree-Verifiable Graph Grammars. LPAR (2024)
Lucas Bueri, Radu Iosif, Florian Zuleger
Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations. CoRR (2024)
Marius Bozga, Radu Iosif, Joseph Sifakis
Verification of component-based systems with recursive architectures. Theor. Comput. Sci. 940 (Part) (2023)
Radu Iosif, Florian Zuleger
Expressiveness Results for an Inductive Logic of Separated Relations. CoRR (2023)
Radu Iosif, Florian Zuleger
Characterizations of Definable Context-Free Graphs. CoRR (2023)
Marius Bozga, Lucas Bueri, Radu Iosif, Florian Zuleger
The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations. CoRR (2023)
Radu Iosif, Florian Zuleger
Expressiveness Results for an Inductive Logic of Separated Relations. CONCUR (2023)
Marius Bozga, Lucas Bueri, Radu Iosif
On an Invariance Problem for Parameterized Concurrent Systems. CONCUR (2022)
Marius Bozga, Lucas Bueri, Radu Iosif
On an Invariance Problem for Parameterized Concurrent Systems. CoRR (2022)
Marius Bozga, Lucas Bueri, Radu Iosif
Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems. IJCAR (2022)
Radu Iosif, Florian Zuleger
On the Expressiveness of a Logic of Separated Relations. CoRR (2022)
Marius Bozga, Lucas Bueri, Radu Iosif
Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems. CoRR (2022)
Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen
Reasoning about distributed reconfigurable systems. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Mnacho Echenim, Radu Iosif, Nicolas Peltier
Entailment is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive Rules. Inf. Process. Lett. 173 (2022)
Marius Bozga, Radu Iosif
Specification and Safety Verification of Parametric Hierarchical Distributed Systems. FACS (2021)
Mnacho Echenim, Radu Iosif, Nicolas Peltier
Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Establishment. CSL (2021)
Mnacho Echenim, Radu Iosif, Nicolas Peltier
Unifying Decidable Entailments in Separation Logic with Inductive Definitions. CADE (2021)
Marius Bozga, Radu Iosif, Joseph Sifakis
Verification of Component-based Systems with Recursive Architectures. CoRR (2021)
Marius Bozga, Radu Iosif, Joseph Sifakis
Checking deadlock-freedom of parametric component-based systems. J. Log. Algebraic Methods Program. 119 (2021)
Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen
Local Reasoning about Parameterized Reconfigurable Distributed Systems. CoRR (2021)
Mnacho Echenim, Radu Iosif, Nicolas Peltier
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard. CoRR (2020)
Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel
Structural Invariants for the Verification of Systems with Parameterized Architectures. TACAS (1) (2020)
Mnacho Echenim, Radu Iosif, Nicolas Peltier
Checking Entailment Between Separation Logic Symbolic Heaps: Beyond Connected and Established Systems. CoRR (2020)
Mnacho Echenim, Radu Iosif, Nicolas Peltier
Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Established Systems. CoRR (2020)
Mnacho Echenim, Radu Iosif, Nicolas Peltier
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard. LPAR (2020)
Marius Bozga, Radu Iosif
Verifying Safety Properties of Inductively Defined Parameterized Systems. CoRR (2020)
Mnacho Echenim, Radu Iosif, Nicolas Peltier
The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates. ACM Trans. Comput. Log. 21 (3) (2020)
Lukás Holík, Radu Iosif, Adam Rogalewicz, Tomás Vojnar
Abstraction refinement and antichains for trace inclusion of infinite state systems. Formal Methods Syst. Des. 55 (3) (2020)
Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel
Structural Invariants for the Verification of Systems with Parameterized Architectures. CoRR (2020)
Mnacho Echenim, Radu Iosif, Nicolas Peltier
Prenex Separation Logic with One Selector Field. TABLEAUX (2019)
Marius Bozga, Radu Iosif, Joseph Sifakis
Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures. CoRR (2019)
Mnacho Echenim, Radu Iosif, Nicolas Peltier
The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains. FoSSaCS (2019)
Radu Iosif, Xiao Xu
Alternating Automata Modulo First Order Theories. CAV (2) (2019)
Marius Bozga, Radu Iosif, Joseph Sifakis
Checking Deadlock-Freedom of Parametric Component-Based Systems. TACAS (2) (2019)
Marius Bozga, Radu Iosif, Joseph Sifakis
Local Reasoning about Parametric and Reconfigurable Component-based Systems. CoRR (2019)
Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) (2019)
Cristina Serban, Radu Iosif
An Entailment Checker for Separation Logic with Inductive Definitions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)
Mnacho Echenim, Radu Iosif, Nicolas Peltier
On the Expressive Completeness of Bernays-Schönfinkel-Ramsey Separation Logic. CoRR (2018)
Mnacho Echenim, Radu Iosif, Nicolas Peltier
The Complexity of Prenex Separation Logic with One Selector. CoRR (2018)
Marius Bozga, Radu Iosif, Joseph Sifakis
Checking Deadlock-Freedom of Parametric Component-Based Systems. CoRR (2018)
Radu Iosif, Xiao Xu
Abstraction Refinement for Emptiness Checking of Alternating Data Automata. TACAS (2) (2018)
Radu Iosif, Xiao Xu
First Order Alternation. CoRR (2018)
Radu Iosif, Cristina Serban
A Complete Cyclic Proof System for Inductive Entailments in First Order Logic. LPAR (2018)
Radu Iosif
Program Verification with Separation Logic. SPIN (2018)
Radu Iosif, Xiao Xu
The Impact of Alternation. CoRR (2017)
Andrew Reynolds, Radu Iosif, Cristina Serban
Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic. VMCAI (2017)
Radu Iosif, Cristina Serban
Complete Cyclic Proof Systems for Inductive Entailments. CoRR (2017)
Pierre Ganty, Radu Iosif, Filip Konecný
Underapproximation of procedure summaries for integer programs. Int. J. Softw. Tools Technol. Transf. 19 (5) (2017)
Andrew Reynolds, Radu Iosif, Cristina Serban
Reasoning in the Bernays-Schoenfinkel-Ramsey Fragment of Separation Logic. CoRR (2016)
Radu Iosif, Adam Rogalewicz, Tomás Vojnar
Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. TACAS (2016)
Radu Iosif, Arnaud Sangnier
How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property? ATVA (2016)
Andrew Reynolds, Radu Iosif, Cristina Serban, Tim King
A Decision Procedure for Separation Logic in SMT. ATVA (2016)
Andrew Reynolds, Radu Iosif, Tim King
A Decision Procedure for Separation Logic in SMT. CoRR (2016)
Radu Iosif, Arnaud Sangnier
How hard is it to verify flat affine counter systems with the finite monoid property ? CoRR (2016)
Pierre Ganty, Radu Iosif
Interprocedural Reachability for Flat Integer Programs. FCT (2015)
Marius Bozga, Radu Iosif, Filip Konecný
Deciding Conditional Termination Log. Methods Comput. Sci. 10 (3) (2014)
Radu Iosif, Adam Rogalewicz, Tomás Vojnar
Deciding Entailments in Inductive Separation Logic with Tree Automata. ATVA (2014)
Marius Bozga, Radu Iosif, Filip Konecný
Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops. VMCAI (2014)
Pierre Ganty, Radu Iosif
Generating Bounded Languages Using Bounded Control Sets. CoRR (2014)
Radu Iosif, Adam Rogalewicz, Tomás Vojnar
Abstraction Refinement for Trace Inclusion of Data Automata. CoRR (2014)
Radu Iosif, Adam Rogalewicz, Tomás Vojnar
Deciding Entailments in Inductive Separation Logic with Tree Automata. CoRR (2014)
Radu Iosif, Adam Rogalewicz, Jirí Simácek
The Tree Width of Separation Logic with Recursive Definitions CoRR (2013)
Radu Iosif, Adam Rogalewicz
Automata-Based Termination Proofs. Comput. Informatics 32 (4) (2013)
Radu Iosif, Adam Rogalewicz, Jirí Simácek
The Tree Width of Separation Logic with Recursive Definitions. CADE (2013)
Marius Bozga, Radu Iosif, Filip Konecný
Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops. CoRR (2013)
Pierre Ganty, Radu Iosif, Filip Konecný
Underapproximation of Procedure Summaries for Integer Programs. TACAS (2013)
Marius Bozga, Radu Iosif, Filip Konecný
Deciding Conditional Termination. TACAS (2012)
Hossein Hojjat, Radu Iosif, Filip Konecný, Viktor Kuncak, Philipp Rümmer
Accelerating Interpolants. ATVA (2012)
Pierre Ganty, Radu Iosif, Filip Konecný
Underapproximation of Procedure Summaries for Integer Programs CoRR (2012)
Hossein Hojjat, Filip Konecný, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rümmer
A Verification Toolkit for Numerical Transition Systems - Tool Paper. FM (2012)
Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar
Programs with lists are counter automata. Formal Methods Syst. Des. 38 (2) (2011)
Marius Bozga, Radu Iosif, Filip Konecný, Tomás Vojnar
Tool Demonstration of the FLATA Counter Automata Toolset. WING@ETAPS/IJCAR (2010)
Peter Habermehl, Radu Iosif, Tomás Vojnar
Automata-based verification of programs with tree updates. Acta Informatica 47 (1) (2010)
Marius Bozga, Radu Iosif, Swann Perarnau
Quantitative Separation Logic and Programs with Lists. J. Autom. Reason. 45 (2) (2010)
Marius Bozga, Radu Iosif, Filip Konecný
Fast Acceleration of Ultimately Periodic Relations. CAV (2010)
Radu Iosif, Adam Rogalewicz
Automata-Based Termination Proofs. CIAA (2009)
Marius Bozga, Codruta Gîrlea, Radu Iosif
Iterating Octagons. TACAS (2009)
Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar
Automatic Verification of Integer Array Programs. CAV (2009)
Marius Bozga, Radu Iosif, Yassine Lakhnech
Flat Parametric Counter Automata. Fundam. Informaticae 91 (2) (2009)
Marius Bozga, Radu Iosif, Swann Perarnau
Quantitative Separation Logic and Programs with Lists. IJCAR (2008)
Peter Habermehl, Radu Iosif, Tomás Vojnar
A Logic of Singly Indexed Arrays. LPAR (2008)
Peter Habermehl, Radu Iosif, Tomás Vojnar
What Else Is Decidable about Integer Arrays?. FoSSaCS (2008)
Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar
Proving Termination of Tree Manipulating Programs. ATVA (2007)
Marius Bozga, Radu Iosif
On Flat Programs with Lists. VMCAI (2007)
Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar
Programs with Lists Are Counter Automata. CAV (2006)
Marius Bozga, Radu Iosif, Yassine Lakhnech
Flat Parametric Counter Automata. ICALP (2) (2006)
Peter Habermehl, Radu Iosif, Tomás Vojnar
Automata-Based Verification of Programs with Tree Updates. TACAS (2006)
Marius Bozga, Radu Iosif
On Decidability Within the Arithmetic of Addition and Divisibility. FoSSaCS (2005)
Radu Iosif, Matthew B. Dwyer, John Hatcliff
Translating Java for Multiple Model Checkers: The Bandera Back-End. Formal Methods Syst. Des. 26 (2) (2005)
Radu Iosif
Symmetry reductions for model checking of concurrent dynamic software. Int. J. Softw. Tools Technol. Transf. 6 (4) (2004)
Marius Bozga, Radu Iosif, Yassine Lakhnech
On Logics of Aliasing. SAS (2004)
Marius Bozga, Radu Iosif, Yassine Lakhnech
Storeless semantics and alias logic. PEPM (2003)
Radu Iosif, Riccardo Sisto
Temporal logic properties of Java objects. J. Syst. Softw. 68 (3) (2003)
Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif
Space-Reduction Strategies for Model Checking Dynamic Software. Electron. Notes Theor. Comput. Sci. 89 (3) (2003)
Radu Iosif
Symmetry Reduction Criteria for Software Model Checking. SPIN (2002)
Radu Iosif
Exploiting Heap Symmetries in Explicit-State Model Checking of Software. ASE (2001)
Radu Iosif, Riccardo Sisto
Temporal Logic Properties of Java Objects. SEKE (2001)
Radu Iosif, Riccardo Sisto
Using Garbage Collection in Model Checking. SPIN (2000)
Radu Iosif
Formal verification applied to Java concurrent software. ICSE (2000)

Radu Iosif.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Radu Iosif