Ruurd Kuiper – Supervised Work — Research portal Eindhoven University of Technology

View Scopus Profile

EmailR.KuiperTUEnl

343

Citations - based on content available in repository [source: Scopus]

Content available in repository

6 results

2018

From concurrent state machines to reliable multi-threaded Java code
Zhang, D., 12 Apr 2018, Eindhoven: Technische Universiteit Eindhoven. 160 p.
Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File

2370 Downloads (Pure)
2013
User interaction layer for POOSL
Manevska, Z. & Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Software Technology (ST), 2013, Eindhoven: Technische Universiteit Eindhoven.
Research output: Thesis › EngD Thesis
1 Downloads (Pure)
2011
Capturing and exploiting abstract views of states in OO verification
Middelkoop, R., 2011, Eindhoven: Technische Universiteit Eindhoven. 197 p.
Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
159 Downloads (Pure)
2006

Formalising interface specifications
Gool, van, L. C. M., 2006, Eindhoven: Technische Universiteit Eindhoven. 309 p.
Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File

183 Downloads (Pure)
2002

On the suitability of Java for TV control applications
Muitjens, G. G. M. & Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Software Technology (ST), 2002, Eindhoven: Technische Universiteit Eindhoven. Stan Ackermans Instituut.
Research output: Thesis › EngD Thesis
1999

Embedded TestFrame : an experimental design for embedded system testing
Grodek, M. W. & Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Software Technology (ST), 1999, Eindhoven: Technische Universiteit Eindhoven.
Research output: Thesis › EngD Thesis