24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨

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

• Theoretical computer science
• Formal methods
• Logic in computer science
• Computing
• Software engineering
• Electronic engineering
• Software testing
• Formal verification
• Runtime verification
• Software verification
• Java Modeling Language
• Verification

Troubleshooting Blackbox SDN Control Software with Minimal Causal Sequences Colin Scott Andreas Wundsam†? Barath Raghavan? Aurojit Panda

Source URL: people.ee.ethz.ch

• Computer programming
• Computing
• Software engineering
• Debugging
• Rr
• Delta debugging
• Software bug
• Software-defined networking
• Debugger
• Fuzzing
• Race condition
• Event

The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USA

Source URL: www.lix.polytechnique.fr

• Parallel computing
• Computing
• Computer engineering
• Computer science
• Electrical engineering
• Electronic engineering
• Electromagnetism
• Message Passing Interface
• Model checking
• Computer programming
• Computational science
• Simulation

ICSM: AutoFlow: An Automatic Debugging Tool for AspectJ Software

Source URL: zhang-sai.github.io

• Software development
• Computing
• Software
• Aspect-oriented software development
• Debugging
• Aspect-oriented programming
• Programming paradigms
• AspectJ
• Delta debugging
• Software bug
• Debugger
• Computer programming

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

Source URL: www.prismmodelchecker.org

Researchers build software that can predict your lifespan By Susie East, for CNN Updated 0912 GMTHKT) April 1, 2016 (CNN)Imagine if a computer could tell you how many days you had left. You might decide to live yo

Source URL: www.alphauae.com

• Senescence
• Demography
• Environmental social science
• Big data
• Ageing
• Centenarian
• Life expectancy
• CNN

PNCOIRank: Evaluating the Impact of Scholarly Articles with Positive and Negative Citations Xiaomei Bai, Jun Zhang, Hai Cui, Zhaolong Ning and Feng Xia School of Software, Dalian University of Technology, Dalian,

Source URL: gdac.uqam.ca

• Reference
• Information science
• Mathematical analysis
• Google Search
• PageRank
• Reputation management
• Search engine optimization
• Knowledge
• Citation network
• Citation
• Cai Gao
• Pi

Education Sharif University of Technology, Tehran, Iran BS in Computer Engineering - Software Engineering Grade Point Average: 18.29 out of 20 GPAKasra Edalat Nejad

Source URL: ce.sharif.edu

• Provinces of Iran
• Sharif University of Technology
• Tehran Province
• Nejad
• Mohammad Ghodsi
• Tehran
• SUT

Call for Papers - NSV 2015 8th Workshop on Numerical Software Verification PC Co-Chairs Important Dates Submission Notification

Source URL: nsv2015.informatik.uni-freiburg.de

• Economy
• Computational science
• Numerical analysis
• Computer science
• Validation
• Electromagnetism
• Quantitative analyst
• Business

Star-Cap: Cluster Power Management Using Software-Only Models John D. Davis Suzanne Rivoire

Source URL: rivoire.cs.sonoma.edu

• Computing
• Parallel computing
• Computer engineering
• Information and communications technology
• Capping
• Power management
• Computer cluster
• Scalability
• PageRank
• Distributed computing