Dr.-Ing. Kai-Steffen Hielscher

Computer Science 7 (Computer Networks and Communication Systems)

Different Scenarios of Concatenation at Aggregate Scheduling of Multiple Nodes (2013) Klehmet U, Hielscher KS Conference contribution, Conference Contribution Precompiled Configuration Spaces for the Verification of Consistency in Production Planning Processes (2012) Berndt R, Bazan P, Hielscher KS Conference contribution Multi-Valued Decision Diagrams for the Verification of Consistency in Automotive Product Data (2012) Berndt R, Bazan P, Hielscher KS, German R, Lukasiewycz M Conference contribution Strictness of Rate-Latency Service Curves (2012) Klehmet U, Hielscher KS Conference contribution Network Calculus: Application to an Industrial Automation Network (2012) Kerschbaum S, Hielscher KS, Klehmet U, German R Conference contribution, Conference Contribution Automatische Generierung des Network Calculus-Modells aus einem Simatic STEP7-Projekt (2012) Kerschbaum S, Hielscher KS, German R Conference contribution MDD-based Verification of Car Manufacturing Data (2011) Berndt R, Bazan P, Hielscher KS Conference contribution, Conference Contribution On the Ordering of Variables of Multi-Valued Decision Diagrams (2011) Berndt R, Bazan P, Hielscher KS Conference contribution Model driven testing of embedded automotive systems with timed usage models (2010) Siegl S, Hielscher KS, German R Conference contribution, Conference Contribution Introduction of time dependencies in usage model based testing of complex systems (2010) Siegl S, Hielscher KS, German R Conference contribution, Conference Contribution