search result

Cover von Compiler-based Extraction of Event Arrival Functions for Real-Time Systems Analysis

Compiler-based Extraction of Event Arrival Functions for Real-Time Systems Analysis

Year: 2018
Media group: LIPIcs
Cover von A Response-Time Analysis for Non-Preemptive Job Sets under Global Scheduling

A Response-Time Analysis for Non-Preemptive Job Sets under Global Scheduling

Year: 2018
Media group: LIPIcs
Cover von Vulnerability Analysis and Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Systems

Vulnerability Analysis and Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Systems

Year: 2018
Media group: LIPIcs
Cover von Optimal Analysis of an Online Algorithm for the Bipartite Matching Problem on a Line

Optimal Analysis of an Online Algorithm for the Bipartite Matching Problem on a Line

Year: 2018
Media group: LIPIcs
Cover von On the Meaning of pWCET Distributions and their use in Schedulability Analysis
article in 8th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2017)
Search for this author
Year: 2017
Publisher: http://www.cister.isep.ipp.pt
Media group: ARTICLE
Cover von Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
22nd Iberoamerican Congress, CIARP 2017, Valparaíso, Chile, November 7-10, 2017, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10657
Media group: MONOGRAPHIE
Cover von Better and Simpler Error Analysis of the  Sinkhorn-Knopp Algorithm for Matrix Scaling

Better and Simpler Error Analysis of the Sinkhorn-Knopp Algorithm for Matrix Scaling

Year: 2018
Media group: OASICS
Cover von Dynamic Analysis of the Arrow Distributed Directory Protocol in General Networks

Dynamic Analysis of the Arrow Distributed Directory Protocol in General Networks

Year: 2017
Media group: LIPIcs
Cover von Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk)

Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk)

Year: 2017
Media group: LIPIcs
Cover von Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses (Invited Talk)

Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses (Invited Talk)

Year: 2017
Media group: LIPIcs
OPEN V 11.1.0.0