Sami Evangelista

Available identifiers

zbMath Open evangelista.samiMaRDI QIDQ2889612

List of research outcomes

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	2014-05-12	Paper
Improved Multi-Core Nested Depth-First Search	2012-11-21	Paper
Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method	2012-09-04	Paper
Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets	2012-06-08	Paper
Parallel Nested Depth-First Searches for LTL Model Checking	2011-10-07	Paper
Search-Order Independent State Caching	2011-01-08	Paper
The ComBack method revisited: caching strategies and extension with delayed duplicate detection	2009-12-09	Paper
On the Computation of Stubborn Sets of Colored Petri Nets	2009-04-02	Paper
A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets	2009-03-10	Paper
Model Checking Software	2006-11-01	Paper
Applications and Theory of Petri Nets 2005	2005-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4435369	2003-12-01	Paper

Research outcomes over time

This page was built for person: Sami Evangelista