Scientific publications
Below you find an overview of scientific publications that are a result of ESI 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.
| Title | First Author | Other authors | Project | Year | Published in | ESI Competence Area | Award | |
|---|---|---|---|---|---|---|---|---|
| Model Checking of Scenario-Aware Dataflow with CADP | B.D. Theelen | J.P. Katoen, and H. Wu | Generic | 2012 | Proceedings of Design, Automation and Test in Europe (DATE), ACM 2012 | Modeling | ||
| Designing Next-Generation Real-Time Streaming Systems | S. Stuijk | T. Basten, B. Akesson, M. Geilen, O. Moreira, J. Reineke | Generic | 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 | ||
| Pareto Analysis with Uncertainty | M. Hendriks | M. Geilen, T. Basten | Generic | 2011 | 9th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2011, Proceedings, pages 189-196. Melbourne, Australia, October 24-26, 2011 | Performance | ||
| Distributed Maintenance of Minimum-cost Path Information in Wireless Sensor Networks | M. Steine | M. Geilen, T. Basten | Generic | 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 | ||
| 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 | Generic | 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 | ||
| Hybrid Code-Data Prefetch-Aware Multiprocessor Task Graph Scheduling | M. Damavandpeyma | S. Stuijk, T. Basten, M. Geilen, H. Corporaal | Generic | 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 | ||
| A Visual Language for Modeling and Analyzing Printer Data Path Architectures | E. Teeselink | L. Somers, T. Basten, N. Trcka, M. Hendriks | Generic | 2011 | Industry Track of Software Language Engineering, ITSLE 2011, Workshop proceedings, 20 pages. Braga, Italy, 5 July, 2011 | Modeling | ||
| Mean-field framework for performance evaluation of push–pull gossip protocols | Rena Bakhshi | L. Cloth, W. Fokkink, and B.R.H.M. Haverkort | Generic | 2011 | Performance evaluation, 68 (2). pp. 157-179. ISSN 0166-5316 | General | ||
| Parallel and Distributed Methods in Verification | I. Cerna | B.R.H.M. Haverkort | Generic | 2011 | Journal of Logic and Computation, 21 (1). pp. 1-3. ISSN 0955-792X | General | ||
| Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull? | B.R.H.M. Haverkort | Generic | 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 | |||
| Lifetime improvement by battery scheduling | M.R. Jongerden | B.R.H.M. Haverkort | Generic | 2011 | Proceedings of the 27th annual UK Performance Engineering Workshop, UKPEW2011, 7-8 Jul 2011, Bradford, UK. pp. 56-71. | General | ||
| Time-bounded reachability in tree-structured QBDs by abstraction | D. Klink | A.K.I. Remke, B.R.H.M. Haverkort and J.P. Katoen | Generic | 2011 | Performance evaluation, 68 (2). pp. 105-125. ISSN 0166-5316 | General | ||
| 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 | Generic | 2011 | QEST 2011: Fast Abstracts, 5-8 Sep 2011, Aachen, Germany. pp. 9-10. CTIT Workshop Proceedings WP11-03 | General | ||
| 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 | Generic | 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 | ||
| Decomposition-Based Queueing Network Analysis with FiFiQueues | R. Sadre | B.R.H.M. Haverkort | Generic | 2011 | Queueing Networks: A Fundamental Approach. International Series in Operations Research & Management Science 154. Springer Verlag, New York, pp. 643-699 | General | ||
| An adaptive resource control mechanism in multi-hop ad-hoc networks | Yimeng Yang | G.J. Heijenk and B.R.H.M. Haverkort | Generic | 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 | ||
| Experiences with a Compositional Model Checker in the Healthcare Domain | Jozef Hooman | R. Huis in 't Veld, and M. Schuts | Generic | 2011 | Pre-symposium Proceedings Foundations of Health Information Engineering and Systems (FHIES 2011), UNU-IIST Report 454, McSCert Report 5, pp. 92-109 | General | ||
| Performance Model Checking Scenario-Aware Dataflow | B.D. Theelen | M.C.W. Geilen and J.P.M. Voeten | Generic | 2011 | International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2011), Aalborg, 21-23 September 2011 | Performance / Modeling | ||
| Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs | Marc Geilen | Joachim Falk, Christian Haubelt, Twan Basten, Bart Theelen and Sander Stuijk | Generic | 2011 | ES Reports - ESR-2011-03 | General | ||
| De computer verdwijnt | Twan Basten | Generic | 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 | |||
| 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 | Generic | 2011 | INCOSE 2011 | General | ||
| Researching the application of Pugh Matrix in the sub-sea equipment industry | Gerrit Muller | Dag Jostein Klever, Halvard H. Bjørnsen, Michael Pennotti | Generic | 2011 | PROCEEDINGS CSER 2011, April 15-16, Los Angeles, CA, USA | General | ||
| Scenario-Aware Dataflow: Modeling, Analysis and Implementation of Dynamic Applications | S. Stuijk | M.C.W. Geilen, B.D. Theelen and T. Basten | Generic | 2011 | International Conference of Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS 2011), SAMOS, 18-21 July 2011 | Modeling | ||
| Model-driven embedded-system design | Twan Basten | Rolf Ernst | Generic | 2010 | ACM Transactions on Embedded Computing Systems (TECS) ; Volume 10 Issue 2, December 2010 | Modeling | ||
| Quantitative Verification in Practice | Boudewijn Haverkort | Joost-Pieter Katoen and Kim G. Larsen | Generic | 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 | ||
| 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 | Generic | 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 | ||
| Supporting The System Architect: Model-assisted communication | Even Engebakken | Gerrit Muller and Michael Pennotti | Generic | 2010 | Systems Reseach Forum Volume 4, Issue 2, December 2010 | General | ||
| Bringing digital data services to life in North America | A. Goršak | T. Hendriks | Generic | 2010 | Proc. 11th Workshop Digital Broadcasting, Fraunhofer IIS, Erlangen | Reliability | ||
| Thermal-Aware Address Decoding in Scratchpad Memories | M. Damavandpeyma | S. Stuijk, T. Basten, M. Geilen, H. Corporaal | Generic | 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 | ||
| Thermal-Aware Scratchpad Memory Design and Allocation | M. Damavandpeyma | S. Stuijk, T. Basten, M. Geilen, H. Corporaal | Generic | 2010 | 28th International Conference of Computer Design, ICCD 2010, Proceedings. Amsterdam, Netherlands, 3-6 October 2010 | General | ||
| A Pareto-Algebraic Framework for Signal Power Optimization in Global Routing | H. Shojaei | T.-H. Wu, A. Davoodi, T. Basten | Generic | 2010 | 16th International Symposium on Low Power Electronics and Design, ISLPED 2010, Proceedings. Austin, Texas, USA, 18-20 August, 2010 | General | ||
| Dependable Sensor and Actuator Networks | T. Basten | M. Geilen, B.R. Haverkort, T. Hendriks, S. Stuijk | Generic | 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 | ||
| A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour | S. Stuijk | M.C.W. Geilen, T. Basten | Generic | 2010 | Digital System Design, 13th EUROMICRO Conference, DSD 2010, Proceedings. Lille, France, 1-3 September 2010 | Performance | ||
| Kahn Process Networks and a Reactive Extension | M.C.W. Geilen | T. Basten | Generic | 2010 | Handbook of Signal Processing Systems, pages 967-1006. Springer, Berlin, Germany | Modeling | ||
| Predicting the Throughput of Multiprocessor Applications under Dynamic Workload | P. Poplavko | M. Geilen, T. Basten | Generic | 2010 | 28th International Conference of Computer Design, ICCD 2010, Proceedings. Amsterdam, Netherlands, 3-6 October 2010 | Performance / Flexibility / Evolvability | ||
| Model-Driven Embedded-System Design | T. Basten | R. Ernst | Generic | 2010 | Editorial in ACM Transactions on Embedded Computing Systems. 10(2), Article 15, 4 pages | Modeling | ||
| ESI Symposium Proceedings 2010 | Roland Mathijssen (ed.) | Generic | 2010 | ESI Report Nr. 2010–1 | General | |||
| Performability assessment by model checking of Markov reward models | Christel Baier | Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns and Joost-Pieter Katoen | Generic | 2010 | Formal methods in system design, 36 (1). pp. 1-36. ISSN 0925-9856 | General | ||
| Computing Optimal Schedules for Battery Usage in Embedded Systems | Marijn Jongerden | Alexandru Mereacre, Henrik Bohnenkamp, Boudewijn Haverkort, Joost-Pieter Katoen | Generic | 2010 | IEEE Transactions on Industrial Informatics, 6 (3). pp. 276-286. ISSN 1551-3203 | General | ||
| Evaluating Repair Strategies for a Water-Treatment Facility using Arcade | Boudewijn Haverkort | M. Kuntz, A. Remke, S. Roolvink, M.I.A. Stoelinga | Generic | 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 | ||
| Performance evaluation and model checking join forces | Christel Baier | Boudewijn Haverkort, Holger Heemanns, Joost-Pieter Katoen | Generic | 2010 | Communications of the ACM , Volume 53 , Issue 9 (September 2010) Pages: 76-85 | General | ||
| Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks. | Anne Remke | Boudewijn Haverkort, Geert J. Heijenk, Jesper Bax | Generic | 2010 | MMB/DFT 2010, Lecture Notes in Computer Science 5987, Springer, pp. 168-182, 2010 | General | ||
| A Massively Scalable Architecture For Instant Messaging & Presence | Jorrit Schippers | Anne Remke, Henk Punt, Maarten Wegdam and Boudewijn Haverkort | Generic | 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 | ||
| A first Experimental Investigation of the Practical Efficiency of Battery Scheduling | Damien Miliche | Maurits de Graaf, Gerard Hoekstra, Marijn Jongerden, Boudewijn Haverkort | Generic | 2010 | Proceedings Workshop on Ultra-Low Power Sensor Networks (WUPS) pp. 241-246 | General | ||
| Rare event simulation for highly dependable systems with fast repairs | Daniel Reijsbergen | Pieter-Tjerk de Boer, Werner Scheinhardt, and Boudewijn Haverkort | Generic | 2010 | Proceedings of the Seventh International Conference on Quantitative Evaluation of SysTems (QEST) 2010 ; 15-18 Sep 2010, Williamsburg, Virginia | General | ||
| Automating the Mean-Field Method for Large Dynamic Gossip Networks | Rena Bakhshi | Jorg Endrullis , Stefan Endrullis, Wan Fokkink , Boudewijn Haverkort | Generic | 2010 | Proceedings of the Seventh International Conference on Quantitative Evaluation of SysTems (QEST) 2010 ; 15-18 Sep 2010, Williamsburg, Virginia | General | ||
| Buffer Sizing for Rate-optimal Single-rate Dataflow Scheduling Revisited | Orlando Moreira | Twan Basten, Marc Geilen and Sander Stuijk | Generic | 2010 | IEEE Transactions on Computers; February 2010, 59(2):188-201 | Performance | ||
| Process Algebra: Equational Theories of Communicating Processes | J.C.M. Baeten | T. Basten, M.A. Reniers | Generic | 2010 | Cambridge Tracts in Theoretical Computer Science 50, ISBN 978-0-521-82049-3; Cambridge University Press | Modeling | ||
| Simultaneous Budget and Buffer Size Computation for Throughput-Constrained Task Graphs. | M. Wiggers | M.J.G. Bekooij, M.C.W. Geilen, T. Basten | Generic | 2010 | Design, Automation and Test in Europe, DATE 2010, Proceedings. Dresden, Germany, 8-12 March, 2010 | Performance | ||
| Real-Time Step Motor Emulation for Hardware-in-the-Loop Simulation. | A. Oceguera | T. Basten, L. Somers, S. Hulsenboom | Generic | 2010 | 42nd Summer Computer Simulation Conference, SCSC 2010, Proceedings, pages 306-313. Ottawa, Canada, 11-14 July, 2010 | Performance | ||
| Error Computation for Predictable Real-Time Software Synthesis | Jeroen Voeten | O. Florescu, J. Huang and H. Corporaal | Generic | 2010 | Transactions of the Society for Modeling and Simulation International, March 12, Simulation OnlineFirst, 2010. Invited article | General | ||
| A Predictable Communication Assist | A. Shabbir | S. Stuijk, A. Kumar, B.D. Theelen, B. Mesman and H. Corporaal | Generic | 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 | ||
| Change Impact Analysis – A Case Study | Jorn Breivoll | Gerrit Muller, and Michael Pennotti | Generic | 2010 | CSER 2010 8th Conference on Systems Engineering Research March 17-19, 2010, Hoboken, NJ | General | ||
| Towards a framework of research methodology choices in Systems Engineering | Ricardo Valerdi | Samantha Brown, and Gerrit Muller | Generic | 2010 | CSER 2010 8th Conference on Systems Engineering Research March 17-19, 2010, Hoboken, NJ | General | ||
| Causal Loop Based Change Propagation and Risk Assessment | Andreas Rasmussen | Gerrit Muller, and Michael Pennotti | Generic | 2010 | 7th European Systems Engineering Conference (EuSEC 2010). May 23 - 26, 2010. Stockholm | General | ||
| 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 | Generic | 2010 | 7th European Systems Engineering Conference (EuSEC 2010). May 23 - 26, 2010. Stockholm | General | ||
| Systems Engineering and Modeling at Start-Up Company | Gerrit Muller | Generic | 2010 | 7th European Systems Engineering Conference (EuSEC 2010). May 23 - 26, 2010. Stockholm | General | |||
| Tutorial Roadmapping for Strategy Support | Gerrit Muller | Generic | 2010 | INCOSE 2010 - 1/2 day tutorial | General | |||
| The Concept of Reference Architectures | Robert Cloutier | Gerrit Muller, Dinesh Verma, Roshanak Nilchiani, Eirik Hole, and Mary Bone | Generic | 2010 | Journal of Systems Engineering, Volume 13, Issue 1, 2010, Pages: 14-27 | General | ||
| Time-bounded reachability in tree-structured QBDs by abstraction | Daniel Klink | Anne Remke, Boudewijn R. Haverkort and Joost-Pieter Katoen | Generic | 2010 | Performance Evaluation | General | ||
| System and Context Modeling -- The Role of Time-boxing and multi-view Iteration | Gerrit Muller | Generic | 2009 | Systems Research Forum (SRF) Volume: 3, Issue: 2(2009) pp. 139-152 | General | |||
| ESI Symposium Proceedings 2009 | Roland Mathijssen (ed.) | Generic | 2009 | ESI Report Nr. 2009–1 | General | |||
| 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 | Generic | 2009 | 46th Design Automation Conference, DAC 2009, Proceedings, p 917-922. San Francisco, California, USA, 26-31 July, 2009 | System Adaptability | ||
| Using Model Checkers in an Introductory Course on Operating Systems | Roelof Hamberg | Frits Vaandrager | Generic | 2008 | Operating Systems Review 42(6):101-111 | General | ||
| Teach as you Preach - Lessons for process-oriented evaluation of trainings | T. Punter | D. Assman, D. de Haan | Generic | 2008 | Spice-days 2008, iSQI | General | ||
| ESI Symposium Proceedings 2008 | Roland Mathijssen (ed.) | Generic | 2008 | ESI Report Nr. 2008–3 | General | |||
| An Executable Interface Specification for Industrial Embedded System Design | Jinfeng Huang | Jeroen Voeten, Serge Wolfs, Mark Coopmans | Generic | 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 | Generic | 2008 | ESR ESR-2008-08, 22 pp | Performance / Reliability | ||
| Quality in Model Driven Engineering | T. Punter | J. Voeten, J. Huang | Generic | 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 | Generic | 2008 | ARTEMIS & ITEA Co-summit 2008 | General | |||
| High-tech systems in their environment | T. Punter | Generic | 2008 | Report on Incose 2008 STT2, Incose Insight, September 2008 | General | |||
| Right Sizing Reference Architectures; How to provide specific guidance with limited information | Gerrit Muller | Generic | 2008 | INCOSE Proceedings 2008 | Systems Engineering | |||
| When and What to Standardize; An Architecture Perspective | Gerrit Muller | Generic | 2008 | INCOSE Proceedings 2008 | Systems Engineering | |||
| Tutorial Measuring and Modeling System Performance | Gerrit Muller | Generic | 2008 | INCOSE 2008 | Systems Engineering | |||
| Supporting UML-based Development of Embedded Systems by Formal Techniques | Jozef Hooman | H. Kugler, I. Ober, A. Votintseva, Y. Yushtein | Generic | 2008 | Software and Systems Modeling, Vol. 7, Nr. 2, pp. 131-155, 2008 | Reliability | ||
| The Impact of Independent Model Formation on Model-based Service Interoperability | Teun Hendriks | Generic | 2008 | 7th WSEAS Int. Conf. on ARTIFICIAL INTELLIGENCE, KNOWLEDGE ENGINEERING and DATA BASES (AIKED'08), University of Cambridge, UK, Feb 20-22, 2008 | General | |||
| The Challenges of Embedded Systems Engineering | Ed Brinksma | Generic | 2007 | HSCC 2007: 3 | General | |||
| Formal Specification and Verification of the Intrusion-Tolerant Enclaves Protocol | M. Layouni | J. Hooman, S. Tahar | Generic | 2007 | International Journal of Network Security, Vol. 5, No. 3, pp. 288-298, 2007, Science Publications | General | ||
| Integrating verification, testing, and learning for Cryptographic Protocols | M. Oostdijk | V. Rusu, J. Tretmans, R.G. de Vries, T.A.C. Willemse | Generic | 2007 | Integrated Formal Methods – IFM 2007, Lecture Notes in Computer Science 4591, pages 538-557 | General | ||
| 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 | Generic | 2007 | internal SE Report TU/e 2007-09 | General | ||
| Input-to-state stability of discontinuous dynamical systems with an observer-based control application | W.P.M.H. Heemels | S. Weiland, A. Lj. Juloski | Generic | 2007 | Lecture Notes in Computer Science. 10th International Workshop on Hybrid Systems: Computation and Control 2007, Pisa, Italy | General | ||
| Abstraction Conflicts in Industrial Deployment of Model-Based Interoperability Standards | Teun Hendriks | Kees Wevers | Generic | 2007 | CSER 2007 | Reliability | ||
| Semantic Models of a Timed Distributed Dataspace Architecture | Jozef Hooman | Jaco van de Pol | Generic | 2005 | Theoretical Computer Science, Vol. 331 | General | ||
| Didactic Recommendations for Education in Systems Engineering | Gerrit Muller | Generic | 2005 | INCOSE 2005 | General | |||
| Industry and Academia: Why Practioners and Researchers are Disconnected | Gerrit Muller | Generic | 2005 | INCOSE 2005 | General | |||
| Tutorial Software as Integrating Technology in Complex Systems | Gerrit Muller | Generic | 2005 | INCOSE 2005 | General | |||
| 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. | Generic | 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. | Generic | 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. | Generic | 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. | Generic | 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 | Generic | 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. | Generic | 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. | Generic | 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. | Generic | 2005 | Proceedings of the IFAC World Congress on Automatic Control 2005, Prague | General | ||
| AGORA-C on-the-fly location referencing | Kees Wevers | Teun Hendriks | Generic | 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 | Generic | 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 | Generic | 2004 | PhD Thesis | General | |||
| Experiences of Teaching Systems Architecting | Gerrit Muller | Generic | 2004 | Proc. of INCOSE 2004, Toulouse | General | |||
| Correct Development of Embedded Systems | Susanne Graf | Jozef Hooman | Generic | 2004 | Proc. of the First European Workshop on Software Architecture (EWSA 2004) | General | ||
| On the controllability of bimodal piecewise linear systems. | M.K. Camlibel | Heemels, W.P.M.H. and Schumacher, J.M. | Generic | 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 | Generic | 2004 | Proceedings UML 2004, LNCS 3273 | General | ||
| The complementarity class of hybrid dynamical systems | W.P.M.H. Heemels | Brogliato, B. | Generic | 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. | Generic | 2003 | Proceedings Hybrid Systems: Computations and Control 2003, Prague. Springer Lecture Notes in Computer Science No. 2623. p. 249-266 | General | ||
| 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 | ||
| Embedded Systems in Healthcare | Pierre America | Artist | 2008 | ArtistDesign Workshop 2008, Rome | General | |||
| 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 | ||
| 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 |
| |
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | |||
| 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 | ||
| Control over Communication Networks: Modeling, Analysis, and Synthesis | M.B.G. Cloosterman | Boderc | 2008 | PhD Thesis | System Performance | |||
| 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 | ||
| 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 | ||
| 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 | ||
| Predictable Design for Real-Time Systems | Oana Florescu | Boderc | 2007 | PhD Thesis | System Performance | |||
| Sheet Feedback Control Design in a Printer Paper Path | Björn Bukkems | Boderc | 2007 | PhD Thesis | System Performance | |||
| Event-Driven Control in Theory and Practice - Trade-offs in software and control performance | Heico Sandee | Boderc | 2007 | PhD Thesis | System Performance | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Modeling of hardware software performance of high-tech systems | Peter v.d. Bosch | Marcel Verhoef, Gerrit Muller, Oana Florescu | Boderc | 2007 | INCOSE | System Performance | ||
| Modelling and Distributed Controller Design of the BodeRC Paper-path Setup | Frank Ambrosius | Boderc | 2007 | MSc thesis. UT EEMCS / Control engineering | System Performance | |||
| Model-Driven Design of Real-Time Systems | Oana Florescu | Boderc | 2007 | 14th ASCI Computing Workshop (GNARP), Garderen | System Performance |
| ||
| 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 | ||
| 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 | ||
| On the Systematic use of Budget Based Design | Hennie Freriks | Maurice Heemels | Boderc | 2006 | INCOSE | System Performance | ||
| Threads of Reasoning: a case study in printer control | Heico Sandee | Maurice Heemels | Boderc | 2006 | INCOSE | System Performance | ||
| Analysis and experimental validation of processor load for event-driven controllers | Heico Sandee | Peter Visser, Maurice Heemels | Boderc | 2006 | CCA | System Performance | ||
| 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 | ||
| 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 | ||
| Practical stability of perturbed event-driven controlled linear systems | W.P.M.H. Heemels | Heico Sandee | Boderc | 2006 | ACC | System Performance | ||
| 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 | ||
| 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 | ||
| 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 | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Reusing Real-Time Systems Design Experience Through Modelling Patterns | Oana Florescu | Jeroen Voeten, Marcel Verhoef, Henk Corporaal | Boderc | 2006 | FDL - ECSI, 2006 | System Performance |
| |
| 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 | ||
| A Clock Synchronization Skeleton Based on RTAI. | Yang Huang | Peter Visser, Jan Broenink | Boderc | 2006 | 8th Real-Time Linux Workshop | System Performance | ||
| Controller and Plant System Design Trajectory | Peter Visser | Jan Broenink | Boderc | 2006 | CACSD | System Performance | ||
| Clock synchronization using real-time CAN | Yang Huang | Boderc | 2006 | MSc thesis. UT EEMCS / Control engineering | System Performance | |||
| On the verification of real-time distributed embedded control systems | Erik Oosterom | Boderc | 2006 | MSc thesis. UT EEMCS / Control engineering | System Performance | |||
| A case study of multi-disciplinary modeling using MATLAB / Simulink and TrueTime | Evert vd Waal | Peter van den Bosch | Boderc | 2005 | INCOSE | System Performance | ||
| Do useful Multi-Domain Methods Exist? | Gerrit Muller | Boderc | 2005 | CSER | System Performance | |||
| Event Driven Control as an opportunity in the Multidisciplinary Development of Embedded Controllers | Heico Sandee | Boderc | 2005 | ACC | System Performance | |||
| 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 | ||
| Property-Preservation Synthesis for Unified Control- and Data-Oriented Models | Oana Florescu | Jeroen Voeten, Henk Corporaal | Boderc | 2005 | FDL | System Performance |
| |
| Hard Real-Time Networking on Firewire | Z. Yuchen | Peter Visser, Jan Broenink | Boderc | 2005 | 7th Real-Time Linux Workshop | System Performance | ||
| Performance Analysis of Distributed Real-Time Embedded Systems | Menno de Hoon | Boderc | 2005 | MSc thesis. TU/e Electrical Engineering / Electronic Systems | System Performance | |||
| Analysis of varying sampling frequency in controller algorithms | Maurice Snoeren | Boderc | 2005 | MSc thesis. TU/e Electrical Engineering / Control Systems | System Performance | |||
| PC104 stack mechatronic control platform | Erik Buit | Boderc | 2005 | MSc thesis. TU/e Electrical Engineering / Control Systems | System Performance | |||
| Mechatronic setup for Boderc project | M. Otto | Boderc | 2005 | MSc thesis. TU/e Electrical Engineering / Control Systems | System Performance | |||
| Real-Time Network for Distributed Control | Yuchen Zhang | Boderc | 2005 | MSc thesis. TU/e Electrical Engineering / Control Systems | System Performance | |||
| 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 | ||
| Coupling Simulink and UML models | Jozef Hooman | Nataliya Mulyar, Ladislau Posta | Boderc | 2004 | FORMS/FORMATS | System Performance | ||
| A Unified Model for Analysis of Real-Time Properties | Oana Florescu | Jeroen Voeten, Henk Corporaal | Boderc | 2004 | ISOLA 04 | System Performance | ||
| Error-Estimation in Model-Driven Development for Real-Time Software | Oana Florescu | Jeroen Voeten, J. Huang, Henk Corporaal | Boderc | 2004 | FDL'04 | System Performance | ||
| 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 | ||
| Multi-Disciplinary Design Support using Hardware-in-the-Loop Simulation | Peter Visser | Marcel Groothuis, Jan Broenink | Boderc | 2004 | Progress | System Performance | ||
| 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 | ||
| Automaded Focusing and Astigmatism Correction in Electron Microsopy | M. Rudnaya | Condor | 2011 | PhD Thesis | Evolvability | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| The Role of Poisson’s Binomial Distribution in the Analysis of TEM Images | A. Tejada | A. den Dekker | Condor | 2011 | Ultramicroscopy | Evolvability | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Gradient-based sharpness function | M. Rudnaya | J. Maubach, R. Mattheij | Condor | 2011 | Engineering Mathematics Congress (http://www.iaeng.org/WCE2011/ICAEM2011.html) | Evolvability | ||
| 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 | ||
| Architecture Level Modelling and Analysis - Support for Software Performance: Parallelism Viewpoint and Composite Flows | N. Muhammad | Condor | 2011 | PhD Thesis | System Performance | |||
| Control of Dynamics and Hysteresis in Electromagnetic Lenses | P.J. van Bree | Condor | 2011 | PhD Thesis | System Performance | |||
| 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 | ||
| 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 | ||
| Spectral Analysis of Block Structured non linear systems | D. Rijlaarsdam | P. Nuij, J. Schoukens, M. Steinbuch | Condor | 2010 | IFAC World Congress 2011 | Evolvability | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| A model based atomic resolution tomographic algorithm | W. van den Broek | S. Van Aert, D. Van Dyck | Condor | 2009 | Ultramicroscopy 109 | System Performance | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Iterative Learning Control by Linear Repetitive Processes Theory | W. Paszke | Condor | 2009 | Proceedings of the 28th Benelux Meeting on Systems and Control | System Performance | |||
| 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 | ||
| 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 | |||
| Iterative Autofocus Algorithms for Scanning Electron Microscopy | M. Rudnaya | J.M.L. Maubach, R.M.M. Mattheij | Condor | 2009 | Microscopy & Microanalysis 2009 | System Performance | ||
| Observer Development for Automatic STEM closed-control loop | A. Tejada Ruiz | A.J. den Dekker | Condor | 2009 | Microscopy & Microanalysis 2009 | System Performance | ||
| Alignment Control of STEM: a Ronchigram Based Approach | S. van der Hoeven | A.J. den Dekker | Condor | 2009 | Microscopy & Microanalysis 2009 | System Performance | ||
| Dynamics of magnetic electron lenses | P.J. van Bree | Condor | 2008 | 27th Benelux Meeting on Systems and Control | System Performance | |||
| 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 | ||
| Execution Architecture Views - For Evolving Software-Intensive Systems | Trosky Callo | Darwin | 2011 | PhD Thesis | Evolvability | |||
| Strategy-focused architecture investment decisions | Ana Ivanovic | Darwin | 2011 | PhD Thesis | Evolvability | |||
| Wanneer hebben we genoeg getest? | P. van der Spek | C. Verhoef | Darwin | 2011 |  , Februari 2011 |
Evolvability | ||
| 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 | ||
| 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 | ||
| Managing software evolution in embedded systems | P. van der Spek | Darwin | 2010 | PhD Thesis | Evolvability | |||
| A3 Architecture overviews - A tool for effective communication in product evolution | D. Borches | Darwin | 2010 | PhD Thesis | Evolvability | |||
| 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 | ||
| 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 | ||
| System and Context Modeling; Visualizations of Where, When and How | G. Muller | Darwin | 2010 | Proceedings INCOSE 2010 | Evolvability | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Customer value in architecture decision making | A. Ivanovic | P. America | Darwin | 2010 | ECSA 2010 | Evolvability |
| |
| System Evolution Barriers and How to Overcome Them! | D. Borches | M. Bonnema | Darwin | 2010 | CSER2010 | Evolvability | ||
| System and Context Modeling; Visualizations of Where, When, and How | Gerrit Muller | Darwin | 2010 | INCOSE 2010 | Evolvability | |||
| Observations from the Industry-as-laboratory project Darwin | P. van de Laar | Darwin | 2010 | CSER'10 | Evolvability | |||
| Interactive Exploration of Co-evolving Software Entities | A. Vanya | R. Premraj, H. van Vliet | Darwin | 2010 | CSMR 2010 | Evolvability | ||
| Communication: Key Factor in Multidisciplinary System Design | G.M. Bonnema | P.D. Borches, R. Kauw-A-Tjoe | Darwin | 2010 | CSER 2010 | Evolvability | ||
| 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 | ||
| 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 | ||
| Integrating conventional system views with function-behavior-state modelling | T.J. van Beek | T. Tomiyama | Darwin | 2009 | CIRP Design Conference 2009 - Competitive Design | Evolvability | ||
| Graph Based Verification of Software Evolution Requirements | Selim Ciraci | Darwin | 2009 | PhD Thesis | Evolvability | |||
| 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 | ||
| 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 | ||
| Characterizing Evolutionary Clusters | A. Vanya | S. Klusener, N. van Rooijen, H. van Vliet | Darwin | 2009 | WCRE09 | Evolvability |
| |
| Constructing Resource Usage Models of a Large and Complex Software-Intensive System | T. Callo | P. America, P. Avgeriou | Darwin | 2009 | WCRE09 | Evolvability | ||
| 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 |
| ||
| 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) | |||
| Supporting Evolving Product Families | P. van de Laar | Darwin | 2009 | 7th Annual Conference on Systems Engineering Research (CSER09) | Evolvability | |||
| 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 |
| |
| On the transfer of evolutionary coupling to industry | P. van de Laar | Darwin | 2009 | IEEE Mining Software Repositories (MSR 2009) | Evolvability | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Coping with system evolution | P.D. Borches | M. Bonnema | Darwin | 2009 | Incose 2009 | Evolvability | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Economics of investments in evolvable architecture in industrial practice | A. Ivanovic | P. America | Darwin | 2008 | ICSM08 | Evolvability | ||
| 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 |
| |
| Design with Overview - how to survive in complex organizations | G.M. Bonnema | P.D. Borches | Darwin | 2008 | Proceedings of INCOSE 2008 | System Evolution | ||
| Requirements for Complex Systems Modeling | T.J. van Beek | T. Tomiyama | Darwin | 2008 | CIRP Design Conference | System Evolution | ||
| 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 | ||
| Assessing Software Archives with Evolutionary Clusters | A. Vanya | L. Hofland, S. Klusener, P. van de Laar, H. van Vliet | Darwin | 2008 | ICPC08 | System Evolution | ||
| How reference architectures support the evolution of Product Families | G. Muller | Darwin | 2008 | CSER 2008 | System Evolution | |||
| Living' Architecture Overviews - Supporting the Design of Complex Systems | P.D. Borches | G.M. Bonnema | Darwin | 2008 | CIRP Design Conference | System Evolution | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Architectuuruitdagingen in Embedded Systemen | G. Muller | Darwin | 2007 | November 2007 Jaargang 49/9 |
System Evolution | |||
| 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 | ||
| 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 |
| |
| 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 | ||
| Modelling Software Evolution using Algebraic Graph Rewriting | S. Ciraci | P. van den Broek | Darwin | 2006 | Workshop on Architecture-Centric Evolution (ACE 2006) | System Evolution | ||
| 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 | ||
| Stable precision grasps by underactuated grippers | G.A. Kragten | M. Baril, C. Gosselin, J.L. Herder | Falcon | 2011 | IEEE Transaction on Robotics | System Performance | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | |||
| Order-picking workstations for automated warehouses | Ricky Andriansyah | Falcon | 2011 | PhD Thesis - TU/e | System Performance | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Queueing models for compact picking systems | B. Febrianie | Falcon | 2011 | MSc Thesis - TU/e | System Performance | |||
| 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 | |||
| The effect of joint locks in underactuated hand protheses | R. Pape | Falcon | 2011 | MSc Thesis - TUD | System Performance | |||
| Configuration management for models: Generic models for model comparison and model co-evolution | Z. Protic | Falcon | 2011 | PhD Thesis - TU/e | System Performance | |||
| 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 | |||
| 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 | ||
| 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 | ||
| 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 | ||
| Underactuated Hands - Fundamentals, Performance Analysis and Design | G.A. Kragten | Falcon | 2011 | PhD Thesis - TUD | System Performance | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Design, verification and analysis of the Highly Dynamic Storage system | Dwight Berendse | Falcon | 2010 | MSc thesis - TU/e | System Performance | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| How to focus robots attention? | M. Rudinac | P.P. Jonker | Falcon | 2010 | Intelligent Machines Symposium | System Performance | ||
| Saliency based method for object localization | M. Rudinac | P.P. Jonker | Falcon | 2010 | Proceedings of the ASCI Conference 2010 | System Performance | ||
| 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 | ||
| 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 | ||
| 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 |
| ||
| 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 | ||
| 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 | ||
| 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 | ||
| Verification of PLC source code using propositional logic | Maarten Meulen | Falcon | 2010 | MSc thesis - TU/e | System Performance | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Formalizing Material Flow Diagrams | R.J. Bijl | Falcon | 2010 | MSc thesis - TU/e | System Performance | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| State-of-the-art in underactuated grasping | L. Birglen | G.A. Kragten, J.L. Herder | Falcon | 2010 | Mechanical Sciences 1: 3-3 | System Performance | ||
| Evolution of robotic hands | H.D. Bos | Falcon | 2010 | Internship Report - UT | System Performance | |||
| Design of an underactuated gripper for the item picking in distribution centers | Y. Chang | Falcon | 2010 | MSc Thesis - TUD | System Performance | |||
| 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 | |||
| 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 | |||
| Virtualization of the FALCON humanoid finger into a direct drive system | T. Mennink | Falcon | 2010 | Internship Report - UT | System Performance | |||
| Quantitative analysis of model transformations | P.H. Nguyen | Falcon | 2010 | MSc Thesis - TU/e | System Performance | |||
| Design of a miniaturized joint lock for an under actuated robotic finger | G. Pulcini | Falcon | 2010 | MSc Thesis - UT | System Performance | |||
| 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 | ||
| 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 | ||
| 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 | ||
| US technological innovation systems for service robotics | M. van den Brandt | Falcon | 2010 | MSc Thesis - UT | System Performance | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Entropy based method for keypoint selection | M. Rudinac | Boris Lenseigne and Pieter Jonker | Falcon | 2009 | Proceedings of the ASCI Conference 2009 | System Performance | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Design of a fully compliant underactuated finger with a monolithic structure and distributed compliance | P. Steutel | Falcon | 2009 | MSc Thesis - TUD | System Performance | |||
| 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 | ||
| 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 |
| |
| The design of an adaptive finger mechanism for a hand prosthesis | D. den Dunnen | Falcon | 2009 | MSc Thesis - TUD | System Performance | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 |
| |
| 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 | ||
| Modeling the item picking area of the Plus Retail compact picking system | R.M.E. Jordan | Falcon | 2008 | MSc Thesis - TU/e | System Performance | |||
| Tilt-tray Sorters modelled with UPPAAL | Roelof Hamberg | Falcon | 2008 | ESI Report Nr. 2008–2 | System Performance | |||
| Modeling a storage and retrieval system: architecture and model aggregations | W.W.H. de Koning | Falcon | 2008 | MSc thesis - TU/e | System Performance | |||
| 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 |
| |
| Smooth surface fitting by patches, a new method of interpolation for contact modeling | R. Giacotto | Falcon | 2008 | MSc Thesis - UT | System Performance | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Compositional MDA | Louis van Gool | Teade Punter, Marc Hamilton, Remco van Engelen | Ideals | 2009 | ACM/IEEE MoDELS 2006: 126-139 | System Evolution | ||
| Evolvable Behavior Specifications Using Context-Sensitive Wildcards | Gürcan Gülesir | Ideals | 2008 | PhD Thesis | System Evolution | |||
| Resource-based Verification for Robust Composition of Aspects | Pascal Durr | Ideals | 2008 | PhD Thesis | System Evolution | |||
| Renovation of Idiomatic Crosscutting Concerns in Embedded Systems | Magiel Bruntink | Ideals | 2008 | PhD Thesis | System Evolution |
| ||
| 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 | ||
| 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 | ||
| Model-Driven Evolution of Software Architectures | Bas Graaf | Ideals | 2007 | PhD Thesis | System Evolution | |||
| Predictable real-time software synthesis | Jinfeng Huang | Jeroen Voeten,Henk Corporaal | Ideals | 2007 | Real-Time Systems Journal | System Evolution | ||
| A model-driven design approach for mechatronic systems | Jinfeng Huang | Jeroen Voeten,Marcel Groothuis,Jan Broenink,Henk Corporaal | Ideals | 2007 | ACSD 2007 | System Evolution | ||
| Predictable model-driven design for real-time embedded systems}. | Jinfeng Huang | Jeroen Voeten | Ideals | 2007 | Proceedings of Bits & Chips conference. 2007 | System Evolution | ||
| Analysis and Transformation of Idiomatic Crosscutting Concerns in Legacy Software Systems | Magiel Bruntink | Ideals | 2007 | ICSM07 | System Evolution | |||
| 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 | ||
| 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 | ||
| 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 | ||
| Discovering Faults in Idiom-Based Exception Handling | Magiel Bruntink | Arie van Deursen,TomTourwe | Ideals | 2006 | ICSE 2006 | System Evolution | ||
| Linking Analysis and Transformation Tools with Source-based Mappings | Magiel Bruntink | Ideals | 2006 | SCAM 2006 | System Evolution | |||
| 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 | ||
| Reasoning about Semantic Conflicts between Aspects | Pascal Durr | Lodewijk Bergmans, Mehmet Aksit | Ideals | 2006 | ECOOP 2006 | System Evolution | ||
| Migrating Supervisory Control Architectures Using Model Transformations | Bas Graaf | Sven Weber, Arie van Deursen | Ideals | 2006 | CSMR 2006 | System Evolution | ||
| 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 | ||
| 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 | ||
| Reasoning About Semantic Conflicts Between Aspects | Pascal Durr | Tom Staijen, Lodewijk Bergmans, Mehmet Aksit | Ideals | 2005 | EIWAS 2005 | System Evolution | ||
| Migration of Supervisory Machine Control Architectures | Bas Graaf | Sven Weber, Arie van Deursen | Ideals | 2005 | WICSA 2005 | System Evolution | ||
| Isolating Idiomatic Crosscutting Concerns | Magiel Bruntink | Arie van Deursen, Tom Tourwé | Ideals | 2005 | ICSM 2005 | System Evolution | ||
| 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 | ||
| An initial experiment in reverse engineering aspects from existing applications | Magiel Bruntink | Arie van Deursen,TomTourwe | Ideals | 2004 | WCRE 2004 | System Evolution | ||
| Identifying Cross-Cutting Concerns in Embedded C Code | Arie van Deursen | Magiel Bruntink, Tom Tourwé | Ideals | 2004 | ERCIM58 | System Evolution | ||
| Symphony: View-Driven Software Architecture Reconstruction | Arie van Deursen | Christine Hofmeister, Rainer Koschke, Leon Moonen, Claudio Riva | Ideals | 2004 | WICSA2004 | System Evolution | ||
| 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 |
| |
| Aspect mining using clone class metrics | Magiel Bruntink | Ideals | 2004 | WARE/WCRE | System Evolution | |||
| Aspect Mining and Refactoring | Arie van Deursen | Marius Marin, Leon Moonen | Ideals | 2003 | REFACE2003 | System Evolution | ||
| Refactoring: Emerging Trends and Open Problems | Arie van Deursen | Tom Mens | Ideals | 2003 | REFACE2003 | System Evolution | ||
| 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 | ||
| 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 | ||
| 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 | ||
| A Design Framework for Model-based Development of Complex Systems | H. Moneva | R. Hamberg, T. Punter | Multiform | 2011 | AVICPS 2011 | Systems Engineering | ||
| 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 | ||
| 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 | ||
| Playing Games with Scenario- and Resource-Aware SDF Graphs Through Policy Iteration | Y. Yang | M. Geilen, T. Basten, S. Stuijk, H. Corporaal | Octopus | 2012 | DATE 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| The Computational Complexity of Probabilistic Inference | Johan Kwisthout | Octopus | 2011 | Technical Report ICIS--R11003 | System Adaptability | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Constructing Bayesian Networks for Linear Dynamic Systems | Sander Evers | Peter J.F. Lucas | Octopus | 2011 | Bayesian Modelling Applications Workshop | System Adaptability | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | |||
| Supporting Design-Space Exploration with Synchronous Data Flow Graphs in the Octopus Toolset | Ashwini Moily | Octopus | 2011 | Master thesis | System Adaptability | |||
| VDSEIR A graphical layer on top of the Octopus toolset | A.M. in 't Groen | Octopus | 2011 | M.Sc. Thesis | System Adaptability | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| A system architecting tool for mechatronic systems design | Hitoshi Komoto | Tetsuo Tomiyama | Octopus | 2010 | CIRP Annals - Manufacturing Technology 59 (2010) 171–174 | System Adaptability | ||
| 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 | ||
| Most Probable Explanations in Bayesian Networks: complexity and tractability | Johan Kwisthout | Octopus | 2010 | Technical Report ICIS--R10001 | System Adaptability | |||
| 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 | ||
| Two new notions of abduction in Bayesian networks | Johan Kwisthout | Octopus | 2010 | BNAIC 2010, October 25-26, Luxembourg | System Adaptability | |||
| Two new notions of abduction in Bayesian networks | Johan Kwisthout | Octopus | 2010 | Technical Report ICIS--R10005 | System Adaptability | |||
| Most Probable Explanations in Bayesian Networks: complexity and tractability | Johan Kwisthout | Octopus | 2010 | International Journal of Approximate Reasoning 52(9): 1452-1469 | System Adaptability | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Using timed automata in the design process of printer datapaths | Georgeta Igna | Octopus | 2009 | Formal Methods Week 2009, Eindhoven | System Adaptability | |||
| Using timed automata in the design process of the Oce printer datapaths | Georgeta Igna | Octopus | 2009 | IPA Herfstdagen November 26, 2009 | System Adaptability | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | |||
| 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 | ||
| 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 | ||
| Towards Data Path Analysis Using Uppaal | Georgeta Igna | Octopus | 2008 | Formal Methods 2008 | System Adaptability | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 |
| |
| 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 | ||
| Interactive Density Maps for Moving Objects | Roeland Scheepens | Niels Willems, Huub van de Wetering, and Jarke J. van Wijk | Poseidon | 2012 | IEEE Computer Graphics and Applications, vol. 32, no. 1, p. 56-66 | Reliability | ||
| Modeling and Verification of a Protocol for Operational Support using Coloured Petri Nets | Fabrizio M. Maggi | Michael Westergaard | Poseidon | 2011 | PETRI NETS 2011 | Reliability | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Estimating uncertainty of categorical Web data | Davide Ceolin | W. R. van Hage, W. Fokkink, G. Schreiber | Poseidon | 2011 | URSW 2011 (workshop) | Reliability | ||
| Linked Open Piracy | W.R. van Hage | V. Malaisé, M. van Erp | Poseidon | 2011 | DeRiVE 2011 (workshop) | Reliability | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Visualization of Vessel Traffic | Niels Willems | Poseidon | 2011 | PhD Thesis | Reliability |
| ||
| Cost Optimizations in Runtime Testing and Diagnosis | Alberto Gonzalez-Sanchez | Poseidon | 2011 | PhD Thesis | Reliability | |||
| 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 | ||
| 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 | ||
| 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 | ||
| A Diagnostic Reasoning Approach to Defect Prediction | Rui Abreu | Alberto Gonzalez-Sanchez, Arjan J.C. van Gemund | Poseidon | 2011 | Proceedings of the Twenty-fourth International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2011), pp. 416 - 425. | Reliability | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| GPU-Based track visualization of multivariate moving object data | Roeland J. Scheepens | Poseidon | 2010 | Master thesis - TU/e | Reliability | |||
| 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 | ||
| Reducing adapter synthesis to controller synthesis | Christian Gierds | Arjan J. Mooij, and Karsten Wolf | Poseidon | 2010 | IEEE Transactions on Services Computing | Reliability | ||
| Clustering Vessel Trajectories with Alignment kernels under trajectory Compression | Gerben de Vries | Maarten van Someren | Poseidon | 2010 | ECML PKDD 2010 | Reliability | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Trace-Based Code Generation for Model-Based Testing | Teemu Kanstrén | Eric Piel, Hans Gerhard Gross | Poseidon | 2009 | GPCE 2009 | Reliability | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Proof techniques for adapter generation | Arjan J. Mooij | Marc Voorhoeve | Poseidon | 2008 | WS-FM 2008, 5th International Workshop on Webservices and Formal Methods | Reliability | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | |||
| 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 | ||
| Learning I/O Automata | F. Aarts | F. Vaandrager | Quasimodo | 2010 | Concurrency Theory – CONCUR 2010. LNCS 6269, pp. 71-85, Springer, 2010 | Performance / Reliability | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | |||
| 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 | ||
| 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 | ||
| 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 | ||
| The Axiomatization of Override and Update | J. Berendsen | D.N. Jansen, J. Schmaltz, F. Vaandrager | Quasimodo | 2009 | Journal of Applied Logic, 2009 | Performance / Reliability | ||
| 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 | ||
| 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 | ||
| 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 | ||
| On Conformance Testing for Timed Systems | Julien Schmaltz | Jan Tretmans | Quasimodo | 2008 | Formal Modeling and Analysis of Timed Systems - FORMATS 2008 | Reliability | ||
| 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 | |||
| 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 | |||
| 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 | |||
| 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 | ||
| 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 | ||
| 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 |
| |
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | |||
| Model Based Testing with Labelled Transition Systems | J. Tretmans | Tangram | 2006 | Technical Report Radboud University ICIS-R6037 | Reliability | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 |
| |
| 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 | ||
| 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 | ||
| 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 | |||
| A Model-Based Approach to Fault Diagnosis | J. Pietersma | Arjan J.C. van Gemund, Andre Bos | Tangram | 2004 | ASCI2004 | Reliability | ||
| Testing Industrial Embedded Systems - An Overview | M. Prins | Tangram | 2004 | Proceedings of INCOSE 2004 – 14th Int. Symposium on Systems Engineering | Reliability | |||
| 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 | ||
| 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 | ||
| 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 | ||
| Event Composition Model: Achieving Naturalness in Runtime Enforcement | Somayeh Malakuti | Trader | 2011 | PhD Thesis | Reliability | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Do you really know your consumers? | Jeroen Keijzers | Trader | 2010 | PhD Thesis | Reliability | |||
| Focusing Automatic Code Inspections | Cathal Boogerd | Trader | 2010 | PhD Thesis | Reliability | |||
| 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 | ||
| 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 | ||
| Spectrum-based Fault Localization in Embedded Software | R. Abreu | Trader | 2009 | PhD Thesis | Reliability | |||
| 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 |
| |
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Architecting Fault-Tolerant Software Systems | Hasan Sözer | Trader | 2009 | PhD Thesis | Reliability | |||
| 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 | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Analyzing User Perceived Failure Severity in Consumer Electronics Products | I.M. de Visser | Trader | 2008 | PhD Thesis | Reliability | |||
| 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 | ||
| Dependability for High-Tech Systems: an Industry-as-Laboratory Approach | Ed Brinksma | Jozef Hooman | Trader | 2008 | ESI Report Nr. 2008–1 | Reliability | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Model-Based Run-Time Error Detection | Jozef Hooman | Teun Hendriks | Trader | 2007 | Workshop Models@run.time MODELS2007 | Reliability | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Software Fault Diagnosis | P. Zoeteweij | J. Pietersma, R. Abreu, A. Feldman, A.J.C. van Gemund | Trader | 2007 | Tutorial TESTCOM / FATES / FORTE 2007 | Reliability | ||
| Supporting Reliable Software Evolution through Program Analysis | Cathal Boogerd | Trader | 2007 | Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR) | Reliability | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Ranking Software Inspection Results using Execution Likelihood | Cathal Boogerd | Leon Moonen | Trader | 2006 | Proceedings of the Philips Software Conference (PSC) | Reliability | ||
| Ranking Software Inspection Results using Execution Likelihood | Cathal Boogerd | Leon Moonen | Trader | 2006 | Poster Session at Scientific ICT Research Event Netherlands | Reliability | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 | |||
| 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 | ||
| 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 | ||
| 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 | ||
| 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 |
|