Author of the publication

A Formalism for Stochastic Adaptive Systems.

, , and . ISoLA (2), volume 8803 of Lecture Notes in Computer Science, page 160-176. Springer, (2014)

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.

 

Other publications of authors with the same name

Statistical Model Checking of Simulink Models with Plasma Lab., and . FTSCS, volume 596 of Communications in Computer and Information Science, page 259-264. Springer, (2015)Symbolic unfolding of parametric stopwatch Petri nets., , , and . Formal Methods Syst. Des., 43 (3): 493-519 (2013)Rare Events for Statistical Model Checking an Overview., , and . RP, volume 9899 of Lecture Notes in Computer Science, page 23-35. Springer, (2016)A Formalism for Stochastic Adaptive Systems., , and . ISoLA (2), volume 8803 of Lecture Notes in Computer Science, page 160-176. Springer, (2014)PyEcdar: Towards Open Source Implementation for Timed Systems., and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 460-463. Springer, (2013)Model Checking the IKEv2 Protocol Using Spin., , , , and . PST, page 1-7. IEEE, (2019)The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2., , , , and . TrustCom/BigDataSE, page 66-74. IEEE, (2019)Parametric Model-Checking of Stopwatch Petri Nets., , and . J. Univers. Comput. Sci., 15 (17): 3273-3304 (2009)Robust Specification of Real Time Components., , , and . FORMATS, volume 6919 of Lecture Notes in Computer Science, page 129-144. Springer, (2011)Orchestration Synthesis for Real-Time Service Contracts., , , and . VECoS, volume 11181 of Lecture Notes in Computer Science, page 31-47. Springer, (2018)