Search the dblp DataBase

Publications of Author

1. Bertrand Jeannet, Wendelin Serwe
   Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs. [Citation Graph (0, 0)][DBLP]
   AMAST, 2004, pp:258-273 [Conf]
   
2. Hubert Garavel, Wendelin Serwe
   State Space Reduction for Process Algebra Specifications. [Citation Graph (0, 0)][DBLP]
   AMAST, 2004, pp:164-180 [Conf]
   
3. Gwen Salaün, Wendelin Serwe, Yvain Thonnart, Pascal Vivet
   Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip. [Citation Graph (0, 0)][DBLP]
   ASYNC, 2007, pp:73-82 [Conf]
   
4. Rachid Echahed, Wendelin Serwe
   Combining Mobile Processes and Declarative Programming. [Citation Graph (0, 0)][DBLP]
   Computational Logic, 2000, pp:300-314 [Conf]
   
5. Gwen Salaün, Wendelin Serwe
   Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. [Citation Graph (0, 0)][DBLP]
   IFM, 2005, pp:287-306 [Conf]
   
6. Rachid Echahed, Frédéric Prost, Wendelin Serwe
   Statically assuring secrecy for dynamic concurrent processes. [Citation Graph (0, 0)][DBLP]
   PPDP, 2003, pp:91-101 [Conf]
   
7. Jeremie Blanc, Wendelin Serwe
   Timed Term Rewrite Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
   
8. Rachid Echahed, Wendelin Serwe
   Defining Actions in Concurrent Declarative Programming. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
   
9. Hubert Garavel, Wendelin Serwe
   State space reduction for process algebra specifications. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:351, n:2, pp:131-145 [Journal]
   
10. Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe
    CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:158-163 [Conf]
    
11. 
    Towards Performance Prediction of Compositional Models in Industrial GALS Designs. [Citation Graph (, )][DBLP]
    
    
12. 
    A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS. [Citation Graph (, )][DBLP]
    
    
13. 
    A Study of Shared-Memory Mutual Exclusion Protocols Using CADP. [Citation Graph (, )][DBLP]