Nina Amla

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