Searching for authors named "Henrik Hulgaard" – sorted by Relevance.
28 documents found, showing 1 through 10.
Next 10 →
-
Symbolic Time Separation of Events
- …Symbolic Time Separation of Events Tod Amon Henrik Hulgaard Dept. of Computer Science Dept…
- Cited by 4 (0 self) – Add To MetaCart
-
Bounded Delay Timing Analysis of a Class of CSP Programs with Choice
- …Bounded Delay Timing Analysis of a Class of CSP Programs with Choice Henrik Hulgaard and Steven M…
- Add To MetaCart
-
Bounded Delay Timing Analysis of a Class of CSP Programs
- … Delay Timing Analysis of a Class of CSP Programs * HENRIK HULGAARD henrik@(email omitted); Department…
- Cited by 34 (10 self) – Add To MetaCart
-
Efficient Timing Analysis of a Class of Petri Nets
- …Efficient Timing Analysis of a Class of Petri Nets ? Henrik Hulgaard and Steven M. Burns…
- Cited by 10 (1 self) – Add To MetaCart
-
Maximum Time Separation of Events in Cyclic Systems with Linear and Latest Timing Constraints
- … Jin 1;? , Henrik Hulgaard 2;?? , and Eduard Cerny 1;? 1 LASSO, Department d'Informatique et de…
- Cited by 3 (0 self) – Add To MetaCart
-
Timing Analysis of Concurrent Systems
- … Amon, Henrik Hulgaard, Gaetano Borriello, Steve Burns Department of Computer Science and Engineering…
- Add To MetaCart
-
Testing Asynchronous Circuits: A Survey
- …Testing Asynchronous Circuits: A Survey 1 Henrik Hulgaard, Steven M. Burns, and Gaetano Borriello…
- Cited by 14 (0 self) – Add To MetaCart
-
Boolean Expression Diagrams
- … and Henrik Hulgaard Department of Information Technology, Building 344 Technical University of Denmark DK…
- Cited by 42 (5 self) – Add To MetaCart
-
Symbolic model checking of timed guarded commands using difference decision diagrams
- …, Henrik Hulgaard, Henrik Reif Andersen Department of Innovation, The IT University of Copenhagen, Denmark…
- Add To MetaCart
-
Boolean Expression Diagrams
- …Boolean Expression Diagrams (Extended Abstract) Henrik Reif Andersen and Henrik Hulgaard…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
