Raimondas Sasnauskas

15 papers A 3B 2Misc 2Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2019 J jnl
Scalable Inference of System-level Models from Component Logs.
CoRR
Donghwan Shin, Salma Messaoudi, Domenico Bianculli, Annibale Panichella, Lionel C. Briand, Raimondas Sasnauskas
2018 A conf
A search-based approach for accurate identification of log message formats.
ICPC
Salma Messaoudi, Annibale Panichella, Domenico Bianculli, Lionel C. Briand, Raimondas Sasnauskas
2017 J jnl
Souper: A Synthesizing Superoptimizer.
CoRR
Raimondas Sasnauskas, Yang Chen, Peter Collingbourne, Jeroen Ketema, Jubi Taneja, John Regehr
2017 B conf
VSOC - A Virtual Security Operating Center.
GLOBECOM
Eric Falk, Stefan Repcek, Beltran Fiz, Stefan Hommes, Radu State, Raimondas Sasnauskas
2014 — conf
Intent fuzzer: crafting intents of death.
WODA+PERTEA@ISSTA
Raimondas Sasnauskas, John Regehr
2014 J jnl
Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442).
Dagstuhl Reports
Cristian Cadar, Vijay Ganesh, Raimondas Sasnauskas, Koushik Sen
2013 — —
Symbolic Execution of Distributed Systems.
Raimondas Sasnauskas
2012 B conf
Integration testing of protocol implementations using symbolic distributed execution.
ICNP
Raimondas Sasnauskas, Philipp Kaiser, Russ Lucas Jukic, Klaus Wehrle
2012 A conf
Symbolic System Time in Distributed Systems Testing.
ICST
Oscar Soria Dustmann, Raimondas Sasnauskas, Klaus Wehrle
2011 A conf
Scalable Symbolic Execution of Distributed Systems.
ICDCS
Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Klaus Wehrle, Carsten Weise, Stefan Kowalewski
2010 Misc conf
Integrating symbolic execution with sensornet simulation for efficient bug finding.
SenSys
Fredrik Österlind, Adam Dunkels, Raimondas Sasnauskas, Oscar Soria Dustmann, Klaus Wehrle
2010 — conf
KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment.
IPSN
Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski, Klaus Wehrle
2010 — ch.
Modeling Transport Layer Protocols.
Modeling and Tools for Network Simulation
Raimondas Sasnauskas, Elias Weingärtner
2010 — conf
Statistical vector based point-to-point routing in wireless networks.
IPSN
Muhammad Hamad Alizai, Tobias Vaegs, Olaf Landsiedel, Raimondas Sasnauskas, Klaus Wehrle
2008 Misc conf
KleeNet: automatic bug hunting in sensor network applications.
SenSys
Raimondas Sasnauskas, Jó Ágila Bitsch Link, Muhammad Hamad Alizai, Klaus Wehrle