Search the dblp DataBase

Publications of Author

1. Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar
   Programs with Lists Are Counter Automata. [Citation Graph (0, 0)][DBLP]
   CAV, 2006, pp:517-531 [Conf]
   
2. Marius Bozga, Radu Iosif
   On Decidability Within the Arithmetic of Addition and Divisibility. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2005, pp:425-439 [Conf]
   
3. Marius Bozga, Radu Iosif, Yassine Lakhnech
   Flat Parametric Counter Automata. [Citation Graph (0, 0)][DBLP]
   ICALP (2), 2006, pp:577-588 [Conf]
   
4. Radu Iosif
   Formal verification applied to Java concurrent software. [Citation Graph (0, 0)][DBLP]
   ICSE, 2000, pp:707-709 [Conf]
   
5. Radu Iosif
   Exploiting Heap Symmetries in Explicit-State Model Checking of Software. [Citation Graph (0, 0)][DBLP]
   ASE, 2001, pp:254-261 [Conf]
   
6. Marius Bozga, Radu Iosif, Yassine Lakhnech
   Storeless semantics and alias logic. [Citation Graph (0, 0)][DBLP]
   PEPM, 2003, pp:55-65 [Conf]
   
7. Marius Bozga, Radu Iosif, Yassine Lakhnech
   On Logics of Aliasing. [Citation Graph (0, 0)][DBLP]
   SAS, 2004, pp:344-360 [Conf]
   
8. Radu Iosif, Riccardo Sisto
   Temporal Logic Properties of Java Objects. [Citation Graph (0, 0)][DBLP]
   SEKE, 2001, pp:120-127 [Conf]
   
9. Radu Iosif
   Symmetry Reduction Criteria for Software Model Checking. [Citation Graph (0, 0)][DBLP]
   SPIN, 2002, pp:22-41 [Conf]
   
10. Radu Iosif, Riccardo Sisto
    Using Garbage Collection in Model Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:20-33 [Conf]
    
11. Claudio Demartini, Radu Iosif, Riccardo Sisto
    dSPIN: A Dynamic Extension of SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:261-276 [Conf]
    
12. Peter Habermehl, Radu Iosif, Tomás Vojnar
    Automata-Based Verification of Programs with Tree Updates. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:350-364 [Conf]
    
13. Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif
    Space-Reduction Strategies for Model Checking Dynamic Software. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
    
14. Radu Iosif, Matthew B. Dwyer, John Hatcliff
    Translating Java for Multiple Model Checkers: The Bandera Back-End. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:2, pp:137-180 [Journal]
    
15. Radu Iosif, Riccardo Sisto
    Temporal logic properties of Java objects. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2003, v:68, n:3, pp:243-251 [Journal]
    
16. Claudio Demartini, Radu Iosif, Riccardo Sisto
    A Deadlock Detection Tool for Concurrent Java Programs. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1999, v:29, n:7, pp:577-603 [Journal]
    
17. Radu Iosif
    Symmetry reductions for model checking of concurrent dynamic software. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:4, pp:302-319 [Journal]
    
18. Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar
    Proving Termination of Tree Manipulating Programs. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:145-161 [Conf]
    
19. 
    Quantitative Separation Logic and Programs with Lists. [Citation Graph (, )][DBLP]
    
    
20. 
    Automatic Verification of Integer Array Programs. [Citation Graph (, )][DBLP]
    
    
21. 
    Fast Acceleration of Ultimately Periodic Relations. [Citation Graph (, )][DBLP]
    
    
22. 
    What Else Is Decidable about Integer Arrays?. [Citation Graph (, )][DBLP]
    
    
23. 
    A Logic of Singly Indexed Arrays. [Citation Graph (, )][DBLP]
    
    
24. 
    Iterating Octagons. [Citation Graph (, )][DBLP]
    
    
25. 
    On Flat Programs with Lists. [Citation Graph (, )][DBLP]
    
    
26. 
    Automata-Based Termination Proofs. [Citation Graph (, )][DBLP]
    
    
27. 
    Automata-based verification of programs with tree updates. [Citation Graph (, )][DBLP]