The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Radu Iosif: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002