Poseidon publications

TitleFirst AuthorOther authorsProjectYearPublished inESI Competence AreaPDFAward
Interactive Density Maps for Moving Objects Roeland Scheepens Niels Willems, Huub van de Wetering, and Jarke J. van Wijk Poseidon 2012 IEEE Computer Graphics and Applications, vol. 32, no. 1, p. 56-66 Reliability
Modeling and Verification of a Protocol for Operational Support using Coloured Petri Nets Fabrizio M. Maggi Michael Westergaard Poseidon 2011 PETRI NETS 2011 Reliability PDF
Monitoring Business Constraints with the Event Calculus Marco Montali Fabrizio M. Maggi, Federico Chesani, Paolo Mello, Wil M.P. van der Aalst Poseidon 2011 DEIS Technical Report no. DEIS-LIA-002-11 Reliability PDF
Composite Density Maps for Multivariate Trajectories Roeland Scheepens Niels Willems, Huub van de Wetering, Gennady Andrienko, Natalia Andrienko, and Jarke J. van Wijk Poseidon 2011 IEEE Transactions on Visualization and Computer Graphics (Proceedings of InfoVis 2011), vol. 17, no. 12, p. 2518-2527, 2011 Reliability PDF
Evaluation of the Visibility of Vessel Movement Features in Trajectory Visualizations Niels Willems Huub van de Wetering, and Jarke J. van Wijk Poseidon 2011 Eurographics Computer Graphics Forum (Proceedings of EuroVis 2011), vol. 30, no. 3, p. 801-810, 2011 Reliability PDF
Interactive Visualization of Multivariate Trajectory Data with Density Maps Roeland Scheepens Niels Willems, Huub van de Wetering, and Jarke J. van Wijk Poseidon 2011 Proceedings of IEEE PacificVis 2011, p. 147-154, 2011 Reliability PDF
Estimating uncertainty of categorical Web data Davide Ceolin W. R. van Hage, W. Fokkink, G. Schreiber Poseidon 2011 URSW 2011 (workshop) Reliability PDF
Linked Open Piracy W.R. van Hage V. Malaisé, M. van Erp Poseidon 2011 DeRiVE 2011 (workshop) Reliability PDF
Comparing Vessel Trajectories using Geographical Domain Knowledge and Alignments G. de Vries W.R. van Hage, M. van Someren Poseidon 2011 MAD 2011 (workshop) and Benelearn 2011 (poster) Reliability PDF
Design and Use of the Simple Event Model (SEM) W.R. van Hage V. Malaisé, R. Segers, L. Hollink Poseidon 2011 JWS (journal) vol. 9 nr. 2 Reliability PDF
Parse and Tag Somali Pirates M. van Erp W.R. van Hage, V. Malaisé Poseidon 2011 CLIN 2011 Reliability
A security framework for systems of systems Daniel Trivellato N. Zannone, S. Etalle Poseidon 2011 Proceedings 12th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2011, Pisa, Italy, June 6-8, 2011). (pp. 182-183) Reliability PDF
Visualization of Vessel Traffic Niels Willems Poseidon 2011 PhD Thesis Reliability PDF Nominated for Thales Ph.D. prize
Cost Optimizations in Runtime Testing and Diagnosis Alberto Gonzalez-Sanchez Poseidon 2011 PhD Thesis Reliability PDF
Prioritizing Tests for Fault Localization through Ambiguity Group Reduction Alberto Gonzalez-Sanchez Rui Abreu, Hans-Gerhard Gross and Arjan J.C. van Gemund Poseidon 2011 Proceedings of the 26th International Conference on Automated Software Engineering (ASE'11), pp. 83-92. IEEE Reliability PDF
A Runtime Testability Metric for Dynamic High-Availability Component-based Systems Alberto Gonzalez-Sanchez Eric Piel, Hans-Gerhard Gross and Arjan J.C. van Gemund Poseidon 2011 Journal On Advances in Systems and Measurements 4(1&2):122-134 Reliability PDF
Spectrum-based Sequential Diagnosis Alberto Gonzalez-Sanchez Rui Abreu, Hans-Gerhard Gross and Arjan J.C. van Gemund Poseidon 2011 Proceedings of the 25th AAAI International Conference on Artificial Intelligence (AAAI'11), pp. 189--196 Reliability PDF
A Diagnostic Reasoning Approach to Defect Prediction Rui Abreu Alberto Gonzalez-Sanchez, Arjan J.C. van Gemund Poseidon 2011 Proceedings of the Twenty-fourth International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2011), pp. 416 - 425. Reliability PDF
Modeling the Diagnostic Efficiency of Regression Test Suites Alberto Gonzalez-Sanchez Hans-Gerhard Gross and Arjan J.C. van Gemund Poseidon 2011 Proceedings of the 1st Workshop on Testing & Debugging (TeBug'11), pp. 634-643. IEEE Computer Society Reliability PDF
A Diagnostic Point of View for the Optimization of Preparation Costs in Runtime Testing Alberto Gonzalez-Sanchez Eric Piel, Hans-Gerhard Gross and Arjan J.C. van Gemund Poseidon 2011 Proceedings of the 1st Workshop on Testing & Debugging (TeBug'11), pp. 654-660. IEEE Computer Society Reliability PDF
Prioritizing Tests for Software Fault Localization Alberto Gonzalez-Sanchez Eric Piel, Rui Abreu, Hans-Gerhard Gross and Arjan J.C. van Gemund Poseidon 2011 Software: Practice and Experience 41(10):1105-1129 Reliability PDF
An Empirical Study on the Usage of Testability Information to Fault Localization in Software Alberto Gonzalez-Sanchez Rui Abreu, Hans-Gerhard Gross, Arjan J.C. van Gemund Poseidon 2011 International Symposium on Applied Computing (SAC'11), pp. 1398-1403. ACM Press Reliability PDF
User-guided discovery of declarative process models Fabrizio Maggi Arjan Mooij and Wil van der Aalst Poseidon 2011 proceedings of the IEEE Symposium on Computational Intelligence and Data Mining (CIDM 2011), pages 192--199, IEEE, 2011 Reliability PDF
Soundness-preserving refinements of service compositions Kees van Hee Arjan Mooij, Natalia Sidorova and Jan Martijn van der Werf Poseidon 2011 Proceedings of the 7th international workshop on Web Services and Formal Methods (WS-FM 2010), LNCS 6551, pages 131--145, Springer-Verlag, 2011 Reliability PDF
Constructing replaceable services using operating guidelines and maximal controllers Arjan Mooij Jarungjit Parnjai, Christian Stahl and Marc Voorhoeve Poseidon 2011 Proceedings of the 7th international workshop on Web Services and Formal Methods (WS-FM 2010), LNCS 6551, pages 116--130, Springer-Verlag, 2011 Reliability PDF
Design and Use of the Simple Event Model (SEM) W.R. van Hage V. Malaisé, R.H. Segers, L. Hollink Poseidon 2011 Journal of Web Semantics Reliability PDF
Mobile Cultural Heritage Guide: Location-Aware Semantic Search C.J. van Aart W.R. van Hage, B.J. Wielinga Poseidon 2010 Proceedings of the 17th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2010) Reliability PDF
Adaptation Step-by-Step: Challenges for Real-time Spatial Personalization W.R. van Hage N. Stash, Y. Wang, L.M. Aroyo Poseidon 2010 Proceedings of the Pervasive User Modeling and Personalization workshop (PUMP'10) Reliability PDF
Finding Your Way through the Rijksmuseum with an Adaptive Mobile Museum Guide W.R. van Hage N. Stash, Y. Wang, L.M. Aroyo Poseidon 2010 In Proceedings of the 7th Extended Semantic Web Conference (ESWC 2010) Reliability PDF
Abstracting and Reasoning over Ship Trajectories and Web Data with the Simple Event Model (SEM) W.R. van Hage V. Malaisé, G.K.D. de Vries, A.Th. Schreiber, M van Someren Poseidon 2010 Multimedia Tools and Applications Reliability PDF
Built-in data-flow integration testing in large-scale component-based systems Eric Piel Alberto Gonzalez-Sanchez, Hans-Gerhard Gross Poseidon 2010 22nd IFIP International Conference on Testing Software and Systems, Natal, Brazil. Springer Reliability PDF
Automating Integration Testing of Large-Scale Publish/Subscribe Systems Eric Piel Alberto Gonzalez-Sanchez, Hans-Gerhard Gross Poseidon 2010 Principles and Applications of Distributed Event-based Systems Reliability PDF
Spectrum-Based Sequential Diagnosis Alberto Gonzalez-Sanchez Rui Abreu , Hans-Gerhard Gross, Arjan J.C. van Gemund Poseidon 2010 21st International Workshop on the Principles of Diagnosis (DX'10), pp. 55-62, Portland, USA. PHM Society Reliability PDF
Runtime testability in dynamic high-availability component-based systems Alberto Gonzalez-Sanchez Éric Piel, Hans-Gerhard Gross, Arjan J.G. van Gemund Poseidon 2010 VALID'10 Reliability PDF
GPU-Based track visualization of multivariate moving object data Roeland J. Scheepens Poseidon 2010 Master thesis - TU/e Reliability PDF
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é Poseidon 2010 AGILE 2010 GeoVA(t) (workshop) Reliability PDF
Reducing adapter synthesis to controller synthesis Christian Gierds Arjan J. Mooij, and Karsten Wolf Poseidon 2010 IEEE Transactions on Services Computing Reliability PDF
Clustering Vessel Trajectories with Alignment kernels under trajectory Compression Gerben de Vries Maarten van Someren Poseidon 2010 ECML PKDD 2010 Reliability PDF
Comparing Vessel Trajectories using Geographical Domain Knowledge and Alignments Gerben de Vries Willem Robert van Hage, Maarten van Someren Poseidon 2010 Spatial and SpatioTemporal DataMining workshop Reliability PDF
A Trust Model to Estimate the Quality of Annotations using the Web Davide Ceolin Willem Robert van Hage, Wan Fokkink Poseidon 2010 Proceedings of the WebSci10: Extending the Frontiers of Society On-Line, April 26-27th, 2010, Raleigh, NC: US Reliability PDF
Calculating the Trust of Event Descriptions using Provenance Davide Ceolin Paul Groth, Willem Robert van Hage Poseidon 2010 Second International Workshop on the role of Semantic Web in Provenance Management (SWPM 2010) Reliability PDF
Prioritizing Tests for Software Fault Localization Alberto Gonzalez-Sanchez Eric Piel, Hans-Gerhard Gross and Arjan van Gemund Poseidon 2010 QSIC'10: 10th International Conference in Quality Software, Zhangjiajie, China Reliability PDF
Minimizing the preparation cost of runtime testing based on testability metrics Alberto Gonzalez-Sanchez Éric Piel, Hans-Gerhard Gross, Arjan J.G. van Gemund Poseidon 2010 Compsac'10 Reliability PDF
A Diagnostic Approach to Test Prioritization Alberto Gonzalez-Sanchez Rui Abreu, Hans-Gerhard Gross, Arjan J.C. van Gemund Poseidon 2010 25th IEEE/ACM International Conference on Automated Software Engineering Reliability PDF
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é Poseidon 2010 AGILE 2010 GeoVA(t) (workshop) Reliability PDF
Relating fair testing and accordance for service replaceability Arjan J. Mooij Christian Stahl, Marc Voorhoeve Poseidon 2010 Journal of Logic and Algebraic Programming volume 79, number 3--5, pages 233--244, Elsevier, 2010 Reliability PDF
The Space package: Tight Integration Between Space and Semantics W.R. van Hage J. Wielemaker, A.Th. Schreiber Poseidon 2009 Terra Cognita 2009. Washington Reliability PDF
Data-flow integration testing adapted to runtime evolution in component-based systems Eric Piel Alberto Gonzalez-Sanchez Poseidon 2009 Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime, pp. 3-10, Amsterdam, The Netherlands Reliability PDF
Spatial and Semantic Reasoning to Recognize Ship Behavior Willem R. van Hage Gerben de Vries, Véronique Malaisé, Guus Schreiber, Maarten van Someren Poseidon 2009 ISWC 2009 Reliability PDF
Simplifying Learning in Non-repetitive Dynamic Bayesian Networks Ildiko Flesch Eric Postma Poseidon 2009 Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), 2009, Verona Reliability
Learning a Model of Ship Movements Roderik Lagerweij Poseidon 2009 Thesis for Bachelor of Science, University of Amsterdam, Faculty of Science Reliability
One-class classification with LOF and LOCI: An empirical comparison J.H.M. Janssens Postma Poseidon 2009 Proceedings of the 18th Annual Belgian-Dutch Conference on Machine Learning, pages 56-64, Tilburg, The Netherlands, May 2009 Reliability
Outlier detection with one-class classifiers from ML and KDD J.H.M. Janssens Flesch, I. and Postma Poseidon 2009 Proceedings of the Eighth International Conference on Machine Learning and Applications, pages 147-155, Miami, FL, USA, December 2009 Reliability
Runtime Testability on Dynamic Highly Available Componentbased Systems Alberto Gonzalez-Sanchez Eric Piel, Hans-Gerhard Gross, Arjan J.C. van Gemund Poseidon 2009 ESEC/FSE 2009 Reliability PDF
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 Poseidon 2009 ISWC 2009 Reliability
A model for the measurement of runtime testability of Component based Systems Alberto Gonzalez-Sanchez Eric Piel, Hans-Gerhard Gross Poseidon 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 Reliability PDF
Trading off concurrency to generate behavioral adapters Arjan J. Mooij Marc Voorhoeve Poseidon 2009 Proceedings of the 9th international conference on Application of Concurrency to System Design (ACSD 2009), IEEE. Reliability PDF
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 Poseidon 2009 International Multimedia Conference, Proceedings of the 1st ACM international workshop on Events in multimedia, pages 73-80, ISBN 978-1-60558-754-7 Reliability PDF
Observation-Based Modeling for Testing and Verifying Highly Dependable Systems – A Practitioner’s Approach Teemu Kanstrén Eric Piel, Alberto Gonzalez Sanchez, Hans-Gerhard Gross Poseidon 2009 DDCS’09 Reliability PDF
Observation based Modeling for Model-Based Testing Teemu Kanstrén Eric Piel, Hans-Gerhard Gross Poseidon 2009 Journal Software testing, Verification and reliability (STVR) Reliability PDF
Reputation-based Ontology Alignment for Autonomy and Interoperability in Distributed Access Control Daniel Trivellato Fred Spiessens, Nicola Zannone, Sandro Etalle Poseidon 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. Reliability PDF
POLIPO: Policies & OntoLogies for Interoperability, Portability, and autOnomy Daniel Trivellato Fred Spiessens, Nicola Zannone, Sandro Etalle Poseidon 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. Reliability PDF
Visualization of vessel movements Niels Willems Huub van de Wetering and Jarke J. van Wijk Poseidon 2009 11th Eurographics/IEEE-VGTC Symposium on Visualization (Computer Graphics Forum; Proceedings of EuroVis 2009), 2009 Reliability PDF
Service Interaction: Patterns, Formalization, and Analysis Wil M.P. van der Aalst Arjan J. Mooij, Christian Stahl and Karsten Wolf Poseidon 2009 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services Reliability PDF
A model for the measurement of runtime testability of Component based Systems Alberto Gonzalez-Sanchez Eric Piel, Hans-Gerhard Gross Poseidon 2009 Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops Reliability PDF
Automating Integration Testing of Large-Scale Publish/Subscribe Systems Eric Piel Alberto Gonzalez-Sanchez, Hans-Gerhard Gross Poseidon 2009 In Handbook of Research on Advanced Distributed Event-Based Systems, Publish/Subscribe and Message Filtering Technologies. Reliability
Runtime Testability on Dynamic Highly Available Componentbased Systems Alberto Gonzalez-Sanchez Eric Piel, Hans-Gerhard Gross, Arjan J.C. van Gemund Poseidon 2009 Report TUD-SERG-2009-009 Reliability PDF
Trace-Based Code Generation for Model-Based Testing Teemu Kanstrén Eric Piel, Hans Gerhard Gross Poseidon 2009 GPCE 2009 Reliability PDF
RiTMO: Runtime Testability Measurement and Optimization Alberto Gonzalez-Sanchez Eric Piel, Hans-Gerhard Gross Poseidon 2009 Proceedings of the 9th International Conference on Quality Software (QSIC-09), pp xx-xx, Cheju, South Korea, August 2009 Reliability PDF
Unsupervised Ship Trajectory Modeling and prediction using Compression and Clustering Gerben de Vries Maarten van Someren Poseidon 2009 The 18th Annual Belgian-Dutch Conference on Machine Learning (Benelearn 09) Reliability PDF
Data-flow integration testing adapted to runtime evolution in component-based systems Eric Piel Alberto Gonzalez Sanchez Poseidon 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 Reliability
Know what you trust: Analyzing and designing trust policies with Scoll Fred Spiessens Jerry den Hartog and Sandro Etalle Poseidon 2008 Proceedings 5th International Workshop on Formal Aspects in Security and Trust (FAST 2008, Malaga, Spain, October 9-10, 2008) Reliability PDF
Architecture Support for Runtime Integration and Verification of Component-based Systems of Systems Alberto Gonzalez-Sanchez Eric Piel and Hans-Gerhard Gross Poseidon 2008 International Conference on Automated Software Engineering - Workshops, 2008. ASE Workshops 2008. 23rd IEEE/ACM Reliability PDF
Specifying and generating behavioral service adapters based on transformation rules Christian Gierds Arjan J. Mooij, Karsten Wolf Poseidon 2008 Preprint CS-02-08, Universitat Rostock, Germany, August 2008 Reliability PDF
Proof techniques for adapter generation Arjan J. Mooij Marc Voorhoeve Poseidon 2008 WS-FM 2008, 5th International Workshop on Webservices and Formal Methods Reliability PDF
Testing Challenges of Maritime safety and Security Systems-of-Systems Alberto Gonzalez-Sanchez Eric Piel, Hans-Gerhard Gross, Maurice Glandrup Poseidon 2008 Technical Report Series Delft University of Technology, Software Engineering Research Group Reliability PDF
Interactive Poster: Visualization of vessel trajectories for maritime safety and security systems Niels Willems Huub van de Wetering, Jarke J. van Wijk Poseidon 2008 IEEE infovis Conference, Columbus, USA, 2008 Reliability PDF
Visualization of vessel trajectories for maritime safety and security systems Niels Willems Huub van de Wetering, Jarke J. van Wijk Poseidon 2008 SIREN 2008 Reliability PDF
Automatically Classifying Ship-Types in a Maritime Domain Ontology Gerben de Vries Veronique Malaise, Maarten van Someren, Pieter Adriaans, Guus Schreiber Poseidon 2008 Poster; Final Event 2008, KDubiq event Reliability
Semi-Automatic Ontology Extension in the Maritime Domain Gerben de Vries Veronique Malaise, maarten van Someren, Pieter Adriaans, Guus Schreiber Poseidon 2008 BNAIC 2008 Reliability PDF
Mixed-Integer Bayesian Optimization Utilizing A-Priori Knowledge on Parameter Dependences Michael T.M. Emmerich Rui Li, Anyi Zhang, Ildiko Flesch, Peter Lucas Poseidon 2008 Belgian-Dutch Conference on Artificial Intelligence (BNAIC), 2008, Enschede, The Netherlands Reliability PDF
Combining Abduction with Conflict-based Diagnosis Ildiko Flesch Peter J.F. Lucas Poseidon 2008 European Conference of Artificial Intelligence (ECAI) 2008, Patras, Greece, pp 807 - 808 Reliability PDF
Comparing GDE and Conflict-based Diagnosis Ildiko Flesch Peter J.F. Lucas Poseidon 2008 European Conference of Artificial Intelligence workshop on Model-based Systems (MBS 2008), Patras, Greece, pp 1-6 Reliability PDF
The Probabilistic Interpretation of Model-based Diagnosis Ildiko Flesch Peter J.F. Lucas Poseidon 2008 Workshop on Probabilistic Graphical Models (PGM 2008), Hirtshals, Denmark, 2008, pp.113--120 Reliability PDF