Name
Affiliation
Papers
MAREK JERSAK
Tech Univ Braunschweig, Inst Comp & Commun Network Engn, D-38106 Braunschweig, Germany
22
Collaborators
Citations 
PageRank 
40
305
25.27
Referers 
Referees 
References 
594
300
237
Search Limit
100594
Title
Citations
PageRank
Year
Learning early-stage platform dimensioning from late-stage timing verification20.382009
System level performance analysis for real-time automotive multicore and network architectures241.102009
Timing Validation of Automotive Software80.492008
Formal Methods in System and MpSoC Performance Analysis and Optimisation10.382008
ALL-TIMES - A European Project on Integrating Timing Technology30.472008
Automotive networks: are new busses and gateways the answer or just another challenge?00.342007
A framework for modular analysis and exploration of heterogeneous embedded systems271.402006
Applying sensitivity analysis in real-time distributed systems372.092005
SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme00.342005
Early Architecture Exploration with SymTA/S10.412005
Design Space Exploration and System Optimization with SymTA/S " Symbolic Timing Analysis for Systems271.642004
Context-Aware Performance Analysis for Efficient Embedded System Design302.412004
A Formal Approach to MpSoC Performance Verification624.092003
Enabling scheduling analysis of heterogeneous systems with multi-rate data dependencies and rate intervals181.452003
Formal Methods for Integration of Automotive Software111.132003
Certifiable Software-Integration for Engine Electronics.00.342003
Transformation of SDL specifications for system-level timing analysis30.602002
Bottom-Up Performance Analysis of HW/SW Platforms40.432002
Model composition for scheduling analysis in platform design313.232002
Combining Complex Event Models and Timing Constraints21.082001
Interval-Based Analysis of Software Processes50.742001
A transformational approach to constraint relaxation of a time-driven simulation model90.742000