References in zbMATH (referenced in 15 articles )

Showing results 1 to 15 of 15.
Sorted by year (citations)

  1. Sotudeh, Gholamreza; Movaghar, Ali: Abstraction and approximation in fuzzy temporal logics and models (2015)
  2. Andersen, Henrik Reif; Hadzic, Tarik; Pisinger, David: Interactive cost configuration over decision diagrams (2010)
  3. Jensen, Rune M.; Veloso, Manuela M.; Bryant, Randal E.: State-set branching: leveraging BDDs for heuristic search (2008)
  4. Plyasunov, Sergey; Arkin, Adam P.: Efficient stochastic sensitivity analysis of discrete event systems (2007)
  5. Xiong, Haiyan; Curzon, Paul; Tahar, Sofiène; Blandford, Ann: Providing a formal linkage between MDG and HOL (2007)
  6. Zhang, Xiangyu; Gupta, Neelam; Gupta, Rajiv: A study of effectiveness of dynamic slicing in locating real faults (2007)
  7. Hymans, Charles: Verification of an error correcting code by abstract interpretation (2005)
  8. Subbarayan, Sathiamoorthy: Integrating CSP decomposition techniques and BDDs for compiling configuration problems (2005)
  9. Whaley, John; Avots, Dzintars; Carbin, Michael; Lam, Monica S.: Using datalog with binary decision diagrams for program analysis (2005)
  10. Haddad, Serge; Ilié, Jean-Michel; Klai, Kais: Design and evaluation of a symbolic and abstraction-based model checker (2004)
  11. Edelkamp, S.: Taming numbers and durations in the model checking integrated planning system (2003)
  12. Hill, Patricia M.; Spoto, Fausto: Logic programs as compact denotations. (2003)
  13. Ginsberg, M.L.: GIB: Imperfect information in a computationally challenging game (2001)
  14. Lind-Nielsen, Jørn; Andersen, Henrik Reif; Hulgaard, Henrik; Behrmann, Gerd; Kristoffersen, Kåre; Larsen, Kim G.: Verification of large state/event systems using compositionality and dependency analysis (2001)
  15. Andersen, Henrik Reif; Lind-Nielsen, Jørn: Partial model checking of modal equations: a survey (1999)