( en | de | ru )

 

Disambiguation of "Evangelista, Sami"

Author of the publication

copydeleteadd this publication to your clipboard
Report on the Model Checking Contest at Petri Nets 2011.

, , , , , , , , , and . Trans. Petri Nets Other Model. Concurr., (2012)

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.

Marco Evangelista

Gennaro Evangelista

Johannes Evangelista Seitz

Hanna Jordt Evangelista

Angelika Samija

 

Other publications of authors with the same name

The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection., , and . Trans. Petri Nets Other Model. Concurr., (2009)Dynamic Delayed Duplicate Detection for External Memory Model Checking.. SPIN, volume 5156 of Lecture Notes in Computer Science, page 77-94. Springer, (2008)Some Solutions to the Ignoring Problem., and . SPIN, volume 4595 of Lecture Notes in Computer Science, page 76-94. Springer, (2007)Parallel Nested Depth-First Searches for LTL Model Checking., , and . ATVA, volume 6996 of Lecture Notes in Computer Science, page 381-396. Springer, (2011)Multi-threaded Explicit State Space Exploration with State Reconstruction., , and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 208-223. Springer, (2013)Experimenting with Stubborn Sets on Petri Nets.. Petri Nets, volume 13929 of Lecture Notes in Computer Science, page 346-365. Springer, (2023)High Level Petri Nets Analysis with Helena.. ICATPN, volume 3536 of Lecture Notes in Computer Science, page 455-464. Springer, (2005)Dynamic Tasks Verification with Quasar., , , , and . Ada-Europe, volume 3555 of Lecture Notes in Computer Science, page 91-104. Springer, (2005)Modelling and Formal Verification of the NEO Protocol., , , , , and . Trans. Petri Nets Other Model. Concurr., (2012)Report on the Model Checking Contest at Petri Nets 2011., , , , , , , , , and . Trans. Petri Nets Other Model. Concurr., (2012)