Title	First Author	Other authors	Year	Published in
Prioritizing Tests for Software Fault Localization	Alberto Gonzalez-Sanchez	Eric Piel, Hans-Gerhard Gross and Arjan van Gemund	2010	QSIC'10: 10th International Conference in Quality Software, Zhangjiajie, China
Minimizing the preparation cost of runtime testing based on testability metrics	Alberto Gonzalez-Sanchez	Éric Piel, Hans-Gerhard Gross, Arjan J.G. van Gemund	2010	Compsac'10
A Diagnostic Approach to Test Prioritization	Alberto Gonzalez-Sanchez	Rui Abreu, Hans-Gerhard Gross, Arjan J.C. van Gemund	2010	25th IEEE/ACM International Conference on Automated Software Engineering
Runtime Testability on Dynamic Highly Available Componentbased Systems	Alberto Gonzalez-Sanchez	Eric Piel, Hans-Gerhard Gross, Arjan J.C. van Gemund	2009	ESEC/FSE 2009
A model for the measurement of runtime testability of Component based Systems	Alberto Gonzalez-Sanchez	Eric Piel, Hans-Gerhard Gross	2009	Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops - Volume 00, Pages 19-28  , Year of Publication: 2009, ISBN:978-0-7695-3671-2
A model for the measurement of runtime testability of Component based Systems	Alberto Gonzalez-Sanchez	Eric Piel, Hans-Gerhard Gross	2009	Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops
Runtime Testability on Dynamic Highly Available Componentbased Systems	Alberto Gonzalez-Sanchez	Eric Piel, Hans-Gerhard Gross, Arjan J.C. van Gemund	2009	Report TUD-SERG-2009-009
RiTMO: Runtime Testability Measurement and Optimization	Alberto Gonzalez-Sanchez	Eric Piel, Hans-Gerhard Gross	2009	Proceedings of the 9th International Conference on Quality Software (QSIC-09), pp xx-xx, Cheju, South Korea, August 2009
Architecture Support for Runtime Integration and Verification of Component-based Systems of Systems	Alberto Gonzalez-Sanchez	Eric Piel and Hans-Gerhard Gross	2008	International Conference on Automated Software Engineering - Workshops, 2008. ASE Workshops 2008. 23rd IEEE/ACM
Testing Challenges of Maritime safety and Security Systems-of-Systems	Alberto Gonzalez-Sanchez	Eric Piel, Hans-Gerhard Gross, Maurice Glandrup	2008	Technical Report Series Delft University of Technology, Software Engineering Research Group
Relating fair testing and accordance for service replaceability	Arjan J. Mooij	Christian Stahl, Marc Voorhoeve	2010	Journal of Logic and Algebraic Programming volume 79, number 3--5, pages 233--244, Elsevier, 2010
Trading off concurrency to generate behavioral adapters	Arjan J. Mooij	Marc Voorhoeve	2009	Proceedings of the 9th international conference on Application of Concurrency to System Design (ACSD 2009), IEEE.
Proof techniques for adapter generation	Arjan J. Mooij	Marc Voorhoeve	2008	WS-FM 2008, 5th International Workshop on Webservices and Formal Methods
Specifying and generating behavioral service adapters based on transformation rules	Christian Gierds	Arjan J. Mooij, Karsten Wolf	2008	Preprint CS-02-08, Universitat Rostock, Germany, August 2008
Reputation-based Ontology Alignment for Autonomy and Interoperability in Distributed Access Control	Daniel Trivellato	Fred Spiessens, Nicola Zannone, Sandro Etalle	2009	International Symposium on Secure Computing (SecureCom09, Vancouver, Canada, August 29-31, 2009). To be published in the PASSAT-09 proceedings by IEEE CS press.
POLIPO: Policies & OntoLogies for Interoperability, Portability, and autOnomy	Daniel Trivellato	Fred Spiessens, Nicola Zannone, Sandro Etalle	2009	IEEE International Symposium on Policies for Distributed Systems and Networks (Policy2009, London, July 20 - 22). To be published in the POLICY-09 proceedings by IEEE CS press.
Data-flow integration testing adapted to runtime evolution in component-based systems	Eric Piel	Alberto Gonzalez-Sanchez	2009	Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime, pp. 3-10, Amsterdam, The Netherlands
Automating Integration Testing of Large-Scale Publish/Subscribe Systems	Eric Piel	Alberto Gonzalez-Sanchez, Hans-Gerhard Gross	2009	In Handbook of Research on Advanced Distributed Event-Based Systems, Publish/Subscribe and Message Filtering Technologies.
Data-flow integration testing adapted to runtime evolution in component-based systems	Eric Piel	Alberto Gonzalez Sanchez	2009	Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'09) Workshops
Know what you trust: Analyzing and designing trust policies with Scoll	Fred Spiessens	Jerry den Hartog and Sandro Etalle	2008	Proceedings 5th International Workshop on Formal Aspects in Security and Trust (FAST 2008, Malaga, Spain, October 9-10, 2008)
Unsupervised Ship Trajectory Modeling and prediction using Compression and Clustering	Gerben de Vries	Maarten van Someren	2009	The 18th Annual Belgian-Dutch Conference on Machine Learning (Benelearn 09)
Automatically Classifying Ship-Types in a Maritime Domain Ontology	Gerben de Vries	Veronique Malaise, Maarten van Someren, Pieter Adriaans, Guus Schreiber	2008	Poster; Final Event 2008, KDubiq event
Semi-Automatic Ontology Extension in the Maritime Domain	Gerben de Vries	Veronique Malaise, maarten van Someren, Pieter Adriaans, Guus Schreiber	2008	BNAIC 2008
Combining Abduction with Conflict-based Diagnosis	Ildiko Flesch	Peter J.F. Lucas	2008	European Conference of Artificial Intelligence (ECAI) 2008, Patras, Greece, pp 807 - 808
Comparing GDE and Conflict-based Diagnosis	Ildiko Flesch	Peter J.F. Lucas	2008	European Conference of Artificial Intelligence workshop on Model-based Systems (MBS 2008), Patras, Greece, pp 1-6
The Probabilistic Interpretation of Model-based Diagnosis	Ildiko Flesch	Peter J.F. Lucas	2008	Workshop on Probabilistic Graphical Models (PGM 2008), Hirtshals, Denmark, 2008, pp.113--120
Simplifying Learning in Non-repetitive Dynamic Bayesian Networks	Ildiko Flesch	Eric Postma	2009	Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), 2009, Verona
One-class classification with LOF and LOCI: An empirical comparison	J.H.M. Janssens	Postma	2009	Proceedings of the 18th Annual Belgian-Dutch Conference on Machine Learning, pages 56-64, Tilburg, The Netherlands, May 2009
Outlier detection with one-class classifiers from ML and KDD	J.H.M. Janssens	Flesch, I. and Postma	2009	Proceedings of the Eighth International Conference on Machine Learning and Applications, pages 147-155, Miami, FL, USA, December 2009
Mixed-Integer Bayesian Optimization Utilizing A-Priori Knowledge on Parameter Dependences	Michael T.M. Emmerich	Rui Li, Anyi Zhang, Ildiko Flesch, Peter Lucas	2008	Belgian-Dutch Conference on Artificial Intelligence (BNAIC), 2008, Enschede, The Netherlands
An Integrated approach for visual analysis of a multi-source moving objects knowledge base	Niels Willems	Willem Robert van Hage, Gerben de Vries, Jeroen Janssens, Véronique Malaisé	2010	AGILE 2010 GeoVA(t) (workshop)
Visualization of vessel movements	Niels Willems	Huub van de Wetering and Jarke J. van Wijk	2009	11th Eurographics/IEEE-VGTC Symposium on Visualization (Computer Graphics Forum; Proceedings of EuroVis 2009), 2009
Interactive Poster: Visualization of vessel trajectories for maritime safety and security systems	Niels Willems	Huub van de Wetering, Jarke J. van Wijk	2008	IEEE infovis Conference, Columbus, USA, 2008
Visualization of vessel trajectories for maritime safety and security systems	Niels Willems	Huub van de Wetering, Jarke J. van Wijk	2008	SIREN 2008
Learning a Model of Ship Movements	Roderik Lagerweij		2009	Thesis for Bachelor of Science, University of Amsterdam, Faculty of Science
Observation based Modeling for Model-Based Testing	Teemu Kanstrén	Eric Piel, Hans-Gerhard Gross	2009	Journal Software testing, Verification and reliability (STVR)
Observation-Based Modeling for Model-Based Testing	Teemu Kanstrén	Eric Piel, Hans-Gerhard Gross	2009	ESEC/FSE
Trace-Based Code Generation for Model-Based Testing	Teemu Kanstrén	Eric Piel, Hans Gerhard Gross	2009	GPCE 2009
Simple Event Model (SEM): what do the Somali Pirates and Picasso have in common?	Veronique Malaise	Willem R. van Hage, Guus Schreiber, and Tuukka Ruotsalo	2009	ISWC 2009
Service Interaction: Patterns, Formalization, and Analysis	Wil M.P. van der Aalst	Arjan J. Mooij, Christian Stahl and Karsten Wolf	2009	9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services
Spatial and Semantic Reasoning to Recognize Ship Behavior	Willem R. van Hage	Gerben de Vries, Véronique Malaisé, Guus Schreiber, Maarten van Someren	2009	ISWC 2009
Combining Ship Trajectories and Semantics with the Simple Event Model (SEM)	Willem Robert van Hage	Veronique Malaise, Gerben de Vries, Guus Schreiber, Maarten van Someren	2009	International Multimedia Conference, Proceedings of the 1st ACM international workshop on Events in multimedia, pages 73-80, ISBN 978-1-60558-754-7