External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems

Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz 0001, Alexander Weiss. Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems. In Simone André da Costa Cavalheiro, José Luiz Fiadeiro, editors, Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings. Volume 10623 of Lecture Notes in Computer Science, pages 179-196, Springer, 2017. [doi]

Authors

Normann Decker

This author has not been identified. Look up 'Normann Decker' in Google

Philip Gottschling

This author has not been identified. Look up 'Philip Gottschling' in Google

Christian Hochberger

This author has not been identified. Look up 'Christian Hochberger' in Google

Martin Leucker

This author has not been identified. Look up 'Martin Leucker' in Google

Torben Scheffel

This author has not been identified. Look up 'Torben Scheffel' in Google

Malte Schmitz 0001

This author has not been identified. Look up 'Malte Schmitz 0001' in Google

Alexander Weiss

This author has not been identified. Look up 'Alexander Weiss' in Google
runs on