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


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