| 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 |
 , 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 |
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
|
Login
