No. Title Author Year
1 Reachability for Updatable Timed Automata Made Faster and More Effective Gastin, Paul et al. 2020
2 Register Transducers Are Marble Transducers Douéneau-Tabot, Gaëtan et al. 2020
3 Weighted Tiling Systems for Graphs: Evaluation Complexity Aiswarya, C. et al. 2020
4 Wreath/Cascade Products and Related Decomposition Results for the Concurrent Setting of Mazurkiewicz Traces Adsul, Bharat et al. 2020
5 Aperiodic Weighted Automata and Weighted First-Order Logic Droste, Manfred et al. 2019
6 Front Matter, Table of Contents, Preface, Conference Organization Chattopadhyay, Arkadev et al. 2019
7 LIPIcs, Volume 150, FSTTCS'19, Complete Volume Chattopadhyay, Arkadev et al. 2019
8 Communicating Finite-State Machines and Two-Variable Logic Bollig, Benedikt et al. 2018
9 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
10 Reachability in Timed Automata with Diagonal Constraints Gastin, Paul et al. 2018
11 Towards an Efficient Tree Automata Based Technique for Timed Systems Akshay, S. et al. 2017
12 Analyzing Timed Systems Using Tree Automata Akshay, S. et al. 2016
13 An Automata-Theoretic Approach to the Verification of Distributed Algorithms Aiswarya, Cyriac et al. 2015
14 Parameterized Communicating Automata: Complementation and Model Checking Bollig, Benedikt et al. 2014
15 Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041) Droste, Manfred et al. 2014
16 Reasoning About Distributed Systems: WYSIWYG (Invited Talk) Cyriac, Aiswarya et al. 2014
17 10031 Abstracts Collection -- Quantitative Models: Expressiveness and Analysis Baier, Christel et al. 2010
18 10031 Executive Summary -- Quantitative Models: Expressiveness and Analysis Baier, Christel et al. 2010
19 Model checking time-constrained scenario-based specifications Akshay, S. et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 19

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