Home Lotgevallen
Home Promoties en examens

Masters of Science in Computer Science and Engineering

| 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 |

For most of the theses a full-text version is available at the Library of TU/e (refer to the catalogue).

2012

Spring (6) (cum:302)

van der Linden, Mr. I. (Ivo)
Complex project scheduling (supervisor: W.P.M. Nuijten)
April 2012
Rombley, Mr. G.A. (Gino)
Towards a valid object model: A method for changing user requirements (supervisor: I. Barosan)
March 2012
Schoren, Mr. R.J.A. (Rob)
Vehicle function correctness (supervisor: J.F. Groote)
March 2012
Schouten, Mr. E. (Ed)
Quality of alternative terrain models (supervisor: H.J. Haverkort)
April 2012
Sun, Mr. Y. (Yuanhao)
Automatic evaluation of privacy policy (supervisor: M. Pechenizkiy)
February 2012
Teurlings, Mr. M.A. (Maik)
A layout algorithm for workflow nets (supervisor: H.M.M. van de Wetering)
February 2012

2011

Autumn (11) (cum:296)

Bouten, Mr. R.G.J. (Roy)
Quantitative analysis of model tranformations by means of metrics: a generic approach (supervisor: M.G.J. van den Brand)
September 2011
Geelen, Mr. D.J.M. (Daniel)
A wireless mesh network for smart metering (supervisor: A. Liotta)
December 2011
He, Mrs. Z. (Zhihong)
Extending security architecture of PERSONA (supervisor: M. Petkovic)
October 2011 [special master track IST]
Leijten, Mr. M.C.G. (Maarten)
SMTL: A model transformation language based on strategic rewriting which generates a complete trace model (supervisor: M.G.J. van den Brand)
November 2011
Meurers, Mr. A.H.J. (Arjen)
Proving non-convertibility (supervisor: H. Zantema)
September 2011
van den Munckhof, Mr. C.J.J. (Coen)
Content based access control in social network sites (supervisor: J.I. den Hartog)
October 2011 [special master track IST]
Nassabi, Mr. M.H. (Mohammad Hossein)
Patient adherence in home telemonitoring (supervisor: T.G.K. Calders)
October 2011
Sasburg, Mr. S.B. (Simond)
Approximating average and worst-case quality measure values for d-dimensional space-filling curves (supervisor: H.J. Haverkort)
October 2011
Verhagen, Mr. N.J.C. (Norbert)
Modeling and measuring the performance of a surveillance camera (supervisor: R.J. Bril)
October 2011
Wagener, Mr. P. (Paul)
Real-time realistic radar simulation (supervisor: H.M.M. van de Wetering)
December 2011
van der Wielen, Mr. F.D. (Florian)
InfoCloud: Improving business intelligence usage by socialization (supervisor: J.J. van Wijk)
November 2011

Spring (39) (cum:285)

Admar Ajith Kumar Somappa, Mr.
Adding schedulability analysis of the Octopus toolset (supervisor: M. Mousavi)
August 2011
Adyanthaya, Mrs. S. (Shreya)
Formal time-based water flow modeling and verification (supervisor: S. Andova)
August 2011 (cum laude)
Agus Wiro Susilo, Mr.
Framework for studying context-aware banner selection in topical online portal advertising (supervisor: M. Pechenizkiy)
August 2011
Arnhem, Mr. B. van (Bart)
Cartographically inspired visualization of point sets (supervisor: J.J. van Wijk)
March 2011
Bego, Mr. S.C.H. (Sven)
Visualizing business process performance (supervisor: M.A. Westenberg)
May 2011
Blewanus, Mr. R. (Remco)
Analyzing ribosome processivity using EPT (supervisor: E.P. de Vink)
August 2011
van Bommel, Mr. F.F.J.M. (Frits)
Biased randomized insertion orders (supervisor: M.T. de Berg)
August 2011
van Cuijk, Mr. W.P. (Mark)
Enforcing a fine-grained network policy in Android (supervisor: L.A.M. Schoenmakers)
August 2011 [special master track IST]
Delissen, Mr. T.A. (Thomas)
Design and validation of a model-driven engineering environment for the specication and transformation of T-ReCS models (supervisor: M.G.J. van den Brand)
February 2011
van Eersel, Mr. H. (Harm), Tensor network methods for quantum simulation (supervisor: E.P. de Vink)
January 2011
van den Elzen, Mr. S.J. (Stef)
Interactive construction, analysis and visualization of decision trees (supervisor: J.J. van Wijk)
May 2011 (cum laude)
in 't Groen, Mr. A.M. (Bram)
VDSEIR: A graphical layer on top of the Octopus toolset (supervisor: N. Sidorova)
August 2011
Haffmans, Mr. W.J. (Wouter)
A study of efficient RDFS entailment in external memory (supervisor: G.H.L. Fletcher)
June 2011
Hambartsumyan, Mr. H. (Henri)
Precise XSS detection with static analysis using string analysis (supervisor: J.I. den Hartog)
February 2011 [special master track IST]
Hellings, Mr. J.A.J. (Jelle)
Bisimulation partitioning and partition maintenance (supervisor: G.H.L. Fletcher)
August 2011 (cum laude)
Hermans, Mr. F. (Frank)
Automated reengineering using evolutionary coupling (supervisor: A. Serebrenik)
August 2011 (cum laude)
van Heumen, Mr. P.J. (Danny)
Iterative preprocessing of event logs (supervisor: B.F. van Dongen)
August 2011
van Houten, Mr. J.D. (Diederik)
Improving dynamic language performance using just in time compilation (supervisor: M.G.J. van den Brand)
August 2011
de Jong, Mr. J.P. (Johan)
Program slicing for Java 6 SE (supervisor: A. Serebrenik)
August 2011
Kaijage, Mr. E.I. (Evans), Unique reduction lengths in rewriting (supervisor: H. Zantema)
January 2011
Kemps, Mr. G.C.M. (Geert)
Rooms: Rolap based occupation measurement system (supervisor: T.G.K. Calders)
August 2011
Kusters, Mr. V.J.J. (Vincent)
Characterizing graphs with a sliceable rectangular dual (supervisor: B. Speckmann)
August 2011 (cum laude) [Honors certificate]
Lammers, Mr. T. (Thomas)
Visual interactive grouping: Follow the leader (supervisor: H.M.M. van de Wetering)
May 2011
Lele, Mr. A. (Alok)
Data-flow based temporal analysis for TDM arbitration (supervisor: P.J.L. Cuijpers)
August 2011 (cum laude)
Lemmens, Mr. A. (Funs)
Optimizing user interaction in ARGOS through 3D visualization (supervisor: R. van Liere)
May 2011
Manders, Mr. M.W. (Maarten)
mlBNF – A syntax formalism for domain specific languages (supervisor: M.G.J. van den Brand)
May 2011
Menezes, Mr. V.J. (Vinod)
Verification of architectural rules and design patterns (supervisor: M.G.J. van den Brand)
August 2011
Moily, Mrs. A. (Ashwini)
Supporting design-space exploration with synchronous data flow graphs in the Octopus toolset (supervisor: L.J.A.M. Somers)
August 2011
Nguyen, Mr. H.V. (Hong Viet), Replay analysis in generic process modeling language (supervisor: B.F. van Dongen)
January 2011
Ongan, Mr. M. (Murat)
A framework for aligning social media and web analytics data to support search engine marketing (supervisor: M. Pechenizkiy)
August 2011
van Ravensteijn, Mr. W.J.P. (Wiljan)
Visual traceability across dynamic ordered hierarchies (supervisor: H.M.M. van de Wetering)
August 2011 (cum laude)
Saalmink, Mr. R. (Rutger)
Classification of multi-task fMRI data (supervisor: T.G.K. Calders)
February 2011
Schunselaar, Mr. D.M.M. (Dennis)
Configurable declare (supervisor: N. Sidorova)
August 2011 (cum laude)
Shetty, Mr. K.S. (Shravan)
Verification of architectural rules and design patterns (supervisor: M.G.J. van den Brand)
August 2011
Staals, Mr. F. (Frank)
Geographic grid embeddings (supervisor: B. Speckmann)
August 2011 (cum laude) [Honors certificate]
Supriya, Mrs.
Visualization of dense temporal data (supervisor: H.M.M. van de Wetering)
August 2011
Vasilescu, Mr. B.N. (Bogdan)
Analysis of advanced aggregation techniques for software metrics (supervisor: A. Serebrenik)
August 2011 (cum laude) [HOnors certificate]
van der Wiel, Mr. J.H. (Jornt)
Towards better training sets for IDSs (supervisor: A.E. Brouwer)
August 2011 [special master track IST]
Yuan, Mr. J. (Hart)
History-based data prediction using process mining (supervisor: W.M.P. van der Aalst)
August 2011

2010

Autumn (6) (cum:246)

van den Berg, Mr. R.J.J. (Roy)
Formal interfaces for test frameworks: A configuration language based on typed feature models (supervisor: T. Verhoeff)
November 2010
van Campenhout, Mr. M. (Martijn)
Travel time maps (supervisor: B. Speckmann)
October 2010
Hendriks, Mrs. M. (Monique)
A formal language for cognitive agent models (supervisor: R. Kuiper)
November 2010 (cum laude)
Nguyen, Mr. H.P. (Hong Phu)
Quantitative analysis of model transformations
November 2010
Scheepens, Mr. R.J. (Roeland)
GPU-based track visualization of multivariate moving object data (supervisor: H.M.M. van de Wetering)
October 2010
Vlamings, Mr. H.G.M. (Frank)
AAL security and privacy (supervisor: M. Petkovic)
October 2010 [special master track IST]

Spring (53) (cum:240)

Angadi, Mrs. N. (Nivedita)
Assessment of software architecture and design for offshore projects [in cooperation with T. Kudchadker] (supervisor: M.G.J. van den Brand)
August 2010
Antakis, Mr. S. (Spyridon)
A diskless cluster architecture for hashing operations (supervisor: B.M.M. de Weger (WSK))
August 2010 [special master track IST]
Berendse, Mr. D.F.J. (Dwight)
Design, verification and analysis of the Highly Dynamic Storage System (supervisor: J.F. Groote)
March 2010
Bhat, Mr. S. (Swaraj)
Model transformation tool for dataflow model transformations towards LIME-ng tool-chain for dataflow models (supervisor: T. Verhoeff)
August 2010
de Boer, Mr. W.W. (Wouter)
Data- and process-mining of educational data (supervisor: M. Pechenizkiy)
May 2010
Bijl, Mr. R.J. (Robert-Jan)
Formalizing material flow diagrams (supervisor: T. Verhoeff)
May 2010
Deshpande, Mr. A. (Aditya)
Extracting GXF models from C code: towards LIME-next generation for dataflow models (supervisor: T. Verhoeff)
August 2010
Dinkla, Mr. K. (Kasper)
Visual analytics for microbial phylogeny (supervisor: M.A. Westenberg)
August 2010 (cum laude)
Haenen, Mr. T. (Tom)
Strengthening methods for parameterized Boolean equation systems (supervisor: J.F. Groote)
August 2010
Halyal, Mrs. S. (Smitha)
A recommendation report on spare time product development [in cooperation with H. Pujar] (supervisor: M.G.J. van den Brand)
August 2010
Harwig, Mr. M.P. (Martin)
Sparse particle grid for smoothed particle hydrodynamics (supervisor: A.C. Jalba)
August 2010
Joshy, Mrs. N. ( )
Integrating the eTOM business process framework into the Ericsson seamless modeling [in cooperation with N.R.A. Shenoy] (supervisor: N. Sidorova)
August 2010
Kudchadker, Mrs. T. (Tanya)
Assessment of software architecture and design for offshore projects [in cooperation with N. Angadi] (supervisor: M.G.J. van den Brand)
August 2010
Leeuwestein, Mr. R. (Robert)
Constructing minimum-cost selective wave solder paths (supervisor: H.J. Haverkort)
August 2010 (cum laude)
Lesky Deni Sapurtra Anatias, Mr. ()
Design and implementation of a trust policy decision point (supervisor: J.I. den Hartog)
January 2010 [special master track IST]
Li, Mr. S.H. (Siu Hong)
Interactive printer simulation visualization (supervisor: M.A. Westenberg)
August 2010
de Loose, Mr. W.R. (Wilrik)
Layered LED lighting (supervisor: A.C. Jalba)
March 2010
Makkes, Mr. M.X. (Marc)
Efficient implementation of homomorphic cryptosystems (supervisor: T. Lange (WSK))
August 2010 [special master track IST]
Manev, Mr. G. (Goran)
Patient modeling for next generation remote patient management systems: heart failure hospitalization prediction (supervisor: M. Pechenizkiy)
March 2010
Meulemans, Mr. W. (Wouter)
Modeling and computation of vernacular regions (supervisor: M.T. de Berg)
August 2010 (cum laude) [Honors certificate]
Meulen, Mr. M.G. (Maarten)
Verification of PLC source code using propositional logic (supervisor: J.F. Groote)
May 2010
Moorthy, Mrs. S.L. (Soundarya)
Improving quality of outsourcing in an automotive company using LSPCM (supervisor: A. Serebrenik)
August 2010
Nayak, Mrs. N. (Namratha)
Visualization of dataflow models towards LIME-next generation tool-chain for dataflow models (supervisor: T. Verhoeff)
August 2010
Onete, Mr. A.N. (Alexandru-Nicol)
Animation of treemaps: an approach for the animation of business information graphics (supervisor: J.J. van Wijk)
August 2010
Papachristodoulou, Mrs. L. (Louiza)
Efficient secure computation of AES (supervisor: L.A.M. Schoenmakers (WSK))
August 2010 [special master track IST]
Papadakis, Mr. I. (Ioannis)
On privacy & privacy policies in social networking a reasoning approach using OWL and Prolog (supervisor: B. Skoric)
May 2010 [special master track IST]
van de Pol, Mr. C.D.P. (Corne)
Radar signal simulation (supervisor: H.M.M. van de Wetering)
June 2010
Poncin, Mr. W. (Wouter)
Process mining software repositories (supervisor: A. Serebrenik)
August 2010 (cum laude)
Prabhu, Mr. J. (Jeevan)
Complexity analysis of Simulink models to improve the quality of outsourcing in an automotive company (supervisor: A. Serebrenik)
August 2010
Prasannakumar, Mr. S. (Sujit)
Quality and resource management of embedded multimedia stream delivery (supervisor: M.C.W. Geilen (EE)
June 2010
Pujar, Mrs. H. (Hema)
A recommendation report on spare time product development [in cooperation with S. Halyal] (supervisor: M.G.J. van den Brand)
August 2010
Pustjens, Mr. M.G.P. (Mark)
Pointer formalisms for proving object oriented programs (supervisor: R. Kuiper)
May 2010
van Renssen, Mr. A.M. (André)
The 2 x 2 simple packing problem (supervisor: B. Speckmann)
August 2010 (cum laude) [Honors certificate]
de Ruiter, Mr. J.E.J. (Joeri)
Secure building blocks for privacy preserving reputation systems (supervisor: L.A.M. Schoenmakers (WSK))
August 2010 [special master track IST] (cum laude)
Rijkers, Mr. S.J.J.(Stefan)
Augmenting geometric networks (supervisor: E. Mumford)
August 2010
Saidi, Mrs. S. (Sepideh)
Formally proving the correctness of functional programs: a comparison of different methods in the proof assistant COQ (supervisor: J.H. Geuvers)
August 2010
Shenoy, Mr. N.R.A. (Nithin)
Integrating the eTOM business process framework into the Ericsson seamless modeling [in cooperation with N. Joshy] (supervisor: N. Sidorova)
August 2010
Shetty, Mr. N.S. (Nishanth)
Generating C code from platform specific models: towards LIME-next generation tool-chain for dataflow models (supervisor: T. Verhoeff)
August 2010
Smeets, Mr. G.J.W.M. (Guido)
A domain specific language for web information systems: what about evolving data models? (supervisor: M.G.J. van den Brand)
August 2010
Stiefelhagen, Mr. S.R.R. (Stijn)
Lipschitz versus interval arithmetic in ray tracing implicits (supervisor: H.M.M. van de Wetering)
January 2010
Tempelaars, Mr. C. (Coen)
Dynamic resource allocation for competing priority processing algorithms on a Cell/B.E. platform (supervisor: R.J. Bril)
May 2010
van Tilborg, Mr. H.A. (Harm)
Shaping DNS security with curves: a comparative security analysis of DNSSEC and DNSCurve (supervisor: B.M.M. de Weger (WSK))
August 2010 [special master track IST]
Vasanthapriyan, Mr. S. (Shanmuganathan)
Cost sensitive model selection for food sales prediction (supervisor: M. Pechenizkiy)
March 2010
Verdonschot, Mr. A.J.H. (Sander)
Optimizing regular edge labelings (supervisor: B. Speckmann)
August 2010 (cum laude) [Honors certificate]
Verduin, Mr. P. (Pieter)
Design of a proof assistant for process algebras (supervisor: J.C.M. Baeten)
January 2010
van der Vlist, Mr. M.B. (Martin)
Quality assessment of embedded language modules (supervisor: M.G.J. van den Brand)
May 2010
van der Weele, Mr. V. (Vincent)
Treemaps with bounded aspect ratio (supervisor: B. Speckmann)
August 2010 (cum laude) [Honors certificate]
Wessels, Mr. M.F. (Matthijs)
High level performance analysis and dependency management (supervisor: M.G.J. van den Brand)
August 2010
van der Wiel, Mr. T. (Theun)
Process mining using integer linear programming (supervisor: B.F. van Dongen)
August 2010
Zhang, Mr. B. (Biyong)
Identity based mutual authentication of CE devices (supervisor: D.S. Jarnikov)
August 2010 [special master track IST]
Zhang, Mrs. Y. (Ying)
Problem-solving behavior analyses based on TagTiles game board log file (supervisor: T.G.K. Calders)
August 2010
Zhao, Mr. R. (Rui)
Adaptable distributed genetic miner (supervisor: N. Sidorova)
August 2010
van Zuidam, Mr. S. (Sander)
A scenario editor for design space exploration (supervisor: L.J.A.M. Somers)
January 2010

2009

Autumn (5) (cum:187)

Gabriels, Mr. R. (René)
Mapping molecular dynamics to reconfigurable hardware (supervisor: C.H. van Berkel)
November 2009
Mens, Mr. J.C.J. (Joery)
I/O-efficient quadtrees (supervisor: H.J. Haverkort)
November 2009
Otten, Mr. R.J.G. (Ron)
Illustrative rendering of white matter fiber bundles (supervisor: H.M.M. van de Wetering)
November 2009
Peeters, Mr. A.J. (Jos)
Introducing static semantic analysis to templates using JastAdd (supervisor: M.G.J. van den Brand)
November 2009
Schindler, Mr. K. (Klemens)
Visualization of a mechatronic software-in-the-loop printer simulation system (supervisor: M.A. Westenberg)
November 2009

Spring (47) (cum:182)

Acharya, Mrs. P. (Pavithra)
Visualization of airport and flight data (supervisor: H.M.M. van de Wetering)
31 August 2009
Adriansyah, Mr. A. (Arya)
Performance analysis of business processes from event logs and given process models (supervisor: W.M.P. van der Aalst)
31 August 2009
Amrita, Mrs. A. (Amrita)
Practical assessment of business and IT requirements for offshoring [with A. Sree Kumar] (supervisor: A. Serebrenik)
31 August 2009
Asghar, Mr. M.R. (Muhammad)
DRM convergence: interoperability between DRM systems (supervisor: J.I. den Hartog)
31 August 2009 [special master track IST]
Besjis, Mr. A.J. (Arjan)
Lambda-term evalution: a calculational approach (supervisor: R.R. Hoogerwoord)
31 August 2009
Bezwada, Mr. R. (Rajiv)
Validation of wafer handling model in a TWINSCAN machine (supervisor: P.J.L. Cuijpers)
31 August 2009
van Brakel, Mr. R.B.J. (Remko)
Visualization of potato genome sequencing data (supervisor: H.M.M. van de Wetering)
31 August 2009
de Bruijn, Mr. W. (William)
Low power deformable mirror actuator controller (supervisor: C.H. van Berkel)
17 February 2009
Çubuk, Mr. M. (Mehmet)
Hybrid recommendation engine based on anonymous users (supervisor: M. Pechenizkiy)
31 August 2009
Damen, Mr. M. (Maarten)
Reversed engineering based on log data (supervisor: M.A. Reniers)
31 August 2009
Dsilva, Mr. M.G. (McEnroe)
A feasibility study on CityGML for cadastral purposes (supervisor: M.A. Westenberg)
31 August 2009
El-Kebir, Mr. M. (Mohammed)
Crossing schedule optimization (supervisor: M.T. de Berg)
31 August 2009 (cum laude)
Ernest Mithun, Mr. X.L. (Xavier)
Linux package dependency visualization (supervisor: H.M.M. van de Wetering)
31 August 2009
Frehen, Mr. R.J. (Roger)
Detection of approximate tandem repeats in protein sequences (supervisor: P.A.J. Hilbers (BMT))
31 August 2009
Hartevelt, Mr. D. (Dennis)
Checking proofs with a computer (supervisor: R.P. Nederpelt)
31 August 2009
van Hoeij, Mr. P.W.P. (Paul)
Constructing minimum-cost solder paths (supervisor: A. Wolff)
31 August 2009
Kegel, Mr. G.P. (Gerben)
eCarpark the parking spot finder (supervisor: J.J. Lukkien)
31 August 2009
Keiren, Mr. J.J.A. (Jeroen)
An experimental study of algorithms and optimisations for parity games, with an application to Boolean equation systems (supervisor: T.A.C. Willemse)
31 August 2009 (cum laude)
Koenders, Mr. F.A.J. (Frank)
Ad-hoc e-voting (supervisor: S.M. Orzan)
31 August 2009 (cum laude)
Krijnen, Mr. M.P.L. (Marijn)
Performance modeling based on skill primitive nets (supervisor: P.J.L. Cuijpers)
31 August 2009
Kumar, Mr. P.S. (Pranoop)
Design and implementation of a software constructor (supervisor: M.G.J. Franssen)
31 August 2009
van de Laar, Mr. J.G.A. (Johnny)
A community based expert system (supervisor: M. Voorhoeve)
17 February 2009
Lambrechts, Mr. S. (Sven)
Scenario-based process mining: Web servicing and automated scenario generation (supervisor: W.M.P. van der Aalst)
31 August 2009
Louvan, Mr. S. (Samuel)
Extracting the main content from web documents (supervisor: M. Pechenizkiy)
31 August 2009 (cum laude)
Luijten, Mr. C.A.A.M. (Christian)
Interactive visualization of the execution of object-oriented programs (supervisor: K. Huizing)
31 August 2009
Maas, Mr. T. (Tjeerd)
Automated schema matching for Universal Data Services (supervisor: A.T.M. Aerts)
26 May 2009
Muller, Mr. T.J.C. (Tim)
Expressivity of the Kleene star in process algebras with the empty process (supervisor: S.P. Luttik)
31 August 2009
Neervaram Jain, Mr. P. (Poojith)
An automatic recognition method for building floor plans (supervisor: B. Speckmann)
31 August 2009
van Nunen, Mr. J. (Jan)
User model enrichment for TV programs recommendation in a cross-platform environment (supervisor: L.M. Aroyo)
31 August 2009
Pinisetty, Mr. S. (Srinivas)
The virtual machine for the wafer stage hardware (supervisor: S. Andova)
31 August 2009
Ploum, Mrs. E.L.M. (Eva)
Authoring of adaptation in the GRAPPLE project (supervisor: P.M.E. De Bra)
31 August 2009
Pooters, Mr. I. (Ivo)
Forensic data acquisition from Symbian smart phones (supervisor: B. Skoric)
31 August 2009 [special master track IST]
Rai, Mr. M.B. (Mehaal)
Context management in IPTV (supervisor: C. Huizing)
31 August 2009
Roeloffzen, Mr. M.J.M. (Marcel)
Finding structures on imprecise points (supervisor: M.T. de Berg)
31 August 2009 (cum laude)
Savelyev, Mr. Y.O. (Yuriy)
Extending a formal verifiable language (supervisor: M.G.J. Franssen)
31 August 2009
Senders, Mr. B.A.G. (Bram)
Unique sequential decomposition in process algebras with 0 and 1 (supervisor: S.P. Luttik)
31 August 2009 (cum laude)
Sharma, Mr. A. (Arpit)
Requirements quality assessment for outsourcing (supervisor: A. Serebrenik)
31 August 2009
Sinha, Mr. V. (Vikas)
Design and implementation of a DSL for modeling hardware and the design of models (supervisor: M.G.J. van den Brand)
31 August 2009 (cum laude)
Smeijers, Mr. F.A.M. (Frenkel)
A proof assistant based on terms with binding structures (supervisor: C. Hemerik)
31 August 2009
Sree Kumar, Mrs. A. (Anjali)
Practical assessment of business and IT requirements for offshoring [with A. Amrita] (supervisor: A. Serebrenik)
31 August 2009
Su Oud Qtaifan Al Khrayshah, Mr. M. (Mohammad)
A real-time SNR scalable transcoder for MPEG-2 video streams (supervisor: J.J. Lukkien)
31 August 2009
Tankink, Mr. C. (Carst)
Classifying attacks on security protocols (supervisor: S. Andova)
31 August 2009 [special master track IST] (cum laude)
Verstege, Mr. M. (Marco)
Fixed-weight minimum-dilation networks (supervisor: H.J. Haverkort)
31 August 2009
de Vos, Mr. M.P. (Migiel)
Integration of wireless sensor networks with a service-oriented architecture (supervisor: J.J. Lukkien)
31 August 2009
Vullers, Mr. P. (Pim)
Secure ownership and ownership transfer in RFID systems (supervisor: J.I. den Hartog)
31 August 2009 [special master track IST] (cum laude)
van Walderveen, Mr. F.H. (Freek)
I/O-efficient removal of noise from terrain data (supervisor: H.J. Haverkort)
31 August 2009 (cum laude)
van Zeeland, Mr. D.H.A. (Dennie)
Reverse-engineering state machine diagrams from legacy C-code (supervisor: M.G.J. van den Brand)
7 April 2009

2008

Autumn (13) (cum:135)

de Bruijn, Mr. R. (Richard)
Camera supported user interface for presentation software (supervisor: C. Huizing)
9 December 2008
Budziak, Mr. G. (Guido)
A framework to derive segment definitions for web analytics suites based on customer cross channel usage behavior (supervisor: M. Pechenizkiy)
9 December 2008
Cranen, Mr. S. (Sjoerd)
Generalised fragment decoding: modification of an existing speech decoding algorithm (supervisor: H.J. Haverkort)
28 October 2008 (cum laude)
Hermans, Mrs. F.F.J. (Felienne)
Proving SN^∞ automatically (supervisor: H. Zantema)
28 October 2008
de Leeuw, Mr. L.H.P. (Leroy)
Black box conformance testing with I-Mathic (supervisor: R. Kuiper)
9 December 2008
van der Meer, Mr. A.P. (Arjan)
A relational approach to static semantic checking (supervisor: M.G.J. van den Brand)
9 December 2008
van Nijnatten, Mr. F.S.B. (Fred)
Range assignment with directional antennas (supervisor: M.T. de Berg)
28 October 2008 (cum laude)
Raemaekers, Mr. C.J.M.F.C. (Cyrille)
Facilitating end-user deployment of applications (supervisor: A.T.M. Aerts)
28 October 2008
Streur, Mr. K. (Kevin)
3D template matching on the GPU (supervisor: R. van Liere)
9 December 2008
Teeselink, Mr. E. (Egbert)
Verifying security protocols by combining static analysis and model checking (supervisor: A.H.J. Mathijssen)
28 October 2008
Toelen, Mr. O.F.L. (Olivier)
Identity and access management (supervisor: A.E. Brouwer (WSK))
28 October 2008
Verbeek, Mr. K.A.B. (Kevin)
Non-crossing paths with fixed endpoints (supervisor: B. Speckmann)
28 October 2008 (cum laude)
Verhagen, Mr. D. (Dirk)
Comparing interaction techniques in a virtual reality museum framework : using present-day techniques to access the past (supervisor: P.M.E.De Bra)
28 October 2008

Spring (41) (cum:122)

Arya, Mr. U.C. (Uttam Chand)
Adaptive architecture for polis system [with D. Bera and D. Gupta] (supervisor: K.M. van Hee)
26 August 2008
Baaijens, Mr. M.W. (Mark)
Prepare for VoIP Spam (supervisor: B.P.F. Jacobs)
22 January 2008 [special master track IST]
Beohar, Mr. H. (Harsh)
Applying ASD to design and verify the back and controller (supervisor: J.C.M. Baeten)
26 August 2008
Bera, Mr. D. (Debjyoti)
An adaptive architecture for polis system [with U.C. Arya and D. Gupta] (supervisor: K.M. van Hee)
26 August 2008
Bokharouss, Mr. I. (Ibrahim)
GCL viewer: A study in improving the understanding of GCL programs (supervisor: M.R.V. Chaudron)
26 August 2008 (cum laude)
van Cann, Mr. R.C. (Remko)
Analysis of stateflow models using mCRL2 (supervisor: J.F. Groote)
26 August 2008
Ceelen, Mr. P. (Pieter)
Compositionality of security protocols : independence, message encoding, simulation and name attacks (supervisor: J.C.M. Baeten)
22 January 2008 [special master track IST]
van Dijk, Mr. T.A.J.P. (Tim)
Interactive creation of video for large scale volume data (supervisor: J.J. van Wijk)
18 March 2008
van Eede, Mr. M.C. (Matthijs)
Canonical skeletons for shape matching (supervisor: A.C. Telea)
17 June 2008
Gabriels, Mr. J.M.A.M. (Joost)
Model checking of the Aterm Library (supervisor: M.G.J. van den Brand)
22 January 2008
Gakkhar, Mr. K. (Kopal)
Towards a generic online auditing tool for Cordys applications [with B. Mallick] (supervisor: K.M. van Hee)
26 August 2008
Ganesh, Mr. A. (Abhiram)
Template based dediction of emotions (supervisor: J.J. Lukkien)
26 August 2008
Gerrits, Mr. D.H.P. (Dirk)
Designing push plans for disk shaped robots (supervisor: M.T. de Berg)
17 June 2008 (cum laude)
Gupta, Mr. D. (Deepank)
An adaptive system for polis system [with U.C. Arya and D. Bera] (supervisor: K.M. van Hee)
26 August 2008
Hegt, Mr. S. (Stan)
Analysis of current and future phishing attacks on internet banking services (supervisor: B.M.M. de Weger (WSK))
17 June 2008
Janssen, Mr. J.H.M. (Jeffrey)
Drainage computations on digital elevation models (supervisor: H.J. Haverkort)
22 January 2008
Janssen, Mr. S.M. (Simon)
Tools for parameterized Boolean equation systems (supervisor: J.F. Groote)
26 August 2008
Kooijmans, Mr. P.J.A.M. (Peter)
Fixed-weight minimum dilation networks (supervisor: H.J. Haverkort)
26 August 2008
Lauwerijssen, Mr. M. (Marcel)
Scalable hardware architecturefor soft-decision sphere decoding (supervisor: C.H. van Berkel)
22 January 2008
Lem, Mr. P. (Peter)
Testing the Aterm library (supervisor: M.G.J. van den Brand)
26 August 2008
Mallick, Mrs. B. (Bhawna)
Towards a generic online auditing tool for Cordys applications [with K. Gakkhar] (supervisor: K.M. van Hee)
26 August 2008
Moniava, Mr. G. (Giorgi)
Extending DigiD for the private sector (supervisor: L.A.M. Schoenmakers (WSK))
26 August 2008
Mwangi, Mrs. E.W. (Eva)
Access control for electronic health records (supervisor: S. Etalle)
26 August 2008
Ortiz Yepes, Mr. D.A. (Diego)
Authentication processes using NFC (supervisor: L.A.M. Schoenmakers (WSK))
26 August 2008 (cum laude)
Osaiweran, Mr. A.A.H. (Ammar)
Modelling of a motion interface in ASD (supervisor: J.F. Groote)
26 August 2008
Panovski, Mr. G. (Gregor)
Software product quality (supervisor: A. Serebrenik)
18 March 2008
van Pelt, Mr. R.F.P. (Roy)
Illustrative volume rendering on consumer graphics hardware (supervisor: H.M.M. van de Wetering)
22 January 2008
Schiedon, Mr. R.J.V. (Ralph)
Multi-channel wireless LAN on a shared multi-processor system-on-chip (supervisor: C.H. van Berkel)
18 March 2008
Schuurmans, Mr. K.A.P.J. (Koen)
Protocol definition for a consumer application (supervisor: J.F. Groote)
26 August 2008
Sheau Pei, Mrs. C. (Chong)
Sensor network model validation (supervisor: A.A. Basten (EE))
26 August 2008
Simons, Mr. B. (Bram)
The minimum Manhattan network problem (supervisor: A. Wolff)
26 August 2008
Springer, Mr. R.P.W. (Rink)
Design and verification of the smartpixel II protocol (supervisor: M.A. Reniers)
26 August 2008
van Tiel, Mr. G.J.L.C.M. (Frits)
Securely accessing a web service using a mobile station (supervisor: B.M.M. de Weger (WSK))
17 June 2008
van de Ven, Mr. B.M.F.J. (Bas)
Algorithms for flow maps (supervisor: B. Speckmann)
22 January 2008
Verheijen, Mr. W.J.A. (Wouter)
Efficient query processing in distributed RDF databases (supervisor: G.J.P.M. Houben)
18 March 2008
Verstraeten, Mr. L.A.J. (Ludo)
Code generation through model transformation (supervisor: M.G.J. van den Brand)
18 March 2008
Vijayaraghavan, Mr. A. (Ashwin)
An adaptive system for polis system (supervisor: K.M. van Hee)
26 August 2008
Wiggelinkhuizen, Mr. J.E. (Jaap)
Feasibility of formal model checking in the Vitatron environment (supervisor: J.F. Groote)
22 January 2008 (cum laude)
van Wingerden, Mr. M.M.A. (Martin)
Influencing the success of a innovation platform by making additions and (small) changes of the interface by using Web 2.0 technology (supervisor: W.M.P. van der Aalst)
26 August 2008
Wijffelaars, Mr. M.W.H. (Martijn)
Synthesis of color palettes (supervisor: J.J. van Wijk)
18 March 2008 (cum laude)
Zuidweg, Mr. N.J. (John)
IT audit of Oracle application server (supervisor: B.P.F. Jacobs)
18 March 2008

2007

Autumn (13) (cum:81)

Bolio, Mr. D.D.R.J. (Dennis)
Integration of 3D video into the Blu-ray format (supervisor: R.H. Mak)
20 November 2007
van de Crommert, Mr. H.J.T. (Henk)
Robotic devices as interfaces to web services (supervisor: T.A.C. Willemse)
20 November 2007
van Emden, Mr. J.A.J. (Joris)
Power model for wireless sensor node (supervisor: J. van Meerbergen (EE))
20 November 2007
Hendriks, Mr. D. (Dennis)
The ToolBus: Introducing hierarchy, abstraction, namespaces and relays (supervisor: M.G.J. van den Brand)
20 November 2007
Kloet, Mr. S.J.J. (Bas)
Measuring and improving the quality of file carving methodsb (supervisor: J.C.M. Baeten)
20 November 2007
Kurvers, Mr. M.J.M. (Mark)
Operation Analyzer: A software approach for improving fault diagnosis at Philips Medical Systems (supervisor: M.R.V. Chaudron)
20 November 2007
Ligtenberg, Mr. B. (Bas)
Geautomatiseerd roosteren: een verbetering van de roostersystematiek op de TU/e (supervisor: P.M.E. De Bra)
20 November 2007
Louwers, Mr. C.T.M. (Kees)
Finite sets in mCRL2 (supervisor: J.C. van de Pol)
20 November 2007
Rijken, Mr. R.J. (Roel)
Simulation of atrial fibrillation using the cellular bidomain model (supervisor: P.A.J. Hilbers (BMT))
20 November 2007
Samuel, Mrs. S. (Sabrina)
Coding policies for secure web applications (supervisor: L.A.M. Schoenmakers (WSK))
20 November 2007
Smeets, Mr. C.J.J. (Chris)
Dynamic integration of web and TV content for personalized information retrieval in interactive TV (supervisor: L.M. Aroyo)
20 November 2007
Willems, Mr. C.M.E. (Niels)
Interactive visualization in large scale comparative genomics (supervisor: H.M.M. van de Wetering)
20 November 2007
Yang, Mrs. F. (Fang)
Implementation and experimentation with adaptive fault management in component based software systems (supervisor: M.R.V. Chaudron)
20 November 2007

Spring (28) (cum:68)

Ampt, Mr. C.G.F. (Kees)
BPV: supporting testing before designing (supervisor: A. Serebrenik)
28 August 2007
Bruns, Mr. R.T.E. (Rudy)
Instruction selection on directed acyclic graphs (supervisor: C. Hemerik)
19 June 2007
Coppens, Mr. D.L. (David)
Equational reasoning in Cocktail (supervisor: C. Hemerik)
28 August 2007
van Deursen, Mr. T.F.P. (Ton)
Hedaquin : a reputation-based health data quality indicator for a personal health record system (supervisor: B.P.F. Jacobs)
28 August 2007 [special master track IST]
Elsackers, Mr. J.M. (Eric)
Extending DRM technology to support co-creation (supervisor: B.M.M> de Weger (WSK))
28 August 2007 [special master track IST]
Gijzen, Mr. S.W. (Bas)
Automatically classifying Dutch legal documents (supervisor: M. Pechenizkiy)
28 August 2007
Holenderski, Mr. M.J. (Michael)
Fleet sorter: An exercise into programming FLEET (supervisor: J.J. Lukkien)
23 January 2007 (cum laude)
Keim, Mr. E. (Erik)
Theory and implementation of a family of parser components (supervisor: C. Hemerik)
28 August 2007
Kuijpers, Mr. N.J.M. (Nick)
An internet course on weak type theory (supervisor: C.J. Bloo)
28 August 2007
Lam, Mr. J.C.F. (Jacky)
Derivation of calibration sequences using model checking (supervisor: J.C.M. Baeten)
23 January 2007
van de Molengraft, Mr. W.T. (Wouter)
Performance patterns for relational databases (supervisor: A.T.M. Aerts)
28 August 2007
Moreta, Mr. S. (Sergio)
Visualizing time-dependent software artifacts (supervisor: A.C. Telea)
23 January 2007
Pisters, Mr. R.K.P. (Ralf)
An approach to automatic generation and verification of solutions to tonal four-part harmony exercises (supervisor: J.C.M. Baeten)
28 August 2007
van Roermund, Mr. T.A. (Timo)
Variation tolerant architectures (supervisor: C.H. van Berkel)
28 August 2007
van Sambeek, Mr. R.J.G. (Rody)
Personalized museum tour on a mobile device (PMTMD) [with Y. Schuurmans] (supervisor: L.M. Aroyo)
28 August 2007
Sanders, Mr. L.A.S. (Loek)
Parallel simulation of energy metabolism in skeletal muscle cells (supervisor: P.A.J. Hilbers (BMT))
28 August 2007
Schuurmans, Mr. Y. (Yuri)
Personalized museum tour on a mobile device (PMTMD) [with R.J.G. van Sambeek] (supervisor: L.M. Aroyo)
28 August 2007
Sengupta, Mr. D. (Debraj)
REal-time resource discovery for end-to-end QoS optimalization in converged IMS-based networks (supervisor: I. Radovanovic)
19 June 2007
van Steenbergen, Mr. K.J. (Jeroen)
User interface design patterns for rich internet applications (supervisor: M.G.J. Franssen)
28 August 2007
Stoetzer, Mr. M.J. (Mark)
Viewing of large volumes on a (thin) client-server based configuration (supervisor: A.C. Telea)
19 June 2007
Strolenberg, Mr. R.G.W. (Roger)
Forest FIRE & FIREWood, a toolkit and GUI for tree algorithms (supervisor: C. Hemerik)
19 June 2007
Stulemeijer, Mrs. W. (Wynke)
An introduction to Automath (supervisor: R.P. Nederpelt)
3 April 2007
van der Sijpt, Mr. A.F.M. (Angelo)
Adaptivity in software architecture (supervisor: J.J. Lukkien)
28 August 2007
van Tilburg, Mr. P.J.A. (Paul)
Finite equational bases for CCS with restriction (supervisor: S.P. Luttik)
19 June 2007 (cum laude)
Tsoneva, Mrs. T.K. (Tsvetomira)
Automated summarization of movies and TV series on a semantic level (supervisor: E.H.L. Aarts)
3 April 2007
Verdaasdonk, Mr. R.C.A. (Ronald)
Automatic checking of dynamic architectural rules (supervisor: M.G.J. van den Brand)
28 August 2007
Verhoeven, Mr. R.H.A. (Rob)
Proving correctness of a multi-party authentication protocol with rank functions (supervisor: J.C.M. Baeten)
28 August 2007 (cum laude)
Zwegers, Mr. F.E.W. (Frits)
Conformance testing using formal specifications (supervisor: J.F. Groote)
19 June 2007

2006

Autumn (5) (cum:40)

Abbas, Mr. U. (Ummar)
An experimental evaluation of the logarithmic priority-R tree (supervisor: H.J. Haverkort)
14 November 2006
Javgal, Mr. P.S. (Prithvi)
On the Minkowski sum of a terrain and a sphere (supervisor: M.T. de Berg)
14 November 2006
Kaur, Mrs. C. (Charanjeev)
Personalized query refinement in home media system (supervisor: L.M. Aroyo)
14 November 2006
van der Linden, Mr. F.G.G. (Paco)
Security operations centers feasibility study (supervisor: S. Mauw)
14 November 2006 [special master track IST]
Sun, Mr. K. (Ke)
Verifying Java programs by integrating ESC/Java2 and PVS (supervisor: R. Kuiper)
14 November 2006 (cum laude)

Spring (24) (cum:35)

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

2005

Autumn (4) (cum:11)

Cabrita Alves Martins, Mr. C.A. (Ca)
Level one cache performance in a multiprocessor memory hierarchy (supervisor: J.L. van Meerbergen(E))
8 November 2005
Han, Mr. Y. (Yonggang)
Context aware security policy enforcement CASPEr (supervisor: E.P. de Vink)
8 November 2005 [special master track IST]
Hollestelle, Mr. G. (Gijs)
Systematic analysis of attacks on security protocols (supervisor: S. Mauw)
8 November 2005 [special master track IST]
Kratz, Mr. F. (Fabian)
A modeling language for reconfigurable distributed hybrid systems (supervisor: M.A. Reniers)
8 November 2005 (cum laude)

Spring (7) (cum:7)

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

Eindhoven
2012 * bureau bestuursondersteuning W&I