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