The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Henrik Hulgaard: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jesper B. Møller, Henrik Hulgaard, Henrik Reif Andersen
    Timed Verification of Asynchronous Circuits. [Citation Graph (0, 0)][DBLP]
    Concurrency and Hardware Design, 2002, pp:274-312 [Conf]
  2. Tod Amon, Henrik Hulgaard
    Symbolic Time Separation of Events. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1999, pp:83-93 [Conf]
  3. Henrik Hulgaard, Steven M. Burns
    Efficient Timing Analysis of a Class of Petri Nets. [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:423-436 [Conf]
  4. Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard
    Difference Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:111-125 [Conf]
  5. Fen Jin, Henrik Hulgaard, Eduard Cerny
    Maximum Time Separation of Events in Cyclic Systems with Linear and Latest Timing Constraints. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1998, pp:167-184 [Conf]
  6. Henrik Hulgaard, Per H. Christensen, Jørgen Staunstrup
    Synthesizing Delay Insensitive Circuits from Verified Programs. [Citation Graph (0, 0)][DBLP]
    Research Directions in High-Level Parallel Programming Languages, 1991, pp:326-337 [Conf]
  7. Henrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello
    Practical applications of an efficient time separation of events algorithm. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1993, pp:146-151 [Conf]
  8. Tod Amon, Henrik Hulgaard, Steven M. Burns, Gaetano Borriello
    An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    ICCD, 1993, pp:166-173 [Conf]
  9. Henrik Reif Andersen, Henrik Hulgaard
    Boolean Expression Diagrams (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:88-98 [Conf]
  10. Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen
    Verification of Hierarchical State/Event Systems Using Reusability and Compositionality. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:163-177 [Conf]
  11. Jørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre J. Kristoffersen, Kim Guldstrand Larsen
    Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:201-216 [Conf]
  12. Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard
    Satisfiability Checking Using Boolean Expression Diagrams. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:39-51 [Conf]
  13. Jørgen Staunstrup, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen, Kim Guldstrand Larsen, Gerd Behrmann, Kåre J. Kristoffersen, Arne Skou, Henrik Leerberg, Niels Bo Theilgaard
    Practical Verification of Embedded Software. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2000, v:33, n:5, pp:68-75 [Journal]
  14. Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard
    Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:2, pp:- [Journal]
  15. Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen
    Verification of Hierarchical State/Event Systems using Reusability and Compositionality. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:21, n:2, pp:225-244 [Journal]
  16. Henrik Hulgaard, Steven M. Burns
    Bounded Delay Timing Analysis of a Class of CSP Programs. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1997, v:11, n:3, pp:265-294 [Journal]
  17. Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen
    Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:18, n:1, pp:5-23 [Journal]
  18. Henrik Reif Andersen, Henrik Hulgaard
    Boolean Expression Diagrams. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:179, n:2, pp:194-212 [Journal]
  19. Jesper B. Møller, Henrik Hulgaard, Henrik Reif Andersen
    Symbolic model checking of timed guarded commands using difference decision diagrams. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2002, v:52, n:, pp:53-77 [Journal]
  20. Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard
    Satisfiability checking using Boolean Expression Diagrams. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:5, n:1, pp:4-14 [Journal]
  21. Henrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello
    An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1995, v:44, n:11, pp:1306-1317 [Journal]
  22. Henrik Hulgaard, Tod Amon
    Symbolic timing analysis of asynchronous systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2000, v:19, n:10, pp:1093-1104 [Journal]
  23. Henrik Hulgaard, Poul Frederick Williams, Henrik Reif Andersen
    Equivalence checking of combinational circuits using Boolean expression diagrams. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1999, v:18, n:7, pp:903-917 [Journal]

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