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

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

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

13 documents found, showing 1 through 10. Next 10 →

Can Saturation be parallelised? On the parallelisation of a symbolic state-space generator
by Jonathan Ezekiel, Radu Siminiceanu — 2006 — In Parallel and Distributed Methods in Verification, LNCS
… Jonathan Ezekiel 1 ,GeraldLüttgen 1 , and Radu Siminiceanu 2 1 University of York, York, YO10 5DD, UK…
Cited by 1 (0 self) – Add To MetaCart

Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths
by Gianfranco Ciardo, Radu Siminiceanu — 2002 — Proc. Fourth International Conference on Formal Methods in Computer-Aided Design (FMCAD), LNCS 2517
… Radu Siminiceanu College of William and Mary, Williamsburg, Virginia 23187 fciardo…
Cited by 14 (7 self) – Add To MetaCart

Structural Symbolic CTL Model Checking of Asynchronous Systems
by Gianfranco Ciardo, Radu Siminiceanu — 2003 — Proc. CAV
…Structural Symbolic CTL Model Checking of Asynchronous Systems ? Gianfranco Ciardo and Radu…
Cited by 13 (8 self) – Add To MetaCart

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Formal Verification of the NASA Runway Safety Monitor ⋆
by Radu I. Siminiceanu, Gianfranco Ciardo
… Verification of the NASA Runway Safety Monitor ⋆ Radu I. Siminiceanu 1 , Gianfranco Ciardo 2 1 National…
Add To MetaCart

SYMBOLIC STATE{SPACE GENERATION
by Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu — 2001
… Gerald Lüttgen The University of Sheffield, Sheffield, United Kingdom Radu Siminiceanu The College…
Add To MetaCart

Saturation: an efficient iteration strategy for symbolic state space generation
by Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu — 2001 — Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 2031
… Ciardo 1 , Gerald Lüttgen 2 , and Radu Siminiceanu 1 1 Department of Computer Science, College of William…
Cited by 36 (18 self) – Add To MetaCart

Saturation Unbound
by Gianfranco Ciardo, Robert Marmorstein, Radu Siminiceanu — 2003 — Proc. TACAS
…Saturation Unbound ? Gianfranco Ciardo Robert Marmorstein Radu Siminiceanu College of William…
Cited by 30 (15 self) – Add To MetaCart

Efficient symbolic state-space construction for asynchronous systems
by Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu — 2000 — Application and Theory of Petri Nets 2000 (Proc. 21th Int. Conf. on Applications and Theory of Petri Nets, Aarhus, Denmark), Lecture Notes in Computer Science 1825
…, Williamsburg, Virginia Gerald Liittgen ICASE, Hampton, Virginia Radu Siminiceanu The College of William & Mary…
Cited by 31 (18 self) – Add To MetaCart

Formal Verification and Automated Testing for Diagnostic and Monitoring Systems
by Bruno Dutertre, John Rushby, Ashish Tiwari, César Muñoz, Radu Siminiceanu
… ∗ , John Rushby † , and Ashish Tiwari ∗ SRI International, Menlo Park CA USA César Muñoz ‡ and Radu…
Add To MetaCart

Model-checking Part of a Linux File System *
by Andy Galloway, Jan Tobias Mühlberg, Radu Siminiceanu, Gerald Lüttgen
…Model-checking Part of a Linux File System * Andy Galloway † , Jan Tobias Mühlberg † , Radu…
Add To MetaCart

Showing 1 through 10. Next 10 →

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