Projects - Poseidon - publications

The Project

Partners

Publications

Publications

The list of publications of the Poseidon project consists of books and papers. The books will be the thesis books of the PhD students who did their research and graduation work in the project. The list of papers includes all conference papers and book chapters produced during the project.

 

Poseidon papers, articles etc.


Title First Author Other authors Year Published in Click to view the document or to follow the link Highlighted if the publication has a special award
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
Runtime Testability on Dynamic Highly Available Componentbased Systems Alberto Gonzalez Eric Piel, Hans-Gerhard Gross, Arjan J.C. van Gemund 2009 ESEC/FSE 2009 View document
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
A model for the measurement of runtime testability of Component based Systems Alberto Gonzalez 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 View document (external link)
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.
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 View document
Observation based Modeling for Model-Based Testing Teemu Kanstrén Eric Piel, Hans-Gerhard Gross 2009 Journal Software testing, Verification and reliability (STVR) View document (external link)
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. View document
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. View document
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 View document (external link)
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 View document (external link)
A model for the measurement of runtime testability of Component based Systems Alberto Gonzalez Eric Piel, Hans-Gerhard Gross 2009 Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops View document (external link)
Automating Integration Testing of Large-Scale Publish/Subscribe Systems Eric Piel Alberto Gonzalez, Hans-Gerhard Gross 2009 In Handbook of Research on Advanced Distributed Event-Based Systems, Publish/Subscribe and Message Filtering Technologies.
Runtime Testability on Dynamic Highly Available Componentbased Systems Alberto Gonzalez Eric Piel, Hans-Gerhard Gross, Arjan J.C. van Gemund 2009 Report TUD-SERG-2009-009 View document (external link)
Observation-Based Modeling for Model-Based Testing Teemu Kanstrén Eric Piel, Hans-Gerhard Gross 2009 ESEC/FSE View document (external link)
Trace-Based Code Generation for Model-Based Testing Teemu Kanstrén Eric Piel, Hans Gerhard Gross 2009 GPCE 2009 View document (external link)
RiTMO: Runtime Testability Measurement and Optimization Alberto Gonzalez 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 View document (external link)
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) View document (external link)
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) View document (external link)
Architecture Support for Runtime Integration and Verification of Component-based Systems of Systems Alberto Gonzalez Eric Piel and Hans-Gerhard Gross 2008 International Conference on Automated Software Engineering - Workshops, 2008. ASE Workshops 2008. 23rd IEEE/ACM View document (external link)
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 View document
Proof techniques for adapter generation Arjan J. Mooij Marc Voorhoeve 2008 WS-FM 2008, 5th International Workshop on Webservices and Formal Methods View document (external link)
Testing Challenges of Maritime safety and Security Systems-of-Systems Alberto Gonzalez Eric Piel, Hans-Gerhard Gross, Maurice Glandrup 2008 Technical Report Series Delft University of Technology, Software Engineering Research Group View document
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 View document
Visualization of vessel trajectories for maritime safety and security systems Niels Willems Huub van de Wetering, Jarke J. van Wijk 2008 SIREN 2008 View document
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 View document
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 View document
Combining Abduction with Conflict-based Diagnosis Ildiko Flesh Peter J.F. Lucas 2008 European Conference of Artificial Intelligence (ECAI) 2008, Patras, Greece, pp 807 - 808 View document
Comparing GDE and Conflict-based Diagnosis Ildiko Flesh Peter J.F. Lucas 2008 European Conference of Artificial Intelligence workshop on Model-based Systems (MBS 2008), Patras, Greece, pp 1-6 View document
The Probabilistic Interpretation of Model-based Diagnosis Ildiko Flesh Peter J.F. Lucas 2008 Workshop on Probabilistic Graphical Models (PGM 2008), Hirtshals, Denmark, 2008, pp.113--120 View document