Efficient Decompositional Model Checking for Regular Timing Diagrams. - Nina Amla; E. Allen Emerson; Kedar S. Namjoshi (CHARME, 1999)

Model Checking Synchronous Timing Diagrams. - Nina Amla; E. Allen Emerson; Robert P. Kurshan; Kedar S. Namjoshi (FMCAD, 2000)

Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams. - Nina Amla; E. Allen Emerson; Robert P. Kurshan; Kedar S. Namjoshi (CAV, 2001)

Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams. - Nina Amla; E. Allen Emerson; Kedar S. Namjoshi; Richard J. Trefler (TACAS, 2001)

Visual Specifications for Modular Reasoning about Asynchronous Systems. - Nina Amla; E. Allen Emerson; Kedar S. Namjoshi; Richard J. Trefler (FORTE, 2002)

Abstract Patterns of Compositional Reasoning. - Nina Amla; E. Allen Emerson; Kedar S. Namjoshi; Richard J. Trefler (CONCUR, 2003)

Experimental Analysis of Different Techniques for Bounded Model Checking. - Nina Amla; Robert P. Kurshan; Kenneth L. McMillan; Ricardo H. Medel (TACAS, 2003)

Automatic Abstraction without Counterexamples. - Kenneth L. McMillan; Nina Amla (TACAS, 2003)

A Hybrid of Counterexample-Based and Proof-Based Abstraction. - Nina Amla; Kenneth L. McMillan (FMCAD, 2004)

An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment. - Nina Amla; Xiaoqun Du; Andreas Kuehlmann; Robert P. Kurshan; Kenneth L. McMillan (CHARME, 2005)

Combining Abstraction Refinement and SAT-Based Model Checking. - Nina Amla; Kenneth L. McMillan (TACAS, 2007)

A single-instance incremental SAT formulation of proof- and counterexample-based abstraction. - Niklas Eén; Alan Mishchenko; Nina Amla (FMCAD, 2010)

Beyond Production Indicators: A Novel Smart Farming Application and System for Animal Welfare. - Francisco Carpio; Admela Jukan; Ana Isabel Martín Sanchez; Nina Amla; Nicole Kemper (ACI, 2017)

Smart Computing and Sensing Technologies for Animal Welfare: A Systematic Review. - Admela Jukan; Xavier Masip-Bruin; Nina Amla (ACM Comput. Surv., 2017)

NSF on Chien's Grand Challenge for Sustainability. - Nina Amla; Dilma Da Silva; Michael Littman 002; Manish Parashar (Commun. ACM, 2023)