Pavel Krčál

From MaRDI portal
Person:2643077

Available identifiers

zbMath Open krcal.pavelMaRDI QIDQ2643077

List of research outcomes





PublicationDate of PublicationType
Universality of R-automata with Value Copying2015-03-19Paper
Distributed explicit bounded LTL model checking2013-08-30Paper
Sampled semantics of timed automata2010-09-21Paper
R-Automata2008-11-25Paper
Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times2008-07-03Paper
Tools and Algorithms for the Construction and Analysis of Systems2007-09-28Paper
Sampled Universality of Timed Automata2007-09-07Paper
Communicating Timed Automata: The More Synchronous, the More Difficult to Verify2007-09-05Paper
Task automata: Schedulability, decidability and undecidability2007-08-23Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science2006-11-14Paper
CONCUR 2004 - Concurrency Theory2005-08-23Paper
https://portal.mardi4nfdi.de/entity/Q44742102004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44739842004-08-04Paper

Research outcomes over time

This page was built for person: Pavel Krčál

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2643077&oldid=6793647"
Powered by MediaWiki