Publications
Technische Universität Braunschweig

Publications of the Project:

Jonas Rox and Rolf Ernst, "Formal Timing Analysis of Full Duplex Switched Based Ethernet Network Architectures," in SAE World Congress, vol. System Level Architecture Design Tools and Methods (AE318), (Detroit, MI, USA), SAE International, April 2010 Show BibTeX code: Formal Timing Analysis of Full Duplex Switched Based Ethernet Network Architectures   
Mircea Negrean, Simon Schliecker, and Rolf Ernst, "Timing Implications of Sharing Resources in Multicore Real-Time Automotive Systems," in SAE World Congress, vol. System Level Architecture Design Tools and Methods (AE318), (Detroit, MI, USA), SAE International, April 2010 Show BibTeX code: Timing Implications of Sharing Resources in Multicore Real-Time Automotive Systems Visit Website/URL: http://www.sae.org/servlets/productDetail?PROD_TYP=PAPER&PROD_CD=2010-01-0454 
Simon Schliecker, Mircea Negrean, and Rolf Ernst, "Bounding the Shared Resource Load for the Performance Analysis of Multiprocessor Systems," in Proc. of Design, Automation, and Test in Europe (DATE), (Dresden, Germany), March 2010 Show BibTeX code: Bounding the Shared Resource Load for the Performance Analysis of Multiprocessor Systems Visit Website/URL: http://www.google.com/url?sa=t&source=web&ct=res&cd=1&ved=0CAsQFjAA&url=http%3A%2F%2Fwww.date-conference.com%2Fproceedings%2FPAPERS%2F2010%2FDATE10%2FPDFFILES%2F06.6_4.PDF&ei=JpzWS4_lCobt-Ab15r2FBg&usg=AFQjCNE0tySJInhzjlFgmHb4tUD4_xVi4A&sig2=pHo3iouRXDIRuX3BaXtRdg 
Jonas Rox, Rolf Ernst, "Exploiting Inter-Event Stream Correlations Between Output Event Streams of non-Preemptively Scheduled Tasks," in Proc. Design, Automation and Test in Europe (DATE 2010), March 2010 Show BibTeX code: Exploiting Inter-Event Stream Correlations Between Output Event Streams of non-Preemptively Scheduled Tasks Download/open PDF file: Rox10:ExploInterStreaCorre.pdf  
Simon Schliecker and Rolf Ernst, "Real-Time Performance Analysis of Multiprocessor Systems with Shared Memory," ACM Transactions on Embedded Computing Systems (Special Issue on Model Driven Embedded System Design), 2010. (to appear). Show BibTeX code: Real-Time Performance Analysis of Multiprocessor Systems with Shared Memory Download/open PDF file: SE10:RealTPerfoAnalyMulti.pdf  
Simon Schliecker, Jonas Rox, Rafik Henia, Razvan Racu, Arne Hamann, and Rolf Ernst, "Formal Performance Analysis for Real-Time Heterogeneous Embedded Systems," in Model-Based Design of Heterogeneous Embedded Systems (Gabriela Nicolescu and Pieter J Mosterman, Ed.), chapter 3, pp. 57-92, CRC Press, November 2009 Show BibTeX code: Formal Performance Analysis for Real-Time Heterogeneous Embedded Systems Visit Website/URL: http://www.crcpress.com/product/isbn/9781420067842 
Simon Schliecker and Rolf Ernst, "A Recursive Approach to End-To-End Path Latency Computation in Heterogeneous Multiprocessor Systems," in Proc. 7th International Conference on Hardware Software Codesign and System Synthesis (CODES-ISSS), (Grenoble, France), ACM, October 2009 Show BibTeX code: A Recursive Approach to End-To-End Path Latency Computation in Heterogeneous Multiprocessor Systems Download/open PDF file: SE09:RecurApproEndToLaten.pdfVisit Website/URL: http://doi.acm.org/10.1145/1629435.1629494 
Simon Schliecker, Jonas Rox, Mircea Negrean, Kai Richter, Marek Jersak, and Rolf Ernst, "System Level Performance Analysis for Real-Time Automotive Multi-Core and Network Architectures," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 28, No. 7, pp. 979-992, July 2009 Show BibTeX code: System Level Performance Analysis for Real-Time Automotive Multi-Core and Network Architectures Visit Website/URL: http://dx.doi.org/10.1109/TCAD.2009.2013286 
Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, and Michael González Harbour, "Influence of different abstractions on the performance analysis of distributed hard real-time systems," Journal Design Automation for Embedded Systems (available as online first, April 2008), vol. 13, No. 1, pp. 27-49, June 2009 Show BibTeX code: Influence of different abstractions on the performance analysis of distributed hard real-time systems Visit Website/URL: http://dx.doi.org/10.1007/s10617-008-9015-1 
Mircea Negrean, Simon Schliecker, and Rolf Ernst, "Response-Time Analysis of Arbitrarily Activated Tasks in Multiprocessor Systems with Shared Resources," in Proc. of Design, Automation, and Test in Europe (DATE), (Nice, France), April 2009 Show BibTeX code: Response-Time Analysis of Arbitrarily Activated Tasks in Multiprocessor Systems with Shared Resources Visit Website/URL: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5090720 
Simon Schliecker, Jonas Rox, Matthias Ivers, and Rolf Ernst, "Providing Accurate Event Models for the Analysis of Heterogeneous Multiprocessor Systems," in Proc. 6th International Conference on Hardware Software Codesign and System Synthesis (CODES-ISSS), (Atlanta, GA), October 2008 Show BibTeX code: Providing Accurate Event Models for the Analysis of Heterogeneous Multiprocessor Systems Download/open PDF file: SRI+08:ProviAccurEventModel.pdfVisit Website/URL: http://doi.acm.org/10.1145/1450135.1450177 
Simon Schliecker, Mircea Negrean, Gabriela Nicolescu, Pierre Paulin, and Rolf Ernst, "Reliable Performance Analysis of a Multicore Multithreaded System-On-Chip," in Proc. 6th International Conference on Hardware Software Codesign and System Synthesis (CODES-ISSS), (Atlanta, GA), October 2008 Show BibTeX code: Reliable Performance Analysis of a Multicore Multithreaded System-On-Chip Download/open PDF file: SNN+08:ReliaPerfoAnalyMulti.pdfVisit Website/URL: http://doi.acm.org/10.1145/1450135.1450172 
Jonas Rox and Rolf Ernst, "Modeling Event Stream Hierarchies with Hierarchical Event Models," in Proc. Design, Automation and Test in Europe (DATE 2008), March 2008 Show BibTeX code: Modeling Event Stream Hierarchies with Hierarchical Event Models Download/open PDF file: Rox08:MES.pdf  
Simon Schliecker, Arne Hamann, Razvan Racu, and Rolf Ernst, "Formal Methods for System Level Performance Analysis and Optimization," in Proc. of the Design Verification Conference (DVCon), (San José, CA), February 2008 Show BibTeX code: Formal Methods for System Level Performance Analysis and Optimization Visit Website/URL: http://www.digibib.tu-bs.de/?docid=00028094 
Razvan Racu, Arne Hamann, and Rolf Ernst, "Sensitivity Analysis of Complex Embedded Real-Time Systems," Real-Time Systems, vol. 39, pp. 31-72, 2008 Show BibTeX code: Sensitivity Analysis of Complex Embedded Real-Time Systems Download/open PDF file: RHE08:SensiAnalyComplEmbed.pdf  
Jonas Rox and Rolf Ernst, "Construction and Deconstruction of Hierarchical Event Streams with Multiple Hierarchical Layers," in Proceedings of the 20th Euromicro Conference on Real-Time Systems (ECRTS), 2008 Show BibTeX code: Construction and Deconstruction of Hierarchical Event Streams with Multiple Hierarchical Layers Download/open PDF file: RE08:ConstDeconHieraEventHiera.pdf  
Simon Schliecker, Mircea Negrean, and Rolf Ernst, "Reliable Performance Analysis of a Multicore Multithreaded System-On-Chip (with appendix)," No. 22837, Technische Universität Braunschweig, 2008 Show BibTeX code: Reliable Performance Analysis of a Multicore Multithreaded System-On-Chip (with appendix) Visit Website/URL: http://www.digibib.tu-bs.de/?docid=00022837 
Rafik Henia, Rolf Ernst, "Scenario Aware Analysis for Complex Event Models and Distributed Systems," in Proceedings Real-Time Systems Symposium, December 2007 Show BibTeX code: Scenario Aware Analysis for Complex Event Models and Distributed Systems Download/open PDF file: Hen07:ScenaAwareAnalyCompl.pdf  
Razvan Racu, Li Li, Rafik Henia, Arne Hamann, Rolf Ernst, "Improved Response Time Analysis of Tasks Scheduled under Preemptive Round-Robin," in Proc. of the International Conference on Hardware-Software Codesign and System Synthesis, (Salzburg, Austria), pp. 179 - 184, October 2007 Show BibTeX code: Improved Response Time Analysis of Tasks Scheduled under Preemptive Round-Robin Download/open PDF file: Rac07:ImproRespoAnalyTasks.pdf  
Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, and Michael González Harbour, "Influence of Different System Abstractions on the Performance Analysis of Distributed Real-Time Systems," in Proc. ACM Conference on Embedded Software (EMSOFT), (Salzburg, Austria), October 2007 Show BibTeX code: Influence of Different System Abstractions on the Performance Analysis of Distributed Real-Time Systems Visit Website/URL: http://doi.acm.org/10.1145/1289927.1289959 
Arne Hamann, Razvan Racu, and Rolf Ernst, "Methods for Multi-Dimensional Robustness Optimization in Complex Embedded Systems," in Proc. of the ACM Embedded Systems Software Conference (EMSOFT), (Salzburg, Austria), September 2007 Show BibTeX code: Methods for Multi-Dimensional Robustness Optimization in Complex Embedded Systems Download/open PDF file: HRE07:MethoMultiRobusOptim.pdf  
Simon Künzli, Arne Hamann, Rolf Ernst and Lothar Thiele, "Combined Approach to System Level Performance Analysis of Embedded Systems," in Proc. of the ACM/IEEE International Conference on Hardware - Software Codesign and System Synthesis (CODES/ISSS), (Salzburg, Austria), September 2007 Show BibTeX code: Combined Approach to System Level Performance Analysis of Embedded Systems Download/open PDF file: KT07:CombiApproSysteLevel.pdf  
Arne Hamann and Rolf Ernst, "Efficient Priority Optimization in Complex Distributed Embedded Systems through Search Space Adaptation," in Proc. of the Genetic and Evolutionary Computation Conference (GECCO), (London, England), June 2007 Show BibTeX code: Efficient Priority Optimization in Complex Distributed Embedded Systems through Search Space Adaptation Download/open PDF file: HE07:EfficPriorOpt2iCompl.pdf  
Razvan Racu, Arne Hamann, and Rolf Ernst, "Automotive System Optimization using Sensitivity Analysis," in Proceedings of the International Embedded Systems Symposium, (Irvine, CA, USA), pp. 57-70, May 2007 Show BibTeX code: Automotive System Optimization using Sensitivity Analysis Download/open PDF file: RHE07:AutomSysteOptimusing.pdf  
Mircea Negrean, "Analytical Performance Evaluation of an ST Microelectronics Multiprocessing Platform," Master Thesis, Technical University of Braunschweig, May 2007 Show BibTeX code: Analytical Performance Evaluation of an ST Microelectronics Multiprocessing Platform Download/open PDF file: Neg07:AnalyPerfoEvaluMicro.pdf  
Simon Schliecker, Steffen Stein, and Rolf Ernst, "Performance Analysis of Complex Systems by Integration of Dataflow Graphs and Compositional Performance Analysis," in Proc. of Design, Automation and Test in Europe (DATE), April 2007 Show BibTeX code: Performance Analysis of Complex Systems by Integration of Dataflow Graphs and Compositional Performance Analysis Visit Website/URL: http://portal.acm.org/citation.cfm?id=1266425 
Arne Hamann, Razvan Racu, and Rolf Ernst, "Multi-Dimensional Robustness Optimization in Heterogeneous Distributed Embedded Systems," in Proc. of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, April 2007 Show BibTeX code: Multi-Dimensional Robustness Optimization in Heterogeneous Distributed Embedded Systems Download/open PDF file: HRE07:MultiRobusOptimHeter.pdf  
Razvan Racu, Rolf Ernst, Kai Richter, and Marek Jersak, "A Virtual Platform for Architecture Integration and Optimization in Automotive Communication Networks," in SAE World Congress, vol. System Level Architecture Design Tools and Methods (SP-2129), Detroit, MI, USA: SAE International, April 2007 Show BibTeX code: A Virtual Platform for Architecture Integration and Optimization in Automotive Communication Networks Download/open PDF file: RER+07:VirtuPlatfArchiInteg.pdf  
Rafik Henia, Razvan Racu, Rolf Ernst, "Improved Output Jitter Calculation for Compositional Performance Analysis of Distributed Systems," in Proceedings Workshop on Parallel and Distributed Real-Time Systems, March 2007 Show BibTeX code: Improved Output Jitter Calculation for Compositional Performance Analysis of Distributed Systems Download/open PDF file: Hen07:ImproOutpuJitteCalcu.pdf  
Steffen Stein, Arne Hamann, Rolf Ernst, "Real-time Management in Emergent Systems," in 36. Jahrestagung der Gesellschaft für Informatik, (Dresden, Germany), October 2006 Show BibTeX code: Real-time Management in Emergent Systems Download/open PDF file: ste06:RealtManagEmergSyste.pdf  
Simon Schliecker, Matthias Ivers, and Rolf Ernst, "Integrated Analysis of Communicating Tasks in MPSoCs," in Proc. 3rd International Conference on Hardware Software Codesign and System Synthesis (CODES-ISSS), (Seoul, Korea), October 2006 Show BibTeX code: Integrated Analysis of Communicating Tasks in MPSoCs Visit Website/URL: http://doi.acm.org/10.1145/1176254.1176325 
Razvan Racu, Arne Hamann, Rolf Ernst, Bren Mochocki, Xiaobo Sharon Hu, "Methods for Power Optimization in Distributed Embedded Systems with Real-Time Requirements," in Proceedings of the International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES), (Seoul, Korea), October 2006 Show BibTeX code: Methods for Power Optimization in Distributed Embedded Systems with Real-Time Requirements Download/open PDF file: Rac06:MethoPowerOptimDistr.pdf  
Arne Hamann, Razvan Racu, and Rolf Ernst, "A Formal Approach to Robustness Maximization of Complex Heterogeneous Embedded Systems," in Proc. of International Conference on Hardware - Software Codesign and System Synthesis (CODES), (Seoul, Korea), October 2006 Show BibTeX code: A Formal Approach to Robustness Maximization of Complex Heterogeneous Embedded Systems Download/open PDF file: HRE06:FormaApproRobusMaxim.pdf  
Razvan Racu, Arne Hamann, and Rolf Ernst, "A Formal Approach to Multi-Dimensional Sensitivity Analysis of Embedded Real-Time Systems," in Proceedings of the 18th Euromicro Conference on Real-Time Systems (ECRTS), (Dresden, Germany), July 2006 Show BibTeX code: A Formal Approach to Multi-Dimensional Sensitivity Analysis of Embedded Real-Time Systems Download/open PDF file: RHE06:FormaApproMultiSensi.pdf  
Arne Hamann, Marek Jersak, Kai Richter, Rolf Ernst, "A framework for modular analysis and exploration of heterogeneous embedded systems," Real-Time Systems, vol. 33, No. 1-3, pp. 101-137, July 2006. ISSN: 0922-6443 (Paper) 1573-1383 (Online) DOI: 10.1007/s11241-006-6884-x. Show BibTeX code: A framework for modular analysis and exploration of heterogeneous embedded systems Download/open PDF file: Ham06:framemodulanalyexplo.pdf  
Simon Schliecker, Matthias Ivers, Jan Staschulat, and Rolf Ernst, "A Framework for the Busy Time Calculation of Multiple Correlated Events," in 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, No. 06902, (Dresden, Germany), July 2006 Show BibTeX code: A Framework for the Busy Time Calculation of Multiple Correlated Events Download/open PDF file: SIS+06:FrameCalcuMultiCorre.pdfVisit Website/URL: http://drops.dagstuhl.de/opus/volltexte/2006/676/ 
Simon Schliecker, Matthias Ivers, and Rolf Ernst, "Memory Access Patterns for the Analysis of MPSoCs," in North-East Workshop on Circuits and Systems, (Gatineau, Canada), IEEE, IEEE, June 2006 Show BibTeX code: Memory Access Patterns for the Analysis of MPSoCs Visit Website/URL: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4016974 
Simon Schliecker, Matthias Ivers, and Rolf Ernst, "A Proof for Memory Access Patterns for the Analysis of MPSoCs," No. IDA-2006-01, Institute for Computer and Communication Network Engineering, Braunschweig, Germany, April 2006. This TR contains a supplement proof for. Show BibTeX code: A Proof for Memory Access Patterns for the Analysis of MPSoCs Download/open PDF file: SIE06:ProofMemorAccesPatte.pdf  
Arne Hamann, Razvan Racu, and Rolf Ernst, "Formal Methods for Automotive Platform Analysis and Optimization," in Proc. Future Trends in Automotive Electronics and Tool Integration Workshop (DATE Conference), (Munich, Germany), March 2006 Show BibTeX code: Formal Methods for Automotive Platform Analysis and Optimization Download/open PDF file: HRE06:formaapprorobusmaxim.pdf  
Kai Richter, Marek Jersak, Rolf Ernst, "How OEMs and Suppliers can face the Network Integration Challenges," in Automotive Designers Forum @ Design, Automation and Test in Europe (DATE), (München, Germany), March 2006 Show BibTeX code: How OEMs and Suppliers can face the Network Integration Challenges Download/open PDF file: Ric06:SupplNetwoIntegChall.pdf  
Rafik Henia, Rolf Ernst, "Improved Offset-Analysis Using Multiple Timing-References," in Proceeding Design Automation and Test in Europe, March 2006 Show BibTeX code: Improved Offset-Analysis Using Multiple Timing-References Download/open PDF file: Hen06:ImproOffseUsingMulti.pdf  
Kai Richter, Rolf Ernst, "Real-Time Analysis as a Quality Feature: Automotive Use-Cases and Applications," in Embedded World Conference, (Nürnberg, Germany), February 2006 Show BibTeX code: Real-Time Analysis as a Quality Feature: Automotive Use-Cases and Applications Download/open PDF file: Ric06:RealTAnalyQualiFeatu.pdf  
Kai Richter, Marek Jersak, Rolf Ernst, "How OEMs and Suppliers can tackle the Network Integration Challenges," in Proc. Embedded Real-Time Software Congress (ERTS), (Toulouse, France), January 2006 Show BibTeX code: How OEMs and Suppliers can tackle the Network Integration Challenges Download/open PDF file: Ric06:SuppltacklNetwoInteg.pdf  
Steffen Stein, "Embedding a data flow-based real-time performance analysis into an event-model based multiprocessor evaluation technique," Master's Thesis, TU Braunschweig, 2006 Show BibTeX code: Embedding a data flow-based real-time performance analysis into an event-model based multiprocessor evaluation technique Download/open PDF file: Ste06:Embedflowbrealtperfo.pdf  
Rafik Henia, Arne Hamann, Marek Jersak, Razvan Racu, Kai Richter, Rolf Ernst, "System Level Performance Analysis - the SymTA/S Approach,"Bashir M. Al-Hashimi, Ed., vol. System-on-Chip: Next Generation Electronics, chapter 2, pp. 29-72. The Institution of Electrical Engineers, London, United Kingdom, 2006 Show BibTeX code: System Level Performance Analysis - the SymTA/S Approach Download/open PDF file: Hen06:SysteNextGenerElect.pdf  
Bren Mochocki, Xiaobo Sharon Hu, Razvan Racu, and Rolf Ernst, "Dynamic Voltage Scaling for the Schedulability of Jitter-Constrained Real-Time Embedded Systems," in International Conference on Computer Aided Design (ICCAD), (San Jose, USA), November 2005 Show BibTeX code: Dynamic Voltage Scaling for the Schedulability of Jitter-Constrained Real-Time Embedded Systems Download/open PDF file: MHR+05:DynamVoltaScaliSched.pdf  
Jan Staschulat, Simon Schliecker, Matthias Ivers, and Rolf Ernst, "Analysis of Memory Latencies in Multi-Processor Systems," in 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, (Palma de Mallorca, Spain), July 2005 Show BibTeX code: Analysis of Memory Latencies in Multi-Processor Systems Download/open PDF file: SSI+05:AnalyMemorLatenMulti.pdfVisit Website/URL: http://drops.dagstuhl.de/opus/volltexte/2007/813/ 
Razvan Racu, Marek Jersak, and Rolf Ernst, "Applying Sensitivity Analysis in Real-Time Distributed Systems," in 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), (San Francisco, USA), March 2005 Show BibTeX code: Applying Sensitivity Analysis in Real-Time Distributed Systems Download/open PDF file: RJE05:ApplySensiAnalyRealT.pdf  
Rafik Henia, Arne Hamann, Marek Jersak, Razvan Racu, Kai Richter, and Rolf Ernst, "System Level Performance Analysis - the SymTA/S Approach," IEE Proceedings Computers and Digital Techniques, 2005 Show BibTeX code: System Level Performance Analysis - the SymTA/S Approach Download/open PDF file: HHJ+05:SysteLevelPerfoAnaly.pdf  
Kai Richter, Rolf Ernst, "Early Architecture Exploration with SymTA/S.," in Automation, Assistence and Embedded Real Time Platforms for Transportation (AAET), (Braunschweig, Germany), 2005 Show BibTeX code: Early Architecture Exploration with SymTA/S. Download/open PDF file: Ric05:EarlyArchiExploSymTA.pdf  
Arne Hamann, Marek Jersak, Kai Richter, and Rolf Ernst, "Design Space Exploration and System Optimization with SymTA/S - Symbolic Timing Analysis for Systems," in Proc. 25th International Real-Time Systems Symposium (RTSS'04), (Lisbon, Portugal), December 2004 Show BibTeX code: Design Space Exploration and System Optimization with SymTA/S - Symbolic Timing Analysis for Systems Download/open PDF file: HJR+04:DesigSpaceExploSyste.pdf  
Razvan Racu and Rolf Ernst, "Determining Accurate Output Event Models to Improve System Performance Estimation," No. IDA-2006-02, Institute of Computer and Communication Network Engineering, July 2004 Show BibTeX code: Determining Accurate Output Event Models to Improve System Performance Estimation Download/open PDF file: RE04:DeterAccurOutpuEvent.pdf  
Arne Hamann, Rafik Henia, Razvan Racu, Marek Jersak, Kai Richter, and Rolf Ernst, "SymTA/S - Symbolic Timing Analysis for Systems," in WIP Proc. Euromicro Conference on Real-Time Systems 2004 (ECRTS '04), (Catania, Italy), pp. 17-20, June 2004 Show BibTeX code: SymTA/S - Symbolic Timing Analysis for Systems Download/open PDF file: HHR+04:SymTA_S_SymboTimin.pdf  
M. Jersak, R. Henia, and R. Ernst, "Context-Aware Performance Analysis for Efficient Embedded System Design," in Proceeding Design Automation and Test in Europe, (Paris, France), March 2004 Show BibTeX code: Context-Aware Performance Analysis for Efficient Embedded System Design Download/open PDF file: JHE04:ConteAwarePerfoAnaly.pdf  
Razvan Racu, Kai Richter, and Rolf Ernst, "Calculating Task Output Event Models to Reduce Distributed System Cost," in GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, (Kaiserslautern, Germany), February 2004 Show BibTeX code: Calculating Task Output Event Models to Reduce Distributed System Cost Download/open PDF file: RRE04:CalcuTaskOutpuEvent.pdf  
Kai Richter and Rolf Ernst, "A Formal Approach to Performance Verification of Heterogeneous Architectures," in Proc. Embedded World Conference, (Nürnberg, Germany), February 2004 Show BibTeX code: A Formal Approach to Performance Verification of Heterogeneous Architectures Download/open PDF file: RE04:FormaApproPerfoVerif.pdf  
M. Jersak, K. Richter, and R. Ernst, "Performance Analysis for Complex Embedded Applications," International Journal of Embedded Systems, Special Issue on Codesign for SoC, 2004 Show BibTeX code: Performance Analysis for Complex Embedded Applications Download/open PDF file: JRE04:PerfoAnalyComplEmbed.pdf  
M. Jersak, K. Richter, R. Ernst, "Interval-based analysis in embedded system design," in Mathematics and Computers in Simulation, Elsevier Publishers, 2004. Akzeptiert zur Veröffentlichung in. Show BibTeX code: Interval-based analysis in embedded system design Download/open PDF file: Jer04:Interanalyembedsyste.pdf  
Kai Richter, "Compositional Scheduling Analysis Using Standard Event Models," Ph.D. dissertation, Technical University of Braunschweig, Braunschweig, Germany, 2004 Show BibTeX code: Compositional Scheduling Analysis Using Standard Event Models Download/open PDF file: Ric04:CompoSchedAnalyUsing.pdf  
Kai Richter, Razvan Racu, and Rolf Ernst, "Scheduling Analysis Integration for Heterogeneous Multiprocessor SoC," in IEEE Real-Time Systems Symposium (RTSS), (Cancun, Mexico), December 2003 Show BibTeX code: Scheduling Analysis Integration for Heterogeneous Multiprocessor SoC Download/open PDF file: RRE03:SchedAnalyIntegHeter.pdf  Download Postscript file: RRE03:SchedAnalyIntegHeter.ps
M. Jersak and R. Ernst, "Enabling Scheduling Analysis of Heterogeneous Systems with Multi-Rate Data Dependencies and Rate Intervals," in Proceeding 40th Design Automation Conference, (Annaheim, USA), June 2003 Show BibTeX code: Enabling Scheduling Analysis of Heterogeneous Systems with Multi-Rate Data Dependencies and Rate Intervals Download/open PDF file: JE03:EnablSchedAnalyHeter.pdf  
Kai Richter, Marek Jersak, and Rolf Ernst, "A Formal Approach to MpSoC Performance Verification," IEEE Computer, vol. 36, No. 4, pp. 60-67, April 2003 Show BibTeX code: A Formal Approach to MpSoC Performance Verification Download/open PDF file: RJE03:FormaApproMpSoC_Perfo.pdf  
Ken Tindell, Hermann Kopetz, Fabian Wolf, and Rolf Ernst, "Safe Automotive Software Development," in Design, Automation and Test in Europe Conference, (Munich, Germany), pp. 616--612, March 2003 Show BibTeX code: Safe Automotive Software Development Download/open PDF file: TKWE03:SafeAutomSoftwDevel.pdf  
M. Jersak, K. Richter R. Ernst, J.-C. Braam, Z.-Y. Jiang, and F. Wolf, "Formal Methods for Integration of Automotive Software," in Designers Forum at Design, Automation and Test in Europe Conference, (Munich, Germany), pp. 45-50, March 2003 Show BibTeX code: Formal Methods for Integration of Automotive Software Download/open PDF file: JRE03:FormaMethoIntegAutom.pdf  
Kai Richter, Dirk Ziegenbein, Marek Jersak, and Rolf Ernst, "Bottom-Up Performance Analysis of HW/SW Platforms," in Proc. Distributed and Parallel Embedded Systems Conference (DIPES), (Montreal, Canada), August 2002 Show BibTeX code: Bottom-Up Performance Analysis of HW/SW Platforms   Download Postscript file: RZ_Ern02:BottoUpPerfoAnaly.ps
Kai Richter, "Heterogeneous Platform Analysis," in ACM SIGDA PhDForum at the Design Automation Conference (DAC 2002), (New Orleans, LA, USA), June 2002 Show BibTeX code: Heterogeneous Platform Analysis Download/open PDF file: Ric02:HeterPlatfAnaly.pdf  Download Postscript file: Ric02:HeterPlatfAnaly.ps
Kai Richter, Dirk Ziegenbein, Marek Jersak, and Rolf Ernst, "Model Composition for Scheduling Analysis in Platform Design," in Proceedings 39th Design Automation Conference (DAC 2002), June 2002 Show BibTeX code: Model Composition for Scheduling Analysis in Platform Design Download/open PDF file: RZ_Ern02:ModelCompoSchedAnaly.pdf  
Dirk Ziegenbein, Marek Jersak, Kai Richter, and Rolf Ernst, "Breaking Down Complexity for Reliable System-Level Timing Validation," in Ninth IEEE/DATC Electronic Design Processes Workshop (EDP'02), (Monterey, California, USA), April 2002 Show BibTeX code: Breaking Down Complexity for Reliable System-Level Timing Validation Download/open PDF file: ZJ_Ern02:BreakDownComplRelia.pdf  
Kai Richter and Rolf Ernst, "Event Model Interfaces for Heterogeneous System Analysis," in Design Automation and Test in Europe Conference 2002 (DATE02), (Paris, France), March 2002 Show BibTeX code: Event Model Interfaces for Heterogeneous System Analysis Download/open PDF file: RE02:EventModelInterHeter.pdf  
M. Jersak, K. Richter, and R. Ernst, "Combining Complex Event Models and Timing Constraints," in Proceedings 6th IEEE Workshop on High Level Design Validation and Test, (Monterey, USA), November 2001 Show BibTeX code: Combining Complex Event Models and Timing Constraints Download/open PDF file: JRE01:CombiComplEventModel.pdf  Download Postscript file: JRE01:CombiComplEventModel.ps
K. Richter, R. Ernst, and W. Wolf, "Hierarchical Specification Methods for Platform-Based Design," in Proc. of Tenth Workshop on Synthesis And System Integration of MIxed Technologies (SASIMI 2001), (Nara, Japan), October 2001 Show BibTeX code: Hierarchical Specification Methods for Platform-Based Design Download/open PDF file: REW01:HieraSpeciMethoPlatf.pdf  Download Postscript file: REW01:HieraSpeciMethoPlatf.ps
 
Address:

Hans-Sommer-Straße 66
38106 Braunschweig

Fon: +49 (0)531 391-3734
Fax: +49 (0)531 391-4587 sekretariat(at)ida.ing.tu-bs.de