BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Argentina
1 × Austria
1 × Estonia
1 × Hungary
1 × Ireland
2 × Australia
3 × France
3 × Italy
3 × United Kingdom
5 × USA
Collaborated with:
M.Bozga F.Konecný P.Habermehl T.Vojnar Y.Lakhnech A.Rogalewicz R.Sisto X.Xu J.Simácek P.Ganty C.Gîrlea S.Perarnau H.Hojjat F.Garnier V.Kuncak P.Rümmer A.Bouajjani P.Moro
Talks about:
program (7) automata (5) logic (5) verif (4) integ (4) decid (3) list (3) flat (3) softwar (2) octagon (2)

Person: Radu Iosif

DBLP DBLP: Iosif:Radu

Contributed to:

VMCAI 20142014
CADE 20132013
TACAS 20132013
FM 20122012
TACAS 20122012
CAV 20102010
CAV 20092009
CIAA 20092009
TACAS 20092009
FoSSaCS 20082008
IJCAR 20082008
VMCAI 20072007
CAV 20062006
ICALP (2) 20062006
TACAS 20062006
FoSSaCS 20052005
SAS 20042004
PEPM 20032003
ASE 20012001
SEKE 20012001
ICSE 20002000
CAV (2) 20192019

Wrote 22 papers:

VMCAI-2014-BozgaIK #integer #problem #safety #source code
Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops (MB, RI, FK), pp. 242–261.
CADE-2013-IosifRS #logic #recursion
The Tree Width of Separation Logic with Recursive Definitions (RI, AR, JS), pp. 21–38.
TACAS-2013-GantyIK #approximate #integer #source code #summary
Underapproximation of Procedure Summaries for Integer Programs (PG, RI, FK), pp. 245–259.
FM-2012-HojjatKGIKR #tool support #verification
A Verification Toolkit for Numerical Transition Systems — Tool Paper (HH, FK, FG, RI, VK, PR), pp. 247–251.
TACAS-2012-BozgaIK #termination
Deciding Conditional Termination (MB, RI, FK), pp. 252–266.
CAV-2010-BozgaIK #performance
Fast Acceleration of Ultimately Periodic Relations (MB, RI, FK), pp. 227–242.
CAV-2009-BozgaHIKV #array #automation #integer #source code #verification
Automatic Verification of Integer Array Programs (MB, PH, RI, FK, TV), pp. 157–172.
CIAA-2009-IosifR #proving #termination
Automata-Based Termination Proofs (RI, AR), pp. 165–177.
TACAS-2009-BozgaGI
Iterating Octagons (MB, CG, RI), pp. 337–351.
FoSSaCS-2008-HabermehlIV #array #decidability #integer #question #what
What Else Is Decidable about Integer Arrays? (PH, RI, TV), pp. 474–489.
IJCAR-2008-BozgaIP #logic #source code
Quantitative Separation Logic and Programs with Lists (MB, RI, SP), pp. 34–49.
VMCAI-2007-BozgaI #on the #source code
On Flat Programs with Lists (MB, RI), pp. 122–136.
CAV-2006-BouajjaniBHIMV #automaton #source code
Programs with Lists Are Counter Automata (AB, MB, PH, RI, PM, TV), pp. 517–531.
ICALP-v2-2006-BozgaIL #automaton #parametricity
Flat Parametric Counter Automata (MB, RI, YL), pp. 577–588.
TACAS-2006-HabermehlIV #source code #verification
Automata-Based Verification of Programs with Tree Updates (PH, RI, TV), pp. 350–364.
FoSSaCS-2005-BozgaI #decidability #on the
On Decidability Within the Arithmetic of Addition and Divisibility (MB, RI), pp. 425–439.
SAS-2004-BozgaIL #alias #logic #on the
On Logics of Aliasing (MB, RI, YL), pp. 344–360.
PEPM-2003-BozgaIL #alias #logic #semantics
Storeless semantics and alias logic (MB, RI, YL), pp. 55–65.
ASE-2001-Iosif #model checking #symmetry
Exploiting Heap Symmetries in Explicit-State Model Checking of Software (RI), pp. 254–261.
SEKE-2001-IosifS #java #logic
Temporal Logic Properties of Java Objects (RI, RS), pp. 120–127.
ICSE-2000-Iosif #concurrent #java #verification
Formal verification applied to Java concurrent software (RI), pp. 707–709.
CAV-2019-IosifX #automaton #first-order
Alternating Automata Modulo First Order Theories (RI, XX), pp. 43–63.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.