Sami Evangelista

Available identifiers

zbMath Open evangelista.samiMaRDI QIDQ2889612

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sami Evangelista