Addresses

Coordonate


National Institute of Aerospace
100 Exploration Way
Hampton, VA 23666
E-mail: radu at nianet.org 
Phone: (+1)-757-325-6910
Fax: (+1)-757-325-6988

(adrese anterioare)
Department of Computer Science
College of William and Mary
PO Box 8795, Williamsburg, VA, 23187

Facultatea de Informatică
Universitatea "Al. I. Cuza", Iași
Str. Gen. Berthelot 16, Iași, RO6600, România


Red hot research

Cercetare
Education

Educație
Teaching

Experiență în
Învățământ

    @College of William and Mary
  • CSci243 - Matematici discrete (semestrul de toamnă 1998)
  • CSci321 - Baze de date (semestrul de toamnă 1998)
  • CSci241 - Structuri de date (semestrul de toamnă 2003)
    @Universitatea Iași
  • Inginerie software (semestrul de primăvară 1998)
Publications

Publicații


Articole în reviste:
  1. Radu Siminiceanu, Gianfranco Ciardo,
    "Formal Verification of the NASA Runway Safety Monitor" ,
    STTT vol 9(1), p.63-76, 2007.
  2. Gianfranco Ciardo, Robert Marmorstein, Radu Siminiceanu,
    "The saturation algorithm for symbolic state space exploration" ,
    STTT Vol.8 (1), p.4-25, pp.4-25.
  3. Gianfranco Ciardo, Robert L. Jones, Andrew S. Miner, Radu Siminiceanu,
    "Logic and Stochastic Modeling with SMART",
    Performance Evaluation, Vol.63 (2006), pp. 578-608.
Articole la conferințe:
  1. Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu,
    "Can Saturation Be Parallelised? On the Parallelisation of a Symbolic State-Space Generator",
    FMICS/PDMC 2006, p.331-346, Bonn, Germany, August 2006.
  2. Radu Siminiceanu, Gianfranco Ciardo,
    "New Metrics for Static Variable Ordering in Decision Diagrams" ,
    TACAS 2006, LNCS 3920, pp.90-104, Vienna, Austria, March 2006.
  3. Radu Siminiceanu, Gianfranco Ciardo,
    "Formal Verification of the NASA Runway Safety Monitor" ,
    AVoCS 2004, London, UK, September 2004, ENTCS vol. 128 (6), pp. 179-194.
  4. Gianfranco Ciardo, Robert L. Jones, Andrew S. Miner, Radu Siminiceanu,
    "Logic and Stochastic Modeling with SMART" ,
    TOOLS 2003, pp. 78-97, Urbana-Champaign, Illinois, September 2003.
  5. Gianfranco Ciardo, Radu Siminiceanu,
    "Structural Symbolic CTL Model Checking" ,
    CAV 2003, Boulder, Colorado, July 2003, LNCS 2725, pp.40-53.
  6. Gianfranco Ciardo, Robert Marmorstein, Radu Siminiceanu,
    "Saturation unbound" , (pdf)
    TACAS 2003, LNCS 2619, p.379-393, April 2003, Warsaw, Poland.
  7. Gianfranco Ciardo, Radu Siminiceanu,
    "Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths" (pdf) ,
    FMCAD 2002, LNCS 2517, pp. 256-273.
  8. Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu,
    "Saturation: An Efficient Iteration Strategy for Symbolic State-space Generation" (pdf) ,
    TACAS 2001, LNCS 2031, pp. 328-342.
  9. Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu,
    "Efficient Symbolic State-Space Construction for Asynchronous Systems" (pdf) ,
    ICATPN 2000, LNCS 1825, pp. 103-122.
Articole de atelier:
  1. Ming-Ying Chung, Gianfranco Ciardo, Radu Siminiceanu,
    "Hashing, Caching, and Garbage Collection for Distributed State Space Construction",
    Parallel and Distributed Model Checking (PDMC) 2007, Berlin, Germany.
  2. Gianfranco Ciardo, Robert L. Jones, Andrew S. Miner, Robert Marmorstein, Radu Siminiceanu,
    SMART: Stochastic Model checking Analyzer for Reliability and Timing ,
    IEEE Int. Computer Performance and Dependability Symposium, DSN 2002, Urbana-Champaign, IL.
  3. Gianfranco Ciardo, Robert L. Jones, Andrew S. Miner, Radu Siminiceanu,
    SMART: Simulation and Markovian Analyzer for Reliability and Timing ,
    Int'l Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems, Aachen, Sept. 2001.
Rapoarte tehnice:
  1. Andy Galloway, Jan Tobias Mühlberg, Radu Siminiceanu, Gerald Lüttgen,
    "Model-checking Part of a Linux File System",
    University of York, UK, TR 2007-423;
  2. Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu,
    "An Anticipated Firing Saturation Algorithm For Shared-Memory Architectures",
    University of York, UK, TR 2007-422, (pdf) ;
  3. Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu,
    "A Parallel Saturation Algorithm on Shared Memory Architectures",
    NIA/TR 2007-01, NASA/CR 2007-214543;
  4. Radu Siminiceanu,
    "Model Checking Abstract PLEXIL Programs with SMART",
    NIA/TR 2007-02, NASA/CR 2007-214542;
  5. Ming-Ying Chung, Gianfranco Ciardo, Radu Siminiceanu,
    "Distributed Saturation",
    NIA/TR 2007-05, NASA/CR 2007-214862;
  6. César A. Muńoz, Radu Siminiceanu,
    "In-Trail Procedure (ITP) Algorithm Design",
    NIA/TR 2007-06
  7. Rick W. Butler, César A. Muńoz, Radu Siminiceanu,
    "Solving the AI Planning + Scheduling Problem Using Model Checking via Automatic Translation from the Abstract Plan Preparation Language APPL to the Symbolic Analysis Laboratory (SAL)",
    NASA/CR, submitted Aug 2007;
  8. Mahyar R. Malekpour, Radu Siminiceanu,
    "Comments on the Byzantine Self-Stabilizing Pulse Synchronization Protocol: Counterexamples",
    NASA/TM-2006-213951. (dl)
  9. César A. Muńoz, Radu Siminiceanu, Victor A. Carreńo, Gilles Dowek,
    KB3D Reference Manual,
    NASA/TM-2005-213769.
  10. Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu,
    "Saturation: An Efficient Iteration Strategy for Symbolic State-space Generation",
    ICASE Report No. 2001-5, NASA/CR-2001-210663.
  11. Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu,
    "Efficient Symbolic State-Space Construction for Asynchronous Systems",
    ICASE Report No. 99-50, NASA/CR-1999-209827.
Teze:
  • "Structural Model Checking", Teză de doctorat, College of William and Mary, 2003.
  • "A New Approach to Deadlock Free Wormhole Routing", Teză de studii aprofundate (în engleză), Universitatea Iași, 1998.
All documents are under the responsibility of their authors, and do not represent the official views of NIA. The information is given in good faith, but its accuracy cannot be guaranteed.