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


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