Publications

2010

• Time-Based Software Transactional MemoryFelber, P., Fetzer, C., Marlier, P. & Riegel, T., 2010, In: IEEE Transactions on Parallel and Distributed Systems. 21, 12, p. 1793-1807, 15 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article

2009

• AN-Encoding Compiler: Building Safety-Critical Systems with Commodity HardwareSchiffel, U., Süßkraut, M. & Fetzer, C., 2009, p. 283-296, 14 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Assertion-Driven Development: Assessing the Quality of Contracts using Meta-MutationsKnauth, T., Fetzer, C. & Felber, P., 2009, p. 182-191, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Minimizing Latency in Fault-Tolerant Distributed Stream Processing SystemsBrito, A., Fetzer, C. & Felber, P., 2009, p. 173-182, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Multithreading-Enabled Active Replication for Event Stream Processing OperatorsBrito, A., Fetzer, C. & Felber, P., 2009, p. 22-31, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Parallelize the Runtime Checks -- Not the ApplicationSüßkraut, M., Weigert, S., Nowack, M., Becker de Brum, D. & Fetzer, C., 2009, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Parallelizing Software-Implemented Error DetectionSchiffel, U., Schmitt, A., Süßkraut, M., Weigert, S. & Fetzer, C., 2009, p. 215-226, 12 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Speculation for Parallelizing Runtime ChecksSüßkraut, M., Weigert, S., Schiffel, U., Knauth, T., Nowack, M., Becker de Brum, D. & Fetzer, C., 2009, p. 698-710, 13 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• TopDNS: Experiences Building Internet-based Topologies with GNPPfeifer, G. & Fetzer, C., 2009, p. 1106-1111, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Towards Improved Overlay Simulation Using Realistic TopologiesPfeifer, G., Spring, R. & Fetzer, C., 2009, p. 52-59, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper