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

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