Filtrování publikací

    2007

    1. Predicate Abstraction with Under-Approximation Refinement
      PELÁNEK, Radek; Corina PASAREANU a Willem VISSER. Predicate Abstraction with Under-Approximation Refinement. Logical Methods in Computer Science. Germany: Technical University of Braunschweig, 2007, roč. 3, č. 1, s. 1-22. ISSN 1860-5974.
      LMCS journal web-page.
      Název česky: Predikátová abstrakce a zjemňování dolních aproximací
      RIV/00216224:14330/07:00020179 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Pelánek, Radek (203 Česká republika, garant) -- Pasareanu, Corina (642 Rumunsko) -- Visser, Willem (710 Jižní Afrika)
      Klíčová slova anglicky: model checking; predicate abstraction; under-approximation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 23. 6. 2009 12:50.
      Podrobněji: https://is.muni.cz/publication/713628/cs

    2005

    1. Concrete Search with Abstract Matching and Refinement
      PELÁNEK, Radek; Corina PASAREANU a Willem VISSER. Concrete Search with Abstract Matching and Refinement. In Computer Aided Verification. Edinburgh: Springer, 2005, s. 52-66. ISBN 3-540-27231-3.
      Název česky: Konkrétní hledání s abstraktním sdružováním a zjemněním
      RIV/00216224:14330/05:00012728 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Pelánek, Radek (203 Česká republika, garant) -- Pasareanu, Corina (642 Rumunsko) -- Visser, Willem (710 Jižní Afrika)
      Klíčová slova anglicky: model checking; predicate abstraction; under-approximation
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 11. 2006 14:02.
      Podrobněji: https://is.muni.cz/publication/585982/cs
Zobrazeno: 8. 9. 2025 06:57