V. Braberman

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
On-the-fly informed search of non-blocking directed controllers Automatica	2022-12-09	Paper
Compositional Supervisory Control via Reactive Synthesis and Automated Planning IEEE Transactions on Automatic Control	2020-10-07	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
On improving backwards verification of timed automata (extended abstract) Electronic Notes in Theoretical Computer Science	2013-08-15	Paper
Distribution of Modal Transition Systems FM 2012: Formal Methods	2012-11-08	Paper
The modal transition system control problem FM 2012: Formal Methods	2012-11-08	Paper
Speeding up model checking of timed-models by combining scenario specialization and live component analysis Lecture Notes in Computer Science	2009-12-01	Paper
A Sound Observational Semantics for Modal Transition Systems Theoretical Aspects of Computing - ICTAC 2009	2009-08-20	Paper
Hypervolume Approximation in Timed Automata Model Checking Lecture Notes in Computer Science	2008-07-03	Paper
Dealing with practical limitations of distributed timed model checking for timed automata Formal Methods in System Design	2006-10-24	Paper
Computer Aided Verification Lecture Notes in Computer Science	2005-08-25	Paper
scientific article; zbMATH DE number 2080038 (Why is no real title available?)	2004-08-04	Paper

Research outcomes over time

This page was built for person: V. Braberman