Publications

Journal papers:
  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.
Conference papers:
  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.
Tool & Workshop papers:
  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.
Technical Reports:
  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.
Theses:
  • "Structural Model Checking", Ph.D. Thesis, College of William and Mary, 2003.
  • "A New Approach to Deadlock Free Wormhole Routing", M.S. Thesis, University of Iasi, 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.