Sami Evangelista

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Experimenting with stubborn sets on Petri nets	2023-11-16	Paper
A sweep-line method for Büchi automata-based model checking Fundamenta Informaticae	2014-05-12	Paper
Improved multi-core nested depth-first search Automated Technology for Verification and Analysis	2012-11-21	Paper
Hybrid on-the-fly LTL model checking with the sweep-line method Lecture Notes in Computer Science	2012-09-04	Paper
Computing a hierarchical static order for decision diagram-based representation from P/T nets Lecture Notes in Computer Science	2012-06-08	Paper
Parallel nested depth-first searches for LTL model checking Automated Technology for Verification and Analysis	2011-10-07	Paper
Search-Order Independent State Caching Transactions on Petri Nets and Other Models of Concurrency IV	2011-01-08	Paper
The ComBack method revisited: caching strategies and extension with delayed duplicate detection Transactions on Petri Nets and Other Models of Concurrency III	2009-12-09	Paper
On the Computation of Stubborn Sets of Colored Petri Nets Petri Nets and Other Models of Concurrency - ICATPN 2006	2009-04-02	Paper
A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets Lecture Notes in Computer Science	2009-03-10	Paper
Model Checking Software Lecture Notes in Computer Science	2006-11-01	Paper
Applications and Theory of Petri Nets 2005 Lecture Notes in Computer Science	2005-12-14	Paper
scientific article; zbMATH DE number 2011471 (Why is no real title available?)	2003-12-01	Paper

Research outcomes over time

This page was built for person: Sami Evangelista