Dr. Raimondas Sasnauskas
Dr. Raimondas Sasnauskas
Independent Researcher (prev. University of Luxembourg, University of Utah, RWTH Aachen University
Verified email at - Homepage
Cited by
Cited by
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
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
Souper: A synthesizing superoptimizer
R Sasnauskas, Y Chen, P Collingbourne, J Ketema, G Lup, J Taneja, ...
arXiv preprint arXiv:1711.04422, 2017
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
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 execution and constraint solving (Dagstuhl seminar 14442)
C Cadar, V Ganesh, R Sasnauskas, K Sen
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2015
Symbolic system time in distributed systems testing
OS Dustmann, R Sasnauskas, K Wehrle
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
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
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
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
RWTH Aachen, 2013
K Wehrle, W Kellerer, SK Singhal, R Steinmetz, O Heckmann, N Liebau, ...
International Conference on Peer-to-Peer Computing 2, 08, 2008
The system can't perform the operation now. Try again later.
Articles 1–20