Scalable Symbolic Execution of Distributed Systems

Publications

Year:

All :: 2010, 2011

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 :: Wagner, ... , Weingärtner, Weise, Welten, ... , Wu

2011
2.	Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Carsten Weise, Stefan Kowalewski, and Klaus Wehrle Scalable Symbolic Execution of Distributed Systems Proceedings of the 31st IEEE International Conference on Distributed Computing Systems (ICDCS 2011), June 2011, Minneapolis, MN, USA, page 333-342. Publisher: IEEE Computer Society, Los Alamitos, CA, USA June 2011 DOI: 10.1109/ICDCS.2011.28 ISBN: 978-0-7695-4364-2
2010
1.	Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski, and Klaus Wehrle KleeNet: Discovering Insidious Interaction Bugs in Wireless Sensor Networks Before Deployment Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2010), Stockholm, Sweden, page 186--196. Publisher: ACM, New York, NY, USA April 2010 DOI: http://doi.acm.org/10.1145/1791212.1791235 ISBN: 978-1-60558-988-6

Export as: