Raimondas Sasnauskas
Raimondas Sasnauskas
Post-Doctoral Research Associate, School of Computing, University of Utah
Verified email at cs.utah.edu - Homepage
TitleCited byYear
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
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
SenSys, 425-426, 2008
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
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
R Sasnauskas, Y Chen, P Collingbourne, J Ketema, G Lup, J Taneja, ...
arXiv preprint arXiv:1711.04422, 2017
Symbolic execution and constraint solving (Dagstuhl seminar 14442)
C Cadar, V Ganesh, R Sasnauskas, K Sen
Dagstuhl Reports 4 (10), 2015
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
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
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
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
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, ...
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
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–18