F. Schapachnik

Available identifiers

zbMath Open schapachnik.fernandoMaRDI QIDQ2431766

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4993611	2021-06-15	Paper
On-the-fly workload prediction and redistribution in the distributed timed model checker Zeus	2013-09-25	Paper
\textsc{Zeus}: a distributed timed model-checker based on \textsc{Kronos}	2013-08-16	Paper
Hypervolume Approximation in Timed Automata Model Checking	2008-07-03	Paper
Dealing with practical limitations of distributed timed model checking for timed automata	2006-10-24	Paper

Research outcomes over time

This page was built for person: F. Schapachnik