Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Zdenek Hanzalek

Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model Using One Clock

2010English

Related publications

Model Checking for Probabilistic Timed Automata

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2012English

Branching-Time Model Checking of Parametric One-Counter Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study

Journal of Software Engineering and Applications
2015English

Model Checking Real Time Java Using Java PathFinder

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Method for Testing Real-Time System Based on Timed Automata

Ruan Jian Xue Bao/Journal of Software
Software
2007English

Quantitative Analysis of Real-Time Systems Using Priced Timed Automata

Communications of the ACM
Computer Science
2011English

Real-Time Model Checking on Secondary Storage

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

On Expressiveness and Complexity in Real-Time Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Real-Time Model Checking Is Really Simple

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy