Incremental False Path Elimination for Static Software Analysis Ansgar Fehnker, Ralf Huuck, and Sean Seefried National ICT Australia Ltd. (NICTA)? Locked Bag 6016 University of New South Wales

Source URL: www.cse.unsw.edu.au

• W0
• Differential equation
• Equation

A GPU-Accelerated Parallel Preconditioner for the Solution of the Boltzmann Transport Equation for Semiconductors Karl Rupp1,2 , Ansgar J¨ ungel1 , and Tibor Grasser2 1

Source URL: www.iue.tuwien.ac.at

• Computing
• Graphics hardware
• GPGPU
• Video cards
• Preconditioner
• Lis
• Multigrid method
• Graphics processing unit
• Sparse matrix
• Numerical analysis
• Numerical linear algebra
• Software

Software Metrics in Static Program Analysis Andreas Vogelsang1 , Ansgar Fehnker2 , Ralf Huuck2 , and Wolfgang Reif1 1 Lehrstuhl für Softwaretechnik und Programmiersprachen, Universität Augsburg Universtitätsstrasse 14

Source URL: www.cse.unsw.edu.au

Automatic Bug Detection in Microcontroller Software by Static Program Analysis Ansgar Fehnker1 , Ralf Huuck1 , Bastian Schlich2 , and Michael Tapp1 2

Source URL: www.cse.unsw.edu.au

• Embedded systems
• Central processing unit
• Special function register
• Immunity-aware programming
• Computer architecture
• Interrupts
• Microcontrollers

Goanna: Syntactic Software Model Checking Ansgar Fehnker, J¨ org Brauer, Ralf Huuck, and Sean Seefried National ICT Australia Ltd. (NICTA)? Locked Bag 6016 University of New South Wales

Source URL: www.cse.unsw.edu.au

• Compiler construction
• NuSMV
• Software testing
• Model checking
• Static program analysis
• Abstract interpretation
• Parsing
• Software verification
• Coverity
• Model checkers
• Software
• Computing

Innovations in Systems and Software Engineering manuscript No. (will be inserted by the editor) Model Checking Driven Static Analysis for the Real World Designing and Tuning Large Scale Bug Detection Ansgar Fehnker · Ra

Source URL: www.cse.unsw.edu.au

• Software bugs
• Data types
• Source code
• Procedural programming languages
• Pointer
• C
• Abstract interpretation
• Static program analysis
• Buffer overflow
• Software engineering
• Computing
• Computer programming

TAPASHigh Performance Static Analysis for Industry Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson and Ralf Huuck

Source URL: www.cse.unsw.edu.au

• Formal methods
• Software testing
• Program analysis
• Logic in computer science
• Procedural programming languages
• Static program analysis
• Vulnerability
• Model checking
• Abstract interpretation
• Computing
• Software engineering
• Computer programming

The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis Jakob Mund1? , Ralf Huuck2 , Ansgar Fehnker2,3 , and Cyrille Artho4 1 4

Source URL: www.cse.unsw.edu.au

• Software engineering
• Thread
• Parallel computing
• Deadlock
• Lock
• Java Pathfinder
• Critical section
• Model checking
• Mutual exclusion
• Concurrency control
• Computing
• Computer programming

HÄUSER aktuell REDAKTION ANSGAR STEINHAUSEN

Source URL: akomm.ekut.kit.edu

Kursuskalender : : Søren Kierkegaard dage. Sted: Ansgar

Source URL: www.fyensstift.dk