Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Bounded Delay Timing Analysis of a Class of CSP Programs.

H. Hulgaard, und S. Burns. Formal Methods in System Design, 11 (3): 265-294 (1997)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Henrik Wissel University of Stuttgart

Henrik Jakob University of Stuttgart

Henrik Stooß University of Stuttgart

Dr. -Ing. Henrik Ebel University of Stuttgart

Hon. -Prof. Dr. Henrik Uterwedde University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Testing asynchronous circuits: A survey.H. Hulgaard, S. Burns, und G. Borriello. Integration, 19 (3): 111-131 (1995)Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.J. Lind-Nielsen, H. Andersen, G. Behrmann, H. Hulgaard, K. Kristoffersen, und K. Larsen. TACAS, Volume 1384 von Lecture Notes in Computer Science, Seite 201-216. Springer, (1998)Boolean Expression Diagrams.H. Andersen, und H. Hulgaard. Inf. Comput., 179 (2): 194-212 (2002)Symbolic model checking of timed guarded commands using difference decision diagrams.J. Møller, H. Hulgaard, und H. Andersen. J. Log. Algebr. Program., (2002)Equivalence checking of combinational circuits using Boolean expression diagrams.H. Hulgaard, P. Williams, und H. Andersen. IEEE Trans. on CAD of Integrated Circuits and Systems, 18 (7): 903-917 (1999)Symbolic timing analysis of asynchronous systems.H. Hulgaard, und T. Amon. IEEE Trans. on CAD of Integrated Circuits and Systems, 19 (10): 1093-1104 (2000)Bounded delay timing analysis of a class of CSP programs with choice.H. Hulgaard, und S. Burns. ASYNC, Seite 2-11. IEEE, (1994)An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems.T. Amon, H. Hulgaard, S. Burns, und G. Borriello. ICCD, Seite 166-173. IEEE Computer Society, (1993)Verification of Hierarchical State/Event Systems Using Reusability and Compositionality.G. Behrmann, K. Larsen, H. Andersen, H. Hulgaard, und J. Lind-Nielsen. TACAS, Volume 1579 von Lecture Notes in Computer Science, Seite 163-177. Springer, (1999)Difference Decision Diagrams.J. Møller, J. Lichtenberg, H. Andersen, und H. Hulgaard. CSL, Volume 1683 von Lecture Notes in Computer Science, Seite 111-125. Springer, (1999)