Search the dblp DataBase

Publications of Author

1. Klaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk
   Maximal Causality Analysis. [Citation Graph (0, 0)][DBLP]
   ACSD, 2005, pp:106-115 [Conf]
   
2. Klaus Schneider, Jens Brandt, Tobias Schüle
   Causality analysis of synchronous programs with delayed actions. [Citation Graph (0, 0)][DBLP]
   CASES, 2004, pp:179-189 [Conf]
   
3. Jens Brandt, Klaus Schneider
   Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems. [Citation Graph (0, 0)][DBLP]
   EUC, 2005, pp:405-417 [Conf]
   
4. Jens Brandt, Klaus Schneider
   Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2005, pp:405-420 [Conf]
   
5. Matthias Dick, Jens Brandt, Verena Kahmann, Lars C. Wolf
   Adaptive transcoding proxy architecture for video streaming in mobile networks. [Citation Graph (0, 0)][DBLP]
   ICIP (3), 2005, pp:700-703 [Conf]
   
6. Jens Brandt, Verena Kahmann, Lars C. Wolf
   A Flexible Reflector for Media Streams. [Citation Graph (0, 0)][DBLP]
   KiVS Kurzbeiträge und Workshop, 2005, pp:41-48 [Conf]
   
7. Verena Kahmann, Jens Brandt, Lars C. Wolf
   Collaborative streaming in heterogeneous and dynamic scenarios. [Citation Graph (0, 0)][DBLP]
   Commun. ACM, 2006, v:49, n:11, pp:58-63 [Journal]
   
8. Klaus Schneider, Jens Brandt, Tobias Schüle
   A Verified Compiler for Synchronous Programs with Local Declarations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:4, pp:71-97 [Journal]
   
9. Klaus Schneider, Jens Brandt, Eric Vecchié
   Modular Compilation of Synchronous Programs. [Citation Graph (0, 0)][DBLP]
   DIPES, 2006, pp:75-84 [Conf]
   
10. Klaus Schneider, Jens Brandt, Eric Vecchié
    Efficient code generation from synchronous programs. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2006, pp:165-174 [Conf]
    
11. 
    Desynchronizing Synchronous Programs by Modes. [Citation Graph (, )][DBLP]
    
    
12. 
    Performing causality analysis by bounded model checking. [Citation Graph (, )][DBLP]
    
    
13. 
    Multithreaded code from synchronous programs: Extracting independent threads for OpenMP. [Citation Graph (, )][DBLP]
    
    
14. 
    Translating concurrent action oriented specifications to synchronous guarded actions. [Citation Graph (, )][DBLP]
    
    
15. 
    Adaptive video streaming for mobile clients. [Citation Graph (, )][DBLP]
    
    
16. 
    Formal Reasoning About Causality Analysis. [Citation Graph (, )][DBLP]
    
    
17. 
    How Different are Esterel and SystemC?. [Citation Graph (, )][DBLP]
    
    
18. 
    System Description Aspects as Syntactic Sugar. [Citation Graph (, )][DBLP]