Dr. Raimondas Sasnauskas
Dr. Raimondas Sasnauskas
Independent Researcher (prev. University of Luxembourg, University of Utah, RWTH Aachen University
Verified email at sasnauskas.eu - Homepage
Cited by
Cited by
KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment
R Sasnauskas, O Landsiedel, MH Alizai, C Weise, S Kowalewski, ...
Proceedings of the 9th ACM/IEEE International Conference on Information …, 2010
Intent fuzzer: crafting intents of death
R Sasnauskas, J Regehr
Proceedings of the 2014 Joint International Workshop on Dynamic Analysis …, 2014
A search-based approach for accurate identification of log message formats
S Messaoudi, A Panichella, D Bianculli, L Briand, R Sasnauskas
Proceedings of the 26th Conference on Program Comprehension, 167-177, 2018
Scalable symbolic execution of distributed systems
R Sasnauskas, OS Dustmann, BL Kaminski, K Wehrle, C Weise, ...
2011 31st International Conference on Distributed Computing Systems, 333-342, 2011
Souper: A synthesizing superoptimizer
R Sasnauskas, Y Chen, P Collingbourne, J Ketema, G Lup, J Taneja, ...
arXiv preprint arXiv:1711.04422, 2017
Kleenet: automatic bug hunting in sensor network applications
R Sasnauskas, JÁB Link, MH Alizai, K Wehrle
Proceedings of the 6th ACM conference on Embedded network sensor systems …, 2008
Integration testing of protocol implementations using symbolic distributed execution
R Sasnauskas, P Kaiser, RL Jukić, K Wehrle
2012 20th IEEE International Conference on Network Protocols (ICNP), 1-6, 2012
Souper: A synthesizing superoptimizer. CoRR abs/1711.04422 (2017)
R Sasnauskas, Y Chen, P Collingbourne, J Ketema, J Taneja, J Regehr
arXiv preprint arXiv:1711.04422, 2017
VSOC-a virtual security operating center
E Falk, S Repcek, B Fiz, S Hommes, R State, R Sasnauskas
GLOBECOM 2017-2017 IEEE Global Communications Conference, 1-6, 2017
Symbolic System Time in Distributed Systems Testing
OS Dustmann, R Sasnauskas, K Wehrle
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
Symbolic execution and constraint solving (Dagstuhl seminar 14442)
C Cadar, V Ganesh, R Sasnauskas, K Sen
Dagstuhl Reports 4 (10), 2015
Flexible analysis of distributed protocol implementations using virtual time
E Weingärtner, M Ritter, R Sasnauskas, K Wehrle
SoftCOM 2010, 18th International Conference on Software, Telecommunications …, 2010
Statistical vector based point-to-point routing in wireless networks
MH Alizai, T Vaegs, O Landsiedel, R Sasnauskas, K Wehrle
Proceedings of the 9th ACM/IEEE International Conference on Information …, 2010
Modeling transport layer protocols
R Sasnauskas, E Weingaertner
Modeling and Tools for Network Simulation, 385-395, 2010
Scalable inference of system-level models from component logs
D Shin, S Messaoudi, D Bianculli, A Panichella, L Briand, R Sasnauskas
arXiv preprint arXiv:1908.02329, 2019
Integrating symbolic execution with sensornet simulation for efficient bug finding
F Österlind, A Dunkels, R Sasnauskas, OS Dustmann, K Wehrle
Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems …, 2010
SPELL-fuzz: An Innovative Tool for Fully Automated Verification of SPELL Satellite Operation Procedures
R Sasnauskas, G Morelli, KP Liolis
2018 SpaceOps Conference, 2665, 2018
Dagstuhl Reports, Vol. 4, Issue 10 ISSN 2192-5283
L De Raedt, S Nijssen, B O’Sullivan, M Sebag, BHC Cheng, ...
Symbolic Execution of Distributed Systems
R Sasnauskas
Shaker Verlag Gmbh, Germa, 2013
Bug Hunting in Sensor Network Applications
R Sasnauskas, JÁB Link, MH Alizai, K Wehrle
Drahtlose Sensornetze am 25. und 26. September 2008 in Berlin, 7, 0
The system can't perform the operation now. Try again later.
Articles 1–20