Modeling Transport Layer Protocols

Sasnauskas, Raimondas; Weingaertner, Elias; Sasnauskas, Raimondas; Kaiser, Philipp; Jukić, Russ Lucas; Wehrle, Klaus; Soria Dustmann, Oscar; Sasnauskas, Raimondas; Wehrle, Klaus; Sasnauskas, Raimondas; Soria Dustmann, Oscar; Kaminski, Benjamin Lucien; Weise, Carsten; Kowalewski, Stefan; Wehrle, Klaus; Österlind, Fredrik; Sasnauskas, Raimondas; Dunkels, Adam; Soria Dustmann, Oscar; Wehrle, Klaus; Weingaertner, Elias; Ritter, Marko; Sasnauskas, Raimondas; Wehrle, Klaus; Sasnauskas, Raimondas; Landsiedel, Olaf; Alizai, Muhammad Hamad; Weise, Carsten; Kowalewski, Stefan; Wehrle, Klaus; Alizai, Muhammad Hamad; Vaegs, Tobias; Landsiedel, Olaf; Sasnauskas, Raimondas; Wehrle, Klaus; Sasnauskas, Raimondas; Bitsch Link, Jó Agila; Alizai, Muhammad Hamad; Wehrle, Klaus; Sasnauskas, Raimondas; Sasnauskas, Raimondas; Bitsch Link, Jó Agila; Alizai, Muhammad Hamad; Wehrle, Klaus

doi:10.1109/ICNP.2012.6459940

WARNING: This information is likely out-of-date and will not be updated!
Last updated on 2014-04-01

Dr. Raimondas Sasnauskas

Communication and Distributed Systems
RWTH Aachen University
Ahornstr. 55 (Room: 4227, E1)
52074 Aachen, Germany

E-Mail: raimondas.sasnauskas[[at]]comsys.rwth-aachen.de
Phone: +49 241 80-21417
Skype: lyderis

Research interests (but not limited to)

Testing communication protocols before deployment (currently, I'm working on the KleeNet project)
Symbolic execution frameworks (KLEE, JPF)
WSN operating systems & simulators (TinyOS, Contiki, TOSSIM, COOJA)
Modular communication protocols (Click)

UPDATE (01/04/14): I moved to the School of Computing at the University of Utah.

Short Biography

I left Kaunas (Lithuania) in 2001 and spent 6 wonderful years in Tübingen (Germany) where I received my Diplom-Informatiker degree. Since July 2007, I've been a Ph.D. student at the Communication and Distributed Systems Group at the RWTH Aachen University.

Publications

Contributions to books:
	Raimondas Sasnauskas and Elias Weingaertner Modeling Transport Layer Protocols Chapter 17, page 389-399. Publisher: Springer, Germany June 2010 ISBN: 978-3-642-12330-6
Contributions to proceedings:
	Raimondas Sasnauskas, Philipp Kaiser, Russ Lucas Jukić, and Klaus Wehrle Integration Testing of Protocol Implementations using Symbolic Distributed Execution The 2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012), 30 October - 02 November 2012, Austin, TX, USA, page 6 S.. IEEE Piscataway, NJ, USA October 2012 DOI: 10.1109/ICNP.2012.6459940 ISBN: 978-1-4673-2445-8
	Oscar Soria Dustmann, Raimondas Sasnauskas, and Klaus Wehrle Position Paper: Symbolic System Time in Distributed Systems Testing TAICPART'2012 April 2012
	Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Carsten Weise, Stefan Kowalewski, and Klaus Wehrle Scalable Symbolic Execution of Distributed Systems Proceedings of the 31st IEEE International Conference on Distributed Computing Systems (ICDCS 2011), June 2011, Minneapolis, MN, USA, page 333-342. Publisher: IEEE Computer Society, Los Alamitos, CA, USA June 2011 DOI: 10.1109/ICDCS.2011.28 ISBN: 978-0-7695-4364-2
	Fredrik Österlind, Raimondas Sasnauskas, Adam Dunkels, Oscar Soria Dustmann, and Klaus Wehrle Demo Abstract: Integrating Symbolic Execution with Sensornet Simulation for Efficient Bug Finding Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems (SenSys 2010), Zurich, Switzerland, page 383--384. Publisher: ACM, New York, NY, USA November 2010 DOI: http://doi.acm.org/10.1145/1869983.1870034 ISBN: 978-1-4503-0344-6
	Elias Weingaertner, Marko Ritter, Raimondas Sasnauskas, and Klaus Wehrle Flexible Analysis of Distributed Protocol Implementations using Virtual Time Proceedings of the 18th International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2010), page 225 - 229. Publisher: FESB, Split, Croatia September 2010 ISBN: 978-1-4244-8663-2
	Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski, and Klaus Wehrle KleeNet: Discovering Insidious Interaction Bugs in Wireless Sensor Networks Before Deployment Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2010), Stockholm, Sweden, page 186--196. Publisher: ACM, New York, NY, USA April 2010 DOI: http://doi.acm.org/10.1145/1791212.1791235 ISBN: 978-1-60558-988-6
	Muhammad Hamad Alizai, Tobias Vaegs, Olaf Landsiedel, Raimondas Sasnauskas, and Klaus Wehrle Poster Abstract: Statistical Vector based Point-to-Point Routing in Wireless Networks Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2010), Stockholm, Sweden, page 366-367. Publisher: ACM, New York, NY, USA April 2010 ISBN: 978-1-60558-988-6 http://portal.acm.org/citation.cfm?id=1791257
	Raimondas Sasnauskas, Jó Agila Bitsch Link, Muhammad Hamad Alizai, and Klaus Wehrle Poster Abstract: KleeNet - Automatic Bug Hunting in Sensor Network Applications Proceedings of the 6th ACM conference on Embedded network sensor systems (SenSys'08), Raleigh, NC, USA, page 425--426. Publisher: ACM, New York, NY, USA November 2008 DOI: http://doi.acm.org/10.1145/1460412.1460485 ISBN: 978-1-59593-990-6
Master theses:
	Raimondas Sasnauskas Policy-basierte Verarbeitung und Korrelation von Angriffsmeldungen zur dynamischen Konfiguration eines NIDS Diplomarbeit Universität Tübingen, May 2007
Technical reports:
	Raimondas Sasnauskas, Jó Agila Bitsch Link, Muhammad Hamad Alizai, and Klaus Wehrle Bug Hunting in Sensor Network Applications Chair of Communication and Distributed Systems (ComSys), Berlin, Germany September 2008 ftp://ftp.inf.fu-berlin.d...ub/reports/tr-b-08-12.pdf

Export as:

BibTeX, XML

Research interests (but not limited to)

Contributions to books:

Contributions to proceedings:

Master theses:

Technical reports: