Klaas Brink
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1995–2012
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | IOLTS | Soft-errors resilient logic optimization for low power. | Sujan Pandey, Klaas Brink |
| 1997 | EuroPar | Analyzing Schedulability of Astral Specifications using Extended Timed Automata. | Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel |
| 1997 | RTCSA | Experiences with analysis of formal specifications in Astral. | Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel |
| 1996 | ECRTS | Closed World Specification of Embedded Real-Time Controllers. | Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel |
| 1996 | RTCSA | Ada 95 as implementation vehicle for formal specifications. | Klaas Brink, Jan van Katwijk, W. J. Toetenel |
| 1995 | ICECCS | Hybrid specification of control systems. | Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel |