Nina Amla

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2010
c12		Niklas Eén, Alan Mishchenko, Nina Amla: A single-instance incremental SAT formulation of proof- and counterexample-based abstraction. FMCAD 2010: 181-188
i1		Niklas Eén, Alan Mishchenko, Nina Amla: A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction. CoRR abs/1008.2021 (2010)
	2007
c11		Nina Amla, Kenneth L. McMillan: Combining Abstraction Refinement and SAT-Based Model Checking. TACAS 2007: 405-419
	2005
c10		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: 254-268
	2004
c9		Nina Amla, Kenneth L. McMillan: A Hybrid of Counterexample-Based and Proof-Based Abstraction. FMCAD 2004: 260-274
	2003
c8		Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler: Abstract Patterns of Compositional Reasoning. CONCUR 2003: 423-438
c7		Kenneth L. McMillan, Nina Amla: Automatic Abstraction without Counterexamples. TACAS 2003: 2-17
c6		Nina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo Medel: Experimental Analysis of Different Techniques for Bounded Model Checking. TACAS 2003: 34-48
	2002
c5		Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler: Visual Specifications for Modular Reasoning about Asynchronous Systems. FORTE 2002: 226-242
	2001
c4		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: 387-390
c3		Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler: Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams. TACAS 2001: 465-479
	2000
c2		Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi: Model Checking Synchronous Timing Diagrams. FMCAD 2000: 283-298
	1999
c1		Nina Amla, E. Allen Emerson, Kedar S. Namjoshi: Efficient Decompositional Model Checking for Regular Timing Diagrams. CHARME 1999: 67-81

Coauthor Index

1	Xiaoqun Du	[c10]
2	E. Allen Emerson	[c8] [c5] [c4] [c3] [c2] [c1]
3	Niklas Eén	[c12] [i1]
4	Andreas Kuehlmann	[c10]
5	Robert P. Kurshan	[c10] [c6] [c4] [c2]
6	Kenneth L. McMillan	[c11] [c10] [c9] [c7] [c6]
7	Ricardo Medel	[c6]
8	Alan Mishchenko	[c12] [i1]
9	Kedar S. Namjoshi	[c8] [c5] [c4] [c3] [c2] [c1]
10	Richard J. Trefler	[c8] [c5] [c3]

Last update Sun May 19 15:44:37 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page