A. Olivero

Available identifiers

zbMath Open olivero.alfredoMaRDI QIDQ2431765

List of research outcomes

Publication	Date of Publication	Type
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
On improving backwards verification of timed automata (extended abstract)	2013-08-15	Paper
Speeding up model checking of timed-models by combining scenario specialization and live component analysis	2009-12-01	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
Computer Aided Verification	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4472225	2004-08-04	Paper

Research outcomes over time

This page was built for person: A. Olivero