( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Efficient Large-Scale Model Checking.

, , , и . Distributed Verification and Grid Computing, том 08332 из Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Miriam Barnat

Günther Jirikowski

Gustav Jirikowski

Jíri Pokorný

Jiri Trcka

 

Другие публикации лиц с тем же именем

Optimal Observation Mode Scheduling for Systems under Temporal Constraints., , , и . CoRR, (2016)LTL Model Checking of Parametric Timed Automata., , , , и . CoRR, (2014)Tutorial: Parallel Model Checking., и . SPIN, том 4595 из Lecture Notes in Computer Science, стр. 2-3. Springer, (2007)From Model Checking to Runtime Verification and Back., , и . RV, том 10548 из Lecture Notes in Computer Science, стр. 225-240. Springer, (2017)Local Nontermination Detection for Parallel C++ Programs., и . SEFM, том 11724 из Lecture Notes in Computer Science, стр. 373-390. Springer, (2019)Designing fast LTL model checking algorithms for many-core GPUs., , , и . J. Parallel Distributed Comput., 72 (9): 1083-1097 (2012)On clock-aware LTL parameter synthesis of timed automata., , , и . J. Log. Algebraic Methods Program., (2018)A symbolic approach to controlling piecewise affine systems., , , , и . CDC, стр. 4230-4235. IEEE, (2010)On Symbolic Execution of Decompiled Programs., , , и . QRS, стр. 265-272. IEEE, (2020)Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs., , , , и . FMICS, том 7437 из Lecture Notes in Computer Science, стр. 78-92. Springer, (2012)