( en | de | ru )

 

Disambiguation of "Traonouez, Louis-Marie"

Author of the publication

copydeleteadd this publication to your clipboard
Parametric Model-Checking of Stopwatch Petri Nets.

, , and . J. Univers. Comput. Sci., 15 (17): 3273-3304 (2009)

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.

Claude Louis

Joseph Louis

Petra Louis

Rudolf Louis

Tatjana Louis

 

Other publications of authors with the same name

A Formalism for Stochastic Adaptive Systems., , and . ISoLA (2), volume 8803 of Lecture Notes in Computer Science, page 160-176. Springer, (2014)Rare Events for Statistical Model Checking an Overview., , and . RP, volume 9899 of Lecture Notes in Computer Science, page 23-35. Springer, (2016)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)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)Scalable Verification of Markov Decision Processes., , and . SEFM Workshops, volume 8938 of Lecture Notes in Computer Science, page 350-362. Springer, (2014)