search result

Cover von Part II.; Tools and Algorithms for the Construction and Analysis of Systems
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science : ARCoSS; 10206
Media group: MONOGRAPHIE
Cover von Reconstruction, Segmentation, and Analysis of Medical Images
First International Workshops, RAMBO 2016 and HVSMR 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10129
Media group: MONOGRAPHIE
Cover von Measurement-Based Timing Analysis of the AURIX Caches

Measurement-Based Timing Analysis of the AURIX Caches

Author: Kosmidis, Leonidas; Compagnin, Davide; Morales, David
Year: 2016
Media group: OASICS
Cover von Expressing and Exploiting Conflicts over Paths in WCET Analysis

Expressing and Exploiting Conflicts over Paths in WCET Analysis

Year: 2016
Media group: OASICS
Cover von Higher-Order Demand-Driven Program Analysis

Higher-Order Demand-Driven Program Analysis

Year: 2016
Media group: LIPIcs
Cover von Analysis of Technology Trends Basedon Diverse Data Sources

Analysis of Technology Trends Basedon Diverse Data Sources

article
Year: 2015
Media group: ARTICLE
Cover von Football analysis using spatio-temporal tools

Football analysis using spatio-temporal tools

article
Year: 2014
Media group: ARTICLE
Cover von Discovering concrete attacks on website authorization by formal analysis

Discovering concrete attacks on website authorization by formal analysis

article
Year: 2014
Media group: ARTICLE
Cover von Database-backed program analysis for scalable error propagation
article in ICSE 2015 : pp. 586-497
Author: Weiss, Cathrin; Rubio-Gonzalez, Cindy; Liblit, Ben Search for this author
Year: 2015
Publisher: New York, ACM
Series: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering
Media group: ARTICLE
Cover von Topological Methods in Data Analysis and Visualization III
Theory, Algorithms, and Applications
Search for this author
Year: 2014
Publisher: Heidelberg, Springer
Series: Mathematics and visualization
Media group: MONOGRAPHIE
OPEN V 11.1.0.0