\project thesis
\startcomponent ipa-dissertation-series

\def\promitem#1#2#3#4{{\bf #1}. {\it #2}. #3.~\mbox{#4}}
\definehead[chapterNoTOC][chapter]


\startchapterNoTOC
  [title={Titles in the IPA Dissertation Series since 2016},
   reference=chap:ipa-dissertation-series]

\startcolumns[n=2, distance=1cm, balance=no]
\startalignment[flushleft]
\setupindenting[no]
\setupwhitespace[big]

\promitem{S.-S.T.Q. Jongmans}
         {Automata-Theoretic Protocol Programming}
         {Faculty of Mathematics and Natural Sciences, UL}
         {2016-01}

\promitem{S.J.C. Joosten}
         {Verification of Interconnects}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2016-02}

\promitem{M.W. Gazda}
         {Fixpoint Logic, Games, and Relations of Consequence}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2016-03}

\promitem{S. Keshishzadeh}
         {Formal Analysis and Verification of Embedded Systems for Healthcare}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2016-04}

\promitem{P.M. Heck}
         {Quality of Just-in-Time Requirements: Just-Enough and Just-in-Time}
         {Faculty of Electrical Engineering, Mathematics, and Computer Science, TUD}
         {2016-05}

\promitem{Y. Luo}
         {From Conceptual Models to Safety Assurance -- Applying Model-Based Techniques to Support Safety Assurance}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2016-06}

\promitem{B. Ege}
         {Physical Security Analysis of Embedded Devices}
         {Faculty of Science, Mathematics and Computer Science, RU}
         {2016-07}

\promitem{A.I. van Goethem}
         {Algorithms for Curved Schematization}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2016-08}

\promitem{T. van Dijk}
         {Sylvan: Multi-core Decision Diagrams}
         {Faculty of Electrical Engineering, Mathematics \& Computer Science, UT}
         {2016-09}

\promitem{I. David}
         {Run-time resource management for component-based systems}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2016-10}

\promitem{A.C. van Hulst}
         {Control Synthesis using Modal Logic and Partial Bisimilarity -- A Treatise Supported by Computer Verified Proofs}
         {Faculty of Mechanical Engineering, TU/e}
         {2016-11}

\promitem{A. Zawedde}
         {Modeling the Dynamics of Requirements Process Improvement}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2016-12}

\promitem{F.M.J. van den Broek}
         {Mobile Communication Security}
         {Faculty of Science, Mathematics and Computer Science, RU}
         {2016-13}

\promitem{J.N. van Rijn}
         {Massively Collaborative Machine Learning}
         {Faculty of Mathematics and Natural Sciences, UL}
         {2016-14}

\promitem{M.J. Steindorfer}
         {Efficient Immutable Collections}
         {Faculty of Science, UvA}
         {2017-01}

\promitem{W. Ahmad}
         {Green Computing: Efficient Energy Management of Multiprocessor Streaming Applications via Model Checking}
         {Faculty of Electrical Engineering, Mathematics \& Computer Science, UT}
         {2017-02}

\promitem{D. Guck}
         {Reliable Systems -- Fault tree analysis via Markov reward automata}
         {Faculty of Electrical Engineering, Mathematics \& Computer Science, UT}
         {2017-03}

\promitem{H.L. Salunkhe}
         {Modeling and Buffer Analysis of Real-time Streaming Radio Applications Scheduled on Heterogeneous Multiprocessors}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2017-04}

\promitem{A. Krasnova}
         {Smart invaders of private matters: Privacy of communication on the Internet and in the Internet of Things (IoT)}
         {Faculty of Science, Mathematics and Computer Science, RU}
         {2017-05}

\promitem{A.D. Mehrabi}
         {Data Structures for Analyzing Geometric Data}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2017-06}

\promitem{D. Landman}
         {Reverse Engineering Source Code: Empirical Studies of Limitations and Opportunities}
         {Faculty of Science, UvA}
         {2017-07}

\promitem{W. Lueks}
         {Security and Privacy via Cryptography -- Having your cake and eating it too}
         {Faculty of Science, Mathematics and Computer Science, RU}
         {2017-08}

\promitem{A.M. \c{S}ut\^{i}i}
         {Modularity and Reuse of Domain-Specific Languages: an exploration with MetaMod}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2017-09}

\promitem{U. Tikhonova}
         {Engineering the Dynamic Semantics of Domain Specific Languages}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2017-10}

\promitem{Q.W. Bouts}
         {Geographic Graph Construction and Visualization}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2017-11}

\promitem{A. Amighi}
         {Specification and Verification of Synchronisation Classes in Java: A Practical Approach}
         {Faculty of Electrical Engineering, Mathematics \& Computer Science, UT}
         {2018-01}

\promitem{S. Darabi}
         {Verification of Program Parallelization}
         {Faculty of Electrical Engineering, Mathematics \& Computer Science, UT}
         {2018-02}

\promitem{J.R. Salamanca Tellez}
         {Coequations and Eilenberg-type Correspondences}
         {Faculty of Science, Mathematics and Computer Science, RU}
         {2018-03}

\promitem{P. Fiter\u{a}u-Bro\c{s}tean}
         {Active Model Learning for the Analysis of Network Protocols}
         {Faculty of Science, Mathematics and Computer Science, RU}
         {2018-04}

\promitem{D. Zhang}
         {From Concurrent State Machines to Reliable Multi-threaded Java Code}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2018-05}

\promitem{H. Basold}
         {Mixed Inductive-Coinductive Reasoning Types, Programs and Logic}
         {Faculty of Science, Mathematics and Computer Science, RU}
         {2018-06}

\promitem{A. Lele}
         {Response Modeling: Model Refinements for Timing Analysis of Runtime Scheduling in Real-time Streaming Systems}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2018-07}

\promitem{N. Bezirgiannis}
         {Abstract Behavioral Specification: unifying modeling and programming}
         {Faculty of Mathematics and Natural Sciences, UL}
         {2018-08}
         
\promitem{M.P. Konzack}
         {Trajectory Analysis: Bridging Algorithms and Visualization}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2018-09}

\promitem{E.J.J. Ruijters}
         {Zen and the art of railway maintenance: Analysis and optimization of maintenance via fault trees and statistical model checking}
         {Faculty of Electrical Engineering, Mathematics \& Computer Science, UT}
         {2018-10}

\promitem{F. Yang}
         {A Theory of Executability: with a Focus on the Expressivity of Process Calculi}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2018-11}

\promitem{L. Swartjes}
         {Model-based design of baggage handling systems}
         {Faculty of Mechanical Engineering, TU/e}
         {2018-12}
		 
\promitem{T.A.E. Ophelders}
         {Continuous Similarity Measures for Curves and Surfaces}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2018-13}
		 
\promitem{M. Talebi}
         {Scalable Performance Analysis of Wireless Sensor Network}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2018-14}

\promitem{R. Kumar}
         {Truth or Dare: Quantitative security analysis using attack trees}
         {Faculty of Electrical Engineering, Mathematics \& Computer Science, UT}
         {2018-15}

\promitem{M.M. Beller}
         {An Empirical Evaluation of Feedback-Driven Software Development}
         {Faculty of Electrical Engineering, Mathematics, and Computer Science, TUD}
         {2018-16}
		 
\promitem{M. Mehr}
         {Faster Algorithms for Geometric Clustering and Competitive Facility-Location Problems}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2018-17}
		 
\promitem{M. Alizadeh}
         {Auditing of User Behavior: Identification, Analysis and Understanding of Deviations}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2018-18}

\promitem{P.A. Inostroza Valdera}
         {Structuring Languages as Object-Oriented Libraries}
         {Faculty of Science, UvA}
         {2018-19}

\promitem{M. Gerhold}
         {Choice and Chance - Model-Based Testing of Stochastic Behaviour}
         {Faculty of Electrical Engineering, Mathematics \& Computer Science, UT}
         {2018-20}

\promitem{A. Serrano Mena}
         {Type Error Customization for Embedded Domain-Specific Languages}
         {Faculty of Science, UU}
         {2018-21}

\promitem{S.M.J. de Putter}
         {Verification of Concurrent Systems in a Model-Driven Engineering Workflow}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2019-01}

\promitem{S.M. Thaler}
         {Automation for Information Security using Machine Learning}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2019-02}

\promitem{\"{O}. Babur}
         {Model Analytics and Management}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2019-03}

\promitem{A. Afroozeh and A. Izmaylova}
         {Practical General Top-down Parsers}
         {Faculty of Science, UvA}
         {2019-04}

\promitem{S. Kisfaludi-Bak}
         {ETH-Tight Algorithms for Geometric Network Problems}
         {Faculty of Mathematics and Computer Science, TU/e}
         {2019-05}

\promitem{J. Moerman}
         {Nominal Techniques and Black Box Testing for Automata Learning}
         {Faculty of Science, Mathematics and Computer Science, RU}
         {2019-06}

\stopalignment
\stopcolumns


\stopchapterNoTOC
\stopcomponent