Publications

• Nina Amla and Ken McMillan, Combining Abstraction Refinement and SAT-based Model Checking, Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 2007.
  
  
• Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert Kurshan and Ken McMillan, An Analysis of SAT-based Model Checking Techniques in an Industrial Environment, Conference on Correct Hardware Design and Verification Methods (CHARME), October 2005.
  
  
• Nina Amla and Ken McMillan A Hybrid of Counterexample-based and Proof-based Abstraction, Conference on Formal Methods in Computer Aided Design (FMCAD), November 2004.
  
  
• Nina Amla, E. Allen Emerson, Kedar S. Namjoshi and Richard Trefler, Abstract Patterns of Compositional Reasoning, 14th International Conference on Concurrency Theory (CONCUR), September 2003.
  
  
• Ken McMillan and Nina Amla, Automatic Abstraction without Counterexamples, Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), April 2003.
  
  
• Nina Amla, Robert Kurshan, Ken McMillan and Ricardo Medel, Experimental Analysis of Different Techniques for Bounded Model Checking, Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), April 2003.
  
  
• Nina Amla, E. Allen Emerson, Kedar S. Namjoshi and Richard Trefler, Visual Specifications for Modular Reasoning about Asynchronous Systems, Conference on Formal Techniques for Networked and Distributed Systems (FORTE), November 2002. Best Paper Award.
  
  
• Nina Amla, E. Allen Emerson, Robert P. Kurshan and Kedar S. Namjoshi, RTDT: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams, 13th International Conference on Computer Aided Verification (CAV), July 2001.
  
  
• Nina Amla, E. Allen Emerson, Kedar S. Namjoshi and Richard Trefler, Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams, Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), April 2001.
  
  
• Nina Amla, E. Allen Emerson, Robert P. Kurshan and Kedar S. Namjoshi, Model Checking of Synchronous Timing Diagrams, Conference on Formal Methods in Computer Aided Design (FMCAD), November 2000.
  
  
• Nina Amla, E. Allen Emerson and Kedar S. Namjoshi, Efficient Decompositional Model Checking for Regular Timing Diagrams, 10th IFIP Conference on Correct Hardware Design and Verification Methods (CHARME), September 1999.
  
  
• Nina Amla and E. Allen Emerson, Regular Timing Diagrams LICS Workshop on Logic and Diagrammatic Information, July 1998.
  
  
• Nina Amla and Paul Ammann, Using Z specifications in Category Partition Testing, Seventh Annual Conference On Computer Assurance (COMPASS), June 1992. Best Paper Award.