• Neisse R. (2012) Trust and privacy management support for context-aware service platforms. PhD thesis, University of Twente. CTIT Ph.D. Thesis Series No. 11-216 ISBN 978-90-365-3336-2. Assistant promotors Dr. Marten van Sinderen and Dr. Maarten Wegdam.
• Morali, A. (2011) IT Architecture-Based Confidentiality Risk Assessment in Networks of Organizations. PhD thesis, Univ. of Twente. CTIT Ph.D.-thesis series No. 11-197 ISBN 978-90-365-3165-8. Co-promotor Prof. Dr. Sandro Etalle.
• Zambon, E. (2011) Towards Optimal IT Availability Planning: Methods and Tools. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 10-188 ISBN 978-90-365-3102-3 . Co-promotor Prof. Dr. Sandro Etalle.
• Bodenstaff, L. (2010) Managing Dependency Relations in Interorganizational Models. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 10-167 ISBN 978-90-365-2996-9. Co-promotor Prof. Dr. Manfred Reichert.
• Santana Tapia, R.G. (2009) Assessing business-IT alignment in networked organizations. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-155 ISBN 978-90-365-2927-3 . Assistant Promotors Dr. Pascal van Eck and Dr. Maya Daneva.
• Nunes Leal Franqueira, V. (2009) Finding Multi-step Attacks in Computer Networks using Heuristic Search and Mobile Ambients. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-154 ISBN 978-90-365-2923-5. Assistant promotor Dr. Pascal van Eck.
• Pokraev, S.V. (2009) Model-driven semantic integration of service-oriented applications. PhD thesis, Univ. of Twente. 09-151 ISBN 978-90-75176-49-0 . Copromotor Prof. Dr. Manfred Reichert, assistant promotor Dr. Maarten Steen.
• Mutschler, B. (2008) Modeling and simulating causal dependencies on process-aware information systems from a cost perspective. PhD thesis, Univ. of Twente. ISBN 978-90-365-2578-7 . Assistant promotor Dr. Manred Reichert.
• Zlatev, Z.V. (2007) Goal-Oriented Design of Value and Process Models from Patterns. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 07-102 ISBN 978-90-365-2576-3
• Bondarouk, T.V. (2004) Using Group Learning to Enhance the Implementation of Information Technology. The Results of Discourse Analysis. ISBN 90-365-2094-0. Promotors Prof. Dr. J.C. Looise, Prof. Dr. R.J. Wieringa. Assistant promotor Dr. M.J. van Riemsdijk.
• Jansen, D.N. (2003) Extensions of Statecharts with probability, time, and stochastic timing. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 03-57 ISBN 3-9522850-0-5. Assistant promotor Dr. J.-P. Katoen.
• Broersen, J (2003) Modal Action Logics for reasoning about Reactive Systems. PhD Thesis, Free University of Amsterdam. ISBN 90-9016611-4. Promotors Prof. Dr. R.J. Wieringa, Prof. Dr. J.-J.Ch. Meyer, Prof. Dr. R.P. van de Riet.
• Eshuis, H. (2002) Semantics and Verification of UML Activity Diagrams for Workflow Modelling. PhD thesis, Univ. of Twente. CTIT Ph.D.-thesis series No. 02-44 ISBN 9036518202
• Spruit, P.A. (1994) Logics of Database Updates. PhD thesis, Free University of Amsterdam. Promotors Prof. Dr. J.-J.Ch. Meyer, Prof. Dr. R.P. van de Riet. Assistant promotor Dr. R.J. Wieringa.