No. Title Author Year
1 Reachability in Bidirected Pushdown VASS Ganardi, Moses et al. 2022
2 From Verification to Causality-Based Explications (Invited Talk) Baier, Christel et al. 2021
3 Generalising Projection in Asynchronous Multiparty Session Types Majumdar, Rupak et al. 2021
4 The Pseudo-Skolem Problem is Decidable D'Costa, Julian et al. 2021
5 Algebraic Invariants for Linear Hybrid Automata Majumdar, Rupak et al. 2020
6 On Decidability of Time-Bounded Reachability in CTMDPs Majumdar, Rupak et al. 2020
7 The Complexity of Bounded Context Switching with Dynamic Thread Creation Baumann, Pascal et al. 2020
8 From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems Gujarati, Arpan et al. 2019
9 Motion Session Types for Robotic Interactions (Brave New Idea Paper) Majumdar, Rupak et al. 2019
10 Random Testing for Distributed Systems with Theoretical Guarantees (Invited Paper) Majumdar, Rupak 2018
11 Verification of Immediate Observation Population Protocols Esparza, Javier et al. 2018
12 Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201) Belta, Calin A. et al. 2017
13 Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111) Chaudhuri, Swarat et al. 2017
14 The Robot Routing Problem for Collecting Aggregate Stochastic Rewards Dimitrova, Rayna et al. 2017
15 Model Checking Population Protocols Esparza, Javier et al. 2016
16 Asynchronous Liquid Separation Types Kloos, Johannes et al. 2015
17 Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes Esmaeil Zadeh Soudjani, Sadegh et al. 2015
18 Rely/Guarantee Reasoning for Asynchronous Programs Gavran, Ivan et al. 2015
19 Verification of Population Protocols Esparza, Javier et al. 2015
20 Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122) Majumdar, Rupak et al. 2014
21 A Theory of Partitioned Global Address Spaces Calin, Georgel et al. 2013
22 Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461) Bjorner, Nikolaj et al. 2013
23 Algorithms for Game Metrics Chatterjee, Krishnendu et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 23


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