Publications
|
Journal papers:
-
Jonathan Ezekiel,
Gerald Lüttgen,
Radu Siminiceanu,
"To Parallelise or to Optimise?",
PDMC special edition, Oxford Press, to appear.
-
Radu Siminiceanu,
Gianfranco Ciardo,
"Formal Verification of the NASA Runway Safety Monitor"
,
STTT vol 9(1), p.63-76, 2007.
-
Gianfranco Ciardo,
Robert Marmorstein,
Radu Siminiceanu,
"The saturation algorithm for symbolic state space
exploration" ,
STTT Vol.8 (1), p.4-25,
pp.4-25.
-
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:
-
Andy Galloway,
Jan Tobias Mühlberg,
Gerald Lüttgen,
Radu Siminiceanu,
"Model-checking the Linux Virtual File System",
Verification, Model Checking, and Abstract Interpretation
(VMCAI 2009),
Savannah, Jan 2009.
-
Bruno Dutertre,
John Rushby,
Ashish Tiwari,
Cèsar Muñoz,
Radu Siminiceanu,
"Formal Verification and Automated Testing for Diagnostic and
Monitoring Systems",
AIAA Guidance, Navigation and Control Conference (GNC 2008), Honolulu, August 2008.
-
Matthew L. Bolton,
Ellen J. Bass,
Radu Siminiceanu,
"Using Formal Methods to predict Human Error and System Failures",
2nd Int'l Conference, Applied Human Factors and Ergonomics
(AHFEI 2008), Las Vegas, July 2008.
-
Radu Siminiceanu,
Rick W. Butler,
Cèsar A. Muñoz,
"Experimental Evaluation of a Planning Language Suitable for
Formal Verification",
Model Checking and Artificial Intelligence (MoChArt) 2008, Patras, Greece.
-
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.
-
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.
-
Radu Siminiceanu,
Gianfranco Ciardo,
"New Metrics for Static Variable Ordering in Decision Diagrams"
,
TACAS 2006, LNCS 3920, pp.90-104,
Vienna, Austria, March 2006.
-
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.
-
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.
-
Gianfranco Ciardo,
Radu Siminiceanu,
"Structural Symbolic CTL Model Checking" ,
CAV 2003, Boulder, Colorado, July 2003,
LNCS 2725,
pp.40-53.
-
Gianfranco Ciardo,
Robert Marmorstein,
Radu Siminiceanu,
"Saturation unbound" ,
 (pdf)
TACAS 2003, LNCS 2619, p.379-393,
April 2003, Warsaw, Poland.
-
Gianfranco Ciardo,
Radu Siminiceanu,
"Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths"
(pdf) ,
FMCAD 2002, LNCS 2517, pp. 256-273.
-
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.
-
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.
-
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.
-
Gianfranco Ciardo,
Gerald Lüttgen,
Radu Siminiceanu,
"Efficient Symbolic State-Space Construction for Asynchronous
Systems"
(pdf) ,
ICATPN 2000, LNCS 1825, pp. 103-122.
Technical Reports:
-
Christian Csar and
Radu Siminiceanu,
"Salt: a Tool for Trace Format Conversion",
NASA LaRSS report, June 2008.
-
Andy Galloway,
Jan Tobias Mühlberg,
Gerald Lüttgen,
Radu Siminiceanu,
"Model-checking Part of a Linux File System",
University of York, UK, TR 2007-423;
-
Jonathan Ezekiel,
Gerald Lüttgen,
Radu Siminiceanu,
"An Anticipated Firing Saturation Algorithm For Shared-Memory Architectures",
University of York, UK, TR 2007-422,
(pdf) ;
-
Jonathan Ezekiel,
Gerald Lüttgen,
Radu Siminiceanu,
"A Parallel Saturation Algorithm on Shared Memory Architectures",
NIA/TR 2007-01, NASA/CR 2007-214543;
-
Rick W. Butler,
César A. Muñoz,
Radu Siminiceanu,
"The ANMLite Language and Logic For Specifying Planning Problems",
NASA/TM 2007-215088;
-
Radu Siminiceanu,
"Model Checking Abstract PLEXIL Programs with SMART",
NIA/TR 2007-02, NASA/CR 2007-214542;
-
Ming-Ying Chung,
Gianfranco Ciardo,
Radu Siminiceanu,
"Distributed Saturation",
NIA/TR 2007-05, NASA/CR 2007-214862;
-
César A. Muñoz,
Radu Siminiceanu,
"In-Trail Procedure (ITP) Algorithm Design",
NIA/TR 2007-06
-
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;
-
Mahyar R. Malekpour,
Radu Siminiceanu,
"Comments on the Byzantine Self-Stabilizing Pulse Synchronization Protocol: Counterexamples",
NASA/TM-2006-213951.
(dl)
-
César A. Muñoz,
Radu Siminiceanu,
Victor A. Carreño,
Gilles Dowek,
KB3D Reference Manual,
NASA/TM-2005-213769.
-
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.
-
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.
|
