XFindBugs: eXtended FindBugs for AspectJ Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao School of Software, Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China {haihaoshen, saizhan

Source URL: zhang-sai.github.io

• Software development
• Computing
• Aspect-oriented software development
• Software engineering
• Aspect-oriented programming
• AspectJ
• Pointcut
• FindBugs
• Join point
• Spring Framework
• Cross-cutting concern
• Software design pattern

Think! Das Kundenmagazin von IBM Schweiz Smarter Software von IBM

Source URL: www-05.ibm.com

Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process using UPPAAL Jan Toennemann1 , Andreas Rausch1 , Falk Howar2 , and Benjamin Cool3 1

Source URL: www.falkhowar.de

• Real-time computing
• Scheduling
• Technology
• Computer architecture
• System software
• Embedded operating systems
• Automotive software
• OSEK
• Worst-case execution time
• Real-time operating system
• Uppaal Model Checker
• Model checking

Inside a Verified Flash File System: Transactions & Garbage Collection ? ?? Gidon Ernst, J¨ org Pf¨ ahler, Gerhard Schellhorn, and Wolfgang Reif Institute for Software and Systems Engineering

Source URL: www.isse.uni-augsburg.de

• Computer memory
• Computer data storage
• Embedded Linux
• Data management
• Computing
• Non-volatile memory
• Flash file system
• Flash memory
• Data
• UBIFS
• File system
• JFFS2

This is the author’s version of an article that has been published in the journal of Systems and Software. Changes were made to this version by the publisher prior to publication. The final version of record is availab

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

• Mathematical optimization
• Mathematical analysis
• Vilfredo Pareto
• Economy
• Analysis
• Multi-objective optimization
• Multiple-criteria decision analysis
• Pareto efficiency
• XTR
• Sensitivity analysis

LS-Designs: Bitslice Encryption for Efficient Masked Software Implementations Vincent Grosso1 , Ga¨etan Leurent1,2 , Fran¸cois-Xavier Standaert1 , Kerem Varici1 1 ICTEAM/ELEN/Crypto Group, Universit´e catholique de L

Source URL: who.rocq.inria.fr

• Cryptography
• Block ciphers
• Differential cryptanalysis
• Q
• Data Encryption Standard
• ICE
• S-box
• ARIA
• VEST
• NOEKEON
• Advanced Encryption Standard
• Substitutionpermutation network

Opportunities and Research Challenges of Hybrid Software Defined Networks Stefano Vissicchio⇤ Laurent Vanbever Princeton University

Source URL: www0.cs.ucl.ac.uk

• Network architecture
• Emerging technologies
• Computing
• Computer architecture
• Information and communications technology
• Configuration management
• Software-defined networking
• OpenFlow
• Network function virtualization
• Routing
• Big Switch Networks
• Computer network

Software Quality Journal manuscript No. (will be inserted by the editor) Automated Testing of DSL Implementations Experiences from Building mbeddr Daniel Ratiu · Markus Voelter ·

Source URL: mbeddr.com

• Software engineering
• Computing
• Computer programming
• Language workbench
• High-level programming languages
• Domain-specific language
• JetBrains MPS
• JetBrains
• Red
• Interpreter
• Structure editor
• Declarative programming

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

From Underapproximations to Overapproximations and Back! Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Carnegie Mellon University
• Cyberwarfare
• Software Engineering Institute
• Mellon
• Software engineering
• Carnegie
• Pittsburgh