Toggle Main Menu Toggle Search

Open Access padlockePrints

High-level modeling and verification of cellular signaling

Lookup NU author(s): Dr Paolo Zuliani


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


We use computational modeling and formal analysis techniques to study temporal behavior of a discrete logical model of the naive T cell differentiation. The model is analyzed formally and automatically by performing temporal logic queries via statistical model checking. While the model can be verified and then further explored using Monte Carlo simulations, model checking allows for much more efficient analysis by testing a large set of system properties, with much smaller runtime than the one required by simulations. The results obtained using model checking provide details about relative timing of events in the system, which would otherwise be very cumbersome and time consuming to obtain through simulations only. We efficiently test a large number of properties, and confirm or reject hypotheses that were drawn from previous analysis of experimental and simulation data.

Publication metadata

Author(s): Miskov-Zivanov N, Zuliani P, Wang QS, Clarke EM, Faeder JR

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 18th IEEE International High Level Design Validation and Test Workshop (HLDVT)

Year of Conference: 2016

Pages: 162-169

Online publication date: 21/11/2016

Acceptance date: 02/04/2016

ISSN: 2471-7827

Publisher: Institute of Electrical and Electronics Engineers


DOI: 10.1109/HLDVT.2016.7748271

Series Title: High Level Design Validation and Test Workshop (HLDVT), 2016 IEEE International