diff --git a/content-other/ipa-dissertation-series.tex b/content-other/ipa-dissertation-series.tex new file mode 100644 index 0000000..204ebe6 --- /dev/null +++ b/content-other/ipa-dissertation-series.tex @@ -0,0 +1,280 @@ +\project thesis +\startcomponent ipa-dissertation-series + +\def\promitem#1#2#3#4{{\bf #1}. {\it #2}. #3.~\mbox{#4}} + +\startchapter + [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 + + +\stopchapter +\stopcomponent \ No newline at end of file diff --git a/content-other/voorblad-colofon.tex b/content-other/voorblad-colofon.tex index ce08ea2..b3ff699 100644 --- a/content-other/voorblad-colofon.tex +++ b/content-other/voorblad-colofon.tex @@ -30,11 +30,11 @@ Work in the thesis has been carried out under the auspices of the research schoo Printed by Gildeprint, Enschede -Typeset using \ConTeXt +Typeset using \ConTeXt{} \contextmark{} ISBN: 978--94--632--3696--6 -IPA Dissertation series: ??? +IPA Dissertation series: 2019-06 \blank[2*big] diff --git a/content.tex b/content.tex index 6637bfb..abc2895 100644 --- a/content.tex +++ b/content.tex @@ -35,6 +35,7 @@ \startbackmatter \component content-other/references +\component content-other/ipa-dissertation-series \component content-other/curriculum-vitae \stopbackmatter