Publikationen des Projektes "Symbolische Laufzeitanalyse für Prozesse - Symta/P"

Jan Staschulat and Rolf Ernst, "Worst case timing analysis of input dependent data cache behavior," in Euromicro Conference on Real-Time Systems (ECRTS), (Dresden, Germany), July 2006 BibTeX Code anzeigen: Worst case timing analysis of input dependent data cache behavior PDF-Datei herunterladen/anzeigen: SE06:Worsttiminanalyinput.pdf  
Simon Schliecker, Matthias Ivers, Jan Staschulat, und 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 BibTeX Code anzeigen: A Framework for the Busy Time Calculation of Multiple Correlated Events PDF-Datei herunterladen/anzeigen: SISetal06:FrameCalcuMultiCorre.pdfWebseite/URL aufrufen: http://drops.dagstuhl.de/opus/volltexte/2006/676/ 
Jan Staschulat, Simon Schliecker, und Rolf Ernst, "Scheduling Analysis of Real-time Systems with Precise Modeling of Cache Related Preemption Delay," in Euromicro Conference on Real-Time Systems (ECRTS), (Palma de Mallorca, Spain), July 2005 BibTeX Code anzeigen: Scheduling Analysis of Real-time Systems with Precise Modeling of Cache Related Preemption Delay Webseite/URL aufrufen: http://doi.ieeecomputersociety.org/10.1109/ECRTS.2005.26 
Jan Staschulat, Simon Schliecker, Matthias Ivers, und 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 BibTeX Code anzeigen: Analysis of Memory Latencies in Multi-Processor Systems PDF-Datei herunterladen/anzeigen: SSIetal05:AnalyMemorLatenMulti.pdfWebseite/URL aufrufen: http://drops.dagstuhl.de/opus/volltexte/2007/813/ 
Jan Staschulat and Rolf Ernst, "Scalable Precision Cache Analysis for Preemptive Scheduling," in Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), (Chicago, USA), June 2005 BibTeX Code anzeigen: Scalable Precision Cache Analysis for Preemptive Scheduling PDF-Datei herunterladen/anzeigen: SE05:ScalaPreciCacheAnaly.pdf  
Jan Staschulat, Rolf Ernst, Andreas Schulze, und Fabian Wolf, "Context Sensitive Performance Analysis of Automotive Applications," in Designer's Forum at Design, Automation and Test in Europe (DATE), March 2005 BibTeX Code anzeigen: Context Sensitive Performance Analysis of Automotive Applications PDF-Datei herunterladen/anzeigen: SESetal05:ConteSensiPerfoAnaly.pdf  
Simon Schliecker, "Schedulinganalyse unter Berücksichtigung variabler cacheabhängiger Unterbrechungskosten," Diplomarbeit, Institute for Computer and Communication Network Engineering, Braunschweig, Germany, October 2004
IDA-Signatur: DPA 3450
BibTeX Code anzeigen: Schedulinganalyse unter Berücksichtigung variabler cacheabhängiger Unterbrechungskosten   
Jan Staschulat and Rolf Ernst, "Multiple Process Execution in Cache Related Preemption Delay Analysis," in ACM International Conference on Embedded Software (EMSOFT), (Pisa, Italy), pp. 278-286, September 2004 BibTeX Code anzeigen: Multiple Process Execution in Cache Related Preemption Delay Analysis PDF-Datei herunterladen/anzeigen: SE04:MultiProceExecuCache.pdf  
Jan Staschulat and Rolf Ernst, "Synergetic Effects in Cache Related Preemption Delays," in International Workhop on Worst-Case Execution Time Analysis, (Catania, Italy), pp. 37-40, IRISA, Publication Interne Nr 1645, June 2004 BibTeX Code anzeigen: Synergetic Effects in Cache Related Preemption Delays PDF-Datei herunterladen/anzeigen: SE04:SynerEffecCacheRelat.pdf  
Jan Staschulat and Rolf Ernst, "CRPD Independence for multiple process execution." , March 2004 BibTeX Code anzeigen: CRPD Independence for multiple process execution PDF-Datei herunterladen/anzeigen: SE04:CRPD_IndepMultiProce.pdf  
Jan Staschulat and Rolf Ernst, "Cache Effects in Multi Process Real-Time Systems with Preemptive Scheduling," Institut für Datentechnik und Kommunikationsnetze, TU Braunschweig, November 2003 BibTeX Code anzeigen: Cache Effects in Multi Process Real-Time Systems with Preemptive Scheduling PDF-Datei herunterladen/anzeigen: SE03:CacheEffecMultiProce.pdf  
Marek Jersak, Kai Richter, Razvan Racu, Jan Staschulat, Rolf Ernst, Jörn Braam, und Fabian Wolf, "Formal methods for integration of automotive software in Embedded Software for SoC," in Embedded Software for SoC (Ahmed Jerraya and Sungjoo Yoo and Diederik Verkest, Ed.), chapter 2, pp. 11-24, Kluwer Academic Publishers, 2003 BibTeX Code anzeigen: Formal methods for integration of automotive software in Embedded Software for SoC   
F. Wolf, J. Staschulat, und R. Ernst, "Hybrid Cache Analysis in Running Time Verification of Embedded Software," Kluwer Journal of Design Automation for Embedded Systems, vol. 7, No. 3, pp. 271-295, October 2002 BibTeX Code anzeigen: Hybrid Cache Analysis in Running Time Verification of Embedded Software PDF-Datei herunterladen/anzeigen: WSE02:HybriCacheAnalyRunni.pdf  
F. Wolf, J. Staschulat, und R. Ernst, "Associative Caches in Formal Software Timing Analysis," in Proceedings of the IEEE/ACM Design Automation Conference, New Orleans, June 2002 BibTeX Code anzeigen: Associative Caches in Formal Software Timing Analysis PDF-Datei herunterladen/anzeigen: FE02:AssocCacheFormaSoftw.pdf  
F. Wolf, J. Kruse, und R. Ernst, "Timing and Power Measurement in Static Software Analysis," Microelectronics Journal, Special Issue on Design, Modeling and Simulation in Microelectronics and MEMS, vol. 6, No. 2, pp. 91-100, January 2002 BibTeX Code anzeigen: Timing and Power Measurement in Static Software Analysis PDF-Datei herunterladen/anzeigen: WKE02:TiminPowerMeasuStati.pdf  
Fabian Wolf, "Behavioral Intervals in Embedded Software,", Kluwer Academic Publishers, 2002
IDA-Signatur: S 218 and S 218.1 and S 218.2 and S 218.3
BibTeX Code anzeigen: Behavioral Intervals in Embedded Software PDF-Datei herunterladen/anzeigen: Wol02:BehavInterEmbedSoftw.pdf  
F. Wolf, R. Ernst, und W. Ye, "Path Clustering in Software Timing Analysis," IEEE Transactions on VLSI Systems, vol. 9, No. 6, December 2001 BibTeX Code anzeigen: Path Clustering in Software Timing Analysis PDF-Datei herunterladen/anzeigen: WEY01:PathClustSoftwTimin.pdf  
D. Ziegenbein, F. Wolf, K. Richter, M. Jersak, und R. Ernst, "Interval-Based Analysis Of Software Processes," in Proceedings Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES '2001), (Snowbird, Utah, USA), pp. 94-101, June 2001 BibTeX Code anzeigen: Interval-Based Analysis Of Software Processes PDF-Datei herunterladen/anzeigen: ZWRetal01:InterBasedAnalySoftw.pdf  Postscript-Datei herunterladen: ZWRetal01:InterBasedAnalySoftw.ps
F. Wolf and R. Ernst, "Execution Cost Interval Refinement in Static Software Analysis," Journal of Systems Architecture, The EUROMICRO Journal, Special Issue on Modern Methods and Tools in Digital System Design, vol. 47, No. 3-4, pp. 339-356, April 2001 BibTeX Code anzeigen: Execution Cost Interval Refinement in Static Software Analysis PDF-Datei herunterladen/anzeigen: WE01:ExecuCostInterRefin.pdf  Postscript-Datei herunterladen: WE01:ExecuCostInterRefin.ps
F. Wolf, J. Kruse, und R. Ernst, "Segment-Wise Timing and Power Measurement in Software Emulation," in Proceedings of the IEEE/ACM Design, Automation and Test in Europe Conference, Designers' Forum, (Munich, Germany), pp. 165-169, March 2001 BibTeX Code anzeigen: Segment-Wise Timing and Power Measurement in Software Emulation PDF-Datei herunterladen/anzeigen: WKE01:SegmeWiseTiminPower.pdf  Postscript-Datei herunterladen: WKE01:SegmeWiseTiminPower.ps
F. Wolf, "Intervals in Timing and Power Analysis of Embedded Software," in ACM SIGDA PhDForum at the Design Automation Conference (DAC 2001), (Las Vegas, NV), 2001 BibTeX Code anzeigen: Intervals in Timing and Power Analysis of Embedded Software PDF-Datei herunterladen/anzeigen: WE01:InterTiminPowerAnaly.pdf  Postscript-Datei herunterladen: WE01:InterTiminPowerAnaly.ps
F. Wolf and R. Ernst, "Data Flow Based Cache Prediction Using Local Simulation," in Proceedings of the IEEE High Level Design Validation and Test Workshop, (Berkeley, USA), pp. 155-160, November 2000 BibTeX Code anzeigen: Data Flow Based Cache Prediction Using Local Simulation PDF-Datei herunterladen/anzeigen: W00:DataFlowBasedCache.pdf  Postscript-Datei herunterladen: W00:DataFlowBasedCache.ps
F. Wolf, J. Kruse, und R. Ernst, "Compact Trace Generation and Power Measurement in Software Emulation," in Proceedings of the SPIE International Symposium on Microelectronics and Assembly, (Singapore), pp. 97-108, November 2000 BibTeX Code anzeigen: Compact Trace Generation and Power Measurement in Software Emulation PDF-Datei herunterladen/anzeigen: WKE00:CompaTraceGenerPower.pdf  Postscript-Datei herunterladen: WKE00:CompaTraceGenerPower.ps
Marek Jersak, Dirk Ziegenbein, Fabian Wolf, Kai Richter, Rolf Ernst, Frank Cieslok, Jürgen Teich, Karsten Strehl, und Lothar Thiele, "Embedded System Design using the SPI Workbench," in Proceedings 3rd International Forum on Design Languages, (Tübingen, Germany), September 2000 BibTeX Code anzeigen: Embedded System Design using the {SPI} Workbench PDF-Datei herunterladen/anzeigen: JZ_Ric_Ern00:EmbedSysteDesigSPI.pdf  Postscript-Datei herunterladen: JZ_Ric_Ern00:EmbedSysteDesigSPI.ps
F. Wolf and R. Ernst, "Intervals in Software Execution Cost Analysis," in Proceedings of IEEE/ACM International Symposium on System Synthesis, (Madrid, Spain), pp. 130-135, September 2000 BibTeX Code anzeigen: Intervals in Software Execution Cost Analysis PDF-Datei herunterladen/anzeigen: WE00:InterSoftwExecuCost.pdf  Postscript-Datei herunterladen: WE00:InterSoftwExecuCost.ps
F. Wolf, D. Ziegenbein, und R. Ernst, "Behavioral Intervals in Embedded System Design and Verification," in Tagungsband DFG Workshop Automatisierter Entwurf eingebetteter Systeme, (Karlsruhe, Germany), pp. 71-78, January 2000 BibTeX Code anzeigen: Behavioral Intervals in Embedded System Design and Verification PDF-Datei herunterladen/anzeigen: FDR00:BehavInterEmbedSyste.pdf  Postscript-Datei herunterladen: FDR00:BehavInterEmbedSyste.ps
F. Wolf and R. Ernst, "Software Timing and Power Estimation of Telecom Systems," Technical University of Braunschweig, Germany, November 1999 BibTeX Code anzeigen: Software Timing and Power Estimation of Telecom Systems   Postscript-Datei herunterladen: WE99:STPETelecSyste.ps
F. Wolf and R. Ernst, "Software Timing and Power Estimation by Path Clustering," in Proceedings of the ESPRIT/MEDEA Conference on System Level Design, (Antwerpen, Belgium), pp. 81-90, September 1999 BibTeX Code anzeigen: Software Timing and Power Estimation by Path Clustering   
W. Ye and R. Ernst, "Laufzeitanalyse für eingebettete Programme basierend auf der Programm- und Architekturklassifikation," in Proceedings 5th GI/ITG/GMM Workshop, pp. 17-30, April 1997 BibTeX Code anzeigen: Laufzeitanalyse für eingebettete Programme basierend auf der Programm- und Architekturklassifikation   Postscript-Datei herunterladen: YE97:LaufzEingeProgrBasie.ps
W. Ye and R. Ernst, "Embedded Program Timing Analysis Based on Path Clustering and Architecture Classification," in Proceedings International Conference on Computer-Aided Design (ICCAD '97), (San Jose, USA), 1997 BibTeX Code anzeigen: Embedded Program Timing Analysis Based on Path Clustering and Architecture Classification   Postscript-Datei herunterladen: YE96:EmbedProgrTiminAnaly.ps
W. Ye and R. Ernst, "Worst Case Timing Estimation Based on Symbolic Execution," Institute of Computer Engineering, Technical University of Braunschweig, Germany, October 1995 BibTeX Code anzeigen: Worst Case Timing Estimation Based on Symbolic Execution   Postscript-Datei herunterladen: YE95:WorstCaseTiminEstim.ps
W. Ye and R. Ernst, "DSP 96002 Processor Simulator," Institute of Computer Engineering, Technical University of Braunschweig, Germany, October 1994 BibTeX Code anzeigen: {DSP} 96002 Processor Simulator   Postscript-Datei herunterladen: YE94:DSP_96002ProceSimul.ps
W. Ye, R. Ernst, Th. Benner, und J. Henkel, "Fast Timing Analysis for Hardware-Software Co-Synthesis," in Proceedings IEEE International Conference on Computer Design (ICCD '93), (Cambridge, Massachusetts, USA), pp. 452-457, 1993
IDA-Signatur: K 60/93
BibTeX Code anzeigen: Fast Timing Analysis for Hardware-Software Co-Synthesis   
Instituts-Anschrift:
Hans-Sommer-Straße 66
38106 Braunschweig

Fon: (0531) 391-3734
Fax: (0531) 391-4587
sekretariat(at)ida.ing.tu-bs.de