General Terms and Conditions of ITEMIS AG for Software Licenses itemis AG Version 2.0.1, General Terms and Conditions of ITEMIS AG for Software Licenses

Source URL: legal.itemis.com

• Itemis
• YAKINDU Statechart Tools
• Application software
• Software license

Effective Identification of Failure-Inducing Changes: A Hybrid Approach∗ Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China

Source URL: zhang-sai.github.io

• Software development
• Computing
• Debugging
• Aspect-oriented software development
• Aspect-oriented programming
• Delta debugging
• Extreme programming
• Software testing
• Debugger
• Software bug
• AspectJ
• Spring Framework

GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh

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

• Uniform polyhedra
• Prism
• PRISM model checker
• Model checking
• Grip

Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development? Andrew McNamara Justin Smith

Source URL: people.engr.ncsu.edu

• Ethics
• Philosophy
• Emerging technologies
• Human behavior
• Professional ethics
• Codes of conduct
• Philosophy of life
• Business ethics
• Ethical decision
• Computer ethics
• Self-driving car
• Ethical code

AetherWorks 501 Fifth Avenue, New York, NYSENIOR SOFTWARE ENGINEER AETHERWORKS AetherWorks is a Software Research & Venture Development firm. We have been located on Bryant Park for the last 7 years where we have

Source URL: www.aetherworks.com

• Computing
• Engineering
• Software engineering
• Software testing
• Information and communications technology
• Product development
• Software development
• Software engineer
• Test automation
• Software quality

AES on the ARM Cortex-M3 and M4 Peter Schwabe and Ko Stoffelen More AES software implementations? •

Source URL: ko.stoffelen.nl

• Computing
• Computer architecture
• Programming language theory
• Instruction set architectures
• Procedural programming languages
• Microcontrollers
• R0
• ALGOL 68
• STM32
• ARM architecture

Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Computing
• Software engineering
• Computer programming
• Carnegie Mellon University
• Carnegie Mellon Silicon Valley
• Abstract interpretation
• Mellon
• Scala
• Refinement

«Alle brauchen IT. Unsere Web- und Mobilelösungen werden täglich mit Freude genutzt. Ganz ohne Ärger, weil sie einfach funktionieren.» Mit dieser Vision realisieren und betreiben wir zukunftsweisende Software-Lösun

Source URL: www.exanic.ch

Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie

Source URL: seahorn.github.io

• Computing
• Computer programming
• C
• Data types
• Pointer
• Hooking
• Exec
• Nm
• Struct

Software-basierte Mikroarchitekturangriffe1 Daniel Gruss2 Abstract: Moderne Prozessoren sind hoch optimierte Systeme, bei denen jeder einzelne Rechenzeitzyklus von Bedeutung ist. Viele Optimierungen h¨angen von den Date

Source URL: gruss.cc