| 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 | 166 | 2010 |
| 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 | 153 | 2018 |
| Intent fuzzer: crafting intents of death R Sasnauskas, J Regehr Proceedings of the 2014 Joint International Workshop on Dynamic Analysis …, 2014 | 153 | 2014 |
| Souper: A synthesizing superoptimizer R Sasnauskas, Y Chen, P Collingbourne, J Ketema, G Lup, J Taneja, ... arXiv preprint arXiv:1711.04422, 2017 | 54 | 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 | 35 | 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 | 19 | 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 | 16 | 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 | 11 | 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 | 6 | 2017 |
| Symbolic execution and constraint solving (Dagstuhl seminar 14442) C Cadar, V Ganesh, R Sasnauskas, K Sen Dagstuhl Reports 4 (10), 2015 | 4 | 2015 |
| Symbolic system time in distributed systems testing OS Dustmann, R Sasnauskas, K Wehrle 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 3 | 2012 |
| Modeling transport layer protocols R Sasnauskas, E Weingaertner Modeling and Tools for Network Simulation, 385-395, 2010 | 3 | 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 | 2 | 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 | 2 | 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 | 2 | 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 | 1 | 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 | | 2018 |
| Dagstuhl Reports, Vol. 4, Issue 10 ISSN 2192-5283 L De Raedt, S Nijssen, B O’Sullivan, M Sebag, BHC Cheng, ... | | 2015 |
| Symbolic Execution of Distributed Systems R Sasnauskas RWTH Aachen, 2013 | | 2013 |
| P2P’08 K Wehrle, W Kellerer, SK Singhal, R Steinmetz, O Heckmann, N Liebau, ... International Conference on Peer-to-Peer Computing 2, 08, 2008 | | 2008 |
