Travelled to:1 × France
1 × Italy
1 × Poland
1 × Portugal
Collaborated with:K.L.McMillan R.P.Kurshan E.A.Emerson K.S.Namjoshi R.Medel R.J.Trefler
Talks about:model (3) check (3) synchron (2) abstract (2) diagram (2) time (2) base (2) counterexampl (1) experiment (1) techniqu (1)
Person: Nina Amla
DBLP: Amla:Nina
Contributed to:
20072003
20012001Wrote 5 papers:
- TACAS-2007-AmlaM #abstraction #model checking #refinement #satisfiability
- Combining Abstraction Refinement and SAT-Based Model Checking (NA, KLM), pp. 405–419.
- TACAS-2003-AmlaKMM #analysis #bound #model checking
- Experimental Analysis of Different Techniques for Bounded Model Checking (NA, RPK, KLM, RM), pp. 34–48.
- TACAS-2003-McMillanA #abstraction #automation
- Automatic Abstraction without Counterexamples (KLM, NA), pp. 2–17.
- CAV-2001-AmlaEKN #diagrams #model checking #named #performance
- Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams (NA, EAE, RPK, KSN), pp. 387–390.
- TACAS-2001-AmlaENT #composition #diagrams #reasoning
- Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams (NA, EAE, KSN, RJT), pp. 465–479.