The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Wendelin Serwe: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.039secs, Finished in 0.040secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002