Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’16) Errata Slip In the paper “Be Fast, Cheap and in Control with SwitchKV” by Xiaozhou Li and Raghav Sethi, Princeton

Source URL: www.usenix.org

Scholia as of September 2018 Finn ˚ Arup Nielsen Cognitive Systems, DTU Compute, Technical University of Denmark 4 September 2018

Source URL: www2.compute.dtu.dk

• Classical philology
• Documents
• Scholia
• Arup

Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U

Source URL: qav.comlab.ox.ac.uk

GRADUATE SEMINAR Daniel Krumer Abstract Sub-Product Systems MSc Student supervised by Remus Floricel March 12, 2018

Source URL: www.uregina.ca

Planware II: Synthesis of Schedulers for Complex Resource Systems Marcel Becker Limei Gilham Douglas R. Smith Kestrel Technology

Source URL: www.kestrel.edu

• Scheduling
• Information technology management
• Business
• Economy
• Production planning
• Computing
• Schedule
• Job scheduler
• Local consistency
• Business process management
• Constraint programming
• Windows Task Scheduler

T DR AF Probabilistic Model Checking for Systems Biology

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Theoretical computer science
• Linear temporal logic
• Fibroblast growth factor receptor
• Cell biology
• Markov chain
• Markov decision process
• Computation tree logic
• Fibroblast growth factor
• Probabilistic CTL
• Probability

Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Temporal logic
• Mathematical analysis
• Theoretical computer science
• Linear temporal logic
• Mathematical logic
• Formal languages
• Computation tree logic
• Constructible universe
• Markov decision process
• Well-formed formula
• IP

1 Poster: HoneyBot- A Honeypot for Robotic Systems Celine Irvene, Member, IEEE, David Formby, Member, IEEE, Sam Litchfield, Member, IEEE, and Raheem Beyah, Senior Member, IEEE

Source URL: www.ieee-security.org

• Computer network security
• Security engineering
• Computing
• Cyberwarfare
• Honeypot
• Spamming
• Robotics
• Robot
• Cyber-physical system
• Computer security
• Client honeypot

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems∗ Kyungmin Bae Peter Csaba Ölveczky

Source URL: scungao.github.io

Department of Computer Science INCREMENTAL RUNTIME VERIFICATION OF PROBABILISTIC SYSTEMS Vojtˇech Forejt

Source URL: www.cs.ox.ac.uk

• Dynamic programming
• Markov processes
• Stochastic control
• Markov models
• Probability
• Markov decision process
• Markov chain
• PP
• Probabilistic CTL
• Model checking