Material und Publikationen

Wissenschaftliche Publikationen

  • Rico Backasch, Christian Hochberger, Alexander Weiss, Martin Leucker, Richard Lasslop: Runtime verification for multicore SoC with high-quality trace data. ACM Trans. Design Autom. Electr. Syst. 18(2): 18 (2013)
  • Boris Dreyer, Christian Hochberger, Simon Wegener, and Alexander Weiss. Precise Continuous Non-Intrusive Measurement-Based Execution Time Estimation. In Francisco J. Cazorla, editor, 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015), volume 47 of OpenAccess Series in Informatics (OASIcs), pages 45-54, Dagstuhl, Germany, 2015. Schloss Dagstuhl — Leibniz-Zentrum fuer Informatik.
  • Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma: Runtime Monitoring with Union-Find Structures. In Marsha Chechik, Jean-François Raskin (Eds.): 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016), volume 9636 of Lecture Notes in Computer Science, Springer, 2016.
  • Boris Dreyer, Christian Hochberger, Alexander Lange, Simon Wegener, and Alexander Weiss. Continuous Non-Intrusive Hybrid WCET Estimation Using Waypoint Graphs. In Martin Schoeberl, editor, 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), volume 55 of OpenAccess Series in Informatics (OASIcs), pages 4:1-4:11, Dagstuhl, Germany, 2016. Schloss Dagstuhl — Leibniz-Zentrum fuer Informatik.
  • Martin Leucker, Malte Schmitz, and Danilo à Tellinghusen. Runtime Verification for Interconnected Medical Devices. In ??, editor, 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2016), volume 9953 of Lecture Notes in Computer Science, Springer, 2016.
  • Fernando Macias, Torben Scheffel, Malte Schmitz, and Rui Wang. Integration of Runtime Verification into Metamodeling for Simulation and Code Generation. In ??, editor, 16th International Conference on Runtime Verification (RV 2016), volume 10012 of Lecture Notes in Computer Science, Springer, 2016.
  • Thomas Ballenthin, Boris Dreyer, Christian Hochberger, and Simon Wegener. Hardware Support for Histogram-based Performance Analysis of Embedded Systems. In 20th IEEE International Symposium On Real-time Computing (ISORC 2017), 2017.
  • Philip Gottschling, and Christian Hochberger. ReEP: A Toolset for Generation and Programming of Reconfigurable Datapaths for Event Processing. In 24th Reconfigurable Architectures Workshop (RAW 2017), 2017.
  • Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, and Alexander Weiss. Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems. In 20th Brazilian Symposium on Formal Methods (SBMF 2017), Lecture Notes in Computer Science, Springer, 2017.

Poster und Präsentationen

CONIRAS_PosterProjektposter CONIRAS (PDF, DIN A1)

 

 

 

CONIRAS_KoSSE_MulticorePräsentation „Vorkehrungen für die effiziente Suche nach Software-Defekten sowie für Performance-Optimierungen in Multicore-Systemen“, KoSSE Workshop 2014, Dezember 2014, Lübeck, Deutschland

 

CONIRAS_KoSSE_MulticorePräsentation „WCET on Multicore Processors“, KoSSE Workshop 2014, Dezember 2014, Lübeck, Deutschland

 

CONIRAS_KoSSE_MulticorePräsentation „Effiziente Überwachung von
Laufzeiteigenschaften in Soft- und Hardware“, KoSSE Workshop 2014, Dezember 2014, Lübeck, Deutschland

 

CONIRAS_KoSSE_MulticorePräsentation „CONIRAS“, 5th TACLe Working Groups Meeting, Januar 2015, Amsterdam, Niederlande

 

CONIRAS_FG_AH_2015Präsentation „Ultrafast (Meta-)Reconfiguration for FPGAs“, 2. Arbeitstreffen der Fachgruppe Architektur hochintegrierter Schaltungen, Juni 2015, Darmstadt, Deutschland

 

CONIRAS_WCET_2015Präsentation „Precise Continuous Non-Intrusive Measurement-Based Execution Time Estimation“, 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015), Juli 2015, Lund, Schweden

 

CONIRAS_SMD_2015_1Präsentation „Non-Intrusive Online Observation of Multicore Processors“, 1st Solutions for MultiCore Debug Conference (SMD 2015), Dezember 2015, München, Deutschland

 

CONIRAS_SMD_2015_2Präsentation „Online Runtime Verification of Multicore Systems“, 1st Solutions for MultiCore Debug Conference (SMD 2015), Dezember 2015, München, Deutschland

 

CONIRAS_SMD_2015_3Präsentation „Combining Runtime Verification and Execution Time Estimation“, 1st Solutions for MultiCore Debug Conference (SMD 2015), Dezember 2015, München, Deutschland

 

CONIRAS_SMD_2015_1Präsentation „Non-Intrusive Online Observation of Multicore Processors“, 3rd ARVI Working Groups Meeting, Dezember 2015, Tallinn, Estland

 

CONIRAS_TACLe_HiPEAC_2016Präsentation „Timing Related Runtime Verification in CONIRAS“, TACLe Workshop @ HiPEAC 2016, Januar 2016, Prag, Tschechische Republik

 

CONIRAS_RAC_2016Präsentation „Hardware Support for Histogram-based Performance Analysis“, 1st International Workshop on Resource Aware Computing (RAC 2016) @ ETAPS 2016, April 2016, Eindhoven, Niederlande

 

CONIRAS_TACAS_2016Präsentation „Runtime Monitoring with Union-Find Structures“, 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016) @ ETAPS 2016, April 2016, Eindhoven, Niederlande

 

CONIRAS_RV_2016Präsentation „Integration of Runtime Verification into Metamodeling for Simulation and Code Generation“, 16th International Conference on Runtime Verification (RV 2016), September 2016, Madrid, Spanien

 

CONIRAS_WCET_2016Präsentation „Continuous Non-Intrusive Hybrid WCET Estimation Using Waypoint Graphs“, 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), Juli 2016, Toulouse, Frankreich

 

CONIRAS_ISoLA_2016Präsentation „Runtime Verification for Interconnected Medical Devices“, 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), Oktober 2016, Korfu, Griechenland

 

CONIRAS_ISORC_2017Präsentation „Hardware Support for Histogram-based Performance Analysis of Embedded Systems“, 20th IEEE International Symposium On Real-time Computing (ISORC 2017), Mai 2017, Toronto, Kanada