Browsing publications by Dr Paolo Zuliani

Newcastle AuthorsTitleYear
Dr Paolo Zuliani
Model checking of a synchronous diabetes-cancer logical network2013
Dr Paolo Zuliani
Model checking for studying timing of events in T cell differentiation2012
Dr Paolo Zuliani
Rare-event verification for stochastic hybrid systems2012
Dr Paolo Zuliani
Statistical model checking for Markov decision processes2012
Dr Paolo Zuliani
Analog circuit verification by statistical model checking2011
Dr Paolo Zuliani
Formal analysis for logical models of pancreatic cancer2011
Dr Paolo Zuliani
Model checking of a diabetes-cancer model2011
Dr Paolo Zuliani
Statistical model checking for cyber-physical systems2011
Dr Paolo Zuliani
Symbolic model checking of signaling pathways in pancreatic cancer2011
Dr Paolo Zuliani
Analysis and verification of the HMGB1 signaling pathway2010
12