Dr. Raimondas Sasnauskas
WARNING: This information is likely out-of-date and will not be updated!
Last updated on 2014-03-31
Last updated on 2014-03-31
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
Integration Testing of Protocol Implementations using Symbolic Distributed Execution.
The 2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012), Oct 30 - Nov 2, 2012, Austin, TX, USA.
October 2012.
Position Paper: Symbolic System Time in Distributed Systems Testing.
TAICPART'2012.
April 2012.
Scalable Symbolic Execution of Distributed Systems.
Proceedings of the 31st IEEE International Conference on Distributed Computing Systems (ICDCS 2011), Jun 20 - Jun 24, 2011, Minneapolis, MN, USA.
June 2011.
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.
November 2010.
Flexible Analysis of Distributed Protocol Implementations using Virtual Time.
Proceedings of the 18th International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2010), Hvar, Croatia.
September 2010.
Modeling Transport Layer Protocols.
Modeling and Tools for Network Simulation.
June 2010.
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.
April 2010.
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), Apr 12 - Apr 16, 2010, Stockholm, Sweden.
April 2010.
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, United States.
November 2008.
Bug Hunting in Sensor Network Applications.
Proceedings of the 7th GI/ITG Fachgespraech Wireless Sensor Networks, Berlin, Germany.
September 2008.
Advised Theses
Automatic Generation of Inputs for High-Coverage Testing of Network Protocol Implementations
Diploma Thesis, RWTH Aachen University, September 2013
Advisors:
,
René Hummen
Examiners:
Klaus Wehrle,
Jürgen Giesl (LuFG i2)
Symbolic Execution of Discrete Event Systems with Uncertain Time
Master's Thesis, RWTH Aachen University, March 2013
Advisor:
Examiners:
Klaus Wehrle,
Thomas Noll (i2)
Eine Analyse sicherheitsrelevanter und hochverfügbarer Kommunikationsprotokolle im Kontext signaltechnisch sicherer Bahnanwendungen und eine Prototypimplementierung in eingebetteten Systemen
Bachelor's Thesis, RWTH Aachen University, February 2012
Advisors:
Norbert Berzen (Scheidt & Bachmann GmbH),
Examiners:
Klaus Wehrle,
Stefan Kowalewski (i11)
Parallelizing Symbolic Distributed Execution for Scalable Testing in the Cloud
Bachelor's Thesis, RWTH Aachen University, January 2012
Advisor:
Examiners:
Klaus Wehrle,
Bernhard Rumpe (i3)
Extending Selective Symbolic Execution to Enable Testing of Distributed Systems
Bachelor's Thesis, RWTH Aachen University, January 2012
Advisor:
Examiners:
Klaus Wehrle,
Bernhard Rumpe (i3)
Monitoring and Coordination of Distributed S2E Instances
Bachelor's Thesis, RWTH Aachen University, January 2012
Advisor:
Examiners:
Klaus Wehrle,
Bernhard Rumpe (i3)
Cluster-based Search Strategies for High Code Coverage in Symbolic Distributed Execution
Bachelor's Thesis, RWTH Aachen University, January 2012
Advisor:
Examiners:
Klaus Wehrle,
Bernhard Rumpe (i3)
A Formal Model of Symbolic Distributed Execution
Bachelor's Thesis, RWTH Aachen University, November 2010
Advisor:
Examiners:
Klaus Wehrle,
Bernhard Rumpe (i3)
Scalable Symbolic Execution of Distributed Systems
Bachelor's Thesis, RWTH Aachen University, October 2010
Advisor:
Examiners:
Klaus Wehrle,
Bernhard Rumpe (i3)KuVS prize for best Bachelor's thesis in 2011
Symbolic Execution of Large Network Stacks
Bachelor's Thesis, RWTH Aachen University, October 2010
Advisor:
Examiners:
Klaus Wehrle,
Bernhard Rumpe (i3)
Efficient Distributed Proving of Program Verification Conditions
Diploma Thesis, RWTH Aachen University, February 2010
Advisor:
Examiners:
Klaus Wehrle,
Thomas Santen (TU Berlin)