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


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