Nina Amla

According to our database, Nina Amla authored at least 15 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

NSF on Chien's Grand Challenge for Sustainability.

Nina Amla, Dilma Da Silva, Michael Littman, Manish Parashar

Commun. ACM, May, 2023

2017

Smart Computing and Sensing Technologies for Animal Welfare: A Systematic Review.

Admela Jukan, Xavier Masip-Bruin, Nina Amla

ACM Comput. Surv., 2017

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

Proceedings of the Fourth International Conference on Animal-Computer Interaction, 2017

2010

A single-instance incremental SAT formulation of proof- and counterexample-based abstraction.

Niklas Eén, Alan Mishchenko, Nina Amla

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2007

Combining Abstraction Refinement and SAT-Based Model Checking.

Nina Amla, Kenneth L. McMillan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2005

An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment.

Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P. Kurshan, Kenneth L. McMillan

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004

A Hybrid of Counterexample-Based and Proof-Based Abstraction.

Nina Amla, Kenneth L. McMillan

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003

Automatic Abstraction without Counterexamples.

Kenneth L. McMillan, Nina Amla

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Experimental Analysis of Different Techniques for Bounded Model Checking.

Nina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo H. Medel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Abstract Patterns of Compositional Reasoning.

Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler

Proceedings of the CONCUR 2003, 2003

2002

Visual Specifications for Modular Reasoning about Asynchronous Systems.

Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001

Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams.

Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams.

Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Model Checking Synchronous Timing Diagrams.

Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

1999

Efficient Decompositional Model Checking for Regular Timing Diagrams.

Nina Amla, E. Allen Emerson, Kedar S. Namjoshi

Proceedings of the Correct Hardware Design and Verification Methods, 1999