 | 2008 |
|---|
| 16 |       | Klaus Schneider,
Jens Brandt:
Performing causality analysis by bounded model checking.
ACSD 2008: 78-87 |
| 15 | | Jens Brandt,
Lars C. Wolf:
Adaptive video streaming for mobile clients.
NOSSDAV 2008: 113-114 |
| 14 | | Jens Brandt,
Klaus Schneider:
Formal Reasoning About Causality Analysis.
TPHOLs 2008: 118-133 |
| 2007 |
|---|
| 13 |  | Klaus Schneider,
Jens Brandt:
Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
Springer 2007 |
| 12 | | Jens Brandt,
Klaus Schneider:
How Different are Esterel and SystemC?.
FDL 2007: 98-103 |
| 2006 |
|---|
| 11 | | Klaus Schneider,
Jens Brandt,
Eric Vecchié:
Modular Compilation of Synchronous Programs.
DIPES 2006: 75-84 |
| 10 | | Jens Brandt,
Klaus Schneider:
System Description Aspects as Syntactic Sugar.
FDL 2006: 293-301 |
| 9 | | Klaus Schneider,
Jens Brandt,
Eric Vecchié:
Efficient code generation from synchronous programs.
MEMOCODE 2006: 165-174 |
| 8 | | Verena Kahmann,
Jens Brandt,
Lars C. Wolf:
Collaborative streaming in heterogeneous and dynamic scenarios.
Commun. ACM 49(11): 58-63 (2006) |
| 7 | | Klaus Schneider,
Jens Brandt,
Tobias Schüle:
A Verified Compiler for Synchronous Programs with Local Declarations.
Electr. Notes Theor. Comput. Sci. 153(4): 71-97 (2006) |
| 2005 |
|---|
| 6 | | Klaus Schneider,
Jens Brandt,
Tobias Schüle,
Thomas Tuerk:
Maximal Causality Analysis.
ACSD 2005: 106-115 |
| 5 | | Jens Brandt,
Klaus Schneider:
Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems.
EUC 2005: 405-417 |
| 4 | | Jens Brandt,
Klaus Schneider:
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry.
ICFEM 2005: 405-420 |
| 3 | | Matthias Dick,
Jens Brandt,
Verena Kahmann,
Lars C. Wolf:
Adaptive transcoding proxy architecture for video streaming in mobile networks.
ICIP (3) 2005: 700-703 |
| 2 | | Jens Brandt,
Verena Kahmann,
Lars C. Wolf:
A Flexible Reflector for Media Streams.
KiVS Kurzbeiträge und Workshop 2005: 41-48 |
| 2004 |
|---|
| 1 | | Klaus Schneider,
Jens Brandt,
Tobias Schüle:
Causality analysis of synchronous programs with delayed actions.
CASES 2004: 179-189 |
