PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Schivo, Stefano"

Author of the publication

copydeleteadd this publication to your clipboard
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.

, , , , , , , and . SETTA, volume 10606 of Lecture Notes in Computer Science, page 319-336. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stefano Scarso University of Stuttgart

 

Other publications of authors with the same name

Setting Parameters for Biological Models With ANIMO., , , , , and . SynCoP, volume 145 of EPTCS, page 35-47. (2014)Improving the Timed Automata Approach to Biological Pathway Dynamics., , , and . Models, Algorithms, Logics and Tools, volume 10460 of Lecture Notes in Computer Science, page 96-111. Springer, (2017)Modeling Biological Pathway Dynamics With Timed Automata., , , , , , , , and . IEEE J. Biomedical and Health Informatics, 18 (3): 832-839 (2014)How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach., , , , , , , and . SETTA, volume 10606 of Lecture Notes in Computer Science, page 319-336. Springer, (2017)Discretization of Continuous Dynamical Systems Using UPPAAL., and . ModelEd, TestEd, TrustEd, volume 10500 of Lecture Notes in Computer Science, page 297-315. Springer, (2017)Approximate Model Checking of Stochastic COWS., and . TGC, volume 6084 of Lecture Notes in Computer Science, page 335-347. Springer, (2010)Effective Analysis of Attack Trees: A Model-Driven Approach., , , , , , , and . FASE, volume 10802 of Lecture Notes in Computer Science, page 56-73. Springer, (2018)Quantitative Analysis of Services., , , , , , and . Results of the SENSORIA Project, volume 6582 of Lecture Notes in Computer Science, Springer, (2011)Modelling with ANIMO: between fuzzy logic and differential equations., , , , , , and . BMC Systems Biology, (2016)Modelling biological pathway dynamics with Timed Automata., , , , , , , , and . BIBE, page 447-453. IEEE Computer Society, (2012)