Sven Laux

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 3

Top Topics

Asynchronous Circuits

Top Venues

Publications

Lars Stockmann, Sven Laux, Eric Bodden
Architectural Runtime Verification. ICSA Companion (2019)
Milica Stojkovic, Sven Laux, Anthony Anjorin
Existing and New Ideas on Least Change Triple Graph Grammars. BX@ETAPS (2017)
Sven Laux, Gurjashan Singh Pannu, Stefan Schneider, Jan Tiemann, Florian Klingler, Christoph Sommer, Falko Dressler
Demo: OpenC2X - An open source experimental and prototyping platform supporting ETSI ITS-G5. VNC (2016)