No. Title Author Year
1 Aperiodic Weighted Automata and Weighted First-Order Logic Droste, Manfred et al. 2019
2 Front Matter, Table of Contents, Preface, Conference Organization Chattopadhyay, Arkadev et al. 2019
3 Communicating Finite-State Machines and Two-Variable Logic Bollig, Benedikt et al. 2018
4 It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before" Bollig, Benedikt et al. 2018
5 Reachability in Timed Automata with Diagonal Constraints Gastin, Paul et al. 2018
6 Towards an Efficient Tree Automata Based Technique for Timed Systems Akshay, S. et al. 2017
7 Analyzing Timed Systems Using Tree Automata Akshay, S. et al. 2016
8 An Automata-Theoretic Approach to the Verification of Distributed Algorithms Aiswarya, Cyriac et al. 2015
9 Parameterized Communicating Automata: Complementation and Model Checking Bollig, Benedikt et al. 2014
10 Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041) Droste, Manfred et al. 2014
11 Reasoning About Distributed Systems: WYSIWYG (Invited Talk) Cyriac, Aiswarya et al. 2014
12 10031 Abstracts Collection -- Quantitative Models: Expressiveness and Analysis Baier, Christel et al. 2010
13 10031 Executive Summary -- Quantitative Models: Expressiveness and Analysis Baier, Christel et al. 2010
14 Model checking time-constrained scenario-based specifications Akshay, S. et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 14


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI