search result

Cover von Verified Analysis of List Update Algorithms

Verified Analysis of List Update Algorithms

Year: 2016
Media group: LIPIcs
Cover von Analysis of Bounds on Hybrid Vector Clocks

Analysis of Bounds on Hybrid Vector Clocks

Year: 2016
Media group: LIPIcs
Cover von Machine Learning for Dynamic Software Analysis; 4
Potentials and Limits : pp. 161-173
Search for this author
Year: 2016
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 4
Media group: DAGSTUHL REPORT
Cover von Lazy Reachability Analysis in Distributed Systems

Lazy Reachability Analysis in Distributed Systems

Year: 2016
Media group: LIPIcs
Cover von Competitive Analysis of Constrained Queueing Systems

Competitive Analysis of Constrained Queueing Systems

Year: 2016
Media group: LIPIcs
Cover von Foundations of Security Analysis and Design VIII
FOSAD 2014/2015/2016 Tutorial Lectures
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Tutorial; 9808
Media group: MONOGRAPHIE
Cover von Modeling and Analysis of Semiconductor Supply Chains; 2
pp. 28-64
Search for this author
Year: 2016
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 2
Media group: DAGSTUHL REPORT
Cover von Towards Ontology-Based Program Analysis

Towards Ontology-Based Program Analysis

Year: 2016
Media group: LIPIcs
Cover von Profile Detection Through Source Code Static Analysis

Profile Detection Through Source Code Static Analysis

Year: 2016
Media group: OASICS
Cover von Verified Analysis of Functional Data Structures

Verified Analysis of Functional Data Structures

Year: 2016
Media group: LIPIcs
OPEN V 11.1.0.0