∗ Quantitative Verification: Models, Techniques and Tools Marta Kwiatkowska Oxford University Computing Laboratory Parks Road, Oxford OX1 3QD, UK

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

• Temporal logic
• Theoretical computer science
• Mathematics
• Linear temporal logic
• Probability
• Computation tree logic
• IP
• Probabilistic CTL
• PRISM model checker
• Markov decision process
• Model checking
• Markov chain

Stochastic Games for Verification of Probabilistic Timed Automata Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. Probabilistic timed auto

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

• Dynamic programming
• Markov decision process
• Stochastic control
• Symbol
• PP
• Probability and statistics
• Probability
• Theoretical computer science
• Models of computation

Node Variability in Large-Scale Power Measurements: Perspectives from the Green500, Top500 and EEHPCWG Thomas Scogland Green500 List and Lawrence Livermore National Laboratory

Source URL: rivoire.cs.sonoma.edu

• Computing
• Computer architecture
• Computers and the environment
• Supercomputers
• Cluster computing
• Cray
• Supercomputing in Japan
• Performance per watt
• Titan
• K computer
• Tsubame
• TOP500

Comprehension of spacecraft telemetry using hierarchical specifications of behavior? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA

Source URL: rjoshi.org

• E1
• Hepatitis C virus

Modeling and predicting retweeting dynamics via a mixture process Jinhua Gao, Huawei Shen, Shenghua Liu and Xueqi Cheng , {shenhuawei, liushenghua, cxq}@ict.ac.cn CAS Key Laboratory of Network

Source URL: gdac.uqam.ca

• Digital media
• Social networking services
• World Wide Web
• Software
• Microblogging
• Real-time web
• Blogging
• Facebook
• Reblogging
• Social media
• Twitter
• Economic model

Runtime Detection of Temporal Memory Errors? Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, and Arvid Jakobsson CEA, LIST, Software Reliability and Security Laboratory, PC 174, 91191 Gif-sur-Yvette France {kosty

Source URL: julien.signoles.free.fr

• Computing
• Software engineering
• Computer programming
• Data types
• C++
• C
• Primitive types
• Software bugs
• Pointer
• Struct
• Memory safety
• C dynamic memory allocation

Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

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

• Theoretical computer science
• Mathematics
• Formal methods
• Logic in computer science
• Models of computation
• Temporal logic
• Runtime verification
• Formal verification
• Model checking
• Linear temporal logic
• Finite-state machine
• FO

Dissent in Numbers: Making Strong Anonymity Scale David Isaac Wolinsky, Henry Corrigan-Gibbs, and Bryan Ford Yale University Aaron Johnson U.S. Naval Research Laboratory

Source URL: www.usenix.org

• Computing
• Internet
• Anonymity
• Cryptography
• Internet privacy
• Dining cryptographers problem
• Internet Standards
• Internet Relay Chat
• Clientserver model
• Anonymous web browsing
• Server
• Anonymizer

Evaluating quality of service for service level agreements Allan Clark and Stephen Gilmore Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, Scotland

Source URL: www.dcs.ed.ac.uk

• Business
• Economy
• Queueing theory
• Management
• Graph theory
• Markov chain
• Service level
• Service-level agreement
• Airbag
• Statistical hypothesis testing
• Sensitivity analysis
• PEPA

Compositional Verification of Probabilistic Systems using Learning Lu Feng, Marta Kwiatkowska, David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Email: {lu.feng, marta.kwiatkowska, david.pa

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