On Quantitative Software Verification Marta Kwiatkowska Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract: Software verification has made great progress in recent years, resulting in several to

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

• Formal methods
• Model checkers
• Metaphysics
• Model checking
• Theoretical computer science
• PRISM model checker
• Computing
• Refinement
• Abstraction
• Markov chain
• Stochastic

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) First International Competition on Runtime Verification Rules, Benchmarks, Tools, and Final Results of CRV 2014 Ezio Bartocci1 , Yli`

Source URL: julien.signoles.free.fr

• Computing
• Software engineering
• Computer programming
• Functional languages
• Program analysis
• Data types
• Programming languages
• Object-oriented programming languages
• ANSI/ISO C Specification Language
• Runtime verification
• Benchmark
• KeY

Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA

Source URL: rjoshi.org

• Computing
• Software quality
• Engineering
• Reliability engineering
• Software engineering
• Design for X
• Materials science
• Survival analysis
• Fault tolerance
• Redundancy
• Software design
• Modular programming

Poster: Flow Inspection Scheduling for Cyber Security on Software-Defined Networks Sunghwan Kim, Seunghyun Yoon, and Hyuk Lim School of Electrical Engineering and Computer Science Gwangju Institute of Science and Technol

Source URL: www.ieee-security.org

• System software
• Computing
• Utility software
• Computer network security
• Computer security
• Configuration management
• Network architecture
• Software-defined networking
• Intrusion detection system
• Snort
• OpenFlow
• Traffic flow

James J Porter web: jamesporter.me mail: Experience Software Engineer, NovemberNovember 2015

Source URL: www.jamesporter.me

• Computing
• Software engineering
• Software
• Cross-platform software
• High-level programming languages
• Scripting languages
• Computational notebook
• JavaScript
• Web programming
• IPython
• PostgreSQL
• Python

Distributed Databases on Top of SPNs: A case study with Cockroach DB Yilong Geng and Balaji Prabhakar Stanford University Applications of Huygens -- a software clock

Source URL: platformlab.stanford.edu

• Computing
• Data management
• Data
• Transaction processing
• Databases
• Concurrency control
• NewSQL
• Serializability
• Spanner
• Database transaction
• Schedule
• Cockroach Labs

Farewell to Servers: Hardware, Software, and Network Approaches towards Datacenter Resource Disaggregation Yiying Zhang

Source URL: prof.ict.ac.cn

Windsurvey.co.uk Local wind survey equipment This leaflet contains installation and operating instructions for carrying out a local wind survey using software and equipment supplied by Windsurvey.co.uk (info@windsurvey.c

Source URL: www.windsurvey.co.uk

• Wind power
• Energy
• Aerodynamics
• Meteorology
• Anemometer
• USB
• Wind turbine
• Wind speed
• Wind
• Betz's law
• Small wind turbine
• Y-cable

UFO: Verification with Interpolants and Abstract Interpretation Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Compilers
• LLVM
• Carnegie Mellon University
• Unidentified flying object
• Mellon
• Carnegie
• Arie
• Software

Assuring the Safety of Advanced Driver Assistance Systems through a Combination of Simulation and Runtime Monitoring Malte Mauritz, Falk Howar, and Andreas Rausch Institute for Applied Software Systems Engineering (IPSSE

Source URL: www.falkhowar.de

• Transport
• Land transport
• Automation
• Emerging technologies
• Road transport
• Modeling and simulation
• Advanced driver assistance systems
• Simulation
• Advanced driver-assistance systems
• Self-driving car
• Traffic
• Automated driving system