COMSYS - Communication and Distributed Systems: Publications

Publications

Year:

All :: 1996, ... , 2017, 2018, 2019, 2020

Author:

All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, Ö

All :: Lakemeyer, ... , Lemstra, Leupers, Li, ... , Lueders

References

84.

Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell and Klaus Wehrle

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

32nd International Conference on Computer-Aided Verification (CAV 2020)

July 2020

accepted

https://arxiv.org/abs/2005.06688

83.

Lars Gleim, Jan Pennekamp, Martin Liebenberg, Melanie Buchsbaum, Philipp Niemietz, Simon Knape, Alexander Epple, Simon Storms, Daniel Trauth, Thomas Bergs, Christian Brecher, Stefan Decker, Gerhard Lakemeyer and Klaus Wehrle

FactDAG: Formalizing Data Interoperability in an Internet of Production

IEEE Internet of Things Journal, 7(4):3243-3253

April 2020

ISSN: 2327-4662

DOI: 10.1109/JIOT.2020.2966402

Export as:

BibTeX, XML