Scientific publications

Below you find an overview of scientific publications that are a result of our research.

You can sort the output by clicking the various table headers. To make a selection, type your search term in one of the open fields. To download a pdf version of the publication, click on PDF.

TitleFirst AuthorOther authorsProjectYearPublished inESI Competence AreaPDFAward
Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition H. Ghasemieh A.K.I. Remke, B.R.H.M. Haverkort, M. Gribaudo - 2012 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012),September 18-20, 2012, London, UK. pp. 139-154. Lecture Notes in Computer Science 7595. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-33364-4 Modeling PDF
Lifetime Improvement by Battery Scheduling M.R. Jongerden B.R.H.M. Haverkort - 2012 Proceedings of the 16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolarance, MMB & DFT 2012, 19-21 Mar 2012, Kaiserslautern, Germany. pp. 106-120. Lecture Notes in Computer Science 7201. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-28539-4 General PDF
Fast simulation for slow paths in Markov models D.P. Reijsbergen P.T. de Boer, W.R.W. Scheinhardt, B.R.H.M. Haverkort - 2012 Proceedings of the Ninth International Workshop on Rare Event Simulation, RESIM 2012, 25-27 Jun 2012, Trondheim, Norway. pp. 36-38. NTNU University Press Modeling PDF
Simulative and Analytical Evaluation for ASD-Based Embedded Software R. Sadre A.K.I. Remke, S.A. Hettinga, B.R.H.M. Haverkort - 2012 16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings, 19-21 Mar 2012, Kaiserslautern, Germany. pp. 166-181. Lecture Notes in Computer Science 7201. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-28539-4 Modeling PDF
Incorporating Formal Techniques into Industrial Practice: an Experience Report A. Osaiweran M. Schuts, J. Hooman, J. Wesselius - 2012 Proceedings 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2012) Modeling
Efficient Retiming of Multi-rate DSP Algorithms Xue-Yang Zhu Twan Basten, Marc Geilen, and Sander Stuijk - 2012 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 31(6):831-844, June 2012 Modeling PDF
Static Rate-Optimal Scheduling of Multi-Rate DSP Algorithms via Retiming and Unfolding Xue-Yang Zhu Marc Geilen, Twan Basten and Sander Stuijk - 2012 18th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2012, Proceedings, pages 109-118. Beijing, China, 16-19 April, 2012 Modeling PDF
Predictable Dynamic Embedded Data Processing M. Geilen S. Stuijk, T. Basten - 2012 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, IC-SAMOS 12, Proceedings, 320-327. Samos, Greece, 16-19 July 2012 Modeling PDF
A Distributed Feedback Control Mechanism for Quality-of-Service Maintenance in Wireless Sensor Networks M. Steine M. Geilen, T. Basten - 2012 15th Euromicro Conference On Digital System Design: Architectures, Methods and Tools, DSD 2012, Proceedings, pages 739-742. Izmir - Cesme, Turkey, 5-7 September 2012 Networks PDF
Parametric Throughput Analysis of Scenario-Aware Dataflow Graphs M. Damavandpeyma S. Stuijk, M. Geilen, T. Basten, H. Corporaal - 2012 30th International Conference of Computer Design, ICCD 2012, Proceedings, pages 219-226. Montreal, Quebec, Canada, 30 September - 3 October 2012 Performance PDF
Modeling Static-Order Schedules in Synchronous Dataflow Graphs M. Damavandpeyma S. Stuijk, T. Basten, M. Geilen, H. Corporaal - 2012 Design, Automation and Test in Europe, DATE 2012, Proceedings, pages 775-780. Dresden, Germany, 12-16 March, 2012 Modeling PDF
Set-based design - the lean tool that eludes us; Pitfalls in implementing set-based design in Kongsberg Automotive Elisabeth Hansen Gerrit Muller - 2012 Proceedings of INCOSE 2012 in Rome General PDF
Developing the Modeling Recommendation Matrix: Model-Assisted Communication at Volvo Aero Rasmus Wibe Rypdal Gerrit Muller, Michael Pennotti - 2012 Proceedings of INCOSE 2012 in Rome General PDF
Architecting Diesel Engine Control System using A3 Architecture Overview Bjørnar Wiulsrød Gerrit Muller, Michael Pennotti - 2012 Proceedings of INCOSE 2012 in Rome General PDF
How to start a new Master Study in Systems Engineering? Gerrit Muller - 2012 Proceedings of INCOSE 2012 in Rome General PDF
Validation of Systems Engineering Methods and Techniques in Industry Gerrit Muller - 2012 New Challenges in Systems Engineering and Architecting Conference on Systems Engineering Research (CSER) 2012 – St. Louis, MO General PDF
Applying Systems Engineering on Energy Challenges Jamal Safi Gerrit Muller, G. Maarten Bonnema - 2012 New Challenges in Systems Engineering and Architecting Conference on Systems Engineering Research (CSER) 2012 – St. Louis, MO General PDF
Requirement Elicitation and Validation by Prototyping and Demonstrators: User Interface Development in the Oil and Gas Industry Jan Magnus Rokke Gerrit Muller, and Michael Pennotti - 2012 Systems Research Forum, Vol.5, No.2 (2011) 1-20 General PDF
Experiences in Evolvability Research Pierre America Piërre van de Laar, Gerrit Muller - 2012 Advanced Engineering Informatics, 2012, ISSN 1474-0346 General PDF
State-of-the-Art Tools and Techniques for Quantitative Modeling and Analysis of Embedded Systems M. Bozga A. David, A. Hartmanns, H. Hermanns, K. G. Larsen, A. Legay, and J. Tretmans - 2012 DATE - Design, Automation and Test in Europe, Dresden, Germany, 2012. European Design and Automation Association (EDAA), Leuven, Belgium, pp. 370, 2012 Modeling PDF
Model Checking of Scenario-Aware Dataflow with CADP B.D. Theelen J.P. Katoen, and H. Wu - 2012 Proceedings of Design, Automation and Test in Europe (DATE), ACM 2012 Modeling PDF
Designing Next-Generation Real-Time Streaming Systems S. Stuijk T. Basten, B. Akesson, M. Geilen, O. Moreira, J. Reineke - 2011 9th IEEE/ACM International Conference on Hardware/Software-Codesign and System Synthesis, CODES+ISSS 2011, Proceedings, pages 375-376. Tutorial. Part of the Embedded Systems Week. Taipei, Taiwan, October 9-14, 2011 Design PDF
Pareto Analysis with Uncertainty M. Hendriks M. Geilen, T. Basten - 2011 9th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2011, Proceedings, pages 189-196. Melbourne, Australia, October 24-26, 2011 Performance PDF
Distributed Maintenance of Minimum-cost Path Information in Wireless Sensor Networks M. Steine M. Geilen, T. Basten - 2011 6th ACM International Workshop on Performance Monitoring, Measurement and Evaluation of Heterogeneous Wireless and Wired Networks, PM2HW2N 2011, Proceedings, pages 25-32. Miami, FL, USA, 31 October 2011 Networks PDF
Proactive Reconfiguration of Wireless Sensor Networks M. Steine C. Viet Ngo, R. Serna Oliver, M.C.W. Geilen, T. Basten, G. Fohler, J.-D. Decotignie - 2011 Modeling, Analysis and Simulation of Wireless and Mobile Systems, 14th ACM International Symposium, MSWiM 2011, Proceedings, pages 31-40. Miami, FL, USA, 31 October - 4 November 2011 Networks PDF
Hybrid Code-Data Prefetch-Aware Multiprocessor Task Graph Scheduling M. Damavandpeyma S. Stuijk, T. Basten, M. Geilen, H. Corporaal - 2011 14th Euromicro Conference On Digital System Design: Architectures, Methods and Tools, DSD 2011, Proceedings, pages 583-590. Oulu, Finland, 31 August - 2 September 2011 Scheduling PDF
A Visual Language for Modeling and Analyzing Printer Data Path Architectures E. Teeselink L. Somers, T. Basten, N. Trcka, M. Hendriks - 2011 Industry Track of Software Language Engineering, ITSLE 2011, Workshop proceedings, 20 pages. Braga, Italy, 5 July, 2011 Modeling PDF
Mean-field framework for performance evaluation of push–pull gossip protocols Rena Bakhshi L. Cloth, W. Fokkink, and B.R.H.M. Haverkort - 2011 Performance evaluation, 68 (2). pp. 157-179. ISSN 0166-5316 General PDF
Parallel and Distributed Methods in Verification I. Cerna B.R.H.M. Haverkort - 2011 Journal of Logic and Computation, 21 (1). pp. 1-3. ISSN 0955-792X General PDF
Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull? B.R.H.M. Haverkort - 2011 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2011), September 21-23, 2011, Aalborg, Denmark. pp. 18-24. Lecture Notes in Computer Science 6919. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-24309-7 General PDF
Lifetime improvement by battery scheduling M.R. Jongerden B.R.H.M. Haverkort - 2011 Proceedings of the 27th annual UK Performance Engineering Workshop, UKPEW2011, 7-8 Jul 2011, Bradford, UK. pp. 56-71. General PDF
Time-bounded reachability in tree-structured QBDs by abstraction D. Klink A.K.I. Remke, B.R.H.M. Haverkort and J.P. Katoen - 2011 Performance evaluation, 68 (2). pp. 105-125. ISSN 0166-5316 General PDF
Is Quantitative Analysis of Stuxnet Possible? A.V. Kolesnichenko P.T. de Boer, A.K.I. Remke, Emmanuele Zambon, and B.R.H.M. Haverkort - 2011 QEST 2011: Fast Abstracts, 5-8 Sep 2011, Aachen, Germany. pp. 9-10. CTIT Workshop Proceedings WP11-03 General PDF
Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study A.V. Kolesnichenko A.K.I. Remke, P.T. de Boer and B.R.H.M. Haverkort - 2011 Proceedings of the 8th European Performance Engineering Workshop, EPEW 2011, 12-13 Oct 2011, Borrowdale, United Kingdom. pp. 133-147. Lecture Notes in Computer Science 6977. Springer Verlag. ISSN 0302-9743 General PDF
Decomposition-Based Queueing Network Analysis with FiFiQueues R. Sadre B.R.H.M. Haverkort - 2011 Queueing Networks: A Fundamental Approach. International Series in Operations Research & Management Science 154. Springer Verlag, New York, pp. 643-699 General PDF
An adaptive resource control mechanism in multi-hop ad-hoc networks Yimeng Yang G.J. Heijenk and B.R.H.M. Haverkort - 2011 9th IFIP international conference on Wired/Wireless Internet Communications, WWIC 2011, 15-17 June 2011, Vilanova i la Geltrú, Spain. pp. 309-322. Lecture Notes in Computer Science 6649. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-21559-9 General PDF
Experiences with a Compositional Model Checker in the Healthcare Domain Jozef Hooman R. Huis in 't Veld, and M. Schuts - 2011 Pre-symposium Proceedings Foundations of Health Information Engineering and Systems (FHIES 2011), UNU-IIST Report 454, McSCert Report 5, pp. 92-109 General PDF
Performance Model Checking Scenario-Aware Dataflow B.D. Theelen M.C.W. Geilen and J.P.M. Voeten - 2011 International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2011), Aalborg, 21-23 September 2011 Performance / Modeling PDF
Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs Marc Geilen Joachim Falk, Christian Haubelt, Twan Basten, Bart Theelen and Sander Stuijk - 2011 ES Reports - ESR-2011-03 General PDF
De computer verdwijnt Twan Basten - 2011 Inaugural lecture, presented on 15 April 2011, at the Eindhoven University of Technology (in Dutch). TU Eindhoven. ISBN 978-90-386-2478-5 General PDF
How applying models in work group sessions can help to retrieve information for making FTA and FMECA analysis Levi Vigdal Gerrit Muller and Michael Pennotti - 2011 INCOSE 2011 General PDF
Researching the application of Pugh Matrix in the sub-sea equipment industry Gerrit Muller Dag Jostein Klever, Halvard H. Bjørnsen, Michael Pennotti - 2011 PROCEEDINGS CSER 2011, April 15-16, Los Angeles, CA, USA General PDF
Scenario-Aware Dataflow: Modeling, Analysis and Implementation of Dynamic Applications S. Stuijk M.C.W. Geilen, B.D. Theelen and T. Basten - 2011 International Conference of Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS 2011), SAMOS, 18-21 July 2011 Modeling PDF
Model-driven embedded-system design Twan Basten Rolf Ernst - 2010 ACM Transactions on Embedded Computing Systems (TECS) ; Volume 10 Issue 2, December 2010 Modeling PDF
Quantitative Verification in Practice Boudewijn Haverkort Joost-Pieter Katoen and Kim G. Larsen - 2010 4th International Symposium on Leveraging Applications, ISoLA 2010, 18-21 Oct 2010, Heraklion, Greece. pp. 127-127. Lecture Notes in Computer Science 6416. Springer Verlag. ISBN 978-3-642-16560-3 General PDF
Probabilistic verification of Architectural software models using SoftArc and Prism Boudewijn Haverkort G.W.M. Kuntz, F. Leitner-Fischer, A.K.I. Remke and S. Roolvink - 2010 Proceedings of the ESREL 2010 Annual Conference, 5-9 Sept 2010, Greece, Rhodos. pp. 852-860. Taylor & Francis. ISBN 978-0-415-60427-7 General PDF
Supporting The System Architect: Model-assisted communication Even Engebakken Gerrit Muller and Michael Pennotti - 2010 Systems Reseach Forum Volume 4, Issue 2, December 2010 General PDF
Bringing digital data services to life in North America A. Goršak T. Hendriks - 2010 Proc. 11th Workshop Digital Broadcasting, Fraunhofer IIS, Erlangen Reliability PDF
Thermal-Aware Address Decoding in Scratchpad Memories M. Damavandpeyma S. Stuijk, T. Basten, M. Geilen, H. Corporaal - 2010 6th International Summer School on Advanced Computer Architecture and Compilation for Embedded Systems, ACACES 2010, Poster abstracts. Terrassa, Spain, 11-17 July, 2010 General PDF
Thermal-Aware Scratchpad Memory Design and Allocation M. Damavandpeyma S. Stuijk, T. Basten, M. Geilen, H. Corporaal - 2010 28th International Conference of Computer Design, ICCD 2010, Proceedings. Amsterdam, Netherlands, 3-6 October 2010 General PDF
A Pareto-Algebraic Framework for Signal Power Optimization in Global Routing H. Shojaei T.-H. Wu, A. Davoodi, T. Basten - 2010 16th International Symposium on Low Power Electronics and Design, ISLPED 2010, Proceedings. Austin, Texas, USA, 18-20 August, 2010 General PDF
Dependable Sensor and Actuator Networks T. Basten M. Geilen, B.R. Haverkort, T. Hendriks, S. Stuijk - 2010 Technology and Research Roadmap for IIP Sensor Networks, Workshop proceedings, position papers, pages 27-28. Enschede, 24-25 August, 2010. IIP Sensor Networks Networks PDF
A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour S. Stuijk M.C.W. Geilen, T. Basten - 2010 Digital System Design, 13th EUROMICRO Conference, DSD 2010, Proceedings. Lille, France, 1-3 September 2010 Performance PDF
Kahn Process Networks and a Reactive Extension M.C.W. Geilen T. Basten - 2010 Handbook of Signal Processing Systems, pages 967-1006. Springer, Berlin, Germany Modeling PDF
Predicting the Throughput of Multiprocessor Applications under Dynamic Workload P. Poplavko M. Geilen, T. Basten - 2010 28th International Conference of Computer Design, ICCD 2010, Proceedings. Amsterdam, Netherlands, 3-6 October 2010 Performance / Flexibility / Evolvability PDF
Model-Driven Embedded-System Design T. Basten R. Ernst - 2010 Editorial in ACM Transactions on Embedded Computing Systems. 10(2), Article 15, 4 pages Modeling PDF
ESI Symposium Proceedings 2010 Roland Mathijssen (ed.) - 2010 ESI Report Nr. 2010–1 General PDF
Performability assessment by model checking of Markov reward models Christel Baier Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns and Joost-Pieter Katoen - 2010 Formal methods in system design, 36 (1). pp. 1-36. ISSN 0925-9856 General PDF
Computing Optimal Schedules for Battery Usage in Embedded Systems Marijn Jongerden Alexandru Mereacre, Henrik Bohnenkamp, Boudewijn Haverkort, Joost-Pieter Katoen - 2010 IEEE Transactions on Industrial Informatics, 6 (3). pp. 276-286. ISSN 1551-3203 General PDF
Evaluating Repair Strategies for a Water-Treatment Facility using Arcade Boudewijn Haverkort M. Kuntz, A. Remke, S. Roolvink, M.I.A. Stoelinga - 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), 28 June - 1 July 2010, Chicago, IL, USA. pp. 419-424. IEEE Computer Society Press. ISBN 978-1-4244-7499-8 General PDF
Performance evaluation and model checking join forces Christel Baier Boudewijn Haverkort, Holger Heemanns, Joost-Pieter Katoen - 2010 Communications of the ACM , Volume 53 , Issue 9 (September 2010) Pages: 76-85 General PDF
Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks. Anne Remke Boudewijn Haverkort, Geert J. Heijenk, Jesper Bax - 2010 MMB/DFT 2010, Lecture Notes in Computer Science 5987, Springer, pp. 168-182, 2010 General PDF
A Massively Scalable Architecture For Instant Messaging & Presence Jorrit Schippers Anne Remke, Henk Punt, Maarten Wegdam and Boudewijn Haverkort - 2010 Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling (PASM 2009) Volume 261, 22 February 2010, Pages 109-130 General PDF
A first Experimental Investigation of the Practical Efficiency of Battery Scheduling Damien Miliche Maurits de Graaf, Gerard Hoekstra, Marijn Jongerden, Boudewijn Haverkort - 2010 Proceedings Workshop on Ultra-Low Power Sensor Networks (WUPS) pp. 241-246 General PDF
Rare event simulation for highly dependable systems with fast repairs Daniel Reijsbergen Pieter-Tjerk de Boer, Werner Scheinhardt, and Boudewijn Haverkort - 2010 Proceedings of the Seventh International Conference on Quantitative Evaluation of SysTems (QEST) 2010 ; 15-18 Sep 2010, Williamsburg, Virginia General PDF
Automating the Mean-Field Method for Large Dynamic Gossip Networks Rena Bakhshi Jorg Endrullis , Stefan Endrullis, Wan Fokkink , Boudewijn Haverkort - 2010 Proceedings of the Seventh International Conference on Quantitative Evaluation of SysTems (QEST) 2010 ; 15-18 Sep 2010, Williamsburg, Virginia General PDF
Buffer Sizing for Rate-optimal Single-rate Dataflow Scheduling Revisited Orlando Moreira Twan Basten, Marc Geilen and Sander Stuijk - 2010 IEEE Transactions on Computers; February 2010, 59(2):188-201 Performance PDF
Process Algebra: Equational Theories of Communicating Processes J.C.M. Baeten T. Basten, M.A. Reniers - 2010 Cambridge Tracts in Theoretical Computer Science 50, ISBN 978-0-521-82049-3; Cambridge University Press Modeling PDF
Simultaneous Budget and Buffer Size Computation for Throughput-Constrained Task Graphs. M. Wiggers M.J.G. Bekooij, M.C.W. Geilen, T. Basten - 2010 Design, Automation and Test in Europe, DATE 2010, Proceedings. Dresden, Germany, 8-12 March, 2010 Performance PDF
Real-Time Step Motor Emulation for Hardware-in-the-Loop Simulation. A. Oceguera T. Basten, L. Somers, S. Hulsenboom - 2010 42nd Summer Computer Simulation Conference, SCSC 2010, Proceedings, pages 306-313. Ottawa, Canada, 11-14 July, 2010 Performance PDF
Error Computation for Predictable Real-Time Software Synthesis Jeroen Voeten O. Florescu, J. Huang and H. Corporaal - 2010 Transactions of the Society for Modeling and Simulation International, March 12, Simulation OnlineFirst, 2010. Invited article General PDF
A Predictable Communication Assist A. Shabbir S. Stuijk, A. Kumar, B.D. Theelen, B. Mesman and H. Corporaal - 2010 Proceedings of the International Conference on Computing Frontiers (CF), pp. 97-98, ISBN 978-1-4503-0044-5, ACM Press, 2010 Performance / Flexibility / Evolvability PDF
Change Impact Analysis – A Case Study Jorn Breivoll Gerrit Muller, and Michael Pennotti - 2010 CSER 2010 8th Conference on Systems Engineering Research March 17-19, 2010, Hoboken, NJ General PDF
Towards a framework of research methodology choices in Systems Engineering Ricardo Valerdi Samantha Brown, and Gerrit Muller - 2010 CSER 2010 8th Conference on Systems Engineering Research March 17-19, 2010, Hoboken, NJ General PDF
Causal Loop Based Change Propagation and Risk Assessment Andreas Rasmussen Gerrit Muller, and Michael Pennotti - 2010 7th European Systems Engineering Conference (EuSEC 2010). May 23 - 26, 2010. Stockholm General PDF
The Value of Systems Engineering Tools for Understanding and Optimizing the Flow and Storage of Finished Products in a Manganese Production Facility Marianne Drotninghaug Gerrit Muller, and Michael Pennotti - 2010 7th European Systems Engineering Conference (EuSEC 2010). May 23 - 26, 2010. Stockholm General PDF
Systems Engineering and Modeling at Start-Up Company Gerrit Muller - 2010 7th European Systems Engineering Conference (EuSEC 2010). May 23 - 26, 2010. Stockholm General PDF
Tutorial Roadmapping for Strategy Support Gerrit Muller - 2010 INCOSE 2010 - 1/2 day tutorial General PDF
The Concept of Reference Architectures Robert Cloutier Gerrit Muller, Dinesh Verma, Roshanak Nilchiani, Eirik Hole, and Mary Bone - 2010 Journal of Systems Engineering, Volume 13, Issue 1, 2010, Pages: 14-27 General PDF
Time-bounded reachability in tree-structured QBDs by abstraction Daniel Klink Anne Remke, Boudewijn R. Haverkort and Joost-Pieter Katoen - 2010 Performance Evaluation General PDF
System and Context Modeling -- The Role of Time-boxing and multi-view Iteration Gerrit Muller - 2009 Systems Research Forum (SRF) Volume: 3, Issue: 2(2009) pp. 139-152 General
ESI Symposium Proceedings 2009 Roland Mathijssen (ed.) - 2009 ESI Report Nr. 2009–1 General PDF
A Parameterized Compositional Multi-dimensional Multiple-choice Knapsack Heuristic for CMP Run-time Management H. Shojaei A.H. Ghamarian, T. Basten, M.C.W. Geilen, S. Stuijk. R. Hoes - 2009 46th Design Automation Conference, DAC 2009, Proceedings, p 917-922. San Francisco, California, USA, 26-31 July, 2009 System Adaptability PDF
Using Model Checkers in an Introductory Course on Operating Systems Roelof Hamberg Frits Vaandrager - 2008 Operating Systems Review 42(6):101-111 General PDF
Teach as you Preach - Lessons for process-oriented evaluation of trainings T. Punter D. Assman, D. de Haan - 2008 Spice-days 2008, iSQI General PDF
ESI Symposium Proceedings 2008 Roland Mathijssen (ed.) - 2008 ESI Report Nr. 2008–3 General PDF
An Executable Interface Specification for Industrial Embedded System Design Jinfeng Huang Jeroen Voeten, Serge Wolfs, Mark Coopmans - 2008 Proceedings of the 2008 The Eighth International Conference on Quality Software - Pages 37-44 Performance / Reliability
Scenario-Aware Dataflow B.D. Theelen M.C.W. Geilen, S. Stuijk, S.V. Gheorghita, T. Basten, J.P.M. Voeten and A.H. Ghamarian - 2008 ESR ESR-2008-08, 22 pp Performance / Reliability PDF
Quality in Model Driven Engineering T. Punter J. Voeten, J. Huang - 2008 in: J. Rech, C. Bunse (Eds), Model-Driven Software Development: Integrating Quality Assurance, Information Science Reference, August 2008, Chapter 2, pp. 37-56. General
Industry-as-Laboratory: a research format for high-tech industry? Ed Brinksma - 2008 ARTEMIS & ITEA Co-summit 2008 General PDF
High-tech systems in their environment T. Punter - 2008 Report on Incose 2008 STT2, Incose Insight, September 2008 General PDF
Right Sizing Reference Architectures; How to provide specific guidance with limited information Gerrit Muller - 2008 INCOSE Proceedings 2008 Systems Engineering
When and What to Standardize; An Architecture Perspective Gerrit Muller - 2008 INCOSE Proceedings 2008 Systems Engineering
Tutorial Measuring and Modeling System Performance Gerrit Muller - 2008 INCOSE 2008 Systems Engineering PDF
Supporting UML-based Development of Embedded Systems by Formal Techniques Jozef Hooman H. Kugler, I. Ober, A. Votintseva, Y. Yushtein - 2008 Software and Systems Modeling, Vol. 7, Nr. 2, pp. 131-155, 2008 Reliability PDF
The Impact of Independent Model Formation on Model-based Service Interoperability Teun Hendriks - 2008 7th WSEAS Int. Conf. on ARTIFICIAL INTELLIGENCE, KNOWLEDGE ENGINEERING and DATA BASES (AIKED'08), University of Cambridge, UK, Feb 20-22, 2008 General PDF
The Challenges of Embedded Systems Engineering Ed Brinksma - 2007 HSCC 2007: 3 General PDF
Formal Specification and Verification of the Intrusion-Tolerant Enclaves Protocol M. Layouni J. Hooman, S. Tahar - 2007 International Journal of Network Security, Vol. 5, No. 3, pp. 288-298, 2007, Science Publications General PDF
Integrating verification, testing, and learning for Cryptographic Protocols M. Oostdijk V. Rusu, J. Tretmans, R.G. de Vries, T.A.C. Willemse - 2007 Integrated Formal Methods – IFM 2007, Lecture Notes in Computer Science 4591, pages 538-557 General PDF
Performance analysis of a palletizing system M.F. van Amstel E. van de Plassche, R. Hamberg, M.G.J. van den Brand, J.E. Rooda - 2007 internal SE Report TU/e 2007-09 General PDF
Input-to-state stability of discontinuous dynamical systems with an observer-based control application W.P.M.H. Heemels S. Weiland, A. Lj. Juloski - 2007 Lecture Notes in Computer Science. 10th International Workshop on Hybrid Systems: Computation and Control 2007, Pisa, Italy General PDF
Abstraction Conflicts in Industrial Deployment of Model-Based Interoperability Standards Teun Hendriks Kees Wevers - 2007 CSER 2007 Reliability PDF
Semantic Models of a Timed Distributed Dataspace Architecture Jozef Hooman Jaco van de Pol - 2005 Theoretical Computer Science, Vol. 331 General PDF
Didactic Recommendations for Education in Systems Engineering Gerrit Muller - 2005 INCOSE 2005   General PDF
Industry and Academia: Why Practioners and Researchers are Disconnected Gerrit Muller - 2005 INCOSE 2005   General PDF
Tutorial Software as Integrating Technology in Complex Systems Gerrit Muller - 2005 INCOSE 2005   General PDF
Comparison of four Procedures for the Identification of Hybrid Systems Juloski, A. Heemels, W.P.M.H., Ferrari-Trecate, G. , Vidal, R. , Paoletti, S. and Niessen, J.H.G. - 2005 Proceedings of the 8th International Workshop, Hybrid Systems: Computation and Control 2005, Zurich, Switzerland. General
Infinity Norms as Lyapunov functions for model predictive control of constrained PWA systems Lazar, M. Heemels, W.P.M.W. , Weiland, S. , Bemporad, A. Pastravanu, O. - 2005 Proceedings of the 8th International Workshop, Hybrid Systems: Computation and Control 2005, Zurich, Switzerland. General
On the stability of quadratic forms based model predictive control of constrained PWA systems Lazar, M. Heemels, W.P.M.W. , Weiland, S. , Bemporad, A. - 2005 Proceedings of the American Control Conference 2005, Portland US. General
Energy management strategies for vehicular electric power systems Koot, M. Kessels, J.T.B.A. , de Jager, B. , Heemels, W.P.M.H., van den Bosch, P.P.J. , Steinbuch, M. - 2005 Journal: IEEE Transactions on Vehicular Technology, Vol. 54, No. 3. May 2005 General
A Semantics of Communicating Reactive Objects with Timing Jozef Hooman Mark van der Zwaag - 2005 STTT, Journal on Software Tools for Technology Transfer General
Switching observer design for an experimental piecewise-linear beam system A. Doris Juloski, A.Lj., Heemels, W.P.M.H., van de Wouw, N. and Nijmeijer, H. - 2005 Proceedings of the IFAC World Congress on Automatic Control 2005, Prague General
Control of PWA systems using a stable receding horizon method Necoara, I. De Schutter, B., Heemels, W.P.M.H., Weiland, S., Lazar, M. and van den Boom, T.T.J. - 2005 Proceedings of the IFAC World Congress on Automatic Control 2005, Prague General
Observer design for Lur’e systems with multi-valued mappings W.P.M.H. Heemels Juloski, A.Lj. and Weiland, S. - 2005 Proceedings of the IFAC World Congress on Automatic Control 2005, Prague General
AGORA-C on-the-fly location referencing Kees Wevers Teun Hendriks - 2005 12th World Congress on ITS, San Francisco, 6-10 November 2005 Paper 2008 General
Real Time Optimization of Active Cruise Control with Map Data Using a Standardized Interface J.P. Loewenau W. Richter, C. Urbanczik, L. Beuk, T. Hendriks, R. Pichler, K. Artmann - 2005 12th World Congress on ITS, San Francisco, 6-10 November 2005 Paper 2015 General
CAFCR: A Multi-view Method for Embedded Systems Architecting; Balancing Genericity and Specificity Gerrit Muller - 2004 PhD Thesis General PDF
Experiences of Teaching Systems Architecting Gerrit Muller - 2004 Proc. of INCOSE 2004, Toulouse General PDF
Correct Development of Embedded Systems Susanne Graf Jozef Hooman - 2004 Proc. of the First European Workshop on Software Architecture (EWSA 2004) General PDF
On the controllability of bimodal piecewise linear systems. M.K. Camlibel Heemels, W.P.M.H. and Schumacher, J.M. - 2004 Proceedings Hybrid Systems: Computations and Control 2004, Philadelphia. Springer Lecture Notes in Computer Science No. 2993. p. 250-264. General
Deductive Verification of UML Models in TLPVS Tamarah Arons Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag - 2004 Proceedings UML 2004, LNCS 3273 General PDF
The complementarity class of hybrid dynamical systems W.P.M.H. Heemels Brogliato, B. - 2003 European Journal of Control, Volume 9, p. 322-360. Special Issue related to the European Control Conference 2003 in Cambridge, U.K. General
Modelling, well-posedness and stability of switched electrical networks W.P.M.H. Heemels Camlibel, M.K., van der Schaft, A.J. and Schumacher, J.M. - 2003 Proceedings Hybrid Systems: Computations and Control 2003, Prague. Springer Lecture Notes in Computer Science No. 2623. p. 249-266 General
Early fault detection in industry using models at various abstraction levels Jozef Hooman Arjan Mooij, Hans van Wezep Allegio 2012 Proceedings of the conference on Integrated Formal Methods, LNCS 7321, pages 268--282, 2012 Modeling PDF
Parallel Object-Oriented Specification Language Oana Florescu Jeroen Voeten, Bart Theelen, Marc Geilen, Henk Corporaal Artist 2008 ARTIST Survey of Programming Languages - Alan Burns (Editor) Performance / Reliability PDF
Embedded Systems in Healthcare Pierre America Artist 2008 ArtistDesign Workshop 2008, Rome General PDF
Demonstrating On-demand Listening and Data Forwarding in Wireless Body Area Networks Majid Nabi Marc Geilen, Twan Basten Alwen 2012 Sensor, Mesh and Ad Hoc Communications and Networks, 9th IEEE Communications Society Conference, SECON 2012, Proceedings. Seoul, Korea, 18-21 June 2012 Networks PDF
On-Demand Data Forwarding for Automatic Adaptation of Data Propagation in WBANs Majid Nabi Marc Geilen, Twan Basten Alwen 2012 Sensor, Mesh and Ad Hoc Communications and Networks, 9th IEEE Communications Society Conference, SECON 2012, Proceedings. Seoul, Korea, 18-21 June 2012 Networks PDF
Fast Sink Placement for Gossip-based Wireless Sensor Networks M. Blagojevic M.C.W. Geilen, T. Basten, T. Hendriks Alwen 2012 31st IEEE International Performance Computing and Communications Conference, IPCCC 2012, Proceedings, pages 110-119. Austin, Texas, USA, 1-3 December 2012 Networks PDF
Finalised models and security guidelines Milos Blagojevic Majid Nabi, Marc Geilen, Twan Basten, Chris Schade, Svetla Nikova, Teun Hendriks (editor) Alwen 2011 ALwEN project deliverable D2.4 Networks
Refined models and security guidelines as deployed in ALwEN experiment 2 Milos Blagojevic Twan Basten, Chris Schade, Svetla Nikova, Teun Hendriks (editor) Alwen 2011 ALwEN project deliverable D2.3 Networks
Dynamic Data Prioritization for Quality-of-Service Differentiation in Heterogeneous Wireless Sensor Networks Majid Nabi Milos Blagojevic, Marc Geilen, Twan Basten Alwen 2011 Sensor, Mesh and Ad Hoc Communications and Networks, 8th IEEE Communications Society Conference, SECON 2011, Proceedings, pages 217-225. Salt Lake City, Utah, USA Networks PDF
MoBAN: A Configurable Mobility Model for Wireless Body Area Networks Majid Nabi Marc Geilen, and Twan Basten Alwen 2011 In 4th International Conference on Simulation Tools and Techniques, SIMUTools 2011, Proceedings, Barcelona, Spain, 21-25 March, 2011 Networks PDF Best Student Paper Award
A Probabilistic Acknowledgment Mechanism for Wireless Sensor Networks Milos Blagojevic Majid Nabi, Marc Geilen, Twan Basten, Teun Hendriks, Marcel Steine Alwen 2011 6th IEEE International Conference on Networking, Architecture, and Storage, NAS 2011, Dalian, Liaoning, China Networks PDF
A Robust Protocol Stack for Multi-hop Wireless Body Area Networks with Transmit Power Adaptation M. Nabi M. Blagojevic, T. Basten, M. Geilen, T. Hendriks Alwen 2010 Proc. Fifth International Conference on Body Area Networks, ACM Networks PDF
An Optimized Medium Access Control Protocol for Mobile Clusters in Wireless Sensor Networks M. Nabi M. Blagojevic, T. Basten, M. Geilen, T. Hendriks Alwen 2010 Proc. IEEE Secon 2010 Networks
Chamaeleon - Exploiting Multiple Channels to Mitigate Interference V. Iyer M. Woehrle and K.G. Langendoen Alwen 2010 7th Int. Workshop on Networked Sensing Systems (INSS 2010) Networks PDF
Transitive Signature from LFSR Zheng Gong Weidong Qiu, Zheng Huang and Kefei Chen Alwen 2010 Journal of Information Science and Engineering. 2010 Networks
Fast Simulation Methods to Predict Wireless Sensor Network Performance M. Blagojevic M. Nabi, T. Hendriks, T. Basten, M. Geilen Alwen 2009 6th ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, PE-WASUN 2009, Proceedings,. Tenerife, ACM, 2009. ISBN 978-1-60558-618-2, A. Boukerche, I. Guerin-Lassous, S. Olariu, editors Networks PDF
Configuring Multi-Objective Evolutionary Algorithms for Design-Space Exploration of Wireless Sensor Networks M. Nabi M. Blagojevic, T. Basten, M. Geilen, T. Hendriks Alwen 2009 In 4th ACM International Workshop on Performance Monitoring, Measurement and Evaluation of Heterogeneous Wireless and Wired Networks, PM2HW2N 2009, ACM, 2009. ISBN 978-1-60558-621-2 Networks PDF
Exploring a WSN Design Space using Genetic Algorithms M. Nabi M. Blagojevic, T. Basten, M. Geilen, T. Hendriks Alwen 2009 5th International Summer School on Advanced Computer Architecture and Compilation for Embedded Systems, ACACES 2009, Poster abstracts, pages 327-328. HiPEAC Network of Excellence, Ghent, Belgium, 2009. ISBN 978 90 382 1467 2 Networks PDF
Towards Secure and Practical MACs for Body Sensor Networks Z. Gong P. Hartel, S. Nikova and B. Zhu Alwen 2009 Indocrypt 2009, LNCS 5922, Springer, Dec 2009 Networks PDF
Formal Semantics of a VDM Extension for Distributed Embedded Systems Jozef Hooman Marcel Verhoef Boderc 2010 de Roever Festschrift, LNCS 5930, pp. 142–161 ; Springer-Verlag, Berlin Heidelberg System Performance PDF
Proving Consistency of VDM models using HOL Sander D. Vermolen Jozef Hooman, Peter Gorm Larsen Boderc 2010 Proceedings of the 25th Symposium On Applied Computing (SAC’10), pp. 2503-2510; ACM System Performance PDF
Proving Consistency of VDM models using HOL Sander D. Vermolen Jozef Hooman, Peter Gorm Larsen Boderc 2009 Technical report: ICIS-R09006 ; Radboud University Nijmegen System Performance PDF
Patterns for Automatic Generation of Soft Real- Time System Models O. Florescu J. Voeten, B. Theelen and H. Corporaal Boderc 2009 Simulation - Transactions of the Society for Modeling and Simulation International, special issue on Multi-Paradigm Modeling: Concepts and Tools. Invited article System Performance PDF
Error Computation for Predictable Real-Time Software Synthesis J. Voeten O. Florescu, J. Huang and H. Corporaal Boderc 2009 Simulation - Transactions of the Society for Modeling and Simulation International. Invited article System Performance
Modeling and Validating Distributed Embedded Real-Time Control Systems Marcel Verhoef Boderc 2009 PhD Thesis System Performance PDF
Formal Semantics of a VDM Extension for Distributed Embedded Systems Jozef Hooman Marcel Verhoef Boderc 2009 Technical report: ICIS-R09005 ; Radboud University Nijmegen System Performance PDF
Control over Communication Networks: Modeling, Analysis, and Synthesis M.B.G. Cloosterman Boderc 2008 PhD Thesis System Performance PDF
Stability of Networked Control Systems with Large Delays Marieke Cloosterman Nathan van de Wouw, Maurice Heemels, Henk Nijmeijer Boderc 2007 Proceedings of the 46th IEEE Conference on Decision and Control, New Orleans (2007) System Performance PDF
Tracking Control for Networked Control Systems Nathan van de Wouw Payam Naghshtabrizi, Marieke Cloosterman, Joao Pedro Hespanha Boderc 2007 Proceedings of the 46th IEEE Conference on Decision and Control, New Orleans (2007) System Performance PDF
Case studies in event-driven control Heico Sandee Heemels, W.P.M.H. and van den Bosch, P.P.J. Boderc 2007 Lecture Notes in Computer Science 4416. 10th International Workshop on Hybrid Systems: Computation and Control 2007, Pisa, Italy System Performance PDF
Predictable Design for Real-Time Systems Oana Florescu Boderc 2007 PhD Thesis System Performance PDF
Sheet Feedback Control Design in a Printer Paper Path Björn Bukkems Boderc 2007 PhD Thesis System Performance PDF
Event-Driven Control in Theory and Practice - Trade-offs in software and control performance Heico Sandee Boderc 2007 PhD Thesis System Performance PDF
Effective industrial modeling for high-tech systems: The example of Happy Flow Jan Beckers Maurice Heemels, Björn Bukkems, Gerrit Muller Boderc 2007 INCOSE System Performance PDF
A Model-Driven Approach to Embedded Control System Implementation Jan Broenink Marcel Groothuis, Peter Visser, Bojan Orlic Boderc 2007 2007 Western Multiconference on Computer Simulation WMC 2007 System Performance PDF
Co-simulation of Distributed Embedded Real-Time Control Systems Marcel Verhoef Peter Visser, Jozef Hooman, Jan Broenink Boderc 2007 Integrated Formal Methods (IFM) 2007, Lecture Notes in Computer Science 4591, pages 639-658 System Performance
Five Years of Multi-Disciplinary Academic and Industrial Research: Lessons Learned Gerrit Muller Maurice Heemels Boderc 2007 Conference on System Engineering Research (CSER) 2007 System Performance PDF
Interpreting Distributed System Architectures with VDM++, a case study Marcel Verhoef Peter Gorm Larsen Boderc 2007 Conference on System Engineering Research (CSER) 2007 System Performance PDF
Modeling of hardware software performance of high-tech systems Peter v.d. Bosch Marcel Verhoef, Gerrit Muller, Oana Florescu Boderc 2007 INCOSE System Performance PDF
Modelling and Distributed Controller Design of the BodeRC Paper-path Setup Frank Ambrosius Boderc 2007 MSc thesis. UT EEMCS / Control engineering System Performance PDF
Model-Driven Design of Real-Time Systems Oana Florescu Boderc 2007 14th ASCI Computing Workshop (GNARP), Garderen System Performance Best Presentation Award
A Piecewise Linear Approach towards Sheet Control in a Printer Paper Path Björn Bukkems René van de Molengraft, Maurice Heemels, Nathan van de Wouw, Maarten Steinbuch Boderc 2006 ACC System Performance PDF
Robust Piecewise Linear Sheet Control in a Printer Paper Path Björn Bukkems Jeroen de Best, René van de Molengraft, Maarten Steinbuch Boderc 2006 ADHS System Performance PDF
On the Systematic use of Budget Based Design Hennie Freriks Maurice Heemels Boderc 2006 INCOSE System Performance PDF
Threads of Reasoning: a case study in printer control Heico Sandee Maurice Heemels Boderc 2006 INCOSE System Performance PDF
Analysis and experimental validation of processor load for event-driven controllers Heico Sandee Peter Visser, Maurice Heemels Boderc 2006 CCA System Performance PDF
Robust stability of networked control systems with time-varying network-induced delays Marieke Cloosterman Nathan van de Wouw, Maurice Heemels, Henk Nijmeijer Boderc 2006 CDC System Performance PDF
A multi-disciplinary and model-based design methodology for high-tech systems W.P.M.H. Heemels Evert van de Waal, Gerrit Muller Boderc 2006 CSER System Performance PDF
Practical stability of perturbed event-driven controlled linear systems W.P.M.H. Heemels Heico Sandee Boderc 2006 ACC System Performance PDF
The Use of the Keydriver Technique in the Design of Copiers W.P.M.H. Heemels Lou Somers, Peter van den Bosch, Zhaorui Yuan, Berry van der Wijst, Adriaan van den Brand, Gerrit Muller Boderc 2006 Proceedings ICSSEA System Performance PDF
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ Marcel Verhoef Peter Gorm Larsen, Jozef Hooman Boderc 2006 Formal Methods (FM) 2006, LNCS 4085, pages 147-162 System Performance PDF
On the use of VDM++ for specifying Real-Time Systems Marcel Verhoef Boderc 2006 Technical report:Towards Next Generation Tools for VDM: Contributions fo the First International Overture Workshop, CS-TR 969 System Performance PDF
System Architecture Evaluation Using Modular Performance Analysis- a case study E. Wandeler Lothar Thiele, Marcel Verhoef, Pieter Lieverse Boderc 2006 STTT (Isola journal) System Performance PDF
Timed Automata Based Analysis of Embedded System Architectures Marcel Verhoef Martijn Hendriks Boderc 2006 Workshop on Parallel and Distributed Real-Time Systems (WPDRTS) 2006 System Performance PDF
Performance Modelling and Analysis Using POOSL for an In-Car Navigation System Oana Florescu Menno de Hoon, Jeroen Voeten, Henk Corporaal Boderc 2006 Book: Proceedings of the 12th Annual Conference of the Advanced School for Computing and Imaging (ASCI) System Performance PDF
Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems Oana Florescu Menno de Hoon, Jeroen Voeten, Henk Corporaal Boderc 2006 Book:Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS VI) System Performance PDF
Property-Preservation Synthesis for Unified Control- and Data-Oriented Models Oana Florescu Jeroen Voeten, Henk Corporaal Boderc 2006 Book: Applications of Specification and Design Languages for SoCs System Performance PDF
Reusing Real-Time Systems Design Experience Through Modelling Patterns Oana Florescu Jeroen Voeten, Marcel Verhoef, Henk Corporaal Boderc 2006 FDL - ECSI, 2006 System Performance PDF Best Paper Award
Strengthening Property Preservation in Concurrent Real-Time Systems Oana Florescu Jinfeng Huang, Jeroen Voeten, Henk Corporaal Boderc 2006 Book:Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) System Performance PDF
A Clock Synchronization Skeleton Based on RTAI. Yang Huang Peter Visser, Jan Broenink Boderc 2006 8th Real-Time Linux Workshop System Performance PDF
Controller and Plant System Design Trajectory Peter Visser Jan Broenink Boderc 2006 CACSD System Performance PDF
Clock synchronization using real-time CAN Yang Huang Boderc 2006 MSc thesis. UT EEMCS / Control engineering System Performance PDF
On the verification of real-time distributed embedded control systems Erik Oosterom Boderc 2006 MSc thesis. UT EEMCS / Control engineering System Performance PDF
A case study of multi-disciplinary modeling using MATLAB / Simulink and TrueTime Evert vd Waal Peter van den Bosch Boderc 2005 INCOSE System Performance PDF
Do useful Multi-Domain Methods Exist? Gerrit Muller Boderc 2005 CSER System Performance PDF
Event Driven Control as an opportunity in the Multidisciplinary Development of Embedded Controllers Heico Sandee Boderc 2005 ACC System Performance PDF
Predictability in real time systems development Jinfeng Huang Jeroen Voeten, Oana Florescu, P.H.A. van der Putten, Henk Corporaal Boderc 2005 Book: Advances in Design and Specification Languages for SoCs System Performance PDF
Property-Preservation Synthesis for Unified Control- and Data-Oriented Models Oana Florescu Jeroen Voeten, Henk Corporaal Boderc 2005 FDL System Performance PDF Best Poster Award
Hard Real-Time Networking on Firewire Z. Yuchen Peter Visser, Jan Broenink Boderc 2005 7th Real-Time Linux Workshop System Performance PDF
Performance Analysis of Distributed Real-Time Embedded Systems Menno de Hoon Boderc 2005 MSc thesis. TU/e Electrical Engineering / Electronic Systems System Performance PDF
Analysis of varying sampling frequency in controller algorithms Maurice Snoeren Boderc 2005 MSc thesis. TU/e Electrical Engineering / Control Systems System Performance PDF
PC104 stack mechatronic control platform Erik Buit Boderc 2005 MSc thesis. TU/e Electrical Engineering / Control Systems System Performance PDF
Mechatronic setup for Boderc project M. Otto Boderc 2005 MSc thesis. TU/e Electrical Engineering / Control Systems System Performance PDF
Real-Time Network for Distributed Control Yuchen Zhang Boderc 2005 MSc thesis. TU/e Electrical Engineering / Control Systems System Performance PDF
Multi-disciplinary modelling of dynamic embedded systems Björn Bukkems Heico Sandee, Jan Beckers, Zhaorui Yuan, Berry van der Wijst Boderc 2004 Mechatronics and Robotics System Performance PDF
Coupling Simulink and UML models Jozef Hooman Nataliya Mulyar, Ladislau Posta Boderc 2004 FORMS/FORMATS System Performance PDF
A Unified Model for Analysis of Real-Time Properties Oana Florescu Jeroen Voeten, Henk Corporaal Boderc 2004 ISOLA 04 System Performance PDF
Error-Estimation in Model-Driven Development for Real-Time Software Oana Florescu Jeroen Voeten, J. Huang, Henk Corporaal Boderc 2004 FDL'04 System Performance PDF
FPGAs as versatile configurable I/O devices in Hardware-in-the-Loop Simulation Peter Visser Marcel Groothuis, Jan Broenink Boderc 2004 RTSS'04 System Performance PDF
Multi-Disciplinary Design Support using Hardware-in-the-Loop Simulation Peter Visser Marcel Groothuis, Jan Broenink Boderc 2004 Progress System Performance PDF
Distributed HIL simulation for BodeRC Marcel Groothuis Boderc 2004 MSc thesis. TU/e Electrical Engineering / Control Systems System Performance
Connecting Technical and Non-Technical Views of System Architectures Li Li Jozef Hooman, and Jeroen Voeten Care4Me 2010 Proceedings of the 3rd IEEE/ACM International Conference on Cyber, Physical and Social Computing (CPSCom2010), pages 592-600 Modeling PDF
CARM 2G: Model based design, analysis and initialization of Twinscan servo controllers R. Schiffelers C. van Huët, N. Gidalov, W. Alberts, J. Voeten, B. Theelen, J. van de Ven, W. Tabingh Suermondt Carm 2G 2012 13th ASML Technology Conference, Veldhoven, The Netherlands, 2012 Performance / Flexibility / Evolvability
Model-based specification, analysis and synthesis of servo controllers for lithoscanners R. Schiffelers W. Alberts, J. Voeten Carm 2G 2012 proceedings of 6th International Workshop on Multi-Paradigm Modeling (MPM'12) October 1, 2012 Innsbruck, Austria Performance / Flexibility / Evolvability PDF
Modelgebaseerd ontwerp van regelaars in lithoscanners R. Schiffelers W. Alberts, J. Voeten Carm 2G 2012 Bits&Chips 4 ; pages: 34-37 ; 2012 Performance / Flexibility / Evolvability
Model-driven engineering for litho scanners J. Voeten R. Schiffelers, W. Alberts, B. Theelen Carm 2G 2012 Invited presentation ICTDelta 2012; Rotterdam, The Netherlands; 2012 Performance / Flexibility / Evolvability
Frequency domain based performance optimization of systems with static nonlinearities David Rijlaarsdam Condor 2012 PhD Thesis Evolvability PDF
Complementary Verification of Embedded Software using ASD and Uppaal Richard Doornbos Jozef Hooman, Bernard van Vlimmeren Condor 2012 8th International Conference on Innovations in Information Technology (Abu Dhabi, 18-20 March, 2012) Evolvability PDF
Automaded Focusing and Astigmatism Correction in Electron Microsopy M. Rudnaya Condor 2011 PhD Thesis Evolvability PDF
Introducing Measure-by-Wire, the Systematic Use of Control Theory in Transmission Electron Microscopy A. Tejada A.J. den Dekker, W. van den Broek Condor 2011 Ultramicroscopy Evolvability PDF
Towards an adaptive minimum variance control scheme for specimen drift compensation in Transmission Electron Microscopes A. Tejada P. Vos, A.J. den Dekker Condor 2011 7th International Workshop on Multidimensional (nD) Systems (nDS11) Evolvability PDF
Exploring different inelastic projection mechanisms for electron tomography B. Goris S. Bals, W. Van den Broek, J. Verbeeck, G. Van Tendeloo Condor 2011 Ultramicroscopy Evolvability PDF
Stability and Performance Analysis of Dual-Random-Rate Systems via Markov Jump Linear System Theory A. Tejada J.R. Chavez-Fuentes, P. Vos Condor 2011 50th Conference on Decision and Control Evolvability PDF
POEM_Defocus Polar Rose Estimation Method - a fast defocus estimation method for STEM A. Tejada A. den Dekker Condor 2011 Proc. 2011 IEEE International Instrumentation and Measurement Technology Conference, Binjiang, Hangzhou, China, 2011, pp. 1228-1232 Evolvability PDF
The Role of Poisson’s Binomial Distribution in the Analysis of TEM Images A. Tejada A. den Dekker Condor 2011 Ultramicroscopy Evolvability PDF
Electron tomography based on a total variation minimization reconstruction technique B. Goris W. Van den Broek, K.J. Batenburg, S. Bals Condor 2011 Ultramicroscopy Evolvability PDF
A derivate-based fast autofocus method in electron microscopy M. Rudnaya R. Mattheij, J. Maubach, H. ter Morsche Condor 2011 J Math Imaging Vis Evolvability PDF
Orientation identification of the power spectrum M. Rudnaya R. Mattheij, J. Maubach, H. ter Morsche Condor 2011 Opt. Eng. 50, 103201 (Sep 29, 2011) Evolvability PDF
A New Method for Defocus and Astigmatism Correction in Electron Microscopy M. Rudnaya W. Van den Broek, R. Doornbos, S. Kho, R. Mattheij, J. Maubach, Condor 2011 Microscopy and Microanalysis, 17 (Suppl. 2) 528-529 Evolvability PDF
Gradient-based sharpness function M. Rudnaya J. Maubach, R. Mattheij Condor 2011 Engineering Mathematics Congress (http://www.iaeng.org/WCE2011/ICAEM2011.html) Evolvability PDF
A practical method to determine the effective resolution in incoherent experimental electron tomography H.H. Mezerji W. Van den Broek, S. Bals Condor 2011 Journal Ultramicroscopy 111 (2011) 330–336 Evolvability PDF
Architecture Level Modelling and Analysis - Support for Software Performance: Parallelism Viewpoint and Composite Flows N. Muhammad Condor 2011 PhD Thesis System Performance PDF
Control of Dynamics and Hysteresis in Electromagnetic Lenses P.J. van Bree Condor 2011 PhD Thesis System Performance PDF
Fe3Nb3N precipitates of the Fe3W3C type in Nb stabilized ferritic stainless steel A. Malfliet W. Van den Broek, F. Chassagne, J.-D. Mithieux, B. Blanpain, P. Wollants Condor 2010 Journal of Alloys and Compounds (2010) Evolvability PDF
Spectral analysis of nonlinear systems and higher order sinusoidal input describing functions D. Rijlaarsdam P. Nuij, J. Schoukens, M. Steinbuch Condor 2010 Automatica 2010 Evolvability PDF
Spectral Analysis of Block Structured non linear systems D. Rijlaarsdam P. Nuij, J. Schoukens, M. Steinbuch Condor 2010 IFAC World Congress 2011 Evolvability PDF
Frequency Domain Based Friction Compensation - Industrial Application to Transmission Electron Microscopes D. Rijlaarsdam P. Nuij, J. Schoukens, M. Steinbuch Condor 2010 Proceedings of American Control Conference Evolvability PDF
Frequency Domain Based Nonlinear Feed Forward Control Design for Friction Compensation D. Rijlaarsdam P. Nuij, J. Schoukens, M. Steinbuch Condor 2010 Mechanical Systems and Signal Processing, 27(2) Evolvability PDF
Throughput maximization of particle radius measurements through balancing size versus current of the electron probe W. Van den Broek S. Van Aert, P. Goos, D. Van Dyck Condor 2010 Ultramicroscopy (2010) doi:10.1016/j.ultramic.2010.11.025 System Performance PDF
Electron Microscopy Experiments Concerning Hysteresis in the Magnetic Lens System P.J. van Bree C.M.M. van Lierop, P.P.J. van den Bosch Condor 2010 IEEE Multi-conference on Systems and Control Yokohama, Japan System Performance PDF
Feed Forward Initialization of Hysteretic Systems P.J. van Bree C.M.M. van Lierop, P.P.J. van den Bosch Condor 2010 IEEE Conference on Decision and Control, Atlanta (G, USA), 15 -17 December, 2010 System Performance PDF
Using The Parallelism Viewpoint to Optimize the Use of Threads in Parallelism-Intensive Software Systems N. Muhammad N. Boucke and Y. Berbers Condor 2010 IEEE International Conference on Software and Computing Technology (ICSCT 2010), October, 2010 System Performance PDF
A Parallelism Viewpoint to Analyze Performance Bottlenecks of Parallelism-Intensive Software Systems N. Muhammad N. Boucke and Y. Berbers Condor 2010 6th Central and Eastern European Software Engineering Conference, Moscow, Russia October, 2010 System Performance PDF
Model-Based Enhancement of Software Performance for Precision Critical Systems N. Muhammad N. Boucke and Y. Berbers Condor 2010 ECSA 2010 Doctoral Symposium, Copenhagen, Denmark, 2010 System Performance PDF
Nonlinearities in Industrial Motion Stages - Detection and Classification D.J. Rijlaarsdam S.J.L.M. van Loon, P.W.J.M. Nuij, M. Steinbuch Condor 2010 American Control Conference (ACC 2010), pp. 6644-6649, 2010 System Performance PDF
Frequency domain based feed forward tuning for friction compensation D. Rijlaarsdam V. v. Geffen, P.W.J.M. Nuij, J. Schoukens, M. Steinbuch Condor 2010 ASPE 2010 Spring Topical Meeting - Control of Precision Systems, Massachusetts Institute of Technology, Boston (MA, United States), pp 129 – 134, 2010 System Performance PDF
Evaluating sharpness functions for automated scanning electron microscopy M.E. Rudnaya R.M.M. Mattheij, J.M.L. Maubach Condor 2010 Journal of Microscopy, 240(1), 38-49, 2010 System Performance PDF
Derivative-free optimization for autofocus and astigmatism correction in electron microscopy M. Rudnaya S.C. Kho, R.M.M. Mattheij, J.M.L. Maubach Condor 2010 Proceedings of the 2nd International Conference on Engineering Optimization (EngOpt 2010, Lisbon, Portugal, September 6-9, 2010) System Performance PDF
Derivative-based image quality measure for autofocus in electron microscopy M. Rudnaya R.M.M. Mattheij, J.M.L. Maubach Condor 2010 CASA Report No. 10-42, Eindhoven System Performance PDF
Derivative-free optimization for autofocus and astigmatism correction in electron microscopy M. Rudnaya S.C. Kho, R.M.M. Mattheij, J.M.L. Maubach Condor 2010 CASA Report No. 10-34, Eindhoven System Performance PDF
Defocus and two-fold astigmatism correction in HAADF-STEM M. Rudnaya W. van den Broek, R. Doornbos, R.M.M. Mattheij, J.M.L. Maubach Condor 2010 Ultramicroscopy 2011 & CASA-Report 10-09, February 2010 System Performance PDF
On Hysteresis in Magnetic Lenses of Electron Microscopes P.J. van Bree C.M.M. van Lierop, P. P. J. van den Bosch Condor 2010 Proc. IEEE Int. Symposium on Industrial Electronics ISIE 2010. Bari, Italy: IEEE System Performance
Architecture-Driven Development of Embedded Systems with ACOL D. Langsweirdt Nelis Bouck´e, Yolande Berbers Condor 2010 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops System Performance PDF
Embedded Systems with AADL: A Practical Study N.Muhammad Y. Vandewoude, Y. Berbers, S. van Loo Condor 2010 Chapter in: Advanced Technologies book, by IN-TECH publishers, 2010 System Performance PDF
A Model Based Reconstruction Technique for Depth Sectioning with Scanning Transmission Electron Microscopy W. van den Broek S. van Aert, D. van Dyck Condor 2010 Ultramicroscopy, Volume 110, Issue 5, April 2010, Pages 548-554 System Performance PDF
Towards automatic control of scanning transmission electron microscopes A. Tejada Ruiz S.W. van der Hoeven, A. J. den Dekker, P.M.J. van den Hof Condor 2009 Proceedings IEEE Multi-Conference on Systems and Control (CCA 2009) System Performance PDF
New Robust Stability and Stabilization Conditions for Linear Repetitive Processes W. Paszke O. Bachelier Condor 2009 Proceedings of 6th International Workshop on Multidimensional (nD) Systems System Performance PDF
Modeling Composite End-to-End flows with AADL N.Muhammad Y. Vandewoude, Y. Berbers, S. van Loo Condor 2009 Proceedings of STANDRTS workshop on Euromicro Conference on Real-Time Systems (ECRTS 09) System Performance PDF
Towards STEM Control: Modeling Framework and Development of a Sensor for Defocus Control A. Tejada Ruiz W. Van den Broek, S.W. van der Hoeven, A.J. den Dekker Condor 2009 Proceedings of Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference System Performance PDF
Dissipative stability theory for linear repetitive processes with application in iterative learning control W. Paszke P. Rapisarda, E. Rogers, M. Steinbuch Condor 2009 Proceedings of Symposium on Learning Control at IEEE CDC 2009 System Performance PDF
Control-oriented hysteresis models for magnetic electron lense P.J. van Bree C. M. M. van Lierop, P. P. J. van den Bosch Condor 2009 IEEE Transactions on Magnetics System Performance PDF
A model based atomic resolution tomographic algorithm W. van den Broek S. Van Aert, D. Van Dyck Condor 2009 Ultramicroscopy 109 System Performance PDF
Towards Intelligent Tool-Support for AADL Based Modeling of Embedded Systems D. Langsweirdt Y. Vandewoude, Y. Berbers Condor 2009 Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009) ; S. Van Baelen et al (Eds.) System Performance PDF
Model based tomography in high resolution HAADF STEM W. van den Broek S. van Aert, D. van Dyck Condor 2009 Proceedings of Microscopy Conference System Performance PDF
Scanning Electron Microscopy: Power Spectrum Analysis M.E. Rudnaya J.M.L. Maubach, R.M.M. Mattheij Condor 2009 Proceedings of Microscopy Conference System Performance PDF
Iterative Learning Control by Linear Repetitive Processes Theory W. Paszke Condor 2009 Proceedings of the 28th Benelux Meeting on Systems and Control System Performance PDF
Characterization of hysteresis within magnetic electron lenses P.J. van Bree C.M.M. van Lierop, P.P.J. van den Bosch Condor 2009 28th Benelux Meeting on Systems and Control System Performance PDF
Towards automatic control of scanning transmission electron microscopes: system identification issues A. Tejada Ruiz Condor 2009 28th Benelux Meeting on Systems and Control System Performance PDF
Iterative Autofocus Algorithms for Scanning Electron Microscopy M. Rudnaya J.M.L. Maubach, R.M.M. Mattheij Condor 2009 Microscopy & Microanalysis 2009 System Performance PDF
Observer Development for Automatic STEM closed-control loop A. Tejada Ruiz A.J. den Dekker Condor 2009 Microscopy & Microanalysis 2009 System Performance PDF
Alignment Control of STEM: a Ronchigram Based Approach S. van der Hoeven A.J. den Dekker Condor 2009 Microscopy & Microanalysis 2009 System Performance PDF
Dynamics of magnetic electron lenses P.J. van Bree Condor 2008 27th Benelux Meeting on Systems and Control System Performance PDF
Supporting Architecture Evolution by Mining Software Repositories Adam Vanya Darwin 2012 PhD Thesis Evolvability PDF
Optimization of duty cycles in Magnetic Resonance Systems Evgeniy Nikolaevich Ivanov Darwin 2012 PhD Thesis Evolvability PDF
Architecture centric model based product development_Mechatronics Keynote T. Tomiyama Darwin 2012 Mechatronics Conference 2012, Linz Evolvability PDF
Balancing time-to-market and quality in embedded systems P. van der Spek C. Verhoef Darwin 2012 Systems Engineering van INCOSE (Volume 17 Number 1 van 2014) Evolvability PDF
Special Issue: Evolvability of complex systems Pierre America Piërre van de Laar, Gerrit Muller Darwin 2012 Advanced Engineering Informatics, Vol. 26, Iss. 3, pp. 477, August 2012 Evolvability PDF
Experiences in evolvability research Pierre America Piërre van de Laar, Gerrit Muller Darwin 2012 Advanced Engineering Informatics, Vol. 26, Iss. 3, pp. 478-486, August 2012 Evolvability PDF
A retrospective analysis of Teletext: An interoperability standard evolving already over 30 years Piërre van de Laar Teun Hendriks Darwin, Trader 2012 Advanced Engineering Informatics, Vol. 26, Iss. 3, pp. 516-528, August 2012 Evolvability PDF
Architecture-centric design approach for multi-disciplinary product development A.A. Alvarez Cabrera . Komoto, T.J. van Beek, T. Tomiyama Darwin 2012 Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AI EDAM) PDF
Making function modeling practically usable T. Tomiyama T.J. van Beek, Y. Komoto, A.A. Alvarez Cabrera Darwin 2012 Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AI EDAM) PDF
Structured workflow approach to support evolvability T.J. van Beek T. Tomiyama Darwin 2012 Advanced Engineering Informatics Evolvability PDF
Improving evolvability of a patient communication control system using state-based supervisory control synthesis R.J.M. Theunissen D.A. van Beek, J.E. Rooda Darwin 2012 Advanced Engineering Informatics Evolvability PDF
A top-down approach to construct execution views of a large software intensive system: an experience report T. Callo Arias P. Avgeriou, P. America, K. Blom, S. Bachynskyy Darwin 2011 J. Softw. Maint. Evol.: Res. Pract. (2011) Evolvability PDF
Execution Architecture Views - For Evolving Software-Intensive Systems Trosky Callo Darwin 2011 PhD Thesis Evolvability PDF
Strategy-focused architecture investment decisions Ana Ivanovic Darwin 2011 PhD Thesis Evolvability PDF
Wanneer hebben we genoeg getest? P. van der Spek C. Verhoef Darwin 2011 Informatie_Magazine , Februari 2011 Evolvability PDF
Defining and documenting execution viewpoints for a large and complex software-intensive system T. Callo P. America, P. Avgeriou Darwin 2011 Journal of Science of Computer Programming, 2011 Evolvability PDF
A top-down strategy to reverse architecting execution views for a large and complex software-intensive system: An experience report T. Callo P. Avgeriou, P. America, K. Blom, S. Bachynskyy Darwin 2011 Journal of Science of Computer Programming Evolvability PDF
Managing software evolution in embedded systems P. van der Spek Darwin 2010 PhD Thesis Evolvability PDF
A3 Architecture overviews - A tool for effective communication in product evolution D. Borches Darwin 2010 PhD Thesis Evolvability PDF
A3 Architecture Overviews - Focusing architectural knowledge to support evolution of complex systems D. Borches G.M. Bonnema Darwin 2010 Proceedings of 20th Annual International Symposium of International Council on System Engineering (INCOSE), 2010 Evolvability PDF
Documenting a Catalog of Viewpoints to Describe the Execution Architecture of a Large Software-Intensive System for the ISO/IEC 42010 Standard T. Callo P. Avgeriou, P. America Darwin 2010 Technical Report Evolvability PDF
System and Context Modeling; Visualizations of Where, When and How G. Muller Darwin 2010 Proceedings INCOSE 2010 Evolvability PDF
Applying a dynamic threshold to improve cluster detection of LSI P. van der Spek S. Klusener Darwin 2010 Science of Computer Programming, Volume 76, Issue 12, 1 December 2011, Pages 1261–1274 - Special Issue on Software Evolution, Adaptability and Variability Evolvability PDF
Resolving Structural Issues Through Interactive Exploration of Co-evolving Software Entities A. Vanya R. Premraj, H. van Vliet Darwin 2010 Science of Computer Programming (SCP) Evolvability
Views on Evolvability of Embedded Systems P. van de Laar T. Punter Darwin 2010 Springer series Embedded Systems, Vol. 0; 1st Edition., 2011, XII, 315 p., ISBN: 978-90-481-9848-1 Evolvability PDF
Graph-Based Verification of Static Program Constraints Selim Ciraci Pim van den Broek, Mehmet Aksit Darwin 2010 Symposium on Applied Computing ; Proceedings of the 2010 ACM Symposium on Applied Computing Evolvability PDF
Modular Design of Mechatronic Systems with Function Modeling T.J. van Beek M.S. Erden, T. Tomiyama Darwin 2010 Mechatronics Journal - The Science of Intelligent Machines Evolvability PDF
Combining User Workflow and System Functions in Product Development T.J. van Beek T. Tomiyama Darwin 2010 Proceedings of the 22nd International Conference on Design Theory and Methodology (DTM), ASME, Montréal, 2010 Evolvability PDF
Information needed for Architecture Decision Making A. Ivanovic P. America Darwin 2010 1st International Workshop on Product Line Approaches in Software Engineering (PLEASE 2010) Evolvability PDF
Customer value in architecture decision making A. Ivanovic P. America Darwin 2010 ECSA 2010 Evolvability PDF Best Paper Award
System Evolution Barriers and How to Overcome Them! D. Borches M. Bonnema Darwin 2010 CSER2010 Evolvability PDF
System and Context Modeling; Visualizations of Where, When, and How Gerrit Muller Darwin 2010 INCOSE 2010 Evolvability PDF
Observations from the Industry-as-laboratory project Darwin P. van de Laar Darwin 2010 CSER'10 Evolvability PDF
Interactive Exploration of Co-evolving Software Entities A. Vanya R. Premraj, H. van Vliet Darwin 2010 CSMR 2010 Evolvability PDF
Communication: Key Factor in Multidisciplinary System Design G.M. Bonnema P.D. Borches, R. Kauw-A-Tjoe Darwin 2010 CSER 2010 Evolvability PDF
Optimization of duty cycle of MRI scanners E. Ivanov A. Yu., S. Pogromsky, J.E. Rooda Darwin 2009 IECON 2009, the 35th Annual Conference of the IEEE Industrial Electronics Society Evolvability PDF
Model-based engineering of supervisory controllers using CIF R. Schiffelers R. Theunissen, D.A. van Beek, K. Rooda Darwin 2009 ECEASST, 21, 1-10, (2009) Evolvability PDF
Integrating conventional system views with function-behavior-state modelling T.J. van Beek T. Tomiyama Darwin 2009 CIRP Design Conference 2009 - Competitive Design Evolvability PDF
Graph Based Verification of Software Evolution Requirements Selim Ciraci Darwin 2009 PhD Thesis Evolvability PDF
Documenting a Catalog of Viewpoints to Describe the Execution Architecture of a Large Software-Intensive System for the ISO/IEC 42010 Standard T. Callo P. Avgeriou, P. America Darwin 2009 ESI website Evolvability PDF
Graph-based Verification of Static Software Design Constraints Selim Ciraci Pim van den Broek, Mehmet Aksit Darwin 2009 ACM SAC 2010 Software Engineering Track Evolvability PDF
Characterizing Evolutionary Clusters A. Vanya S. Klusener, N. van Rooijen, H. van Vliet Darwin 2009 WCRE09 Evolvability PDF Best Paper Award
Constructing Resource Usage Models of a Large and Complex Software-Intensive System T. Callo P. America, P. Avgeriou Darwin 2009 WCRE09 Evolvability PDF
Defining Execution Viewpoints for a Large and Complex Software-Intensive System T. Callo P. America, P. Avgeriou Darwin 2009 8th Working IEEE/IFIP Conference on Software Architecture (WICSA), Cambridge PDF Best Paper Award
Supervisory control synthesis for a patient support system R.J.M. Theunissen R.R.H. Schiffelers, D.A. van Beek, J.E. Rooda Darwin 2009 European Control Conference (ECC), Budapest (H) PDF
Supporting Evolving Product Families P. van de Laar Darwin 2009 7th Annual Conference on Systems Engineering Research (CSER09) Evolvability PDF
Researching reference architectures - and their relationship with frameworks, methods, techniques, and tools G. Muller P. van de Laar Darwin 2009 7th Annual Conference on Systems Engineering Research (CSER09) Evolvability PDF Best Paper Award
On the transfer of evolutionary coupling to industry P. van de Laar Darwin 2009 IEEE Mining Software Repositories (MSR 2009) Evolvability PDF
Scheduling with sequence dependent setup times in application to Magnetic Resonance Imaging scans processing E. Ivanov A. Pogromsky, K. Rooda Darwin 2009 3rd IEEE Multi-conference on Systems and Control (MSC 2009) Saint Petersburg, RUSSIA Evolvability PDF
Scheduling with dynamic constraints in application to MRI scan processing E. Ivanov A. Yu, S. Pogromsky, J.E. Rooda Darwin 2009 3rd IEEE Multi-conference on Systems and Control (MSC 2009) Saint Petersburg, RUSSIA July 8-10, 2009 Evolvability PDF
Modeling and simulation using the compositional interchance format for hybrid systems C. Sonntag R.R.H. Schiffelers, D.A. van Beek, J.E. Rooda, S. Engell Darwin 2009 MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling; Editors: I.Troch and F.Breitenecker (2009). Evolvability PDF
Hybrid Modeling and Simulation of plant/controller Combinations R.R.H. Schiffelers A.Y. Pogromsky, D.A. van Beek, J.E. Rooda Darwin 2009 3rd IEEE Multi-conference on Systems and Control Evolvability PDF
Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems Gürcan Gülesir Klaas van den Berg, Lodewijk Bergmans, Mehmet Aksit Darwin 2009 Journal on Empirical Software Engineering Evolvability PDF
Coping with system evolution P.D. Borches M. Bonnema Darwin 2009 Incose 2009 Evolvability PDF
Transferring Software to a New Framework in a Brownfield Environment P. van der Spek S. Klusener Darwin 2009 European Conference on Software Maintenance and Reengineering, (CSMR), 2009 Evolvability PDF
Connecting Views in Mechatronic Systems Design, a Function Modeling Approach T.J. van Beek T. Tomiyama Darwin 2008 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications Evolvability PDF
Economics of Architectural Investments in Industrial Practice  A. Ivanovic P. America Darwin 2008 2nd International Workshop on Measurement and Economics of Software Product Lines. Evolvability PDF
Economics of investments in evolvable architecture in industrial practice A. Ivanovic P. America Darwin 2008 ICSM08 Evolvability PDF
Analyzing the Actual Execution of a Large Software-Intensive System for Determining Dependencies T. Callo Paris Avgeriou, Pierre America Darwin 2008 Working Conference on Reverse Engineering (WCRE 2008) System Evolution PDF Best Paper Award
Design with Overview - how to survive in complex organizations G.M. Bonnema P.D. Borches Darwin 2008 Proceedings of INCOSE 2008 System Evolution PDF
Requirements for Complex Systems Modeling T.J. van Beek T. Tomiyama Darwin 2008 CIRP Design Conference System Evolution PDF
Framework for Computer-Aided Evolution of Object-Oriented Design S. Ciraci P. van den Broek, M. Aksit Darwin 2008 IEEE Workshop on Quality Oriented Reuse of Software System Evolution PDF
Assessing Software Archives with Evolutionary Clusters A. Vanya L. Hofland, S. Klusener, P. van de Laar, H. van Vliet Darwin 2008 ICPC08 System Evolution PDF
How reference architectures support the evolution of Product Families G. Muller Darwin 2008 CSER 2008 System Evolution PDF
Living' Architecture Overviews - Supporting the Design of Complex Systems P.D. Borches G.M. Bonnema Darwin 2008 CIRP Design Conference System Evolution PDF
Concrete syntax and semantics of the compositional interchange format for hybrid systems D.A. van Beek M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers Darwin 2008 Ifac 2008; International Federation of Automatic Control System Evolution PDF
Towards Recovering Architectural Concepts Using Latent Semantic Indexing P. van der Spek S. Klusener, P. van de Laar Darwin 2007 CSMR 2008; European Conference on Software Maintenance and Reengineering System Evolution PDF
On the origin of evolvable systems P.D. Borches G.M. Bonnema Darwin 2007 Tools and Methods of Competitive Engineering (TMCE 2008), Kusadasi, Turkey System Evolution PDF
A Review of Function Modelling: Approaches and Applications M.S. Erden H. Komoto, T.J. van Beek, V. D'Amelio, E. Echavarria, T. Tomiyama Darwin 2007 Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM) System Evolution PDF
Architectuuruitdagingen in Embedded Systemen G. Muller Darwin 2007 Informatie_Magazine November 2007 Jaargang 49/9 System Evolution PDF
The Darwin Project: Evolvability of Software Intensive Systems P. van de Laar P. America, J. Rutgers, S. van Loo, G. Muller, T. Punter, D. Watts Darwin 2007 Workshop on Evolvability at Int. Conference on Software Maintenance System Evolution PDF
A constructive approach to software evolution S. Ciraci P. van den Broek, M. Aksit Darwin 2007 Workshop on Model-driven Software Evolution (ModSe'07) at CSMR conference System Evolution PDF Best Paper Award
Co-Simulation of Chi and Simulink models D.A. van Beek A.T. Hofland; M.A. Reniers; J.E. Rooda; R.R.H. Schiffelers; Darwin 2007 Eurosim System Evolution PDF
Modelling Software Evolution using Algebraic Graph Rewriting S. Ciraci P. van den Broek Darwin 2006 Workshop on Architecture-Centric Evolution (ACE 2006) System Evolution PDF
Evolvability as a Quality Attribute of Software Architectures S. Ciraci P. van den Broek Darwin 2006 The International ERCIM Workshop on Software Evolution 2006 System Evolution PDF
Model-Driven Development of Logistic Systems using Domain-Specific Tooling Jacques Verriet Roelof Hamberg, Hsuan Lorraine Liang, Bruno van Wijngaarden Falcon 2012 CSD&M2012, Paris, France, December 12-14, 2012 Evolvability PDF
Hierarchical Coordination Control of Mobile Robots Sisdarmanto Adinandra Falcon 2012 PhD Thesis System Performance PDF
Assessing and Improving the Quality of Model Transformations Marcel van Amstel Falcon 2012 PhD Thesis System Performance PDF
Robust Augmented Reality Oytun Akman Falcon 2012 PhD Thesis System Performance PDF
Model-driven warehouse development J. Verriet B. van Wijngaarden Falcon 2012 MDDay2012 System Performance
Graphical configuration of agent-based warehouse management and control systems H. L. Liang J Verriet, R Hamberg, B van Wijngaarden Falcon 2012 10th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS2012) System Performance PDF
Stable precision grasps by underactuated grippers G.A. Kragten M. Baril, C. Gosselin, J.L. Herder Falcon 2011 IEEE Transaction on Robotics System Performance PDF
A planar geometric design approach for a large grasp range in underactuated hands G.A. Kragten F.C.T. van der Helm, J.L. Herder Falcon 2011 Mechanism and Machine Theory 46: 1121-1136 System Performance PDF
Performance in model transformations: A comparison between ATL and QVT M.F. van Amstel S. Bosems, I. Kurtev, L. Ferreira Pires Falcon 2011 Lecture Notes in Computer Science 6707: 198-212 System Performance PDF
Model transformation analysis: Staying ahead of the maintenance nightmare M.F. van Amstel M.G.J. van den Brand Falcon 2011 Lecture Notes in Computer Science 6707: 108-122 System Performance PDF
Using Metrics for Assessing the Quality of ATL Model Transformations M.F. van Amstel M.G.J. van den Brand Falcon 2011 Proceedings of the Third Workshop on Model Transformations with ATL (MtATL2011) System Performance PDF
Using a DSL and fine-grained model transformations to explore the boundaries of model verification - extended abstract M.F. van Amstel M.G.J. van den Brand, L.J.P. Engelen Falcon 2011 Proceedings of the Seventh Workshop on Advances in Model Based Testing (A-MOST 2011) System Performance PDF
Using a DSL and fine-grained model transformations to explore the boundaries of model verification M.F. van Amstel M.G.J. van den Brand, L.J.P. Engelen Falcon 2011 Proceedings of the Third Workshop on Model-Based Verification & Validation from Research to Practice System Performance PDF
Visualizing Traceability in Model Transformation Compositions M.F. van Amstel A. Serebrenik, M.G.J. van den Brand Falcon 2011 Pre-proceedings of the first workshop on Composition and Evolution of Model Transformations System Performance
On compliant underactuated robotic fingers M. Wassink Falcon 2011 PhD Thesis - UT System Performance PDF
Order-picking workstations for automated warehouses Ricky Andriansyah Falcon 2011 PhD Thesis - TU/e System Performance PDF
Automated order-picking workstation handling out-of-sequence product arrivals R. Andriansyah L.F.P. Etman, I.J.B.F. Adan, J.E. Rooda Falcon 2011 Proceedings of the 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications System Performance PDF
A process algebra based simulation model of a miniload workstation order picking system R. Andriansyah W.W.H. de Koning, R.M.E. Jordan, L.F.P. Etman, J.E. Rooda Falcon 2011 Computers in Industry 3: 292-300 System Performance PDF
Towards a flexible and scalable transportation in distribution centers: Low-level motion control approach S. Adinandra D. Kostic, J. Caarls, H. Nijmeijer Falcon 2011 Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics (ICINCO) System Performance
Towards a Flexible and Scalable Transportation in Distribution Centers S. Adinandra D. Kostic, J. Caarls, H. Nijmeijer Falcon 2011 30th Benelux Meeting on Systems and Control System Performance PDF
Fall and action detection in elderly homes J. Aertssen M. Rudinac, P. Jonker Falcon 2011 Conference on Advancement of Assistive Technology in Europe (AAATE) System Performance
Real time fall detection and pose recognition in home environments J. Aertssen M. Rudinac, P. Jonker Falcon 2011 International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISAPP) System Performance
Re-organization in warehouse management systems H. Aldewereld F. Dignum, M. Hiel Falcon 2011 Proceedings of the IJCAI 2011 Workshop on Artificial Intelligence and Logistics (AILog-2011) System Performance PDF
Stable precision grasps with underactuated fingers M. Baril Falcon 2011 Internship report - TUD System Performance
In-vivo real-time tracking of surgical instruments in endoscopic video L. Bouarfa O. Akman, A. Schneider, P.P. Jonker, J. Dankelman Falcon 2011 Minimally Invasive Therapy & Allied Technologies System Performance PDF
Queueing models for compact picking systems B. Febrianie Falcon 2011 MSc Thesis - TU/e System Performance PDF
Design of an automated item picking workstation J.W.E. Heling Falcon 2011 MSc Thesis - TU/e System Performance
A graphical specification tool for decentralized warehouse control systems H.L. Liang Falcon 2011 SAI Technical report System Performance Annual ST Award 2012
The effect of joint locks in underactuated hand protheses R. Pape Falcon 2011 MSc Thesis - TUD System Performance PDF
Configuration management for models: Generic models for model comparison and model co-evolution Z. Protic Falcon 2011 PhD Thesis - TU/e System Performance PDF
Exception handling in automated case picking V. Roode Falcon 2011 SAI Technical report System Performance
The impact of sequence requirements of product totes on the performance of a goods-to-man system D.W.J. Stel Falcon 2011 MSc Thesis - TU/e System Performance
Comparison and improvements of Compact Picking system models T. Sun Falcon 2011 MSc Thesis - TU/e System Performance PDF
A generic solution for syntax-driven model co-evolution M. van den Brand Z. Protic, T. Verhoeff Falcon 2011 Proceedings of the 49th international conference on objects, models, components, patterns System Performance PDF
Assessing the quality of model-comparison tools: a method and a benchmark data set M. van den Brand A. Hofkamp, Z. Protic, T. Verhoeff Falcon 2011 Proceedings of the 2nd International Workshop on Model Comparison in Practice System Performance PDF
Automating the development of agent-based warehouse control systems J. Verriet B. van Wijngaarden, E. van Heusden, R. Hamberg Falcon 2011 Workshop on Agent-Based Solutions for Manufacturing and Supply Chain System Performance PDF
Underactuated Hands - Fundamentals, Performance Analysis and Design G.A. Kragten Falcon 2011 PhD Thesis - TUD System Performance PDF
Design and Performance Assessment of an Underactuated Hand for Industrial Applications C. Meijneke G.A. Kragten, M. Wisse Falcon 2010 Proceedings of the IFToMM/ASME Workshop on Underactuated Grasping, 2010 System Performance PDF
Saturated Control of Time-Varying Formations and Trajectory Tracking for Unicycle Multi-agent Systems D. Kostic S. Adinandra, J. Caarls, N. van de Wouw, H. Nijmeijer Falcon 2010 49th IEEE Conference on Decision and Control, 2010 System Performance PDF
Collision-free Motion Coordination of Unicycle Multi-agent Systems D. Kostic S. Adinandra, J. Caarls, H. Nijmeijer Falcon 2010 Proceedings of the 2010 American Control Conference, Pages 3186-3191, 2010 System Performance PDF
Collision-free motion coordination of unicycle multi-agent systems D. Kostic S. Adinandra, J. Caarls, H. Nijmeijer Falcon 2010 29th Benelux Meeting on Systems and Contro System Performance PDF
Design, verification and analysis of the Highly Dynamic Storage system Dwight Berendse Falcon 2010 MSc thesis - TU/e System Performance PDF
Mixed-Integer Evolution Strategy Using Multiobjective Selection Applied to Warehouse Design Optimization Edgar Reehuis Thomas Baeck Falcon 2010 Proceedings of the 12th Annual Conference on Genetic and Evolutionary Computation, GECCO'10 System Performance PDF
Port Hamiltonian Modeling for Soft-Finger Manipulation F. Ficuciello R. Carloni, L.C. Visser, S. Stramigioli Falcon 2010 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010 System Performance PDF
A proposal for benchmark tests for underactuated or compliant hands G.A. Kragten C. Meijneke, J.L. Herder Falcon 2010 Proceedings of the IFToMM/ASME Workshop on Underactuated Grasping, 2010 System Performance PDF
A Platform for Grasp Performance Assessment in Compliant or Underactuated Hands G.A. Kragten J.L. Herder Falcon 2010 Journal of Mechanical Design (2010), vol.132, issue 2 System Performance PDF
The ability of underactuated hands to grasp and hold objects G.A. Kragten J.L. Herder Falcon 2010 Mechanism and Machine Theory (2010), vol. 45, pp.408-425 System Performance PDF
Modeling Warehouse Logistics using Agent Organizations M. Hiel H. Aldewereld, F. Dignum Falcon 2010 Proceedings of the 2nd International Workshop Collaborative Agents - Research and Development, 2010 System Performance PDF
Saliency detection and object localization in indoor environments M. Rudinac P.P. Jonker Falcon 2010 Proceedings of the 2010 International Conference on Pattern Recognition, Pages 404-407, 2010 System Performance PDF
A fast and robust descriptor for multiple-view object recognition M. Rudinac P.P. Jonker Falcon 2010 Proceedings of the 11th International Conference on Control Automation Robotics and Vision (ICARCV) System Performance PDF
How to focus robots attention? M. Rudinac P.P. Jonker Falcon 2010 Intelligent Machines Symposium System Performance PDF
Saliency based method for object localization M. Rudinac P.P. Jonker Falcon 2010 Proceedings of the ASCI Conference 2010 System Performance PDF
An Exercise in Iterative Domain-Specific Language Design M. van Amstel M.G.J. van den Brand, L.J.P. Engelen Falcon 2010 Proceedings of the Joint ERCIM Workshop on Software Evolution and International Workshop on Principles of Software Evolution (IWPSE-EVOL'10), Pages 48-57, 2010 System Performance PDF
Quality Assessment of ATL Model Transformations using Metrics M. van Amstel M. van den Brand Falcon 2010 Proceedings of the 2nd International Workshop on Model Transformation with ATL, 2010 System Performance PDF
The Right Tool for the Right Job: Assessing Model Transformation Quality Marcel van Amstel Falcon 2010 Fourth IEEE International Workshop on Quality Oriented Reuse of Software (QUORS'10) System Performance PDF Best Paper Award
Metrics for model transformations M.F. van Amstel M.G.J. van den Brand, P.H. Nguyen Falcon 2010 Proceedings of the Ninth Belgian-Netherlands Software Evolution Workshop (BENEVOL2010) System Performance PDF
Compliance Analysis of an Under-Actuated Robotic Finger M. Wassink R. Carloni, S. Stramigioli Falcon 2010 Proceedings of the 2010 IEEE International Conference on Biomedical Robotics and Biomechatronics, 2010 System Performance PDF
Port-Hamiltonian analysis of a novel robotic finger concept for minimal actuation variable impedance grasping M. Wassink R. Carloni,, S. Stramigioli Falcon 2010 2010 IEEE International Conference on Robotics and Automation, Anchorage, Alaska, USA, ISSN 1050-4729 System Performance PDF
Verification of PLC source code using propositional logic Maarten Meulen Falcon 2010 MSc thesis - TU/e System Performance PDF
Utilization of Spatial Information for Point Cloud Segmentation O. Akman N. Bayramoglu, A.A. Alatan, P.P. Jonker Falcon 2010 Proceedings of the 3DTV Conference, Pages 1-4, 2010 System Performance PDF
Computing Saliency Map from Spatial Information in Point Cloud Data O. Akman P.P. Jonker Falcon 2010 ACIVS - Advanced Concepts for Intelligent Vision Systems ; Lecture Notes in Computer Science, 2010, Volume 6474/2010, 290-299 System Performance PDF
Design of an underactuated finger with a monolithic structure and distributed compliance P. Steutel G.A. Kragten, J.L. Herder Falcon 2010 Proceedings of ASME IDETC/CIE 2010, Paper no. DETC2010-28127, 2010 System Performance PDF
Flow time prediction for a single-server order picking workstation using aggregate process times R. Andriansyah L.F.P. Etman, J.E. Rooda Falcon 2010 International Journal on Advances of Systems and Measurements System Performance PDF
Aggregate modeling of end-of-aisle order picking workstation with overtaking R. Andriansyah L.F.P. Etman, J.E. Rooda Falcon 2010 Eurandom workshop Stochastic Models of Manufacturing Systems - Poster System Performance
Aggregate modeling for flow time prediction of an end-of-aisle order picking workstation with overtaking R. Andriansyah L.F.P. Etman, J.E. Rooda Falcon 2010 Proceedings of the 2010 Winter Simulation Conference (WSC) System Performance PDF
Formalizing Material Flow Diagrams R.J. Bijl Falcon 2010 MSc thesis - TU/e System Performance PDF
Performance of high-level and low level control for coordination of mobile robots S. Adinandra J. Caarls, D. Kostic, H. Nijmeijer Falcon 2010 Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics (ICINCO), Pages 63-71, 2010 System Performance PDF
Performance of High-level and Low-level Coordinated Control of Mobile Robots S. Adinandra J. Caarls, D. Kostic, H. Nijmeijer Falcon 2010 29th Benelux Meeting on Systems and Control System Performance PDF
Generic tool for visualization of model differences Z. Protic T. Verhoeff and M. van den Brand Falcon 2010 Proceedings of the International Workshop on Model Comparison in Practice, 2010 System Performance PDF
Fine-Grained Metamodel-Assisted Model Comparison Z. Protic T. Verhoeff and M. van den Brand Falcon 2010 Proceedings of the International Workshop on Model Comparison in Practice, 2010 System Performance PDF
State-of-the-art in underactuated grasping L. Birglen G.A. Kragten, J.L. Herder Falcon 2010 Mechanical Sciences 1: 3-3 System Performance PDF
Evolution of robotic hands H.D. Bos Falcon 2010 Internship Report - UT System Performance PDF
Design of an underactuated gripper for the item picking in distribution centers Y. Chang Falcon 2010 MSc Thesis - TUD System Performance PDF
Analyse van een AIP station met een eindige buffer R. de Natris Falcon 2010 BSc Thesis - TU/e System Performance
Design and implementation of an impedance controller for prosthetic grasping H.G. Differ Falcon 2010 MSc Thesis - UT System Performance PDF
Development of a homing procedure and investigation of tip stiffness for the robotic finger test setup H.G. Differ Falcon 2010 Internship Report - UT System Performance PDF
Virtualization of the FALCON humanoid finger into a direct drive system T. Mennink Falcon 2010 Internship Report - UT System Performance PDF
Quantitative analysis of model transformations P.H. Nguyen Falcon 2010 MSc Thesis - TU/e System Performance PDF
Design of a miniaturized joint lock for an under actuated robotic finger G. Pulcini Falcon 2010 MSc Thesis - UT System Performance PDF
Fine-grained metamodel-assisted model comparison M. van den Brand Z. Protic, T. Verhoeff Falcon 2010 Proceedings of the 1st International Workshop on Model Comparison in Practice System Performance PDF
Generic tool for visualization of model differences M. van den Brand Z. Protic, T. Verhoeff Falcon 2010 Proceedings of the 1st International Workshop on Model Comparison in Practice System Performance PDF
RCVDiff - A stand-alone tool for representation, calculation and visualization of model differences M. van den Brand Z. Protic, T. Verhoeff Falcon 2010 Proceedings of the International Workshop on Models and Evolution (ME2010) System Performance PDF
US technological innovation systems for service robotics M. van den Brandt Falcon 2010 MSc Thesis - UT System Performance PDF
Collision-free tracking control of unicycle mobile robots D. Kostic S. Adinandra, J. Caarls, N. van de Wouw, H. Nijmeijer Falcon 2009 48th IEEE Conference on Decision and Control; Shanghai, China System Performance PDF
Collision-free coordination of a group of unicycle mobile robots D. Kostic S. Adinandra, J. Caarls, H. Nijmeijer Falcon 2009 28th Benelux Meeting on Systems and Contro System Performance PDF
Ability to hold grasped objects by under actuated hands: performance prediction and experiments G.A. Kragten A.C. Kool, J.L. Herder Falcon 2009 IEEE International Conference on Robotics and Automation; Pages: 2493-2498 System Performance PDF
On the effect of contact friction and contact compliance on the grasp performance of underactuated hands G.A. Kragten H.A. Bosch, T. van Dam, J.A. Slobbe, J.L. Herder Falcon 2009 ASME 2009 IDETC&CIE System Performance PDF
A Holonic Approach to Warehouse Control Hristina Moneva Jurjen Caarls and Jacques Verriet Falcon 2009 7th International Conference on Practical Applications of Agents and Multi-Agent Systems System Performance PDF
Keypoints extraction and selection for object recognition M. Rudinac Boris Lenseigne, Pieter Jonker Falcon 2009 Proceedings of IAPR Conference on Machine Vision Applications (MVA 2009), Japan System Performance PDF
Entropy based method for keypoint selection M. Rudinac Boris Lenseigne and Pieter Jonker Falcon 2009 Proceedings of the ASCI Conference 2009 System Performance PDF
Using Metrics for Assessing the Quality of ASF+SDF Model Transformations M.F. van Amstel C.F.J. Lange, M.G.J. van den Brand Falcon 2009 Theory and Practice of Model Transformations, Proceedings of the Second International Conference on Model Transformation (ICMT'09), volume 5563 of Lecture Notes in Computer Science Zürich, Switzerland; Pages 239-248 System Performance PDF
Digital Elevation Map Reconstruction for Port-based Dynamic Simulation of Contacts on Irregular Surfaces M. Wassink R. Carloni, P. Poulakis, S. Stramigioli Falcon 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems System Performance PDF
Novel dexterous robotic finger concept with controlled stiffness M. Wassink R. Carloni, D.M. Brouwer, S. Stramigioli Falcon 2009 Proceedings of the 28th Benelux Meeting on Systems and Control System Performance PDF
Integration of 2D images and Range for Object Segmentation and recognition Neslihan Bayramoglu Oytun Akman, A. Aydin Alatan and Pieter Jonker Falcon 2009 WSPC - Proceedings - clawar2009 System Performance PDF
Exploitation of 3D Information for Directing Visual Attention and Object Recognition O. Akman Pieter Jonker Falcon 2009 MVA 2009 IAPR Conference on Machine Vision Applications, Yokohama, JAPAN; pg. 50 - 53 System Performance PDF
Directing Visual Attention and Object Recognition using 3D Information O. Akman Boris Lenseigne, Pieter Jonker Falcon 2009 Fifteenth Annual Conference of the Advanced School for Computing and Imaging (ASCI 2009) System Performance PDF
Design of a fully compliant underactuated finger with a monolithic structure and distributed compliance P. Steutel Falcon 2009 MSc Thesis - TUD System Performance PDF
On sustainable operation of warehouse order picking systems R. Andriansyah L.F.P. Etman, J.E. Rooda Falcon 2009 XIV Summer School “Francesco Turco” Impianti Industriali Meccanici System Performance PDF
Simulation Model of a Single-Server Order Picking Workstation using Aggregate Process Time R. Andriansyah L.F.P. Etman, J.E. Rooda Falcon 2009 1st International Conference on Advances in System Simulation (SIMUL 2009) System Performance PDF Best Paper Award
The design of an adaptive finger mechanism for a hand prosthesis D. den Dunnen Falcon 2009 MSc Thesis - TUD System Performance PDF
Modular platform for the experimental evaluation of underactuated finger P.J. Guitian Mediero Falcon 2009 MSc Thesis - TUD System Performance
Warehouse design toolbox L. Hakobyan Falcon 2009 SAI Technical report System Performance
Holonic highly dynamic storage system: Agent-based distributed control J.M. Kavuma Falcon 2009 SAI Technical report System Performance
A simulation model of an automated item picking workstation M. van Maanen Falcon 2009 MSc Thesis - TU/e System Performance
Design and simulation of a reconfigurable underactuated finger V. Vidal Troitinho Falcon 2009 Internship Report - TUD System Performance
On the influence of contact geometry on grasp stability G.A. Kragten Just L. Herder, A.L Schwab Falcon 2008 Proceedings of IDETC/CIE 2008 System Performance PDF
A Holonic Approach to Decentralized Warehouse Control H.G. Moneva Falcon 2008 SAI Technical report System Performance
Metrics for Analyzing the Quality of Model Transformations – Extended abstract M.F. van Amstel C.F.J. Lange, M.G.J. van den Brand Falcon 2008 BENEVOL 2008 : The 7th BElgian-NEtherlands software eVOLution workshop System Performance PDF
Metrics for Analyzing the Quality of Model Transformations M.F. van Amstel C.F.J. Lange, M.G.J. van den Brand Falcon 2008 Proceedings 12th ECOOP, July 8, 2008 System Performance PDF
Version control of graphs M.F. van Amstel M.G.J. van den Brand, Z. Protic Falcon 2008 Informal pre-proceedings of the 7th BeNeVol 08, pp11-12, Dec. 2008 System Performance PDF
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap? Marcel van Amstel Mark van den Brand, Zvezdan Protic, Tom Verhoeff Falcon 2008 ICMT2008 - International Conference on Model Transformation System Performance PDF Best Paper Award
Simulation Study of Miniload-Workstation Order Picking Systems R. Andriansyah W.W.H. de Koning, R. Jordan, L.F.P. Etman, J.E. Rooda Falcon 2008 TU/e SE report: Nr. 2008-07 System Performance PDF
Modeling the item picking area of the Plus Retail compact picking system R.M.E. Jordan Falcon 2008 MSc Thesis - TU/e System Performance PDF
Tilt-tray Sorters modelled with UPPAAL Roelof Hamberg Falcon 2008 ESI Report Nr. 2008–2 System Performance PDF
Modeling a storage and retrieval system: architecture and model aggregations W.W.H. de Koning Falcon 2008 MSc thesis - TU/e System Performance PDF
Scheduling the unloading of incoming containers in a distribution center R.P.W.M. Ansems Falcon 2008 BSc thesis - TU/e System Performance
Het effect van contactmateriaal van een robothand A. Bosch J. Slobbe, T. van Dam Falcon 2008 BSc thesis - TUD System Performance Imtech Bachelor grant
Smooth surface fitting by patches, a new method of interpolation for contact modeling R. Giacotto Falcon 2008 MSc Thesis - UT System Performance PDF
Grasping performance in compliant underactuated robotic hands A.C. Kool Falcon 2008 MSc Thesis - TUD System Performance
Ondergeactueerde robothand: van model naar ontwerp J. Lassooij D. Reuijl, R. Steenbergen, P. Warnar Falcon 2008 BSc Thesis - TUD System Performance
Grijpbereik van een vormadaptieve robothand bij verschillende stijfheidsverhoudingen tussen de kootjes B. Ouwerkerk B. Crooijmans, M. de Nooij, S. de Vries Falcon 2008 BSc Thesis - TUD System Performance
Analysis of an automated item picking workstation M. Paese Falcon 2008 MSc Thesis - TU/e System Performance
Equilibrium, stability and robustness in underactuated grasping G.A. Kragten J.L. Herder Falcon 2007 ASME 2007 IDETC&CIE System Performance PDF
Performance Analysis of a Palletizing System M.F. van Amstel E. van de Plassche, R. Hamberg, M.G.J. van den Brand, J.E. Rooda Falcon 2007 TU/e SE report: Nr. 2007-09 System performance PDF
Literature review on designing a warehouse order picking system with conveyors and workstations R.M.E. Jordan Falcon 2007 Internship Report - TU/e System Performance
Analyse naar het grijpen met een Soft Gripper: een vergelijking tussen praktijk en computersimulatie D. de Jong Falcon 2007 BSc Thesis - TUD System Performance
Analyse van het grijpen met rolling-link prothesevingers R.R. van der Linden P.C.J. Groot Falcon 2007 BSc Thesis - TUD System Performance
GENESYS: A Candidate for an ARTEMIS Cross-Domain Reference Architecture for Embedded Systems R. Obermaisser H. Kopetz Genesys 2009 Südwestdeutscher Verlag fuer Hochschulschriften. 208 pages, ISBN 978-3-8381-1040-0. October 2009 Platforms
GENESYS: A Cross- Domain Architecture for Embedded Systems R. Obermaisser H. Kopetz, B. Huber, C. El-Salloum, R. Zafalon, F. Auzanneau, K. Kronloef, P. Millet, M. Borth, C. Couvreur, N. Suri, S. Campos, E. Ovaska, and M. Goedecke Genesys 2009 Proceedings “Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications”, DATE 2009 Platforms PDF
An Assessment of Research Topics for Future Consumer Smart Environments as Identified in GENESYS M. Borth S. van Loo Genesys 2009 ESI report, ESI – Nokia Confidential, 2009 Platforms
A Controlled Experiment for the Assessment of Aspects - Tracing in an Industrial Context Pascal Durr Lodewijk Bergmans, Mehmet Aksit Ideals 2010 Empirical Evaluation of Software Composition Techniques (ESCOT 2010), 16 march 2010, Saint Malo, France. Aspect-Oriented Software Association System Evolution PDF
Compositional MDA Louis van Gool Teade Punter, Marc Hamilton, Remco van Engelen Ideals 2009 ACM/IEEE MoDELS 2006: 126-139 System Evolution PDF
Evolvable Behavior Specifications Using Context-Sensitive Wildcards Gürcan Gülesir Ideals 2008 PhD Thesis System Evolution PDF
Resource-based Verification for Robust Composition of Aspects Pascal Durr Ideals 2008 PhD Thesis System Evolution PDF
Renovation of Idiomatic Crosscutting Concerns in Embedded Systems Magiel Bruntink Ideals 2008 PhD Thesis System Evolution PDF Cum Laude
A Controlled Experiment for the Assessment of Aspects - Tracing in an Industrial Context Pascal Durr Lodewijk Bergmans, Mehmet Aksit Ideals 2008 Technical Report TR-CTIT-08-04 Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625 System Evolution PDF
Model-Driven Migration of Supervisory Machine Control Architectures Bas Graaf S. Weber and A. van Deursen Ideals 2008 Journal of Systems and Software 81(4):517-535 System Evolution PDF
Model-Driven Evolution of Software Architectures Bas Graaf Ideals 2007 PhD Thesis System Evolution PDF
Predictable real-time software synthesis Jinfeng Huang Jeroen Voeten,Henk Corporaal Ideals 2007 Real-Time Systems Journal System Evolution PDF
A model-driven design approach for mechatronic systems Jinfeng Huang Jeroen Voeten,Marcel Groothuis,Jan Broenink,Henk Corporaal Ideals 2007 ACSD 2007 System Evolution PDF
Predictable model-driven design for real-time embedded systems}. Jinfeng Huang Jeroen Voeten Ideals 2007 Proceedings of Bits & Chips conference. 2007 System Evolution PDF
Analysis and Transformation of Idiomatic Crosscutting Concerns in Legacy Software Systems Magiel Bruntink Ideals 2007 ICSM07 System Evolution PDF
Simple Crosscutting Concerns Are Not So Simple - Analysing Variability in Large-Scale Idioms-Based Implementations Magiel Bruntink Arie van Deursen, Maja D’Hondt,Tom Tourwe Ideals 2007 Proceedings of the 6th international conference on Aspect-oriented software development System Evolution PDF
Model-driven Migration of Supervisory Machine Control Architectures Bas Graaf Sven Weber, Arie van Deursen Ideals 2007 Journal of Systems and Software, 2007 System Evolution PDF
Static and Dynamic Detection of Behavioral Conflicts between Aspects Pascal Durr Lodewijk Bergmans,Mehmet Aksit Ideals 2007 Proceedings of the 11th Workshop on Runtime Verification System Evolution PDF
Discovering Faults in Idiom-Based Exception Handling Magiel Bruntink Arie van Deursen,TomTourwe Ideals 2006 ICSE 2006 System Evolution PDF
Linking Analysis and Transformation Tools with Source-based Mappings Magiel Bruntink Ideals 2006 SCAM 2006 System Evolution PDF
Applying AOP in an Industrial Context ; An Experience Paper Pascal Durr Lodewijk Bergmans, Gurcan Gulesir, Mehmet Aksit, Remco van Engelen Ideals 2006 BPAOSD 2006 System Evolution PDF
Reasoning about Semantic Conflicts between Aspects Pascal Durr Lodewijk Bergmans, Mehmet Aksit Ideals 2006 ECOOP 2006 System Evolution PDF
Migrating Supervisory Control Architectures Using Model Transformations Bas Graaf Sven Weber, Arie van Deursen Ideals 2006 CSMR 2006 System Evolution PDF
Separating and managing dependant concerns Gürcan Gülesir Lodewijk Bergmans, Pascal Durr, Istvan Nagy Ideals 2005 LATE 2005 workshop at AOSD 2005 System Evolution PDF
Towards an expressive and scalable framework for expressing join point models Pascal Durr Lodewijk Bergmans, Gurcan Gulesir, Istvan Nagy Ideals 2005 FOAL 2005 workshop at AOSD 2005 System Evolution PDF
Reasoning About Semantic Conflicts Between Aspects Pascal Durr Tom Staijen, Lodewijk Bergmans, Mehmet Aksit Ideals 2005 EIWAS 2005 System Evolution PDF
Migration of Supervisory Machine Control Architectures Bas Graaf Sven Weber, Arie van Deursen Ideals 2005 WICSA 2005 System Evolution PDF
Isolating Idiomatic Crosscutting Concerns Magiel Bruntink Arie van Deursen, Tom Tourwé Ideals 2005 ICSM 2005 System Evolution PDF
On the Use of Clone Detection for Identifying Crosscutting Concern Code Magiel Bruntink Arie van Deursen, Remco van Engelen, Tom Tourwé Ideals 2005 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 31, NO. 10, OCTOBER 2005 System Evolution PDF
An initial experiment in reverse engineering aspects from existing applications Magiel Bruntink Arie van Deursen,TomTourwe Ideals 2004 WCRE 2004 System Evolution PDF
Identifying Cross-Cutting Concerns in Embedded C Code Arie van Deursen Magiel Bruntink, Tom Tourwé Ideals 2004 ERCIM58 System Evolution PDF
Symphony: View-Driven Software Architecture Reconstruction Arie van Deursen Christine Hofmeister, Rainer Koschke, Leon Moonen, Claudio Riva Ideals 2004 WICSA2004 System Evolution PDF
An Evaluation of Clone Detection Techniques for Identifying Crosscutting Concerns Magiel Bruntink Arie van Deursen, Tom Tourwé, Remco van Engelen Ideals 2004 ICSM 2004 System Evolution PDF Best Paper Award
Aspect mining using clone class metrics Magiel Bruntink Ideals 2004 WARE/WCRE System Evolution PDF
Aspect Mining and Refactoring Arie van Deursen Marius Marin, Leon Moonen Ideals 2003 REFACE2003 System Evolution PDF
Refactoring: Emerging Trends and Open Problems Arie van Deursen Tom Mens Ideals 2003 REFACE2003 System Evolution PDF
An Uncertain Vessel Movement Model for maritime safety and security systems Roeland Scheepens Niels Willems, Huub van de Wetering, Jarke J. van Wijk Metis 2011 IEEE VisWeek 2011 Systems of systems PDF
Model based control software synthesis for paper handling in printers C. Pillai R. Fabel, L.J.A.M. Somers Modest 2010 ESM'10 - The 2010 European Simulation and Modelling Conference (Hasselt, Belgium, October 25-27, 2010. Proceedings). (pp. 220-224). Ostend: Eurosis-ETI System Adaptability PDF
Real-Time Step Motor Emulation for Hardware-in-the-Loop Simulation A. Oceguera A.A. Basten, L.J.A.M. Somers, S. Hulsenboom Modest 2010 42nd Summer Computer Simulation Conference, SCSC 2010, Proceedings, pages 306-313. Ottawa, Canada, 11-14 July, 2010 Performance / Flexibility / Evolvability PDF
A Design Framework for Model-based Development of Complex Systems H. Moneva R. Hamberg, T. Punter Multiform 2011 AVICPS 2011 Systems Engineering PDF
Putting Chaos under Control: on how Modeling should Support Design Hristina Moneva Roelof Hamberg, Teade Punter, John Vissers Multiform 2010 INCOSE 2010 conference, Chicago, IL, USA (12 July 2010) Systems Engineering PDF
Are you aware of the design decisions? On how modeling should support design Hristina Moneva Roelof Hamberg, Teade Punter Multiform 2010 M-BED 10 workshop, DATE 2010 conference, Dresden, Germany Systems Engineering PDF
A predictive control strategy for productive printers E. van der Laan C. Cochior, D. Driessen Octopus 2012 Proceedings of the DSPE-Conference 2012 (2012) System Adaptability
A framework for computer-aided conceptual design and its application to system architecting of mechatronics products H. Komoto T. Tomiyama Octopus 2012 Journal Computer-Aided Design, Volume 44 Issue 10, October, 2012 , Pages 931-946 System Adaptability PDF
Modeling task systems using parameterized partial orders F. Houben G. Igna, F. Vaandrager Octopus 2012 Proceedings of 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2012), pp. 317–327 (2012) System Adaptability PDF
Improving the performance of a printing system using model reference adaptive control: An LMI approach M. Ezzeldin S. Weiland, P.P.J. van den Bosch Octopus 2012 Proceedings of the 2012 American Control Conference (ACC 2012) System Adaptability PDF
Observer-based robust L2 control for a professional printing system M. Ezzeldin S. Weiland, P.P.J. van den Bosch Octopus 2012 Proceedings of the 2012 American Control Conference (ACC 2012) System Adaptability PDF
Managing Software Complexity of Adaptive Systems Arjan de Roo Octopus 2012 PhD Thesis System Adaptability PDF
Exploring Resource/Performance Trade-offs for Streaming Applications on Embedded Multiprocessors Yang Yang Octopus 2012 PhD Thesis System Adaptability PDF
Performance Improvement of Professional Printing Mohamed Ezzeldin Mahdy Abdelmonem Octopus 2012 PhD Thesis System Adaptability PDF
Cold Start Control of Industrial Printers C. Cochior P. van den Bosch, R. Waarsing and J. Verriet Octopus 2012 2012 IEEE/ASME International Conference on Advanced Intelligent Mechatronics (AIM 2012) System Adaptability PDF
Control Strategy for Systems with Input-Induced Nonlinearities: A Printing System Case Study C. Cochior P. van den Bosch, R. Waarsing and J. Verriet Octopus 2012 2012 American Control Conference ; Fairmont Queen Elizabeth, Montréal, Canada ; June 27-June 29, 2012 System Adaptability PDF
Control strategy for print quality control C. Cochior P. van den Bosch, R. Waarsing and J. Verriet Octopus 2012 31st Benelux Meeting on Systems and Control System Adaptability
Verification and Analysis of Domain-Specific Models of Physical Characteristics in Embedded Control Software Arjan de Roo Hasan Sözer, Mehmet Aksit Octopus 2012 Information and Software Technology 54 (2012) 1432–1453 System Adaptability PDF
Reconstructing Critical Paths from Execution Traces Martijn Hendriks Frits W. Vaandrager Octopus 2012 10th IEEE/IFIP Int. Conference on Embedded and Ubiquitous Computing - Paphos, Cyprus System Adaptability PDF
Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems (extended abstract) T. Basten M. Hendriks, L. Somers, N. Trcka Octopus 2012 Formal Modeling and Analysis of Timed Systems, 10th International Conference, FORMATS 2012, Proceedings, pages 1-6. London, UK, 18-20 September 2012. Lecture Notes in Computer Science 7595 System Adaptability PDF
Robust Feedforward Control for a Drop-on-Demand Inkjet Printhead Amol A. Khalate X. Bombois, G. Scorletti, R. Babuska, S. Koekebakker, and W. de Zeeuw Octopus 2012 IEEE/ASME Journal of Microelectromechanical Systems System Adaptability PDF
Playing Games with Scenario- and Resource-Aware SDF Graphs Through Policy Iteration Y. Yang M. Geilen, T. Basten, S. Stuijk, H. Corporaal Octopus 2012 Design, Automation and Test in Europe, DATE 2012, Proceedings, pages 194-199. Dresden, Germany, 12-16 March, 2012 System Adaptability
Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software A. de Roo H. Sözer, M. Aksit Octopus 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement System Adaptability PDF
Performance improvement of a drop-on-demand inkjet printhead using an optimization-based feedforward control method Amol A. Khalate X. Bombois, R. Babuska, H. Wijshoff, R. Waarsing Octopus 2011 Control Engineering Practice 19: 771-781 System Adaptability PDF
Performance improvement of a drop-on-demand inkjet printhead: a feedforward control based approach Amol A. Khalate X. Bombois, R. Babuska, G. Scorletti, S. Koekebakker, H. Wijshoff, W. de Zeeuw, R. Waarsing Octopus 2011 International Conference on Digital Printing Technologies (NIP) System Adaptability PDF
Robust feedforward control for a drop-on-demand inkjet printhead Amol A. Khalate X. Bombois, G. Scorletti, R. Babuska, R. Waarsing, W. de Zeeuw Octopus 2011 18th IFAC World Congress System Adaptability PDF
Drop-On-Demand Inkjet Printhead Performance Improvement Using Robust Feedforward Control Amol A. Khalate B.Bayon, X. Bombois, G. Scorletti, R. Babuska Octopus 2011 50th IEEE Conference on Decision and Control (CDC-2011) System Adaptability
Multi-disciplinary system decomposition of complex mechatronics systems Hitoshi Komoto T. Tomiyama Octopus 2011 CIRP Annals - Manufacturing Technology 60 (2011): 191-194 System Adaptability PDF
A Theory of Decomposition in System Architecting Hitoshi Komoto T. Tomiyama Octopus 2011 Proceedings of the 18th International Conference on Engineering Design (ICED11) System Adaptability PDF
The Complexity of Finding kth Most Probable Explanations in Probabilistic Networks Johan Kwisthout Hans Bodlaender, and Linda van der Gaag Octopus 2011 37th International Conference on Current Trends in Theory and Practice of Computer Science. January 22-28, 2011, Novy Smokovec (Slovakia). SOFSEM 2011, LNCS 6543, pp. 356-367, 2011 (Springer, Berlin) System Adaptability PDF
The Computational Complexity of Probabilistic Inference Johan Kwisthout Octopus 2011 Technical Report ICIS--R11003 System Adaptability PDF
Reasoning With Different Time Granularities in Industrial Applications: A Case Study Using CP-logic Johan Kwisthout Peter J.F. Lucas Octopus 2011 Benelux AI Conference (BNAIC'11) System Adaptability PDF
Bayesian Intractability Is Not an Ailment That Approximation Can Cure Johan Kwisthout Todd Wareham, Iris van Rooij Octopus 2011 Cognitive Science 35 (5): 779 - 784 System Adaptability PDF
Robust L2 Control for a Class of Nonlinear Systems: a Parameter Varying Lyapunov Function Approach M. Ezzeldin S. Weiland, P.P.J. van den Bosch Octopus 2011 Proceedings of the 19th Mediterranean Conference on Control and Automation System Adaptability PDF
Inverse-Based Feedforward Control for an Inkjet Printhead M. Ezzeldin S. Weiland, P.P.J. van den Bosch Octopus 2011 2011 American Control Conference System Adaptability PDF
Improving the Performance of an Inkjet Printhead Using Model Predictive Control M. Ezzeldin S. Weiland, P.P.J. van den Bosch Octopus 2011 18th IFAC World Congress System Adaptability PDF
Improving the Printing Quality of an Inkjet Printhead Using MIMO Model Predictive Control. M. Ezzeldin S. Weiland, P.P.J. van den Bosch Octopus 2011 2011 IEEE Multi-conference on Systems and Control System Adaptability PDF
Gain Scheduled Static Output Feedback Tracking Control for a Class of Nonlinear Systems via Takagi-Sugeno Model M. Ezzeldin S. Weiland, P.P.J. van den Bosch Octopus 2011 30th Benelux Meeting on Systems and Control System Adaptability PDF
Integrated Model-Driven Design-Space Exploration for Embedded Systems N. Trcka M. Hendriks, T. Basten, M. Geilen, L. Somers Octopus 2011 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS XI, Proceedings. Samos, Greece, 18-21 July 2011 System Adaptability PDF
Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets N. Trcka M. Voorhoeve, T. Basten Octopus 2011 Application of Concurrency to System Design, 11th International Conference, ACSD 2011, Proceedings. Kanazawa, Japan, 20-24 June 2011 System Adaptability PDF
Marginalization without Summation Exploiting Determinism in Factor Algebra Sander Evers Peter J.F. Lucas Octopus 2011 Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 11th European Conference, ECSQARU 2011, Belfast, UK, June 29-July 1, 2011. Proceedings. Lecture Notes in Computer Science 6717 Springer 2011, ISBN 978-3-642-22151-4 System Adaptability PDF
Constructing Bayesian Networks for Linear Dynamic Systems Sander Evers Peter J.F. Lucas Octopus 2011 Bayesian Modelling Applications Workshop System Adaptability PDF
Iteration-based Trade-off Analysis of Resource-aware SDF Y. Yang M. Geilen, T. Basten, S. Stuijk, H. Corporaal Octopus 2011 14th Euromicro Conference On Digital System Design: Architectures, Methods and Tools, DSD 2011 System Adaptability PDF
A Feature Model and Development Approach for Schedulers Kardelen Hatun Christoph Bockisch, Hasan Sözer, Mehmet Aksit Octopus 2011 Workshop on Modularity In Systems Software (MISS 2011) System Adaptability PDF
Optimal control of bilinear systems with time-varying constraints C. Cochior P. van den Bosch, R. Waarsing, J. Verriet Octopus 2011 30th Benelux Meeting on Systems and Control System Adaptability PDF
Intentional communication: Computationally easy or difficult? Iris van Rooij Johan Kwisthout, Mark Blokpoel, Jakub Szymanik, Todd Wareham, Ivan Toni Octopus 2011 Frontiers in Human Neuroscience 5:52 System Adaptability PDF
Ignorance is Bliss: A Complexity Perspective on Adapting Reactive Architectures Todd Wareham Johan Kwisthout, Pim Haselager, Iris van Rooij Octopus 2011 Proceedings of the First IEEE Conference on Development and Learning and on Epiginetic Robotics (ICDL) System Adaptability PDF
The computational costs of recipient design and intention recognition in communication Mark Blokpoel Johan Kwisthout, Todd Wareham, Pim Haselager, Ivan Toni, and Iris van Rooij Octopus 2011 Proceedings of the 33rd Annual Meeting of the Cognitive Science Society System Adaptability PDF
Learning from Multiple Annotators with Gaussian Processes Perry Groot Adriana Birlutiu, Tom Heskes Octopus 2011 Lecture Notes in Computer Science 6792: 159-164 System Adaptability PDF
Multiple-step Time Series Forecasting with Sparse Gaussian Processes Perry Groot Peter Lucas, Paul van den Bosch Octopus 2011 Benelux AI Conference (BNAIC'11) System Adaptability PDF
A simulator for data processing pipelines Klemens Schindler Octopus 2011 Stan Ackermans Institute / Software Technology System Adaptability
Identification and feedforward Control of a drop-on-demand inkjet printhead Shenxi Ye Octopus 2011 MSc Thesis, TUDELFT System Adaptability
Adding Schedulability Analysis to the Octopus Toolset Ajith Kumar Octopus 2011 Master thesis System Adaptability PDF
Supporting Design-Space Exploration with Synchronous Data Flow Graphs in the Octopus Toolset Ashwini Moily Octopus 2011 Master thesis System Adaptability PDF
VDSEIR A graphical layer on top of the Octopus toolset A.M. in 't Groen Octopus 2011 M.Sc. Thesis System Adaptability PDF
Identification and Feedforward Control of a Drop-on-demand Inkjet Printhead Shenxi Ye Octopus 2011 M.Sc. Thesis System Adaptability PDF
Reduction of Effects of Residual Dynamics and Cross Coupling in Drop-on-Demand Inkjet Printhead Rein Brandt Octopus 2010 M.Sc. Thesis System Adaptability PDF
Robust Feedforward Control For a DoD Inkjet Printhead Amol A. Khalate X. Bombois, R. Babuska, R. Waarsing, W. de Zeeuw, P. Klerken Octopus 2010 29th Benelux Meeting on Systems and Control System Adaptability PDF
Optimization-Based Feedforward Control for a Drop-on-Demand Inkjet Printhead Amol A. Khalate Xavier Bombois, Robert Babuska, Herman Wijshoff and René Waarsing Octopus 2010 American Control Conference, Baltimore, July 2010 System Adaptability PDF
Using Bayesian Networks in an Industrial Setting: Making Printing Systems Adaptive Arjen Hommersom Peter Lucas Octopus 2010 Proceedings of the 19th European Conference on Artificial Intelligence (ECAI'10) System Adaptability PDF
Verification of Printer Datapaths using Timed Automata Georgeta Igna Frits W. Vaandrager Octopus 2010 Proceedings 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), 18-20 October 2010 - Amirandes, Heraclion, Crete. LNCS 6416, pp. 412-423, Springer-Verlag, 2010 System Adaptability PDF
Architectural Framework for Energy Optimization in Embedded Systems Hasan Sözer Arjan De Roo, Mehmet Aksit Octopus 2010 ICSE 2010 - Second International Workshop on Software Research and Climate Change - Cape Town, South Africa - 3 May, 2010 System Adaptability PDF
A system architecting tool for mechatronic systems design Hitoshi Komoto Tetsuo Tomiyama Octopus 2010 CIRP Annals - Manufacturing Technology 59 (2010) 171–174 System Adaptability PDF
Computational tool for system architecting Hitoshi Komoto T. Tomiyama Octopus 2010 Proceedings of the ASME 2010 International Design Engineering Technical Conferences &Computers and Information in Engineering Conference - IDETC/CIE 2010 - August 15-18, 2010, Montreal, Quebec, Canada - DETC2010-28683 System Adaptability PDF
Most Probable Explanations in Bayesian Networks: complexity and tractability Johan Kwisthout Octopus 2010 Technical Report ICIS--R10001 System Adaptability PDF
The Necessity of Bounded Treewidth for Efficient Inference in Bayesian Networks Johan Kwisthout Hans Bodlaender, and Linda van der Gaag Octopus 2010 Proceedings of the 19th European Conference on Artificial Intelligence (ECAI'10), August 16-20, Lisbon, Portugal. IOS Press, pp. 237-242, 2010 System Adaptability PDF
Two new notions of abduction in Bayesian networks Johan Kwisthout Octopus 2010 BNAIC 2010, October 25-26, Luxembourg System Adaptability PDF
Two new notions of abduction in Bayesian networks Johan Kwisthout Octopus 2010 Technical Report ICIS--R10005 System Adaptability PDF
Most Probable Explanations in Bayesian Networks: complexity and tractability Johan Kwisthout Octopus 2010 International Journal of Approximate Reasoning 52(9): 1452-1469 System Adaptability PDF
A Parameter Varying Lypaunov Function Approach for Tracking Control for Takagi Sugeno Class of Nonlinear Systems M. Ezzeldin Andrej Jokic, Paul van den Bosch Octopus 2010 Proc. 8th IEEE Int. conference on Control & Automation (ICCA '10). Xiamen, China: IEEE System Adaptability PDF
Model-Free Feedforward Control of Inkjet Printhead M. Ezzeldin Andrej Jokic, Paul van den Bosch Octopus 2010 29th Benelux Meeting on Systems and Control System Adaptability PDF
Model-Free Optimization Based Feedforward Control for an Inkjet Printhead M. Ezzeldin P.P.J. van den Bosch, A. Jokic, R. Waarsing Octopus 2010 Proc. IEEE Multi-Conference on Systems and Control (MSC 2010). Yokohama, Japan System Adaptability PDF
State Transition in Reconfigurable Systems Magdalena K. Chmarra Jacques Verriet, René Waarsing, Tetsuo Tomiyama Octopus 2010 Proceedings of the ASME 2010 International Design Engineering Technical Conferences &Computers and Information in Engineering Conference - IDETC/CIE 2010 - August 15-18, 2010, Montreal, Quebec, Canada - DETC2010-28723 System Adaptability PDF
Parameterized Timed Partial Orders with Resources: Formal Definition and Semantics N. Trcka M. Voorhoeve, T. Basten Octopus 2010 ES Report ESR-2010-01 System Adaptability PDF
Variable elimination by factor indexing Sander Evers Peter J.F. Lucas Octopus 2010 European Workshop on Probabilistic Graphical Models, 13-15 September 2010, Helsinki System Adaptability PDF
Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset Twan Basten Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna, Frans Reckers, Sebastian de Smet, Lou Somers and Egbert Teeselink, et al. Octopus 2010 Lecture Notes in Computer Science, 2010, Volume 6415/2010, 90-105 System Adaptability PDF
Automated Bottleneck-Driven Design-Space Exploration of Media Processing Systems Y. Yang M.C.W. Geilen, T. Basten, S. Stuijk, H. Corporaal Octopus 2010 DATE 2010, Proceedings. Dresden, Germany, 8-12 March, 2010. IEEE, 2010 System Adaptability PDF
How Action Understanding can be Rational, Bayesian and Tractable Mark Blokpoel Johan Kwisthout, Theo van der Weide, Iris van Rooij Octopus 2010 Proceedings of the 32th Annual Meeting of the Cognitive Science Society System Adaptability PDF
Reduction of Effects of Residual Dynamics and Cross Coupling in Drop-on-Demand Inkjet Printhead Rein Brandt Octopus 2010 MSc Thesis, TUDELFT System Adaptability
Design Space Exploration with Generated Timed Automata Fred Houben Octopus 2010 Master thesis System Adaptability PDF
An architectural style for optimizing system qualities in adaptive embedded systems using Multi-Objective Optimization A. de Roo H. Sözer, M. Aksit Octopus 2009 WICSA/ECSA 2009 14-17 Sept. 2009 Page(s):349 - 352 System Adaptability PDF
Improving the performance of a Drop-on-Demand Inkjet Printhead Amol A. Khalate Xavier Bombois, Robert Babuska Octopus 2009 28th Benelux Meeting on Systems and Control, March 16-18, 2009, Spa, Belgium System Adaptability PDF
Optimal experimental design for LPV identification using a local approach Amol A. Khalate Xavier Bombois, Roland Toth, Robert Babuska Octopus 2009 15th IFAC Symposium on System Identification, July 6 - 8, 2009, Saint-Malo, France System Adaptability PDF
Applying Bayesian Networks for Intelligent Adaptable Printing Systems Arjen Hommersom Peter Lucas, René Waarsing, and Pieter Koopman Octopus 2009 Proceedings of 7th Workshop on Intelligent Solutions in Embedded Systems, 2009, Ancona, Italy System Adaptability PDF
Integrating Logical Reasoning and Probabilistic Chain Graphs Arjen Hommersom Nivea Ferreira, Peter J.F. Lucas Octopus 2009 Proceedings of the European Conference on Machine Learning (ECML'2009), 2009, Bled, Slovania System Adaptability PDF
Using timed automata in the design process of printer datapaths Georgeta Igna Octopus 2009 Formal Methods Week 2009, Eindhoven System Adaptability PDF
Using timed automata in the design process of the Oce printer datapaths Georgeta Igna Octopus 2009 IPA Herfstdagen November 26, 2009 System Adaptability PDF
Adaptive Scheduling of Data Paths using Uppaal Tiga Israa AlAttili Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu, Frits Vaandrager Octopus 2009 Workshop on Quantitative Formal Methods: Theory and Applications (QFM’09) EPTCS 13, 2009 (presentation) System Adaptability PDF
Improved Convergence of MRAC Design for Printing System M. Ezzeldin P.P.J. van den Bosch, R. Waarsing Octopus 2009 Proceeding of the 2009 American control conference System Adaptability PDF
Modeling and Control of Inkjet Printhead M. Ezzeldin Andrej Jokic, Paul van den Bosch Octopus 2009 Proceedings of the 28th Benelux Meeting on Systems and Control, March 16-18, 2009, Spa, Belgium. - Spa : Solcress Seminar Center, 2009. - p. 68-68 System Adaptability PDF
Exploring Trade-offs between Performance and Resource Requirements for Synchronous Dataflow Graphs Y. Yang M.C.W. Geilen, T. Basten, S. Stuijk, H. Corporaal Octopus 2009 7th IEEE Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia 2009, Proceedings, pages 96-105. Grenoble, France, 15-16 October, 2009 System Adaptability PDF
DSET: Design-Space Exploration Toolset Xiaochen Chen Octopus 2009 Stan Ackermans Institute / Software Technology System Adaptability
A Scenario Editor for Design Space Exploration Sander van Zuidam Octopus 2009 Master thesis System Adaptability PDF
Compose*: a Language- and Platform-Independent Aspect Compiler for Composition Filters A. de Roo M. Hendriks, W. Havinga, P. Dürr, L. Bergmans Octopus 2008 First International Workshop on Advanced Software Development Tools and Techniques, WASDeTT 2008 System Adaptability PDF
Formal Modeling and Scheduling of Data Paths of Digital Document Printers Georgeta Igna Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou Somers Octopus 2008 FORMATS08 System Adaptability PDF
Towards Data Path Analysis Using Uppaal Georgeta Igna Octopus 2008 Formal Methods 2008 System Adaptability PDF
Modularization Method For Adaptable Products Lieke Arts Magdalena Chmarra, Tetsuo Tomiyama Octopus 2008 ASME 2008 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference System Adaptability PDF
Revisiting the Divide and Conquer Strategy to Deal with Complexity in Product Design Magdalena K. Chmarra Andrés A. Álvarez Cabrera, Thom van Beek, Valentina D’Amelio, Mustafa S. Erden, and Tetsuo Tomiyama Octopus 2008 2008 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications System Adaptability PDF
Towards Adaptable Architecture Magdalena K. Chmarra Lieke Arts, Tetsuo Tomiyama Octopus 2008 ASME 2008 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference System Adaptability PDF
Towards Design-time and Runtime Adaptability Magdalena K. Chmarra Lieke Arts, Tetsuo Tomiyama Octopus 2008 EDIProD' 2008 - Engineering Design in Integrated Product Development System Adaptability PDF
From Probabilistic Horn Logic to Chain Logic Nivea Ferreira Arjen Hommersom, Peter Lucas Octopus 2008 Proceedings of the 20th Belgian-Netherlands Conference on Artificial Intelligence, pages 73-80, 2008 System Adaptability PDF Best Paper Award
Formal Modeling and Analysis by Simulation of Data Paths in Digital Document Printers V. Kannan W.M.P. van der Aalst, and M. Voorhoeve Octopus 2008 Proceedings of the Nineth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2008), volume 588 of DAIMI, pages 27-46, Aarhus, Denmark, October 2008. University of Aarhus System Adaptability PDF
Protecting Information in Systems of Systems Daniel Trivellato Poseidon 2012 PhD Thesis Reliability PDF
An operational decision support framework for monitoring business constraints Fabrizio M. Maggi M. Montali & W.M.P. van der Aalst Poseidon 2012 J. de Lara & A. Zisman (Eds.), Fundamental Approaches to Software Engineering (15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings). (Lecture Notes in Computer Science, Vol. 7212, pp. 146-162). Berlin: Springer Reliability PDF
Patterns for a log-based strengthening of declarative compliance models D.M.M. Schunselaar F.M. Maggi & N. Sidorova Poseidon 2012 9th International Conference on Integrated Formal Methods (iFM 2012), Pisa, Italy Reliability PDF
Configurable Declare: Designing Customisable Flexible Models D.M.M. Schunselaar F.M. Maggi, N. Sidorova & W.M.P. van der Aalst Poseidon 2012 20th International Conference on Cooperative Information Systems (CoopIS 2012), Rome, Italy Reliability PDF
Model Driven Development of Process-Centric Web Applications M. L. Bernardi M. Cimitile, F. M. Maggi Poseidon 2012 7th International Conference on Software and Data Technologies (ICSOFT 2012), Rome, Italy Reliability
Techniques for A Posteriori Analysis of Declarative Processes A. Burattin F. M. Maggi, W. M. P. Van der Aalst, A. Sperduti Poseidon 2012 16th International EDOC Conference (EDOC 2012), Beijng Reliability
Efficient Discovery of Understandable Declarative Process Models from Event Logs Fabrizio M. Maggi J. C. Bose, W. M. P. van der Aalst Poseidon 2012 24th International Conference on Advanced Information Systems Engineering (CAiSE 2012), Gdansk, Poland Reliability PDF
Kernel Methods for Vessel Trajectories Gerben de Vries Poseidon 2012 PhD Thesis Reliability PDF
Machine learning for vessel trajectories using compression, alignments and domain knowledge Gerben de Vries Maarten van Someren Poseidon 2012 Expert Systems with Applications (2012) Reliability PDF
Reducing adapter synthesis to controller synthesis Christian Gierds Arjan J. Mooij, and Karsten Wolf Poseidon 2012 Transactions on Services Computing, volume 5, number 1, pages 72--85, IEEE, 2012 Reliability PDF
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
Runtime verification of LTL-based declarative process models Fabrizio M. Maggi M. Westergaard, M. Montali & W.M.P. van der Aalst Poseidon 2011 S. Kurshid & K. Sen (Eds.), Runtime Verification (Second International Conference, RV 2011, San Francisco CA, USA, September 27-30, 2011, Revided Selected Papers). (Lecture Notes in Computer Science, Vol. 7186, pp. 131-146). Berlin: Springer. Reliability PDF
Density Based, Visual Anomaly Detection Roeland Schepens Niels Willems, Huub van de Wetering, and Jarke J. van Wijk Poseidon 2011 Proceedings of the international workshop on Maritime Anomaly Detection (MAD) 2011, p. 11-12, 2011 Reliability PDF
Spectrum-based health monitoring for self-adaptive systems Eric Piel Alberto Gonzalez-Sanchez, Hans-Gerhard Gross, and Arjan J.C. van Gemund Poseidon 2011 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'11). IEEE Computer Society, October 2011 Reliability PDF
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 Linear Temporal Logic: An Approach Based on Colored Automata Fabrizio M. Maggi M. Montali, M. Westergaard, W. M. P. van der Aalst Poseidon 2011 9th International Conference on Business Process Management (BPM 2011), Clermont-Ferrand, France 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
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
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
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
Model-Based Testing of Industrial Transformational Systems P. Olsen J. Foederer, J. Tretmans Quasimodo 2011 Testing Software and Systems -- Proceedings of ICTSS 2011. Lecture Notes in Computer Science 7019, pp. 131-145, Springer, 2011 General PDF
Model-Based Testing and Some Steps towards Test-Based Modelling Jan Tretmans Quasimodo 2011 Formal Methods for Eternal Networked Software Systems. M. Bernardo, V. Issarny (eds.), Lecture Notes in Computer Science 6659, pp. 297-326, Springer Berlin/Heidelberg, 2011. Modeling PDF
Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction F. Aarts B. Jonsson, J. Uijen Quasimodo 2010 Int. Conf. on Testing Software and Systems. LNCS 6435, pp. 188-204, Springer, 2010 Performance / Reliability PDF
Learning I/O Automata F. Aarts F. Vaandrager Quasimodo 2010 Concurrency Theory – CONCUR 2010. LNCS 6269, pp. 71-85, Springer, 2010 Performance / Reliability PDF
A Conformance Testing Relation for Symbolic Timed Automata S. von Styp H.C. Bohnenkamp, J. Schmaltz Quasimodo 2010 Formal Modeling and Analysis of Timed Systems – FORMATS 2010. LNCS 6246, pp. 243-255, Springer, 2010 Performance / Reliability PDF
An Experience Report on an Industrial Case-Study about Timed Model-Based Testing with UPPAAL-TRON C. Rütz J. Schmaltz Quasimodo 2010 7th Int. Workshop on Advances in Model-Based Testing - A-MOST'07. Berlin, Germany, IEEE CS, 2011 Performance / Reliability PDF
Inference and Abstraction of the Biometric Passport F. Aarts J. Schmaltz, F.W. Vaandrager Quasimodo 2010 Leveraging Applications of Formal Methods, Verification and Validation, ISOLA. LNCS 6415, pp. 673-686, Springer, 2010 Performance / Reliability PDF
A Theory of Model-Based Testing and How ioco Goes eco Jan Tretmans Quasimodo 2010 Electronic Notes in Theoretical Computer Science 264(3), pp. 86-89, Elsevier, 2010 Performance / Reliability PDF
Quantitative System Validation in Model Driven Design H. Hermanns K.G. Larsen, J.-F. Raskin, J. Tretmans Quasimodo 2010 L. Carloni and S. Tripakis (eds.), Embedded Systems Week, Compilation Proceedings - EMSOFT. pp. 301-302, ACM, New York, USA, 2010. Performance / Reliability PDF
UPPAAL in Practice: Quantitative Verification of a RapidIO Network J. Xing B.D. Theelen, R. Langerak, J. van de Pol, J. Tretmans and J.P.M. Voeten Quasimodo 2010 Proceedings of the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), LNCS 6416, pp. 160-174, 2010 Performance / Reliability PDF
From POOSL to UPPAAL: Transformation and Quantitative Analysis J. Xing B.D. Theelen, R. Langerak, J. van de Pol, J. Tretmans and J.P.M. Voeten Quasimodo 2010 Proceedings of the International Conference on Application of Concurrency to System Design (ACSD), pp. 47-56, ISBN 978-0-7695-4066-5, IEEE Computer Society, 2010. Performance / Reliability PDF
The Axiomatization of Override and Update J. Berendsen D.N. Jansen, J. Schmaltz, F. Vaandrager Quasimodo 2009 Journal of Applied Logic, 2009 Performance / Reliability PDF
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks F. Heidarian J. Schmaltz, F. Vaandrager Quasimodo 2009 Int. Symp. of Formal Methods - FM2009. LNCS 5850, pp. 516-531, Springer, 2009 Performance / Reliability PDF
Maximising System Lifetime by Battery Scheduling Marijn Jongerden Boudewijn Haverkort, Henrik Bohnenkamp, Joost-Pieter Katoen Quasimodo 2009 Proceedings IEEE Int'l Conference on Dependable Systems & Networking, June 2009 Performance / Reliability PDF
Model-Based Testing of Electronic Passports W. Mostowski E. Poll, J. Schmaltz, J. Tretmans, R. Wichers Schreur Quasimodo 2009 M. Alpuente, B. Cook, C. Joubert (eds.), Formal Methods for Industrial Critical Systems - FMICS 2009. Lecture Notes in Computer Science 5825, pages 207-209. Springer-Verlag, 2009. Reliability PDF
On Conformance Testing for Timed Systems Julien Schmaltz Jan Tretmans Quasimodo 2008 Formal Modeling and Analysis of Timed Systems - FORMATS 2008 Reliability PDF
Model Based Testing with Labelled Transition Systems J. Tretmans Quasimodo 2008 Formal Methods and Testing, volume 4949 of Lecture Notes in Computer Science, pages 1-38. Springer-Verlag, 2008 Reliability PDF
Automated Model-based Testing of Hybrid Systems M. van Osch Tangram 2009 PhD Thesis Reliability
Model-based Integration and Testing of High-tech Multi-disciplinary Systems N.C.W.M. Braspenning Tangram 2008 PhD Thesis Reliability PDF
Integration and test strategies for complex manufacturing systems I.S.M. de Jong Tangram 2008 PhD Thesis Reliability
Integration and test plans for complex manufacturing systems R. Boumen Tangram 2007 PhD Thesis Reliability
Heuristics for ioco-Based Test-Based Modelling T.A.C. Willemse Tangram 2007 FMICS 2006, PDMC 2006, volume 4346 of Lecture Notes in Computer Science, p 123–147 Reliability PDF
A Model-Based Approach to Sequential Fault Diagnosis J. Pietersma A.J.C. van Gemund, and A. Bos Tangram 2007 IEEE Instrumentation and Measurement Magazine, 10(2):46–52, 2007 Reliability PDF
Symbolic Factorization of Propagation Delays out of Diagnostic System Models J. Pietersma A.J.C. van Gemund Tangram 2007 Int. Workshop on Principles of Diagnosis – DX’07, pages 170–177 Reliability PDF
Benefits and Costs of Model-Based Fault Diagnosis for Semiconductor Manufacturing Equipment J. Pietersma A.J.C. van Gemund Tangram 2007 Proceedings of INCOSE 2007 – 17th Int. Symposium on Systems Engineering Reliability Best Paper Award
Software Reliability Qualification for Semi-Conductor Manufacturing Systems I.S.M. de Jong R. Boumen, J.M. van de Mortel-Fronczak, and J.E. Rooda Tangram 2007 The 18th Annual IEEE/SEMI Advanced Semiconductor Manufacturing Conference – ASMC 2007, San Jose, CA Reliability PDF
Model-Based Testing of Environmental Conformance of Components. L. Frantzen J. Tretmans Tangram 2007 Formal Methods of Components and Objects – FMCO 2006, Lecture Notes in Computer Science Reliability PDF
Model-Based Techniques for Intelligent Integration and Testing in Industry N.C.W.M. Braspenning D.O. van der Ploeg, J.M. van de Mortel-Fronczak, and J.E. Rooda Tangram 2007 Proceedings of INCOSE 2007 – 17th Int. Symposium on Systems Engineering, June 24-28 2007 Reliability PDF
Optimal Integration and Test Planning Applied to Lithographic Systems R. Boumen I.S.M. de Jong, J.M. van de Mortel-Fronckzak, J.E. Rooda Tangram 2007 Proceedings of INCOSE 2007 – 17th Int. Symposium on Systems Engineering, June 24-28 2007 Reliability PDF
Methods and Algorithms for Model-Based Integration and Testing. R. Boumen N.C.W.M. Braspenning, I.S.M. de Jong, J.M. van de Mortel-Fronczak, and J.E. Rooda Tangram 2007 SPIder Koerier, 2007(1):4–10, April 2007 Reliability
An overview of integration and test plans in organizations with different business drivers Ivo de Jong R. Boumen, J.M. van de Mortel-Fronczak, J.E. Rooda Tangram 2007 CSER 2007 Reliability PDF
Optimal integration and test plans for software releases of lithographic systems R. Boumen I.S.M. de Jong, J.M. van de Mortel-Fronckzak, J.E. Rooda Tangram 2007 CSER 2007 Reliability PDF
Analysis and implementation of infrastructure for model-based integration and testing N.C.W.M. Braspenning J.M. van de Mortel-Fronczak, J.E. Rooda Tangram 2007 CSER 2007 Reliability PDF
Process Algebra for Dynamic System Modeling J.C.M. Baeten D.A. van Beek, J.E. Rooda Tangram 2007 CRC Handbook of Dynamic System Modeling, Chapter 19, Chapman & Hall Reliability PDF
Testing and Model-Checking Techniques for Diagnosis T.A.C. Willemse M. Gromov Tangram 2007 TestCom/FATES 2007, Lecture Notes in Computer Science 4581, pp. 138-154, Springer-Verlag Reliability PDF
Integration and Test Sequencing for Complex Systems R. Boumen I.S.M. de Jong, J.M.G. Mestrom, J.M. van de Mortel-Fronczak, J.E. Rooda Tangram 2007 Technical Report TU/e, Mech. Eng, SE 2007-07 Reliability PDF
Modeling, Analysis and Implementation of Infrastructure for Model-Based Integration and Testing N.C.W.M. Braspenning J.M. van de Mortel-Fronczak, J.E. Rooda Tangram 2007 Technical Report TU/e, Mech. Eng, SE 2007-08 Reliability PDF
Test Strategy Analysis for Manufacturing Systems I.S.M. de Jong R. Boumen, J.M. van de Mortel-Fronczak, J.E. Rooda Tangram 2007 Technical Report TU/e, Mech. Eng, SE 2007-10 Reliability PDF
Parallelizing Test Phases using Graph Partitioning Algorithms I.S.M. de Jong R. Boumen, J.M. van de Mortel-Fronczak, J.E. Rooda Tangram 2007 Technical Report TU/e, Mech. Eng, SE 2007-11 Reliability PDF
Test Set Improvement using a Next-Best-Test-Case Algorithm I.S.M. de Jong R. Boumen, J.M. van de Mortel-Fronczak, J.E. Rooda Tangram 2007 Technical Report TU/e, Mech. Eng, SE 2007-11 Reliability PDF
Selecting a Suitable System Architecture for Integration and Testing I.S.M. de Jong R. Boumen, J.M. van de Mortel-Fronczak, J.E. Rooda Tangram 2007 Technical Report TU/e, Mech. Eng, SE 2007-13 Reliability PDF
Temporal versus Spatial Observability in Model-Based Diagnosis J. Pietersma A.J.C. van Gemund Tangram 2006 Proceedings of IEEE Int. Conf. on Systems, Man, and Cybernetics – SMC 2006 Reliability PDF
Hybrid Input-Output Conformance and Test Generation M. van Osch Tangram 2006 Formal Approaches to Software Testing and Runtime Verification – FATES/RV’06, volume 4262 of Lecture Notes in Computer Science, pages 70-84. Springer-Verlag, 2006 Reliability PDF
Model Based Testing with Labelled Transition Systems J. Tretmans Tangram 2006 Technical Report Radboud University ICIS-R6037 Reliability PDF
Integration Sequencing in Complex Manufacturing Systems R. Boumen I.S.M. de Jong, J.M.G. Mestrom, J.M. van de Mortel-Fronczak, J.E. Rooda Tangram 2006 Technical Report TU/e, Mech. Eng, SE 2006-02 Reliability PDF
Model-Based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi J.C.M. Baeten D.A. van Beek, P.J.L. Cuijpers, M.A. Reniers, J.E. Rooda, R.R.H Schiffelers, R.J.M Theunissen Tangram 2006 LIX Colloquium on Emerging Trends in Concurrency Theory Reliability PDF
Diagnostic Accuracy of Models J. Pietersma A.J.C. van Gemund Tangram 2006 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes – SAFEPROCESS 2006, pages 913–918, Beijing Reliability
Modeling and Compilation Aspects of Fault Diagnosis Complexity J. Pietersma A. Feldman, and A.J.C. van Gemund Tangram 2006 IEEE AUTOTESTCON Systems Readiness Technology Conference, pages 502–508 Reliability PDF
Integration and Test Strategies for Semiconductor Manufacturing Equipment I.S.M. de Jong R. Boumen, J.M. van de Mortel-Fronczak, and J.E. Rooda. Tangram 2006 Proceedings of INCOSE 2006 – 16th Int. Symposium on Systems Engineering, July 2006 Reliability PDF
A Symbolic Framework for Model-Based Testing L. Frantzen J. Tretmans, and T.A.C. Willemse Tangram 2006 Formal Approaches to Software Testing and Runtime Verification – FATES/RV’06, volume 4262 of Lecture Notes in Computer Science, pages 40–54. Springer-Verlag, 2006 Reliability PDF
All Roads Lead to Fault Diagnosis: Model-Based Reasoning with Lydia A. Feldman J. Pietersma, and A. van Gemund Tangram 2006 Proceedings of the Eighteenth Belgium-Netherlands Conference on Artificial Intelligence – BNAIC-06, p 123–131 Reliability
A Multi-Valued SAT-Based Algorithm for Faster Model-Based Diagnosis A. Feldman J. Pietersma, and A. van Gemund Tangram 2006 Proceedings of the Seventeenth Int. Workshop on Principles of Diagnosis – DX-06, p 93–100 Reliability
A Multidisciplinary Model-Based Test and Integration Infrastructure. W.J.A. Denissen Tangram 2006 Proceedings of the 2006 IEEE Int. Symposium on Intelligent Control, pages 1916–1921 Reliability PDF
Model-Based System Analysis using X and Uppaal: An Industrial Case Study N.C.W.M. Braspenning E.M. Bortnik, J.M. van de Mortel-Fronczak, and J.E. Rooda Tangram 2006 Computers in Industry 59(1), 41-54 Reliability PDF
Test Sequencing in Complex Manufacturing Systems R. Boumen I.S.M. de Jong, J.W.H. Vermunt, J.M. van de Mortel-Fronczak, and J.E. Rooda Tangram 2006 IEEE Transactions on Systems, Man and Cybernetics – Part A: Systems and Humans, 2006 Reliability PDF
A Risk-Based Stopping Criterion for Test Sequencing R. Boumen I.S.M. de Jong, J.W.H. Vermunt, J.M. van de Mortel-Fronczak, J.E. Rooda Tangram 2006 Technical Report TU/e, Mech. Eng, SE 420460 Reliability PDF
Test Time Reduction by Optimal Test Sequencing R. Boumen I.S.M. de Jong, J.M. van de Mortel-Fronczak, and J.E. Rooda Tangram 2006 Proceedings of INCOSE 2006 – 16th Int. Symposium on Systems Engineering, July 2006 Reliability PDF
A model-based integration and testing method to reduce system development effort N.C.W.M. Braspenning J.M. van de Mortel-Fronczak, J.E. Rooda Tangram 2006 2nd Workshop on model-based testing (MBT2006), Vienna, Austria, 25-26 March, 2006 Reliability PDF
Model-based support for integration and testing of a multi-disciplinary industrial system N.C.W.M. Braspenning D. Kostic, J.M. van de Mortel-Fronczak, J.E. Rooda Tangram 2006 European Systems Engineering Conference 2006 (EuSEC), September 18-20, 2006, Edinburgh, United Kingdom Reliability PDF
A Model-based Approach to Sequential Fault Diagnosis J. Pietersma A.J.C. van Gemund, A. Bos Tangram 2005 Proc. IEEE AUTOTESTCON'05, Orlando, Sept. 2005 Reliability Best Paper Award
Wiskundige Teststrategie Belooft Weken Winst in Doorloop R. Boumen I.S.M. de Jong Tangram 2005 Bits & Chips, 7(14):16–19, 2005 Reliability
Doorlooptijd Verkorting door het Gebruik van Optimale Test Volgordes R. Boumen I.S.M. de Jong Tangram 2005 Bits & Chips, August 2005 Reliability
Test Generation Based on Symbolic Specifications L. Frantzen J. Tretmans, and T.Willemse Tangram 2005 Formal Approaches to Software Testing – FATES 2004, volume 3395 of Lecture Notes in Computer Science, pages 1–15. Springer-Verlag, 2005 Reliability PDF
Timed Testing with TorX Henrik Bohnenkamp A.Belinfante Tangram 2005 FM 2005: Formal Methods: International Symposium of Formal Methods Europe. Lecture Notes in Computer Science 3582, pages 173-188. Springer-Verlag Reliability PDF
Automated Model-Based Testing of X-Simulation Models with TorX. M. van Osch Tangram 2005 Quality of Software Architectures and Software Quality, Lecture Notes in Computer Science 3721, pages 227-241. Springer-Verlag Reliability PDF
A Model-Based Approach to Fault Diagnosis J. Pietersma Arjan J.C. van Gemund, Andre Bos Tangram 2004 ASCI2004 Reliability PDF
Testing Industrial Embedded Systems - An Overview M. Prins Tangram 2004 Proceedings of INCOSE 2004 – 14th Int. Symposium on Systems Engineering Reliability
A Diagnostic Reasoning Approach to Defect Prediction Rui Abreu Alberto Gonzalez-Sanchez, Arjan J.C. van Gemund Trader 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
Simultaneous debugging of software faults Rui Abreu Peter Zoeteweij, Arjan J C Van Gemund Trader 2011 Journal of Systems and Software (2011) Volume: 84, Issue: 4, Publisher: Elsevier Inc., Pages: 573-586 Reliability PDF
Distribution-Transparency in Runtime Verification Somayeh Malakuti M. Aksit, C. Bockisch Trader 2011 Ninth IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops (ISPAW), 2011 Reliability PDF
Runtime Verification of Component-Based Embedded Software Hasan Sözer C. Hofmann, B. Tekinerdogan, and M. Aksit Trader 2011 Proceedings of the 26th International Symposium on Computer and Information Sciences, 26-28 September 2011, London, UK. pp. 471-477. Springer Verlag. ISBN 978-1-4471-2154-1 Reliability PDF
Event Composition Model: Achieving Naturalness in Runtime Enforcement Somayeh Malakuti Trader 2011 PhD Thesis Reliability PDF
Exploiting Count Spectra for Bayesian Fault Localization Rui Abreu Alberto Gonzalez-Sanchez and Arjan van Gemund Trader 2010 PROMISE'10: 6th International Conference on Predictive Models in Software Engineering, pp. 1-10, Timisoara, Romania. ACM Press Reliability PDF
In Service For Over 30 Years: A Retrospective Analysis Of The Teletext Standard T. Hendriks P. van de Laar Trader, Darwin 2010 Proc 8th Annual Conference on Systems Engineering Research (CSER) Reliability PDF
Diagnosing Multiple Intermittent Failures Using Maximum Likelihood Estimation R. Abreu A.J.C. van Gemund Trader 2010 Artificial Intelligence Journal (AIJ), vol. 174(18), pp. 1481--1497, Elsevier, 2010 Reliability PDF
System-level analysis of soft error rates and mitigation trade-off explorations Zhe Ma Francky Catthoor, Frank Vermunt, Teun Hendriks Trader 2010 2010 IEEE International Reliability Physics Symposium Reliability PDF
Increasing System Availability with Local Recovery based on Fault Localization Hasan Sözer Rui Abreu, Mehmet Aksit and Arjan J.C. van Gemund Trader 2010 2010 10th International Conference on Quality Software Reliability PDF
Do you really know your consumers? Jeroen Keijzers Trader 2010 PhD Thesis Reliability
Focusing Automatic Code Inspections Cathal Boogerd Trader 2010 PhD Thesis Reliability PDF
A Rule Set to Detect Interference of Runtime Enforcement Mechanisms Somayeh Malakuti Christoph Bockisch and Mehmet Aksit Trader 2009 20th annual International Symposium on Software Reliability Engineering, ISSRE 2009, 16-19 Nov 2009, Mysore, India Reliability PDF
Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software Somayeh Malakuti Christoph Bockisch and Mehmet Aksit Trader 2009 20th annual International Symposium on Software Reliability Engineering,ISSRE 2009, 16-19 Nov 2009, Mysore, India. pp. 31-40. IEEE Computer Society Press. ISBN 978-0-7695-3878-5 Reliability PDF
Spectrum-based Fault Localization in Embedded Software R. Abreu Trader 2009 PhD Thesis Reliability PDF
Spectrum-based Multiple Fault Localization R. Abreu P.Zoeteweij, and A.J.C. van Gemund Trader 2009 Proceedings of the 24th International Conference on Automated Software Engeneering (ASE'09), Auckland, New Zealand, November 2009. IEEE Society Reliability
Zoltar: A Toolset for Automatic Fault Localization T. Janssen R. Abreu, and A.J.C. van Gemund Trader 2009 Proceedings of the 24th International Conference on Automated Software Engeneering (ASE'09) - Tools Track, Auckland, New Zealand, November 2009. IEEE Computer Society Reliability Best Demo Award
Using Fault Screeners for Software Error Detection R. Abreu A. Gonzalez, P. Zoeteweij, and A.J.C. van Gemund Trader 2009 WEBIST / ENASE 2008 Revised Best Papers, Lecture Notes in Communications in Computer and Information Science (LNCCIS) ; J. Cordeiro, L.A. Maciaszek, S. Hammoudi and J. Filipe (Eds.) Reliability
A Practical Evaluation of Spectrum-based Fault Localization R. Abreu Peter Zoeteweij, Rob Golsteijn and Arjan J.C. van Gemund Trader 2009 Journal of Systems and Software, 2009 Reliability PDF
FLORA: A framework for decomposing software architecture to introduce local recovery Hasan Sözer B. Tekinerdogan, M. Aksit Trader 2009 Software Practice and Experience, Wiley, 39(10). pp. 869-889 Reliability PDF
Architectural Availability Analysis of Software Decomposition for Local Recovery H. Boudali H. Sozer , M. Stoelinga Trader 2009 The 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI) Reliability
Localizing Software Faults Simultaneously R. Abreu P. Zoeteweij, and A.J.C. van Gemund Trader 2009 Proceedings of the 9th International Conference on Quality of Software (QSIC’09), Jeju, South Korea, August 2009 Reliability
Zoltar: A Spectrum-based Fault Localization Tool T. Janssen R. Abreu, and A.J.C. van Gemund Trader 2009 Proceedings of the 1st International Workshop on Software Integration and Evolution @ Runtime (SINTER’09), Amsterdam, the Netherlands, August 2009. ACM Press. Reliability
A New Bayesian Approach to Multiple Intermittent Fault Diagnosis R. Abreu P. Zoeteweij, and A.J.C. van Gemund Trader 2009 Proceedings of the 21st International Joint Conference on Artifical Intelligence (IJCAI’09), Pasadena, CA, USA, July 2009. AAAI Press Reliability PDF
A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis R. Abreu A.J.C. van Gemund Trader 2009 Proceedings of the 8th Symposium on Abstraction, Reformulation and Approximation (SARA’09), Lake Arrowhead, CA, USA, July 2009. AAAI Press Reliability PDF
Evaluating the Relation Between Coding Standard Violations and Faults Within and Across Versions Cathal Boogerd Leon Moonen Trader 2009 Proceedings of the Sixth IEEE Working Conference on Mining Software Repositories (MSR), pp. 41--50. IEEE, May 2009 Reliability PDF
A Model-based Software Reasoning Approach to Software Debugging R. Abreu P. Zoeteweij, and A.J.C. van Gemund Trader 2009 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA-AIE’09), Tainan, Taiwan, June 2009. Studies in Computational Intelligence, vol. 214, pp. 233-239, Springer-Verlag Reliability PDF
A Bayesian Approach to Diagnose Multiple Intermittent Faults R. Abreu P. Zoeteweij, and A.J.C. van Gemund Trader 2009 Proceedings of the 20th International Workshop on Principles of Diagnosis (DX’09), pp. 27-33, Stockholm, Sweden, June 2009 Reliability
A Statistics-directed Minimal Hitting Set Algorithm R. Abreu A.J.C. van Gemund Trader 2009 Proceedings of the 20th International Workshop on Principles of Diagnosis (DX’09), pp. 51-58, Stockholm, Sweden, June 2009 Reliability
Refining Spectrum-based Fault Localization Rankings R. Abreu W. Mayer, M. Stumptner, and A.J.C. van Gemund Trader 2009 Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC’09) - Software Engineering Track, pp. 409–414, Honolulu, Hawai’i, USA, March 2009 Reliability PDF
Understanding Consumer Perception of Technological Product Failures: An Attributional Approach Jeroen Keijzers Elke den Ouden; Yuan Lu Trader 2009 27th Conference on Human Factors in Computing Systems ; Poster presentation Reliability PDF
Understanding Consumer Perception of Technological Product Failures: An Attributional Approach Jeroen Keijzers Elke den Ouden; Yuan Lu Trader 2009 27th Conference on Human Factors in Computing Systems Reliability PDF
Scenario-Based Evaluation of Perception of Picture Quality Failures in LCD Televisions Jeroen Keijzers L. Scholten, Y. Lu, E. den Ouden Trader 2009 CIRP design conference, 30 – 31 march 2009, Cranfield, UK pp. 497 – 503. Reliability PDF
Architecting Fault-Tolerant Software Systems Hasan Sözer Trader 2009 PhD Thesis Reliability PDF
User-Perceived Reliability of High-Volume Products Jozef Hooman Trader 2008 ESI Symposium on Applied Academic and Industrial Research on Embedded Systems, 2008 Reliability
An Industry-as-Lab Project: TRADER Jozef Hooman Trader 2008 ARTEMIS & ITEA Co-summit 2008 Reliability PDF
A Dynamic Modeling Approach to Software Multiple-Fault Localization R. Abreu P. Zoeteweij, and A.J.C. van Gemund Trader 2008 Proceedings of the 19th International Workshop on Principles of Diagnosis (DX'08), pp. 7-14, Blue Mountains, NSW, Australia, September 2008 Reliability PDF
Prioritizing Model-Based Debugging Diagnostic Reports W. Mayer R. Abreu, M. Stumptner, and A.J.C. van Gemund Trader 2008 Proceedings of the 19th International Workshop on Principles of Diagnosis (DX'08), pp. 127-134, Blue Mountains, NSW, Australia, September 2008 Reliability PDF
The 'Double-Edged Sword' of High-Feature Products: An Explorative Study of the Business Impact Jeroen Keijzers Elke den Ouden, Yuan Lu Trader 2008 Proceedings of the 32nd Annual Product Development and Management Association (PDMA) International Research Conference, Orlando, USA Reliability PDF
Usability benchmark study of commercially available smart phones: cell phone type platform, PDA type platform and PC type platform. Jeroen Keijzers Elke den Ouden, Yuan Lu: Trader 2008 Mobile HCI 2008 Reliability PDF
On the Use of Data Flow Analysis in Static Profiling Cathal Boogerd Leon Moonen Trader 2008 Proceedings of the 8th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM) 2008 Reliability PDF
Assessing the Value of Coding Standards: An Empirical Study Cathal Boogerd Leon Moonen Trader 2008 Technical Report TUD-SERG-2008-017, Delft University of Technology, 2008 Reliability PDF
Assessing the Value of Coding Standards: An Empirical Study Cathal Boogerd Leon Moonen Trader 2008 Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM) 2008 Reliability PDF
Automated Fault Diagnosis in Embedded Systems P. Zoeteweij J. Pietersma, R. Abreu, A. Feldman, and A.J.C. van Gemund Trader 2008 Proceedings of the 2nd IEEE International Conference on Secure Systems and Reliability Improvement (SSIRI'08) Reliability PDF
An Observation-based Model for Fault Localization R. Abreu P. Zoeteweij, and A.J.C. van Gemund Trader 2008 Proceedings of the 6th Workshop on Dynamic Analysis (WODA'08), colocated with the International Symposium on Software Testing and Analysis (ISSTA'08), pp. 64-70 Reliability PDF
Model-Based Run-Time Error Detection Jozef Hooman Teun Hendriks Trader 2008 Lecture Notes in Computer Science; Models in Software Engineering; Vol. 5002 pp. 225-236, 2008 Reliability PDF
Real-Time Analysis for Memory Access in Media Processing SoCs - A Practical Approach Liesbeth Steffens Manvi Agarwal, Pieter van der Wolf Trader 2008 Proceedings of the 2008 Euromicro Conference on Real-Time Systems - Pages 255-265 ; 2008 Reliability PDF
Automatic Software Fault Localization using Generic Program Invariants R. Abreu A. González, P. Zoeteweij, and A.J.C. van Gemund Trader 2008 Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC'08) - Software Engineering Track, pp. 712--717 Reliability PDF
On the Performance of Fault Screeners in Software Development and Deployment R. Abreu A. González, P. Zoeteweij, and A.J.C. van Gemund Trader 2008 Proceedings of the 3rd International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'08), pp. 123--130 Reliability PDF
Introducing Recovery Style for Modeling and Analyzing System Recovery Hasan Sözer Bedir Tekinerdogan Trader 2008 7th Working IEEE/IFIP Conference on Software Architecture (WICSA 2008) Reliability PDF
Software Architecture Reliability Analysis using Failure Scenarios Bedir Tekinerdogan Hasan Sozer, Mehmet Aksit Trader 2008 Journal of systems and software, 81 (4). pp. 558-575 Reliability PDF
Analyzing User Perceived Failure Severity in Consumer Electronics Products I.M. de Visser Trader 2008 PhD Thesis Reliability PDF
Real Time Bandwidth Monitoring: IP2032 - A Case Study M. Agarwal A.K. Nieuwland Trader 2008 Technical Note NXP-R-TN 2008/00086 Reliability
Dependability for High-Tech Systems: an Industry-as-Laboratory Approach Ed Brinksma Jozef Hooman Trader 2008 DATE, pp.1226-1231, 2008 Design, Automation and Test in Europe, 2008 Reliability PDF
Dependability for High-Tech Systems: an Industry-as-Laboratory Approach Ed Brinksma Jozef Hooman Trader 2008 ESI Report Nr. 2008–1 Reliability PDF
On the Accuracy of Spectrum-based Fault Localization R. Abreu P. Zoeteweij, and A.J.C. van Gemund Trader 2007 Proceedings of the Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART'07), pp. 89--98 Reliability PDF
Automated Fault Diagnosis in Embedded Software P. Zoeteweij J. Pietersma, R. Abreu, A. Feldman, and A.J.C. van Gemund Trader 2007 Proceedings of the ESI / Bits & Chips Embedded Systems Conference, Eindhoven.2007 Reliability PDF
User-Controlled Reflection on Join Points P. van de Laar Rob Golsteijn Trader 2007 Journal of Software, Vol. 2, No. 3, pp. 1-8, September 2007 Reliability PDF
Model-Based Run-Time Error Detection Jozef Hooman Teun Hendriks Trader 2007 Workshop Models@run.time MODELS2007 Reliability PDF
Run-time Task Overlapping on Multiprocessor Platforms Zhe Ma D. Scarpazza, F. Catthoor, et al. Trader 2007 IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2007 (ESTIMedia 2007), Pages: 47-52, October 4-5, 2007; Reliability PDF
Systematic methodology for real-time cost-effective mapping of dynamic concurrent task-based systems on heterogeneous platforms Zhe Ma et al. Trader 2007 Springer, 2007, ISBN 978-1-4020-6328-2 Reliability PDF
Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level Hasan Sözer Bedir Tekinerdogan, Mehmet Aksit Trader 2007 Architecting Dependable Systems IV, Ed. by Rogerio de Lemos et.al., 2007 Reliability PDF
Detecting Mode Inconsistencies in Component-Based Embedded Software Hasan Sözer Christian Hofmann, Bedir Tekinerdogan, Mehmet Aksit Trader 2007 DSN Workshop on Architecting Dependable Systems, 27 June 2007, Edinburgh, United Kingdom. pp. 154-160. IEEE Computer Society Reliability PDF
Software Fault Diagnosis P. Zoeteweij J. Pietersma, R. Abreu, A. Feldman, A.J.C. van Gemund Trader 2007 Tutorial TESTCOM / FATES / FORTE 2007 Reliability PDF
Supporting Reliable Software Evolution through Program Analysis Cathal Boogerd Trader 2007 Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR) Reliability PDF
Automated Fault Diagnosis J. Pietersma R. Abreu, A. Feldman, P. Zoeteweij, A. J.C. van Gemund Trader 2007 Poster session at Nederlands Institute for Research ICT kick-off Event, Utrecht Reliability
Diagnosis of Embedded Software using Program Spectra P. Zoeteweij R. Abreu, R. Golsteijn, A.J.C. van Gemund Trader 2007 Proceedings of the 14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'07) Reliability PDF
Fault Diagnosis of Embedded Software using Program Spectra P. Zoeteweij R. Abreu, R. Golsteijn, A.J.C. van Gemund Trader 2007 Proceedings of the 3rd European Symposium on Verification and Validation of Software Systems (VVSS 2007), LaQuSo Reliability
Research and design for user-perceived reliability enhancement of teletext and future data carousels K.S.W. van Langen M. Opdam, P.J.L.J. van de Laar, and R.H.M. Golsteijn Trader 2006 Philips Research Report, PR-TN 2006/00395, 2006 Reliability
An Infrastructure for Traceability to Increase Insight in Complex Embedded Systems J.P.T. Dobbelsteen R.H.M. Golsteijn; P.J.L.J. van de Laar Trader 2006 Technical Note PR-TN 2006/00506 Reliability PDF
Evaluating test methods in dealing with customer perceived failures in highly innovative product development Jeroen Keijzers Ouden, P.H. den, Brombacher, A.C. Trader 2006 Proceedings of the IEEE International Conference on Management of Innovation and Technology. (Vol. 2, pp. 576-580) Reliability PDF
The risks of applying qualitative reliability prediction methods: a case study I.M. de Visser J.A. van den Bogaard Trader 2006 Proceedings of the Annual Reliability and Maintainability Symposium 2006 (RAMS '06) Reliability PDF
Understanding Failure Severity in New Product Development Processes of Consumer Electronics Products I.M. de Visser Lu Yuan, & Ganesh Nagappan Trader 2006 Proceedings of the 2006 IEEE International Conference on Management of Innovation and Technology (ICMIT 2006) Reliability PDF
Ranking Software Inspection Results using Execution Likelihood Cathal Boogerd Leon Moonen Trader 2006 Proceedings of the Philips Software Conference (PSC) Reliability PDF
Ranking Software Inspection Results using Execution Likelihood Cathal Boogerd Leon Moonen Trader 2006 Poster Session at Scientific ICT Research Event Netherlands Reliability PDF
Prioritizing Software Inspection Results using Static Profiling Cathal Boogerd Leon Moonen Trader 2006 Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM) Reliability PDF
Fault Diagnosis of Embedded Software using Program Spectra P. Zoeteweij R. Abreu, R. Golsteijn, A.J.C. van Gemund Trader 2006 Proceedings of the 12th Nederlandse Testdag, ASML, Veldhoven Reliability PDF
An Evaluation of Similarity Coefficients for Software Fault Localization Rui Abreu Peter Zoeteweij, Arjan van Gemund Trader 2006 Proceedings of the 12th International Symposium on Pacific Rim Dependable Computing (PRDC'06) Reliability PDF
Automatic Fault Diagnosis in Embedded Software Rui Abreu P. Zoeteweij, R. Golsteijn, A.J.C. van Gemund Trader 2006 Proceedings of 10th Philips Software Conference (PSC'06), Veldhoven Reliability PDF
Program Spectra Analysis in Embedded Software: A Case Study Rui Abreu Peter Zoeteweij, Arjan van Gemund Trader 2006 In Proceedings of the 12th Annual Conference of the Advanced School for Computing and Imaging (ASCI'06), pp. 263 -- 269, Lommel, Belgium, June 2006 Reliability PDF
Combining component-based and aspect-oriented software development in a resource constrained environment P. van de Laar Trader 2006 Technical Note PR-TN 2006/00648 Reliability PDF
Software Architecture Reliability Analysis using Failure Scenarios Bedir Tekinerdogan Hasan Sözer, Mehmet Aksit Trader 2005 Wicsa, pp.203-204, Fifth Working IEEE/IFIP Conference on Software Architecture (WICSA'05), 2005 Reliability PDF
Introduction to Software Fault Tolerance ; Concepts and Design Patterns R.T.C. Deckers P.L. Janson; F.H.G. Ogg; P. J. L. J. van de Laar Trader 2005 Technical Note PR-TN 2005/00451 Reliability PDF
Modelgebaseerd ontwerp van regelaars in lithoscanners W. Alberts Ramon Schiffelers, Jeroen Voeten Wings 2012 Bits en Chips, April 2012, pp 33-36 Performance / Flexibility / Evolvability PDF
Throughput Specification, Simulation and Validation J. Jacobs R. Schiffelers, J. Voeten Wings 2011 Poster, 11th ASML Technology Conference, 2011 Performance / Flexibility / Evolvability
Boosting Software Development Efficiency W. Alberts T. Baan, N. Brouwers, M. Hamilton, W. Tabingh Suermondt, J. Voeten Wings 2011 Poster, 11th ASML Technology Conference, 2011 Performance / Flexibility / Evolvability
Predicting Timing Performance of Advanced Mechatronics Control Systems Jeroen Voeten T. Hendriks, B. Theelen, J. Schuddemat, W. Tabingh Suermondt, J. Gemei, K. Kotterink, C. van Huët Wings 2011 IEEE conference on Computer Software and Applications (COMPSAC 2011), Munich, 18-21 July 2011 Performance / Flexibility / Evolvability PDF
Y-Chart Based System Design: A Discussion on Approaches J. Lapalme B. Theelen, N. Stoimenov, J. Voeten, L. Thiele, E. Aboulhamid Wings 2009 ACM Transaction on Embedded Computing Systems Performance / Flexibility / Evolvability
All-in-one throughput analysis J. Jacobs Z. Alberti, S. Auer, P. van Dongen, P. van Gils, D. Ramaekers, J. Voeten Wings 2009 10th ASML Technology Conference, 2009 Performance / Flexibility / Evolvability 2nd best poster