Nina Amla

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 4

Top Topics

Systematic Review

Intellectual Property Protection

Social Computing

Top Venues

ACM Comput. Surv.

Publications

Nina Amla, Dilma Da Silva, Michael Littman, Manish Parashar
NSF on Chien's Grand Challenge for Sustainability. Commun. ACM 66 (5) (2023)
Francisco Carpio, Admela Jukan, Ana Isabel Martín Sanchez, Nina Amla, Nicole Kemper
Beyond Production Indicators: A Novel Smart Farming Application and System for Animal Welfare. ACI (2017)
Admela Jukan, Xavier Masip-Bruin, Nina Amla
Smart Computing and Sensing Technologies for Animal Welfare: A Systematic Review. ACM Comput. Surv. 50 (1) (2017)
Admela Jukan, Xavier Masip-Bruin, Nina Amla
Smart Computing and Sensing Technologies for Animal Welfare: A Systematic Review. CoRR (2016)
Niklas Eén, Alan Mishchenko, Nina Amla
A single-instance incremental SAT formulation of proof- and counterexample-based abstraction. FMCAD (2010)
Niklas Eén, Alan Mishchenko, Nina Amla
A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction CoRR (2010)
Nina Amla, Kenneth L. McMillan
Combining Abstraction Refinement and SAT-Based Model Checking. TACAS (2007)
Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P. Kurshan, Kenneth L. McMillan
An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment. CHARME (2005)
Nina Amla, Kenneth L. McMillan
A Hybrid of Counterexample-Based and Proof-Based Abstraction. FMCAD (2004)
Nina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo Medel
Experimental Analysis of Different Techniques for Bounded Model Checking. TACAS (2003)
Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
Abstract Patterns of Compositional Reasoning. CONCUR (2003)
Kenneth L. McMillan, Nina Amla
Automatic Abstraction without Counterexamples. TACAS (2003)
Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
Visual Specifications for Modular Reasoning about Asynchronous Systems. FORTE (2002)
Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams. TACAS (2001)
Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi
Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams. CAV (2001)
Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi
Model Checking Synchronous Timing Diagrams. FMCAD (2000)
Nina Amla, E. Allen Emerson, Kedar S. Namjoshi
Efficient Decompositional Model Checking for Regular Timing Diagrams. CHARME (1999)