Klaas Brink

According to our database, Klaas Brink authored at least 8 papers between 1993 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2012

Soft-errors resilient logic optimization for low power.

Sujan Pandey, Klaas Brink

Proceedings of the 18th IEEE International On-Line Testing Symposium, 2012

1998

Automatic Analysis of Embedded Systems Specified in Astral.

Klaas Brink, Leon J. G. Bun, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1997

Experiences with analysis of formal specifications in Astral.

Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel

Proceedings of the 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 1997

Analyzing Schedulability of Astral Specifications using Extended Timed Automata.

Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996

Ada 95 as implementation vehicle for formal specifications.

Klaas Brink, Jan van Katwijk, W. J. Toetenel

Proceedings of the Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30, 1996

Closed World Specification of Embedded Real-Time Controllers.

Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

1995

Hybrid specification of control systems.

Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

1993

SEAL A simple language for prototyping action-event specifications.

Klaas Brink, Ronald Huijsman, Jan van Katwijk

Microprocess. Microprogramming, 1993