Analysis of Timed Properties Using the Jump-Diffusion Approximation.
In proceedings of the 14th European Performance Engineering Workshop (EPEW 2017).
P. Le Gall, and
Formal analysis of the Wnt/beta-catenin pathway through statistical model checking.In proceedings of 6th Int. Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), 2014, pag. 193-207.
J. Makkela and
S. Ribeiro .
Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics.
In proceedings of 10th Int. Conf. on Computational Methods in Systems Biology (CMSB), 2012, London, UK. Springer Berlin Heidelberg,
Lecture Notes in Computer Science, pag. 29-48.
S. Haddad and
Petri Nets Compositional Modeling and Verification of Flexible Manufacturing Systems.
In proceedings of 7th Annual IEEE Conference on Automation Science and Engineering (CASE 2011).
IEEE. DOI: 10.1109/CASE.2011.6042488, pag. 588-593.
Query-based Verification of Qualitative Trends and Oscillations in Biochemical Systems.
In Theoretical Computer Science. 2010, Volume 411, Issue 20, 28 April 2010, Pages 2019-2036.