Search the dblp DataBase

Publications of Author

1. David Lesens
   Invariants of Parameterized Binary Tree Networks as Greatest Fixpoints. [Citation Graph (0, 0)][DBLP]
   AMAST, 1997, pp:337-350 [Conf]
   
2. Iulian Ober, Susanne Graf, David Lesens
   Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2006, pp:48-62 [Conf]
   
3. David Lesens, Nicolas Halbwachs, Pascal Raymond
   Automatic Verification of Parameterized Linear Networks of Processes. [Citation Graph (0, 0)][DBLP]
   POPL, 1997, pp:346-357 [Conf]
   
4. David Lesens, Hassen Saïdi
   Abstraction of parameterized networks. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:9, n:, pp:- [Journal]
   
5. David Lesens, Nicolas Halbwachs, Pascal Raymond
   Automatic verification of parameterized networks of processes. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:256, n:1-2, pp:113-144 [Journal]
   
6. 
   Virtual execution of AADL models via a translation into synchronous programs. [Citation Graph (, )][DBLP]
   
   
7. 
   A Multi-Periodic Synchronous Data-Flow Language. [Citation Graph (, )][DBLP]
   
   
8. 
   Formal Modeling of Data. A Case Study for Space Applications. [Citation Graph (, )][DBLP]
   
   
9. 
   Scheduling Dependent Periodic Tasks without Synchronization Mechanisms. [Citation Graph (, )][DBLP]
   
   
10. 
    A real-time architecture design language for multi-rate embedded control systems. [Citation Graph (, )][DBLP]
    
    
11. 
    Using Static Analysis in Space: Why Doing so? [Citation Graph (, )][DBLP]
    
    
12. 
    Implementing Multi-Periodic Critical Systems: from Design to Code Generation [Citation Graph (, )][DBLP]