KleeNet: automatic bug hunting in sensor network applications. - Raimondas Sasnauskas; Jó Ágila Bitsch Link; Muhammad Hamad Alizai; Klaus Wehrle (SenSys, 2008)

Modeling Transport Layer Protocols. - Raimondas Sasnauskas; Elias Weingärtner (Modeling and Tools for Network Simulation, 2010)

Statistical vector based point-to-point routing in wireless networks. - Muhammad Hamad Alizai; Tobias Vaegs; Olaf Landsiedel; Raimondas Sasnauskas; Klaus Wehrle (IPSN, 2010)

KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment. - Raimondas Sasnauskas; Olaf Landsiedel; Muhammad Hamad Alizai; Carsten Weise; Stefan Kowalewski; Klaus Wehrle (IPSN, 2010)

Integrating symbolic execution with sensornet simulation for efficient bug finding. - Fredrik Österlind; Adam Dunkels; Raimondas Sasnauskas; Oscar Soria Dustmann; Klaus Wehrle (SenSys, 2010)

Scalable Symbolic Execution of Distributed Systems. - Raimondas Sasnauskas; Oscar Soria Dustmann; Benjamin Lucien Kaminski; Klaus Wehrle; Carsten Weise; Stefan Kowalewski (ICDCS, 2011)

Integration testing of protocol implementations using symbolic distributed execution. - Raimondas Sasnauskas; Philipp Kaiser; Russ Lucas Jukic; Klaus Wehrle (ICNP, 2012)

Symbolic System Time in Distributed Systems Testing. - Oscar Soria Dustmann; Raimondas Sasnauskas; Klaus Wehrle (ICST, 2012)

Symbolic Execution of Distributed Systems. - Raimondas Sasnauskas (Shaker, 2013)

Intent fuzzer: crafting intents of death. - Raimondas Sasnauskas; John Regehr (WODA+PERTEA@ISSTA, 2014)

Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442). - Cristian Cadar; Vijay Ganesh 001; Raimondas Sasnauskas; Koushik Sen (Dagstuhl Reports, 2014)

VSOC - A Virtual Security Operating Center. - Eric Falk; Stefan Repcek; Beltran Fiz; Stefan Hommes; Radu State; Raimondas Sasnauskas (GLOBECOM, 2017)

Souper: A Synthesizing Superoptimizer. - Raimondas Sasnauskas; Yang Chen 024; Peter Collingbourne; Jeroen Ketema; Jubi Taneja; John Regehr (CoRR, 2017)

A search-based approach for accurate identification of log message formats. - Salma Messaoudi; Annibale Panichella; Domenico Bianculli; Lionel C. Briand; Raimondas Sasnauskas (ICPC, 2018)

Scalable Inference of System-level Models from Component Logs. - Donghwan Shin 001; Salma Messaoudi; Domenico Bianculli; Annibale Panichella; Lionel C. Briand; Raimondas Sasnauskas (CoRR, 2019)