Parameter Scanning by Parallel Model Checking with Applications in Systems Biology

• Název česky: Skenování parametrů prostřednictvím paralelního modelcheckingu s aplikacemi v systémové biologii
• Autoři: BARNAT Jiří; BRIM Luboš; ŠAFRÁNEK David; VEJNÁR Martin
• Rok publikování: 2010
• Druh: Článek ve sborníku
• Konference: Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: biological networks; parallel model checking; dy namic systems; parameter scanning; systems biology
• Popis: Článek se zabývá škálovatelnou výpočetní metodou pro estimaci parametrů v biologických modelech vzhledem ke sledované dynamické vlastnosti. Presentovaná metoda využívá enumerativního algoritmu ověřování modelů v prostředí logiky lineárního času. Metoda je experimentálně ověřena na několika případových studiích.

Související projekty

• Vysoce paralelní a distribuované výpočetní systémy
• Verifikace a analýza velmi velkých počítačových systémů
• Automatizovaná formální verifikace s využitím soudobého hardware