IPA Dissertation series
This commit is contained in:
Joshua Moerman
parent
5a3d301d58
commit
cabf8685e8
3 changed files with 283 additions and 2 deletions
280
content-other/ipa-dissertation-series.tex
Normal file
280
content-other/ipa-dissertation-series.tex
Normal file
|
|
@ -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
|
||||||
|
|
@ -30,11 +30,11 @@ Work in the thesis has been carried out under the auspices of the research schoo
|
||||||
|
|
||||||
Printed by Gildeprint, Enschede
|
Printed by Gildeprint, Enschede
|
||||||
|
|
||||||
Typeset using \ConTeXt
|
Typeset using \ConTeXt{} \contextmark{}
|
||||||
|
|
||||||
ISBN: 978--94--632--3696--6
|
ISBN: 978--94--632--3696--6
|
||||||
|
|
||||||
IPA Dissertation series: ???
|
IPA Dissertation series: 2019-06
|
||||||
|
|
||||||
\blank[2*big]
|
\blank[2*big]
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -35,6 +35,7 @@
|
||||||
|
|
||||||
\startbackmatter
|
\startbackmatter
|
||||||
\component content-other/references
|
\component content-other/references
|
||||||
|
\component content-other/ipa-dissertation-series
|
||||||
\component content-other/curriculum-vitae
|
\component content-other/curriculum-vitae
|
||||||
\stopbackmatter
|
\stopbackmatter
|
||||||
|
|
||||||
|
|
|
||||||
Reference in a new issue