The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Christian Engel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christian Engel, Bernd Heinrichs
    Flexibles Design von Hochleistungsprotokollen mittels höherer Petri-Netze. [Citation Graph (0, 0)][DBLP]
    ARCS, 1992, pp:237-249 [Conf]
  2. Christian Engel
    Code Generation for Real-Time Specifications. [Citation Graph (0, 0)][DBLP]
    FBT, 1997, pp:323-332 [Conf]
  3. Christian Engel
    Entwurf, Entwicklung und Implementierung von Hochleistungskommunikationsprotokollen auf einer parallelen Controller-Architektur mittels Petri-Netzen. [Citation Graph (0, 0)][DBLP]
    Kommunikation in Verteilten Systemen, 1993, pp:471-485 [Conf]
  4. Christian Engel, Michael Sonnenschein
    CENSYS: Eine strukturorientierte Entwicklungsumgebung für C-Programme. [Citation Graph (0, 0)][DBLP]
    Angewandte Informatik, 1988, v:30, n:9, pp:399-410 [Journal]
  5. Christian Engel, Reiner Hähnle
    Generating Unit Tests from Formal Proofs. [Citation Graph (0, 0)][DBLP]
    TAP, 2007, pp:169-188 [Conf]

  6. Integrating Verification and Testing of Object-Oriented Software. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
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