Home Lotgevallen
Home Promoties en examens

Masters of Science in Computer Science and Engineering

| 2008 | 2007 | 2006 | 2005 |

2008

Spring () (cum:)

2007

Spring & Autumn (41) (cum:80)

Details will appear in early 2008

2006

Autumn (4) (cum:39)

Abbas, Mr. U. (Ummar), 14 November 2006, Haverkort
Javgal, Mr. P.S. (Prithvi), 14 November 2006, de Berg
Kaur, Mrs. C. (Charanjeev), 14 November 2006, Aroyo
Sun, Mr. K. (Ke), 14 November 2006, Kuiper (cum laude)

Spring (24) (cum:35)

Adithia, Mrs. M.T. (Mariskha), Probabilistic analysis of network anonymity using PRISM, 29 August 2006, de Vink
van Amstel, Mr. M.F. (Marcel), Design and assessment of analysis techniques for UML sequence diagrams, 29 August 2006, Chaudron
van de Bor, Mr. L.C. (Leon), A repartitioning algorithm, 29 August 2006, Hoogerwoord
van Ballegooij, Mr. P.W.P.E. (Paul), Comparison of techniques for solving reachability problems, 4 April 2006, Zantema
Bouwman, Mr. B.J.H. (Bart), Secure management of electronic health records, 29 August 2006, Mauw
Busking, Mr. S. (Stef), VolumeFlies : a smart-particle-inspired framework for illustrative volume rendering, 29 August 2006, van Wijk (cum laude)
Dekker, Mr. T.J. (Tim), On the construction of a personalized home media system using TV-Anytime packaging, 24 January 2006, Aroyo
Goud, Mr. R. (Rob), Visualization of file relations in software systems with adjacency matrices, 29 August 2006, van Wijk
Hermans, Mr. J.G.F. (John), A software testing approach supported by a tool environment for the development of component tests, 20 June 2006, Romijn
Inamdar, Mr. D. (Datta), Performance modeling using μCRL2, 29 August 2006, Groote
Janssen, Mr. T.H.M. (Thijs), Simulation of large-scale genetic regulatory systems, 20 June 2006, Hilbers (cum laude)
Kaasenbrood, Mr. E.J.S. (Eric), WiMAX Security : a formal and informal analysis, 29 August 2006, de Vink (cum laude)
van Kooten, Mr. K. (Kees), Particle-based fluid visualisation on the GPU, 29 August 2006, Telea (cum laude)
van Leeuwen, Mr. A. (Arjan), A sliding window protocol, 24 January 2006, Hoogerwoord
Liu, Mrs. X. (Xin), Generating UML diagrams using feature diagrams for software product line, 29 August 2006, Chaudron
Majeri, Mr. M.I. (Ikbal), Overview and security analysis of electronic payment systems, 29 August 2006, Mauw
Mavrogiannopoulos, Mr. N. (Nikolaos), Fine-tuned implementation of an efficient secure profile matching protocol, 29 August 2006, Schoenmakers (WSK)
Mladenovska, Mrs. E. (Emilija), Performance analyses of DICOM export from medical images processing workstation software package, 29 August 2006, Aerts
van Montfort, Mr. J.J.E. (Jeroen), Functional Design Patterns : de implementatie van model-gedreven functionaliteit in een object georiënteerde omgeving, 29 August 2006, Hemerik
Nelissen, Mr. M. (Micha), Vector processing on FPGAs scalability and performance, 20 June 2006, van Berkel
Schuijers, Mr. M.P. (Martijn), Integrating a BDD prover and DPLL SAT solver for abstract data types, 24 January 2006, van de Pol
Shubha, Mrs., Energy models for network-on-chip components, 24 January 2006, Basten (E)
Valdez Aguinaga, Mr. J.V. (Julio), MRI patient handling modelling, 4 April 2006, Groote
van Vessem, Mr. I. (Ivo), Securing epidemic communication in wireless sensor networks, 24 January 2006, Mauw

2005

Autumn (4) (cum:11)

Cabrita Alves Martins, Mr. C.A. (Ca), Level 1 cache performance in a multiprocessor memory hierarchy, 8 November 2005, van Meerbergen (E)
Han, Mr. Y. (Yonggang), Context aware security policy enforcement CASPEr, 8 November 2005, de Vink
Hollestelle, Mr. G. (Gijs), Systematic analysis of attacks on security protocols, 8 November 2005, Mauw
Kratz, Mr. F. (Fabian), A modeling language for reconfigurable distributed hybrid systems, 8 November 2005, Reniers (cum laude)

Spring (7) (cum:7)

Huo, Mr. X. (Xing), A concurrent wave panic protocol for dynamic 1394.1 networks, 30 August 2005, Romijn
Liu, Mr. Y. (Yan), Protecting privacy of personal content on a OMA DRM platform, 30 August 2005, Mauw
Lommerse, Mr. G.L.P.M. (Gerard), Code structure visualization, 30 August 2005, Telea
Nirmal, Mrs. S. (Sajni), Verification of security protocols: tool support for update semantics, 30 August 2005, de Vink
van Opzeeland, Mr. D.J.A. (Dennis), Automated techniques for reconstructing and assessing correspondence between UML designs and implementations, 30 August 2005, Chaudron
Parashuram, Mrs. V. (Veena), Mapping object detection onto a heterogeneous multiprocessor vision platform, 30 August 2005, Corporaal (E)
Termeer, Mr. M.A. (Maurice), Constructive solid geometry and volume rendering, 30 August 2005, Telea (cum laude)

Eindhoven, 2007 * bureau bestuursondersteuning W&I