Searching for authors named "Radu Iosif" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

A Formal Approach to Practical Software Verification
by Radu Iosif — 2000
…'98), 1998. [IS00] R. Iosif and R. Sisto. Using garbage collection in model checking. Lecture Notes…
Add To MetaCart

Symmetric Model Checking for Object-Based Programs
by Radu Iosif — 2001
…Symmetric Model Checking for Object-Based Programs Radu Iosif Abstract Detecting symmetries…
Cited by 2 (0 self) – Add To MetaCart

On the Specification and Semantics of Source Level Properties in Java
by Radu Iosif, Riccardo Sisto — 2000 — In Proceedings of the First International Workshop on Automated Program Analysis Testing and Verification, June 2000. (Held in conjunction with the 22nd International Conference on Software Engineering
…On the Specification and Semantics of Source Level Properties in Java Radu Iosif Dipartimento di…
Cited by 2 (0 self) – Add To MetaCart

What else is decidable about integer arrays?
by Peter Habermehl, Radu Iosif
…What else is decidable about integer arrays? Peter Habermehl 1 , Radu Iosif 2 , and Tomáˇs Vojnar…
Cited by 1 (0 self) – Add To MetaCart

Using Garbage Collection in Model Checking
by Radu Iosif, Riccardo Sisto — 2000 — In Proc. of the 7th International SPIN Workshop, volume 1885 of LNCS
…Using Garbage Collection in Model Checking Radu Iosif 1 and Riccardo Sisto 1 Dipartimento di…
Cited by 4 (0 self) – Add To MetaCart

Automata and Logic
by Radu Iosif Verimag/cnrs
… Automata and Logic Radu Iosif, VERIMAG/CNRS Contents 1 Set Theoretic Notions 4 1.1 Sets…
Add To MetaCart

Flat Parametric Counter Automata
by Marius Bozga, Radu Iosif, Yassine Lakhnech — 2006 — In Automata, Languages and Programming, 33 rd International Colloquium, ICALP 2006
… Flat Parametric Counter Automata Marius Bozga1, Radu Iosif1, and Yassine Lakhnech1 VERIMAG, 2…
Cited by 4 (1 self) – Add To MetaCart

dSPIN: A Dynamic Extension of SPIN
by Claudio Demartini, Radu Iosif, Riccardo Sisto — 1999 — In Theoretical and Applied Aspects of SPIN Model Checking (LNCS 1680
…dSPIN: A Dynamic Extension of SPIN Claudio Demartini 1 , Radu Iosif 1 , and Riccardo Sisto 1…
Cited by 34 (2 self) – Add To MetaCart

Space-Reduction Strategies for Model Checking Dynamic Software
by Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif — 2003
…. Dwyer a , John Hatcliff a and Radu Iosif b a Department of Computing and Information Sciences, Kansas…
Cited by 19 (5 self) – Add To MetaCart

Programs with Lists are Counter Automata
by Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro — 2006 — In CAV’06, LNCS
… , Radu Iosif 1 , Pierre Moro 2 , and Tomáˇs Vojnar 3 1 VERIMAG, 2 av. de Vignate, F-38610 Gières, e-mail:{iosif…
Cited by 16 (2 self) – Add To MetaCart

Showing 1 through 10.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB