Raimondas Sasnauskas

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 4

Top Venues

CoRR

ICST

ICNP

ICPC

RWTH Aachen University (PHD)

Education History

RWTH Aachen University

PHD

Publications

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

Raimondas Sasnauskas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Raimondas Sasnauskas