( en | de | ru )

 

Disambiguation of "Ballarini, Paolo"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling tools for detecting DoS attacks in WSNs.

, , and . Secur. Commun. Networks, 6 (4): 420-436 (2013)

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.

Klaus Ballarini

Klaus Ballarini

Giordano Paolo

Klaus Ballarini

Elisabetta Ballarini

 

Other publications of authors with the same name

The Relevance of Topology in Parallel Simulation of Biological Networks., , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 9 (3): 911-923 (2012)Automated Game Analysis via Probabilistic Model Checking: a case study., , and . MoChArt@CONCUR/SPIN, volume 149 of Electronic Notes in Theoretical Computer Science, page 125-137. Elsevier, (2005)Performance Analysis of Production Lines Through Statistical Model Checking., and . EPEW, volume 13104 of Lecture Notes in Computer Science, page 264-281. Springer, (2021)Compositional Model Checking of product-form CTMCs., and . AVoCS, volume 250 of Electronic Notes in Theoretical Computer Science, page 21-37. Elsevier, (2007)Uncertain Agent Verification through Probabilistic Model-Checking., , and . Safety and Security in Multiagent Systems, volume 4324 of Lecture Notes in Computer Science, Springer, (2009)Bayesian parameter estimation for the Wnt pathway: an infinite mixture models approach., , , and . Bioinform., 32 (17): 781-789 (2016)Cosmos: Evolution of a Statistical Model Checking Platform., and . SIGMETRICS Perform. Evaluation Rev., 49 (4): 65-69 (2022)Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models., , and . Theor. Comput. Sci., (2021)Query-based verification of qualitative trends and oscillations in biochemical systems., and . Theor. Comput. Sci., 411 (20): 2019-2036 (2010)Formal analysis of production line systems by probabilistic model checking tools., and . ETFA, page 1-8. IEEE, (2021)