No. Title Author Year
1 Communicating Finite-State Machines and Two-Variable Logic Bollig, Benedikt et al. 2018
2 Towards an Efficient Tree Automata Based Technique for Timed Systems Akshay, S. et al. 2017
3 Analyzing Timed Systems Using Tree Automata Akshay, S. et al. 2016
4 An Automata-Theoretic Approach to the Verification of Distributed Algorithms Aiswarya, Cyriac et al. 2015
5 Parameterized Communicating Automata: Complementation and Model Checking Bollig, Benedikt et al. 2014
6 Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041) Droste, Manfred et al. 2014
7 Reasoning About Distributed Systems: WYSIWYG (Invited Talk) Cyriac, Aiswarya et al. 2014
8 10031 Abstracts Collection -- Quantitative Models: Expressiveness and Analysis Baier, Christel et al. 2010
9 10031 Executive Summary -- Quantitative Models: Expressiveness and Analysis Baier, Christel et al. 2010
10 Model checking time-constrained scenario-based specifications Akshay, S. et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 10


DROPS-Home | Fulltext Search | Imprint Published by LZI