|
Title
|
First Author
|
Other authors
|
Project
|
Year
|
Published in
|
ESI Competence Area
|
|
|
|
Performability assessment by model checking of Markov reward models
|
Christel Baier
|
Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns and Joost-Pieter Katoen
|
Generic
|
2010
|
Formal methods in system design, 36 (1). pp. 1-36. ISSN 0925-9856
|
General
|
 |
|
|
Computing Optimal Schedules for Battery Usage in Embedded Systems
|
Marijn Jongerden
|
Alexandru Mereacre, Henrik Bohnenkamp, Boudewijn Haverkort, Joost-Pieter Katoen
|
Generic
|
2010
|
IEEE Transactions on Industrial Informatics, 6 (3). pp. 276-286. ISSN 1551-3203
|
General
|
|
|
|
Evaluating Repair Strategies for a Water-Treatment Facility using Arcade
|
BoudewiJn Haverkort
|
M. Kuntz, A. Remke, S. Roolvink, M.I.A. Stoelinga
|
Generic
|
2010
|
IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), 28 June - 1 July 2010, Chicago, IL, USA. pp. 419-424. IEEE Computer Society Press. ISBN 978-1-4244-7499-8
|
General
|
|
|
|
Performance evaluation and model checking join forces
|
Christel Baier
|
BoudewiJn Haverkort, Holger Heemanns, Joost-Pieter Katoen
|
Generic
|
2010
|
Communications of the ACM , Volume 53 , Issue 9 (September 2010) Pages: 76-85
|
General
|
|
|
|
Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks.
|
Anne Remke
|
Boudewijn Haverkort, Geert J. Heijenk, Jesper Bax
|
Generic
|
2010
|
MMB/DFT 2010, Lecture Notes in Computer Science 5987, Springer, pp. 168-182, 2010.
|
General
|
|
|
|
A Massively Scalable Architecture For Instant Messaging & Presence
|
Jorrit Schippers
|
Anne Remke, Henk Punt, Maarten Wegdam and Boudewijn Haverkort
|
Generic
|
2010
|
Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling (PASM 2009) Volume 261, 22 February 2010, Pages 109-130
|
General
|
|
|
|
A first Experimental Investigation of the Practical Efficiency of Battery Scheduling
|
Damien Miliche
|
Maurits de Graaf, Gerard Hoekstra, Marijn Jongerden, Boudewijn Haverkort
|
Generic
|
2010
|
Proceedings Workshop on Ultra-Low Power Sensor Networks (WUPS) pp. 241-246
|
General
|
|
|
|
Rare event simulation for highly dependable systems with fast repairs
|
Daniel Reijsbergen
|
Pieter-Tjerk de Boer, Werner Scheinhardt, and Boudewijn Haverkort
|
Generic
|
2010
|
Proceedings of the Seventh International Conference on Quantitative Evaluation of SysTems (QEST) 2010 ; 15-18 Sep 2010, Williamsburg, Virginia.
|
General
|
|
|
|
Automating the mean-field method for large dynamic networks
|
Rena Bakhshi
|
Jorg Endrullis , Stefan Endrullis, Wan Fokkink , Boudewijn Haverkort
|
Generic
|
2010
|
Proceedings of the Seventh International Conference on Quantitative Evaluation of SysTems (QEST) 2010 ; 15-18 Sep 2010, Williamsburg, Virginia
|
General
|
|
|
|
Buffer Sizing for Rate-optimal Single-rate Dataflow Scheduling Revisited
|
Orlando Moreira
|
Twan Basten, Marc Geilen and Sander Stuijk
|
Generic
|
2010
|
IEEE Transactions on Computers; February 2010, 59(2):188-201
|
Performance
|
|
|
|
Process Algebra: Equational Theories of Communicating Processes
|
J.C.M. Baeten
|
T. Basten, M.A. Reniers
|
Generic
|
2010
|
Cambridge Tracts in Theoretical Computer Science 50, ISBN 978-0-521-82049-3; Cambridge University Press
|
Modeling
|
|
|
|
Simultaneous Budget and Buffer Size Computation for Throughput-Constrained Task Graphs.
|
M. Wiggers
|
M.J.G. Bekooij, M.C.W. Geilen, T. Basten
|
Generic
|
2010
|
Design, Automation and Test in Europe, DATE 2010, Proceedings. Dresden, Germany, 8-12 March, 2010.
|
Performance
|
|
|
|
Real-Time Step Motor Emulation for Hardware-in-the-Loop Simulation.
|
A. Oceguera
|
T. Basten, L. Somers, S. Hulsenboom
|
Generic
|
2010
|
42nd Summer Computer Simulation Conference, SCSC 2010, Proceedings, pages 306-313. Ottawa, Canada, 11-14 July, 2010.
|
Performance
|
|
|
|
Error Computation for Predictable Real-Time Software Synthesis
|
Jeroen Voeten
|
O. Florescu, J. Huang and H. Corporaal
|
Generic
|
2010
|
Transactions of the Society for Modeling and Simulation International, March 12, Simulation OnlineFirst, 2010. Invited article
|
General
|
|
|
|
UPPAAL in Practice: Quantitative Verification of a RapidIO Network
|
J. Xing
|
B Theelen, R. Langerak, J. van de Pol, J. Tretmans and J. Voeten
|
Generic
|
2010
|
Proceedings of the 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 2010
|
General
|
|
|
|
From POOSL to UPPAAL: Transformation and Quantitative Analysis
|
J. Xing
|
B. Theelen, R. Langerak, J. van de Pol, J. Tretmans and J. Voeten
|
Generic
|
2010
|
proceedings of the 10th International Conference on Application of Concurrency to System Design.
|
General
|
|
|
|
A Predictable Communication Assist
|
A. Shabbir
|
S. Stuijk, A. Kumar, B.D. Theelen, B. Mesman and H. Corporaal
|
Generic
|
2010
|
Proceedings of the International Conference on Computing Frontiers (CF), pp. 97-98, ISBN 978-1-4503-0044-5, ACM Press, 2010
|
General
|
|
|
|
Change Impact Analysis – A Case Study
|
Jorn Breivoll
|
Gerrit Muller, and Michael Pennotti
|
Generic
|
2010
|
CSER 2010 8th Conference on Systems Engineering Research March 17-19, 2010, Hoboken, NJ
|
General
|
|
|
|
Towards a framework of research methodology choices in Systems Engineering
|
Ricardo Valerdi
|
Samantha Brown, and Gerrit Muller
|
Generic
|
2010
|
CSER 2010 8th Conference on Systems Engineering Research March 17-19, 2010, Hoboken, NJ
|
General
|
|
|
|
Causal Loop Based Change Propagation and Risk Assessment
|
Andreas Rasmussen
|
Gerrit Muller, and Michael Pennotti
|
Generic
|
2010
|
7th European Systems Engineering Conference (EuSEC 2010). May 23 - 26, 2010. Stockholm
|
General
|
|
|
|
The Value of Systems Engineering Tools for Understanding and Optimizing the Flow and Storage of Finished Products in a Manganese Production Facility
|
Marianne Drotninghaug
|
Gerrit Muller, and Michael Pennotti
|
Generic
|
2010
|
7th European Systems Engineering Conference (EuSEC 2010). May 23 - 26, 2010. Stockholm
|
General
|
|
|
|
Systems Engineering and Modeling at Start-Up Company
|
Gerrit Muller
|
|
Generic
|
2010
|
7th European Systems Engineering Conference (EuSEC 2010). May 23 - 26, 2010. Stockholm
|
General
|
|
|
|
Tutorial Roadmapping for Strategy Support
|
Gerrit Muller
|
|
Generic
|
2010
|
INCOSE 2010 - 1/2 day tutorial
|
General
|
|
|
|
The Concept of Reference Architectures
|
Robert Cloutier
|
Gerrit Muller, Dinesh Verma, Roshanak Nilchiani, Eirik Hole, and Mary Bone
|
Generic
|
2010
|
Journal of Systems Engineering, Volume 13, Issue 1, 2010, Pages: 14-27
|
General
|
|
|
|
Time-bounded reachability in tree-structured QBDs by abstraction
|
Daniel Klink
|
Anne Remke, Boudewijn R. Haverkort and Joost-Pieter Katoen
|
Generic
|
2010
|
Performance Evaluation
|
General
|
|
|
|
System and Context Modeling -- The Role of Time-boxing and multi-view Iteration
|
Gerrit Muller
|
|
Generic
|
2009
|
Systems Research Forum (SRF) Volume: 3, Issue: 2(2009) pp. 139-152
|
General
|
|
|
|
ESI Symposium Proceedings 2009
|
Roland Mathijssen (ed.)
|
|
Generic
|
2009
|
ESI Report Nr. 2009–1
|
General
|
|
|
|
A Parameterized Compositional Multi-dimensional Multiple-choice Knapsack Heuristic for CMP Run-time Management
|
H. Shojaei
|
A.H. Ghamarian, T. Basten, M.C.W. Geilen, S. Stuijk. R. Hoes
|
Generic
|
2009
|
46th Design Automation Conference, DAC 2009, Proceedings, p 917-922. San Francisco, California, USA, 26-31 July, 2009
|
System Adaptability
|
|
|
|
Model-Based Testing of Electronic Passports
|
W. Mostowski
|
E. Poll, J. Schmaltz, J. Tretmans, R. Wichers Schreur
|
Generic
|
2009
|
M. Alpuente, B. Cook, C. Joubert (eds.), Formal Methods for Industrial Critical Systems - FMICS 2009. Lecture Notes in Computer Science 5825, pages 207-209. Springer-Verlag, 2009.
|
Reliability
|
|
|
|
Using Model Checkers in an Introductory Course on Operating Systems
|
Roelof Hamberg
|
Frits Vaandrager
|
Generic
|
2008
|
Operating Systems Review 42(6):101-111
|
General
|
|
|
|
Teach as you Preach - Lessons for process-oriented evaluation of trainings
|
T. Punter
|
D. Assman, D. de Haan
|
Generic
|
2008
|
Spice-days 2008, iSQI
|
General
|
|
|
|
ESI Symposium Proceedings 2008
|
Roland Mathijssen (ed.)
|
|
Generic
|
2008
|
ESI Report Nr. 2008–3
|
General
|
|
|
|
An Executable Interface Specification for Industrial Embedded System Design
|
Jinfeng Huang
|
Jeroen Voeten, Serge Wolfs, Mark Coopmans
|
Generic
|
2008
|
Proceedings of the 2008 The Eighth International Conference on Quality Software - Pages 37-44
|
Performance / Reliability
|
|
|
|
Scenario-Aware Dataflow
|
B.D. Theelen
|
M.C.W. Geilen, S. Stuijk, S.V. Gheorghita, T. Basten, J.P.M. Voeten and A.H. Ghamarian
|
Generic
|
2008
|
ESR ESR-2008-08, 22 pp
|
Performance / Reliability
|
|
|
|
Quality in Model Driven Engineering
|
T. Punter
|
J. Voeten, J. Huang
|
Generic
|
2008
|
in: J. Rech, C. Bunse (Eds), Model-Driven Software Development: Integrating Quality Assurance, Information Science Reference, August 2008, Chapter 2, pp. 37-56.
|
General
|
|
|
|
Industry-as-Laboratory: a research format for high-tech industry?
|
Ed Brinksma
|
|
Generic
|
2008
|
ARTEMIS & ITEA Co-summit 2008
|
General
|
|
|
|
High-tech systems in their environment
|
T. Punter
|
|
Generic
|
2008
|
Report on Incose 2008 STT2, Incose Insight, September 2008
|
General
|
|
|
|
Right Sizing Reference Architectures; How to provide specific guidance with limited information
|
Gerrit Muller
|
|
Generic
|
2008
|
INCOSE Proceedings 2008
|
Systems Engineering
|
|
|
|
When and What to Standardize; An Architecture Perspective
|
Gerrit Muller
|
|
Generic
|
2008
|
INCOSE Proceedings 2008
|
Systems Engineering
|
|
|
|
Tutorial Measuring and Modeling System Performance
|
Gerrit Muller
|
|
Generic
|
2008
|
INCOSE 2008
|
Systems Engineering
|
|
|
|
Supporting UML-based Development of Embedded Systems by Formal Techniques
|
Jozef Hooman
|
H. Kugler, I. Ober, A. Votintseva, Y. Yushtein
|
Generic
|
2008
|
Software and Systems Modeling, Vol. 7, Nr. 2, pp. 131-155, 2008
|
Reliability
|
|
|
|
The Impact of Independent Model Formation on Model-based Service Interoperability
|
Teun Hendriks
|
|
Generic
|
2008
|
7th WSEAS Int. Conf. on ARTIFICIAL INTELLIGENCE, KNOWLEDGE ENGINEERING and DATA BASES (AIKED'08), University of Cambridge, UK, Feb 20-22, 2008
|
General
|
|
|
|
The Challenges of Embedded Systems Engineering
|
Ed Brinksma
|
|
Generic
|
2007
|
HSCC 2007: 3
|
General
|
|
|
|
Formal Specification and Verification of the Intrusion-Tolerant Enclaves Protocol
|
M. Layouni
|
J. Hooman, S. Tahar
|
Generic
|
2007
|
International Journal of Network Security, Vol. 5, No. 3, pp. 288-298, 2007, Science Publications
|
General
|
|
|
|
Integrating verification, testing, and learning for Cryptographic Protocols
|
M. Oostdijk
|
V. Rusu, J. Tretmans, R.G. de Vries, T.A.C. Willemse
|
Generic
|
2007
|
Integrated Formal Methods – IFM 2007, Lecture Notes in Computer Science 4591, pages 538-557
|
General
|
|
|
|
Performance analysis of a palletizing system
|
M.F. van Amstel
|
E. van de Plassche, R. Hamberg, M.G.J. van den Brand, J.E. Rooda
|
Generic
|
2007
|
internal SE Report TU/e 2007-09
|
General
|
|
|
|
Input-to-state stability of discontinuous dynamical systems with an observer-based control application
|
W.P.M.H. Heemels
|
S. Weiland, A. Lj. Juloski
|
Generic
|
2007
|
Lecture Notes in Computer Science. 10th International Workshop on Hybrid Systems: Computation and Control 2007, Pisa, Italy
|
General
|
|
|
|
Abstraction Conflicts in Industrial Deployment of Model-Based Interoperability Standards
|
Teun Hendriks
|
Kees Wevers
|
Generic
|
2007
|
CSER 2007
|
Reliability
|
|
|
|
Semantic Models of a Timed Distributed Dataspace Architecture
|
Jozef Hooman
|
Jaco van de Pol
|
Generic
|
2005
|
Theoretical Computer Science, Vol. 331
|
General
|
|
|
|
Didactic Recommendations for Education in Systems Engineering
|
Gerrit Muller
|
|
Generic
|
2005
|
INCOSE 2005
|
General
|
|
|
|
Industry and Academia: Why Practioners and Researchers are Disconnected
|
Gerrit Muller
|
|
Generic
|
2005
|
INCOSE 2005
|
General
|
|
|
|
Tutorial Software as Integrating Technology in Complex Systems
|
Gerrit Muller
|
|
Generic
|
2005
|
INCOSE 2005
|
General
|
|
|
|
Comparison of four Procedures for the Identification of Hybrid Systems
|
Juloski, A.
|
Heemels, W.P.M.H., Ferrari-Trecate, G. , Vidal, R. , Paoletti, S. and Niessen, J.H.G.
|
Generic
|
2005
|
Proceedings of the 8th International Workshop, Hybrid Systems: Computation and Control 2005, Zurich, Switzerland.
|
General
|
|
|
|
Infinity Norms as Lyapunov functions for model predictive control of constrained PWA systems
|
Lazar, M.
|
Heemels, W.P.M.W. , Weiland, S. , Bemporad, A. Pastravanu, O.
|
Generic
|
2005
|
Proceedings of the 8th International Workshop, Hybrid Systems: Computation and Control 2005, Zurich, Switzerland.
|
General
|
|
|
|
On the stability of quadratic forms based model predictive control of constrained PWA systems
|
Lazar, M.
|
Heemels, W.P.M.W. , Weiland, S. , Bemporad, A.
|
Generic
|
2005
|
Proceedings of the American Control Conference 2005, Portland US.
|
General
|
|
|
|
Energy management strategies for vehicular electric power systems
|
Koot, M.
|
Kessels, J.T.B.A. , de Jager, B. , Heemels, W.P.M.H., van den Bosch, P.P.J. , Steinbuch, M.
|
Generic
|
2005
|
Journal: IEEE Transactions on Vehicular Technology, Vol. 54, No. 3. May 2005
|
General
|
|
|
|
A Semantics of Communicating Reactive Objects with Timing
|
Jozef Hooman
|
Mark van der Zwaag
|
Generic
|
2005
|
STTT, Journal on Software Tools for Technology Transfer
|
General
|
|
|
|
Switching observer design for an experimental piecewise-linear beam system
|
A. Doris
|
Juloski, A.Lj., Heemels, W.P.M.H., van de Wouw, N. and Nijmeijer, H.
|
Generic
|
2005
|
Proceedings of the IFAC World Congress on Automatic Control 2005, Prague
|
General
|
|
|
|
Control of PWA systems using a stable receding horizon method
|
Necoara, I.
|
De Schutter, B., Heemels, W.P.M.H., Weiland, S., Lazar, M. and van den Boom, T.T.J.
|
Generic
|
2005
|
Proceedings of the IFAC World Congress on Automatic Control 2005, Prague
|
General
|
|
|
|
Observer design for Lur’e systems with multi-valued mappings
|
W.P.M.H. Heemels
|
Juloski, A.Lj. and Weiland, S.
|
Generic
|
2005
|
Proceedings of the IFAC World Congress on Automatic Control 2005, Prague
|
General
|
|
|
|
AGORA-C on-the-fly location referencing
|
Kees Wevers
|
Teun Hendriks
|
Generic
|
2005
|
12th World Congress on ITS, San Francisco, 6-10 November 2005 Paper 2008
|
General
|
|
|
|
Real Time Optimization of Active Cruise Control with Map Data Using a Standardized Interface
|
J.P. Loewenau
|
W. Richter, C. Urbanczik, L. Beuk, T. Hendriks, R. Pichler, K. Artmann
|
Generic
|
2005
|
12th World Congress on ITS, San Francisco, 6-10 November 2005 Paper 2015
|
General
|
|
|
|
CAFCR: A Multi-view Method for Embedded Systems Architecting; Balancing Genericity and Specificity
|
Gerrit Muller
|
|
Generic
|
2004
|
PhD Thesis
|
General
|
|
|
|
Experiences of Teaching Systems Architecting
|
Gerrit Muller
|
|
Generic
|
2004
|
Proc. of INCOSE 2004, Toulouse
|
General
|
|
|
|
Correct Development of Embedded Systems
|
Susanne Graf
|
Jozef Hooman
|
Generic
|
2004
|
Proc. of the First European Workshop on Software Architecture (EWSA 2004)
|
General
|
|
|
|
On the controllability of bimodal piecewise linear systems.
|
M.K. Camlibel
|
Heemels, W.P.M.H. and Schumacher, J.M.
|
Generic
|
2004
|
Proceedings Hybrid Systems: Computations and Control 2004, Philadelphia. Springer Lecture Notes in Computer Science No. 2993. p. 250-264.
|
General
|
|
|
|
Deductive Verification of UML Models in TLPVS
|
Tamarah Arons
|
Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag
|
Generic
|
2004
|
Proceedings UML 2004, LNCS 3273
|
General
|
|
|
|
The complementarity class of hybrid dynamical systems
|
W.P.M.H. Heemels
|
Brogliato, B.
|
Generic
|
2003
|
European Journal of Control, Volume 9, p. 322-360. Special Issue related to the European Control Conference 2003 in Cambridge, U.K.
|
General
|
|
|
|
Modelling, well-posedness and stability of switched electrical networks
|
W.P.M.H. Heemels
|
Camlibel, M.K., van der Schaft, A.J. and Schumacher, J.M.
|
Generic
|
2003
|
Proceedings Hybrid Systems: Computations and Control 2003, Prague. Springer Lecture Notes in Computer Science No. 2623. p. 249-266
|
General
|
|
|
|
Parallel Object-Oriented Specification Language
|
Oana Florescu
|
Jeroen Voeten, Bart Theelen, Marc Geilen, Henk Corporaal
|
Artist
|
2008
|
ARTIST Survey of Programming Languages - Alan Burns (Editor)
|
Performance / Reliability
|
|
|
|
Embedded Systems in Healthcare
|
Pierre America
|
|
Artist
|
2008
|
ArtistDesign Workshop 2008, Rome
|
General
|
|
|
|
A Robust Protocol Stack for Multi-hop Wireless Body Area Networks with Transmit Power Adaptation
|
M. Nabi
|
M. Blagojevic, T. Basten, M. Geilen, T. Hendriks
|
Alwen
|
2010
|
Proc. Fifth International Conference on Body Area Networks, ACM
|
Networks
|
|
|
|
An Optimized Medium Access Control Protocol for Mobile Clusters in Wireless Sensor Networks
|
M. Nabi
|
M. Blagojevic, T. Basten, M. Geilen, T. Hendriks
|
Alwen
|
2010
|
Proc. IEEE Secon 2010
|
Networks
|
|
|
|
Chamaeleon - Exploiting Multiple Channels to Mitigate Interference
|
V. Iyer
|
M. Woehrle and K.G. Langendoen
|
Alwen
|
2010
|
7th Int. Workshop on Networked Sensing Systems (INSS 2010)
|
Networks
|
|
|
|
Transitive Signature from LFSR
|
Zheng Gong
|
Weidong Qiu, Zheng Huang and Kefei Chen
|
Alwen
|
2010
|
Journal of Information Science and Engineering. 2010
|
Networks
|
|
|
|
Fast Simulation Methods to Predict Wireless Sensor Network Performance
|
M. Blagojevic
|
M. Nabi, T. Hendriks, T. Basten, M. Geilen
|
Alwen
|
2009
|
6th ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, PE-WASUN 2009, Proceedings,. Tenerife, ACM, 2009. ISBN 978-1-60558-618-2, A. Boukerche, I. Guerin-Lassous, S. Olariu, editors
|
Networks
|
|
|
|
Configuring Multi-Objective Evolutionary Algorithms for Design-Space Exploration of Wireless Sensor Networks
|
M. Nabi
|
M. Blagojevic, T. Basten, M. Geilen, T. Hendriks
|
Alwen
|
2009
|
In 4th ACM International Workshop on Performance Monitoring, Measurement and Evaluation of Heterogeneous Wireless and Wired Networks, PM2HW2N 2009, ACM, 2009. ISBN 978-1-60558-621-2
|
Networks
|
|
|
|
Exploring a WSN Design Space using Genetic Algorithms
|
M. Nabi
|
M. Blagojevic, T. Basten, M. Geilen, T. Hendriks
|
Alwen
|
2009
|
5th International Summer School on Advanced Computer Architecture and Compilation for Embedded Systems, ACACES 2009, Poster abstracts, pages 327-328. HiPEAC Network of Excellence, Ghent, Belgium, 2009. ISBN 978 90 382 1467 2
|
Networks
|
|
|
|
Towards Secure and Practical MACs for Body Sensor Networks
|
Z. Gong
|
P. Hartel, S. Nikova and B. Zhu
|
Alwen
|
2009
|
Indocrypt 2009, LNCS 5922, Springer, Dec 2009
|
Networks
|
|
|
|
Formal Semantics of a VDM Extension for Distributed Embedded Systems
|
Jozef Hooman
|
Marcel Verhoef
|
Boderc
|
2010
|
de Roever Festschrift, LNCS 5930, pp. 142–161 ; Springer-Verlag, Berlin Heidelberg
|
System Performance
|
|
|
|
Proving Consistency of VDM models using HOL
|
Sander D. Vermolen
|
Jozef Hooman, Peter Gorm Larsen
|
Boderc
|
2010
|
Proceedings of the 25th Symposium On Applied Computing (SAC’10), pp. 2503-2510; ACM
|
System Performance
|
|
|
|
Proving Consistency of VDM models using HOL
|
Sander D. Vermolen
|
Jozef Hooman, Peter Gorm Larsen
|
Boderc
|
2009
|
Technical report: ICIS-R09006 ; Radboud University Nijmegen
|
System Performance
|
|
|
|
Patterns for Automatic Generation of Soft Real- Time System Models
|
O. Florescu
|
J. Voeten, B. Theelen and H. Corporaal
|
Boderc
|
2009
|
Simulation - Transactions of the Society for Modeling and Simulation International, special issue on Multi-Paradigm Modeling: Concepts and Tools. Invited article
|
System Performance
|
|
|
|
Error Computation for Predictable Real-Time Software Synthesis
|
J. Voeten
|
O. Florescu, J. Huang and H. Corporaal
|
Boderc
|
2009
|
Simulation - Transactions of the Society for Modeling and Simulation International. Invited article
|
System Performance
|
|
|
|
Modeling and Validating Distributed Embedded Real-Time Control Systems
|
Marcel Verhoef
|
|
Boderc
|
2009
|
PhD Thesis
|
System Performance
|
|
|
|
Formal Semantics of a VDM Extension for Distributed Embedded Systems
|
Jozef Hooman
|
Marcel Verhoef
|
Boderc
|
2009
|
Technical report: ICIS-R09005 ; Radboud University Nijmegen
|
System Performance
|
|
|
|
Control over Communication Networks: Modeling, Analysis, and Synthesis
|
M.B.G. Cloosterman
|
|
Boderc
|
2008
|
PhD Thesis
|
System Performance
|
|
|
|
Stability of Networked Control Systems with Large Delays
|
Marieke Cloosterman
|
Nathan van de Wouw, Maurice Heemels, Henk Nijmeijer
|
Boderc
|
2007
|
Proceedings of the 46th IEEE Conference on Decision and Control, New Orleans (2007)
|
System Performance
|
|
|
|
Tracking Control for Networked Control Systems
|
Nathan van de Wouw
|
Payam Naghshtabrizi, Marieke Cloosterman, Joao Pedro Hespanha
|
Boderc
|
2007
|
Proceedings of the 46th IEEE Conference on Decision and Control, New Orleans (2007)
|
System Performance
|
|
|
|
Case studies in event-driven control
|
Heico Sandee
|
Heemels, W.P.M.H. and van den Bosch, P.P.J.
|
Boderc
|
2007
|
Lecture Notes in Computer Science 4416. 10th International Workshop on Hybrid Systems: Computation and Control 2007, Pisa, Italy
|
System Performance
|
|
|
|
Predictable Design for Real-Time Systems
|
Oana Florescu
|
|
Boderc
|
2007
|
PhD Thesis
|
System Performance
|
|
|
|
Sheet Feedback Control Design in a Printer Paper Path
|
Björn Bukkems
|
|
Boderc
|
2007
|
PhD Thesis
|
System Performance
|
|
|
|
Event-Driven Control in Theory and Practice - Trade-offs in software and control performance
|
Heico Sandee
|
|
Boderc
|
2007
|
PhD Thesis
|
System Performance
|
|
|
|
Effective industrial modeling for high-tech systems: The example of Happy Flow
|
Jan Beckers
|
Maurice Heemels, Björn Bukkems, Gerrit Muller
|
Boderc
|
2007
|
INCOSE
|
System Performance
|
|
|
|
A Model-Driven Approach to Embedded Control System Implementation
|
Jan Broenink
|
Marcel Groothuis, Peter Visser, Bojan Orlic
|
Boderc
|
2007
|
2007 Western Multiconference on Computer Simulation WMC 2007
|
System Performance
|
|
|
|
Co-simulation of Distributed Embedded Real-Time Control Systems
|
Marcel Verhoef
|
Peter Visser, Jozef Hooman, Jan Broenink
|
Boderc
|
2007
|
Integrated Formal Methods (IFM) 2007, Lecture Notes in Computer Science 4591, pages 639-658
|
System Performance
|
|
|
|
Five Years of Multi-Disciplinary Academic and Industrial Research: Lessons Learned
|
Gerrit Muller
|
Maurice Heemels
|
Boderc
|
2007
|
Conference on System Engineering Research (CSER) 2007
|
System Performance
|
|
|
|
Interpreting Distributed System Architectures with VDM++, a case study
|
Marcel Verhoef
|
Peter Gorm Larsen
|
Boderc
|
2007
|
Conference on System Engineering Research (CSER) 2007
|
System Performance
|
|
|
|
Modeling of hardware software performance of high-tech systems
|
Peter v.d. Bosch
|
Marcel Verhoef, Gerrit Muller, Oana Florescu
|
Boderc
|
2007
|
INCOSE
|
System Performance
|
|
|
|
Modelling and Distributed Controller Design of the BodeRC Paper-path Setup
|
Frank Ambrosius
|
|
Boderc
|
2007
|
MSc thesis. UT EEMCS / Control engineering
|
System Performance
|
|
|
|
Model-Driven Design of Real-Time Systems
|
Oana Florescu
|
|
Boderc
|
2007
|
14th ASCI Computing Workshop (GNARP), Garderen
|
System Performance
|
|
 |
|
A Piecewise Linear Approach towards Sheet Control in a Printer Paper Path
|
Björn Bukkems
|
René van de Molengraft, Maurice Heemels, Nathan van de Wouw, Maarten Steinbuch
|
Boderc
|
2006
|
ACC
|
System Performance
|
|
|
|
Robust Piecewise Linear Sheet Control in a Printer Paper Path
|
Björn Bukkems
|
Jeroen de Best, René van de Molengraft, Maarten Steinbuch
|
Boderc
|
2006
|
ADHS
|
System Performance
|
|
|
|
On the Systematic use of Budget Based Design
|
Hennie Freriks
|
Maurice Heemels
|
Boderc
|
2006
|
INCOSE
|
System Performance
|
|
|
|
Threads of Reasoning: a case study in printer control
|
Heico Sandee
|
Maurice Heemels
|
Boderc
|
2006
|
INCOSE
|
System Performance
|
|
|
|
Analysis and experimental validation of processor load for event-driven controllers
|
Heico Sandee
|
Peter Visser, Maurice Heemels
|
Boderc
|
2006
|
CCA
|
System Performance
|
|
|
|
Robust stability of networked control systems with time-varying network-induced delays
|
Marieke Cloosterman
|
Nathan van de Wouw, Maurice Heemels, Henk Nijmeijer
|
Boderc
|
2006
|
CDC
|
System Performance
|
|
|
|
A multi-disciplinary and model-based design methodology for high-tech systems
|
W.P.M.H. Heemels
|
Evert van de Waal, Gerrit Muller
|
Boderc
|
2006
|
CSER
|
System Performance
|
|
|
|
Practical stability of perturbed event-driven controlled linear systems
|
W.P.M.H. Heemels
|
Heico Sandee
|
Boderc
|
2006
|
ACC
|
System Performance
|
|
|
|
The Use of the Keydriver Technique in the Design of Copiers
|
W.P.M.H. Heemels
|
Lou Somers, Peter van den Bosch, Zhaorui Yuan, Berry van der Wijst, Adriaan van den Brand, Gerrit Muller
|
Boderc
|
2006
|
Proceedings ICSSEA
|
System Performance
|
|
|
|
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
|
Marcel Verhoef
|
Peter Gorm Larsen, Jozef Hooman
|
Boderc
|
2006
|
Formal Methods (FM) 2006, LNCS 4085, pages 147-162
|
System Performance
|
|
|
|
On the use of VDM++ for specifying Real-Time Systems
|
Marcel Verhoef
|
|
Boderc
|
2006
|
Technical report:Towards Next Generation Tools for VDM: Contributions fo the First International Overture Workshop, CS-TR 969
|
System Performance
|
|
|
|
System Architecture Evaluation Using Modular Performance Analysis- a case study
|
E. Wandeler
|
Lothar Thiele, Marcel Verhoef, Pieter Lieverse
|
Boderc
|
2006
|
STTT (Isola journal)
|
System Performance
|
|
|
|
Timed Automata Based Analysis of Embedded System Architectures
|
Marcel Verhoef
|
Martijn Hendriks
|
Boderc
|
2006
|
Workshop on Parallel and Distributed Real-Time Systems (WPDRTS) 2006
|
System Performance
|
|
|
|
Performance Modelling and Analysis Using POOSL for an In-Car Navigation System
|
Oana Florescu
|
Menno de Hoon, Jeroen Voeten, Henk Corporaal
|
Boderc
|
2006
|
Book: Proceedings of the 12th Annual Conference of the Advanced School for Computing and Imaging (ASCI)
|
System Performance
|
|
|
|
Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems
|
Oana Florescu
|
Menno de Hoon, Jeroen Voeten, Henk Corporaal
|
Boderc
|
2006
|
Book:Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS VI)
|
System Performance
|
|
|
|
Property-Preservation Synthesis for Unified Control- and Data-Oriented Models
|
Oana Florescu
|
Jeroen Voeten, Henk Corporaal
|
Boderc
|
2006
|
Book: Applications of Specification and Design Languages for SoCs
|
System Performance
|
|
|
|
Reusing Real-Time Systems Design Experience Through Modelling Patterns
|
Oana Florescu
|
Jeroen Voeten, Marcel Verhoef, Henk Corporaal
|
Boderc
|
2006
|
FDL - ECSI, 2006
|
System Performance
|
|
|
|
Strengthening Property Preservation in Concurrent Real-Time Systems
|
Oana Florescu
|
Jinfeng Huang, Jeroen Voeten, Henk Corporaal
|
Boderc
|
2006
|
Book:Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
|
System Performance
|
|
|
|
A Clock Synchronization Skeleton Based on RTAI.
|
Yang Huang
|
Peter Visser, Jan Broenink
|
Boderc
|
2006
|
8th Real-Time Linux Workshop
|
System Performance
|
|
|
|
Controller and Plant System Design Trajectory
|
Peter Visser
|
Jan Broenink
|
Boderc
|
2006
|
CACSD
|
System Performance
|
|
|
|
Clock synchronization using real-time CAN
|
Yang Huang
|
|
Boderc
|
2006
|
MSc thesis. UT EEMCS / Control engineering
|
System Performance
|
|
|
|
On the verification of real-time distributed embedded control systems
|
Erik Oosterom
|
|
Boderc
|
2006
|
MSc thesis. UT EEMCS / Control engineering
|
System Performance
|
|
|
|
A case study of multi-disciplinary modeling using MATLAB / Simulink and TrueTime
|
Evert vd Waal
|
Peter van den Bosch
|
Boderc
|
2005
|
INCOSE
|
System Performance
|
|
|
|
Do useful Multi-Domain Methods Exist?
|
Gerrit Muller
|
|
Boderc
|
2005
|
CSER
|
System Performance
|
|
|
|
Event Driven Control as an opportunity in the Multidisciplinary Development of Embedded Controllers
|
Heico Sandee
|
|
Boderc
|
2005
|
ACC
|
System Performance
|
|
|
|
Predictability in real time systems development
|
Jinfeng Huang
|
Jeroen Voeten, Oana Florescu, P.H.A. van der Putten, Henk Corporaal
|
Boderc
|
2005
|
Book: Advances in Design and Specification Languages for SoCs
|
System Performance
|
|
|
|
Property-Preservation Synthesis for Unified Control- and Data-Oriented Models
|
Oana Florescu
|
Jeroen Voeten, Henk Corporaal
|
Boderc
|
2005
|
FDL
|
System Performance
|
|
|
|
Hard Real-Time Networking on Firewire
|
Z. Yuchen
|
Peter Visser, Jan Broenink
|
Boderc
|
2005
|
7th Real-Time Linux Workshop
|
System Performance
|
|
|
|
Performance Analysis of Distributed Real-Time Embedded Systems
|
Menno de Hoon
|
|
Boderc
|
2005
|
MSc thesis. TU/e Electrical Engineering / Electronic Systems
|
System Performance
|
|
|
|
Analysis of varying sampling frequency in controller algorithms
|
Maurice Snoeren
|
|
Boderc
|
2005
|
MSc thesis. TU/e Electrical Engineering / Control Systems
|
System Performance
|
|
|
|
PC104 stack mechatronic control platform
|
Erik Buit
|
|
Boderc
|
2005
|
MSc thesis. TU/e Electrical Engineering / Control Systems
|
System Performance
|
|
|
|
Mechatronic setup for Boderc project
|
M. Otto
|
|
Boderc
|
2005
|
MSc thesis. TU/e Electrical Engineering / Control Systems
|
System Performance
|
|
|
|
Real-Time Network for Distributed Control
|
Yuchen Zhang
|
|
Boderc
|
2005
|
MSc thesis. TU/e Electrical Engineering / Control Systems
|
System Performance
|
|
|
|
Multi-disciplinary modelling of dynamic embedded systems
|
Björn Bukkems
|
Heico Sandee, Jan Beckers, Zhaorui Yuan, Berry van der Wijst
|
Boderc
|
2004
|
Mechatronics and Robotics
|
System Performance
|
|
|
|
Coupling Simulink and UML models
|
Jozef Hooman
|
Nataliya Mulyar, Ladislau Posta
|
Boderc
|
2004
|
FORMS/FORMATS
|
System Performance
|
|
|
|
A Unified Model for Analysis of Real-Time Properties
|
Oana Florescu
|
Jeroen Voeten, Henk Corporaal
|
Boderc
|
2004
|
ISOLA 04
|
System Performance
|
|
|
|
Error-Estimation in Model-Driven Development for Real-Time Software
|
Oana Florescu
|
Jeroen Voeten, J. Huang, Henk Corporaal
|
Boderc
|
2004
|
FDL'04
|
System Performance
|
|
|
|
FPGAs as versatile configurable I/O devices in Hardware-in-the-Loop Simulation
|
Peter Visser
|
Marcel Groothuis, Jan Broenink
|
Boderc
|
2004
|
RTSS'04
|
System Performance
|
|
|
|
Multi-Disciplinary Design Support using Hardware-in-the-Loop Simulation
|
Peter Visser
|
Marcel Groothuis, Jan Broenink
|
Boderc
|
2004
|
Progress
|
System Performance
|
|
|
|
Distributed HIL simulation for BodeRC
|
Marcel Groothuis
|
|
Boderc
|
2004
|
MSc thesis. TU/e Electrical Engineering / Control Systems
|
System Performance
|
|
|
|
Derivative-free optimization for autofocus and astigmatism correction in electron microscopy
|
M. Rudnaya
|
S.C. Kno, R.M.M. Mattheij
|
Condor
|
2010
|
Proceedings of the 2nd International Conference on Engineering Optimization (EngOpt 2010, Lisbon, Portugal, September 6-9, 2010)
|
System Performance
|
|
|
|
Shape reconstruction techniques for optical sectioning of arbitrary objects
|
K. Kumar
|
M. Pisarenco, M. Rudnaya, V. Savcenco, S. Srivastava, S.
|
Condor
|
2010
|
CASA Report No. 10-03, Eindhoven
|
System Performance
|
|
|
|
Derivative-based image quality measure for autofocus in electron microscopy
|
M. Rudnaya
|
R.M.M. Mattheij, J.M.L. Maubach
|
Condor
|
2010
|
CASA Report No. 10-42, Eindhoven
|
System Performance
|
|
|
|
Derivative-free optimization for autofocus and astigmatism correction in electron microscopy
|
M. Rudnaya
|
S.C. Kho, R.M.M. Mattheij, J.M.L. Maubach
|
Condor
|
2010
|
CASA Report No. 10-34, Eindhoven
|
System Performance
|
|
|
|
Autofocus and two-fold astigmatism correction in HAADF-STEM
|
M. Rudnaya
|
W. van den Broek, R. Doornbos, R.M.M. Mattheij, J.M.L. Maubach
|
Condor
|
2010
|
CASA Report No. 10-09, Eindhoven
|
System Performance
|
|
|
|
On Hysteresis in Magnetic Lenses of Electron Microscopes
|
P.J. van Bree
|
C. M. M. van Lierop, P. P. J. van den Bosch
|
Condor
|
2010
|
Proc. IEEE Int. Symposium on Industrial Electronics ISIE 2010. Bari, Italy: IEEE
|
System Performance
|
|
|
|
Architecture-Driven Development of Embedded Systems with ACOL
|
D. Langsweirdt
|
Nelis Bouck´e, Yolande Berbers
|
Condor
|
2010
|
2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops
|
System Performance
|
|
|
|
Embedded Systems with AADL: A Practical Study
|
N.Muhammad
|
Y. Vandewoude, Y. Berbers, S. van Loo
|
Condor
|
2010
|
Chapter in: Advanced Technologies book, by IN-TECH publishers, 2010
|
System Performance
|
|
|
|
A Model Based Reconstruction Technique for Depth Sectioning with Scanning Transmission Electron Microscopy
|
W. van den Broek
|
S. van Aert, D. van Dyck
|
Condor
|
2010
|
Ultramicroscopy, Volume 110, Issue 5, April 2010, Pages 548-554
|
System Performance
|
|
|
|
Towards automatic control of scanning transmission electron microscopes
|
A. Tejada Ruiz
|
S.W. van der Hoeven, A. J. den Dekker, P.M.J. van den Hof
|
Condor
|
2009
|
Proceedings IEEE Multi-Conference on Systems and Control (CCA 2009)
|
System Performance
|
|
|
|
New Robust Stability and Stabilization Conditions for Linear Repetitive Processes
|
W. Paszke
|
O. Bachelier
|
Condor
|
2009
|
Proceedings of 6th International Workshop on Multidimensional (nD) Systems
|
System Performance
|
|
|
|
Modeling Composite End-to-End flows with AADL
|
N.Muhammad
|
Y. Vandewoude, Y. Berbers, S. van Loo
|
Condor
|
2009
|
Proceedings of STANDRTS workshop on Euromicro Conference on Real-Time Systems (ECRTS 09)
|
System Performance
|
|
|
|
Towards STEM Control: Modeling Framework and Development of a Sensor for Defocus Control
|
A. Tejada Ruiz
|
W. Van den Broek, S.W. van der Hoeven, A.J. den Dekker
|
Condor
|
2009
|
Proceedings of Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference
|
System Performance
|
|
|
|
Dissipative stability theory for linear repetitive processes with application in iterative learning control
|
W. Paszke
|
P. Rapisarda, E. Rogers, M. Steinbuch
|
Condor
|
2009
|
Proceedings of Symposium on Learning Control at IEEE CDC 2009
|
System Performance
|
|
|
|
Control-oriented hysteresis models for magnetic electron lense
|
P.J. van Bree
|
C. M. M. van Lierop, P. P. J. van den Bosch
|
Condor
|
2009
|
IEEE Transactions on Magnetics
|
System Performance
|
|
|
|
A model based atomic resolution tomographic algorithm
|
W. van den Broek
|
S. Van Aert, D. Van Dyck
|
Condor
|
2009
|
Ultramicroscopy 109
|
System Performance
|
|
|
|
Towards Intelligent Tool-Support for AADL Based Modeling of Embedded Systems
|
D. Langsweirdt
|
Y. Vandewoude, Y. Berbers
|
Condor
|
2009
|
Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009) ; S. Van Baelen et al (Eds.)
|
System Performance
|
|
|
|
Model based tomography in high resolution HAADF STEM
|
W. van den Broek
|
S. van Aert, D. van Dyck
|
Condor
|
2009
|
Proceedings of Microscopy Conference
|
System Performance
|
|
|
|
Scanning Electron Microscopy: Power Spectrum Analysis
|
M.E. Rudnaya
|
J.M.L. Maubach, R.M.M. Mattheij
|
Condor
|
2009
|
Proceedings of Microscopy Conference
|
System Performance
|
|
|
|
Iterative Learning Control by Linear Repetitive Processes Theory
|
W. Paszke
|
|
Condor
|
2009
|
Proceedings of the 28th Benelux Meeting on Systems and Control
|
System Performance
|
|
|
|
Characterization of hysteresis within magnetic electron lenses
|
P.J. van Bree
|
C.M.M. van Lierop, P.P.J. van den Bosch
|
Condor
|
2009
|
28th Benelux Meeting on Systems and Control
|
System Performance
|
|
|
|
Towards automatic control of scanning transmission electron microscopes: system identification issues
|
A. Tejada Ruiz
|
|
Condor
|
2009
|
28th Benelux Meeting on Systems and Control
|
System Performance
|
|
|
|
Iterative Autofocus Algorithms for Scanning Electron Microscopy
|
M. Rudnaya
|
J.M.L. Maubach, R.M.M. Mattheij
|
Condor
|
2009
|
Microscopy & Microanalysis 2009
|
System Performance
|
|
|
|
Observer Development for Automatic STEM closed-control loop
|
A. Tejada Ruiz
|
A.J. den Dekker
|
Condor
|
2009
|
Microscopy & Microanalysis 2009
|
System Performance
|
|
|
|
Alignment Control of STEM: a Ronchigram Based Approach
|
S. van der Hoeven
|
A.J. den Dekker
|
Condor
|
2009
|
Microscopy & Microanalysis 2009
|
System Performance
|
|
|
|
Dynamics of magnetic electron lenses
|
P.J. van Bree
|
|
Condor
|
2008
|
27th Benelux Meeting on Systems and Control
|
System Performance
|
|
|
|
Graph-Based Verification of Static Program Constraints
|
Selim Ciraci
|
Pim van den Broek, Mehmet Aksit
|
Darwin
|
2010
|
Symposium on Applied Computing ; Proceedings of the 2010 ACM Symposium on Applied Computing
|
|
|
|
|
Modular Design of Mechatronic Systems with Function Modeling
|
T.J. van Beek
|
M.S. Erden, T. Tomiyama
|
Darwin
|
2010
|
Mechatronics Journal - The Science of Intelligent Machines
|
Evolvability
|
|
|
|
Combining User Workflow and System Functions in Product Development
|
T.J. van Beek
|
T. Tomiyama
|
Darwin
|
2010
|
Proceedings of the 22nd International Conference on Design Theory and Methodology (DTM), ASME, Montréal, 2010
|
Evolvability
|
|
|
|
Information needed for Architecture Decision Making
|
A. Ivanovic
|
P. America
|
Darwin
|
2010
|
1st International Workshop on Product Line Approaches in Software Engineering (PLEASE 2010)
|
Evolvability
|
|
|
|
Customer value in architecture decision making
|
A. Ivanovic
|
P. America
|
Darwin
|
2010
|
ECSA 2010
|
Evolvability
|
|
|
|
System Evolution Barriers and How to Overcome The
|
D. Borches
|
M. Bonnema
|
Darwin
|
2010
|
CSER2010
|
Evolvability
|
|
|
|
System and Context Modeling; Visualizations of Where, When, and How
|
Gerrit Muller
|
|
Darwin
|
2010
|
INCOSE 2010
|
Evolvability
|
|
|
|
Observations from the Industry-as-laboratory project Darwin
|
P. van de Laar
|
|
Darwin
|
2010
|
CSER'10
|
Evolvability
|
|
|
|
Teletext an interoperability standard evolving already over 30 years
|
T. Hendriks
|
P. van de Laar
|
Darwin, Trader
|
2010
|
CSER'10
|
Evolvability
|
|
|
|
Interactive Exploration of Co-evolving Software Entities
|
A. Vanya
|
R. Premraj, H. van Vliet
|
Darwin
|
2010
|
CSMR 2010
|
Evolvability
|
|
|
|
Communication: Key Factor in Multidisciplinary System Design
|
G.M. Bonnema
|
P.D. Borches, R. Kauw-A-Tjoe
|
Darwin
|
2010
|
CSER 2010
|
Evolvability
|
|
|
|
Optimization of duty cycle of MRI scanners
|
E. Ivanov
|
A. Yu., S. Pogromsky, J.E. Rooda
|
Darwin
|
2009
|
IECON 2009, the 35th Annual Conference of the IEEE Industrial Electronics Society
|
Evolvability
|
|
|
|
Model-based engineering of supervisory controllers using CIF
|
R. Schiffelers
|
R. Theunissen, D.A. van Beek, K. Rooda
|
Darwin
|
2009
|
ECEASST, 21, 1-10, (2009)
|
Evolvability
|
|
|
|
Integrating conventional system views with function-behavior-state modelling
|
T.J. van Beek
|
T. Tomiyama
|
Darwin
|
2009
|
CIRP Design Conference 2009 - Competitive Design
|
Evolvability
|
|
|
|
Graph Based Verification of Software Evolution Requirements
|
Selim Ciraci
|
|
Darwin
|
2009
|
PhD Thesis
|
Evolvability
|
|
|
|
Documenting a Catalog of Viewpoints to Describe the Execution Architecture of a Large Software-Intensive System for the ISO/IEC 42010 Standard
|
T. Callo
|
P. Avgeriou, P. America
|
Darwin
|
2009
|
ESI website
|
Evolvability
|
|
|
|
Graph-based Verification of Static Software Design Constraints
|
Selim Ciraci
|
Pim van den Broek, Mehmet Aksit
|
Darwin
|
2009
|
ACM SAC 2010 Software Engineering Track
|
Evolvability
|
|
|
|
Characterizing Evolutionary Clusters
|
A. Vanya
|
S. Klusener, N. van Rooijen, H. van Vliet
|
Darwin
|
2009
|
WCRE09
|
Evolvability
|
|
|
|
Constructing Resource Usage Models of a Large and Complex Software-Intensive System
|
T. Callo
|
P. America, P. Avgeriou
|
Darwin
|
2009
|
WCRE09
|
Evolvability
|
|
|
|
Defining Execution Viewpoints for a Large and Complex Software-Intensive System
|
T. Callo
|
P. America, P. Avgeriou
|
Darwin
|
2009
|
8th Working IEEE/IFIP Conference on Software Architecture (WICSA), Cambridge
|
|
|
|
|
Supervisory control synthesis for a patient support system
|
R.J.M. Theunissen
|
R.R.H. Schiffelers, D.A. van Beek, J.E. Rooda
|
Darwin
|
2009
|
European Control Conference (ECC), Budapest (H)
|
|
|
|
|
Supporting Evolving Product Families
|
P. van de Laar
|
|
Darwin
|
2009
|
7th Annual Conference on Systems Engineering Research (CSER09)
|
Evolvability
|
|
|
|
Researching reference architectures
|
G. Muller
|
P. van de Laar
|
Darwin
|
2009
|
7th Annual Conference on Systems Engineering Research (CSER09)
|
Evolvability
|
|
|
|
On the transfer of evolutionary coupling to industry
|
P. van de Laar
|
|
Darwin
|
2009
|
IEEE Mining Software Repositories (MSR 2009)
|
Evolvability
|
|
|
|
Scheduling with sequence dependent setup times in application to Magnetic Resonance Imaging scans processing
|
E. Ivanov
|
A. Pogromsky, K. Rooda
|
Darwin
|
2009
|
3rd IEEE Multi-conference on Systems and Control (MSC 2009) Saint Petersburg, RUSSIA
|
Evolvability
|
|
|
|
Scheduling with dynamic constraints in application to MRI scan processing
|
E. Ivanov
|
A. Yu, S. Pogromsky, J.E. Rooda
|
Darwin
|
2009
|
3rd IEEE Multi-conference on Systems and Control (MSC 2009) Saint Petersburg, RUSSIA July 8-10, 2009
|
Evolvability
|
|
|
|
Modeling and simulation using the compositional interchance format for hybrid systems
|
C. Sonntag
|
R.R.H. Schiffelers, D.A. van Beek, J.E. Rooda, S. Engell
|
Darwin
|
2009
|
MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling; Editors: I.Troch and F.Breitenecker (2009).
|
Evolvability
|
|
|
|
Hybrid Modeling and Simulation of plant/controller Combinations
|
R.R.H. Schiffelers
|
A.Y. Pogromsky, D.A. van Beek, J.E. Rooda
|
Darwin
|
2009
|
3rd IEEE Multi-conference on Systems and Control
|
Evolvability
|
|
|
|
Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems
|
Gürcan Gülesir
|
Klaas van den Berg, Lodewijk Bergmans, Mehmet Aksit
|
Darwin
|
2009
|
Journal on Empirical Software Engineering
|
Evolvability
|
|
|
|
Coping with system evolution
|
P.D. Borches
|
M. Bonnema
|
Darwin
|
2009
|
Incose 2009
|
Evolvability
|
|
|
|
Transferring Software to a New Framework in a Brownfield Environment
|
P. van der Spek
|
S. Klusener
|
Darwin
|
2009
|
European Conference on Software Maintenance and Reengineering, (CSMR), 2009
|
Evolvability
|
|
|
|
Connecting Views in Mechatronic Systems Design, a Function Modeling Approach
|
T.J. van Beek
|
T. Tomiyama
|
Darwin
|
2008
|
IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications
|
Evolvability
|
|
|
|
Economics of Architectural Investments in Industrial Practice
|
A. Ivanovic
|
P. America
|
Darwin
|
2008
|
2nd International Workshop on Measurement and Economics of Software Product Lines.
|
Evolvability
|
|
|
|
Economics of investments in evolvable architecture in industrial practice
|
A. Ivanovic
|
P. America
|
Darwin
|
2008
|
ICSM08
|
Evolvability
|
|
|
|
Analyzing the Actual Execution of a Large Software-Intensive System for Determining Dependencies
|
T. Callo
|
Paris Avgeriou, Pierre America
|
Darwin
|
2008
|
Working Conference on Reverse Engineering (WCRE 2008)
|
System Evolution
|
|
|
|
Design with Overview - how to survive in complex organizations
|
G.M. Bonnema
|
P.D. Borches
|
Darwin
|
2008
|
Proceedings of INCOSE 2008
|
System Evolution
|
|
|
|
Requirements for Complex Systems Modeling
|
T.J. van Beek
|
T. Tomiyama
|
Darwin
|
2008
|
CIRP Design Conference
|
System Evolution
|
|
|
|
Framework for Computer-Aided Evolution of Object-Oriented Design
|
S. Ciraci
|
P. van den Broek, M. Aksit
|
Darwin
|
2008
|
IEEE Workshop on Quality Oriented Reuse of Software
|
System Evolution
|
|
|
|
Assessing Software Archives with Evolutionary Clusters
|
A. Vanya
|
L. Hofland, S. Klusener, P. van de Laar, H. van Vliet
|
Darwin
|
2008
|
ICPC08
|
System Evolution
|
|
|
|
How reference architectures support the evolution of Product Families
|
G. Muller
|
|
Darwin
|
2008
|
CSER 2008
|
System Evolution
|
|
|
|
Living' Architecture Overviews - Supporting the Design of Complex Systems
|
P.D. Borches
|
G.M. Bonnema
|
Darwin
|
2008
|
CIRP Design Conference
|
System Evolution
|
|
|
|
Concrete syntax and semantics of the compositional interchange format for hybrid systems
|
D.A. van Beek
|
M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers
|
Darwin
|
2008
|
Ifac 2008; International Federation of Automatic Control
|
System Evolution
|
|
|
|
Towards Recovering Architectural Concepts Using Latent Semantic Indexing
|
P. van der Spek
|
S. Klusener, P. van de Laar
|
Darwin
|
2007
|
CSMR 2008; European Conference on Software Maintenance and Reengineering
|
System Evolution
|
|
|
|
On the origin of evolvable systems
|
P.D. Borches
|
G.M. Bonnema
|
Darwin
|
2007
|
Tools and Methods of Competitive Engineering (TMCE 2008), Kusadasi, Turkey
|
System Evolution
|
|
|
|
A Review of Function Modelling: Approaches and Applications
|
M.S. Erden
|
H. Komoto, T.J. van Beek, V. D'Amelio, E. Echavarria, T. Tomiyama
|
Darwin
|
2007
|
Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM)
|
System Evolution
|
|
|
|
Architectuuruitdagingen in Embedded Systemen
|
G. Muller
|
|
Darwin
|
2007
|
 November 2007 Jaargang 49/9
|
System Evolution
|
|
|
|
The Darwin Project: Evolvability of Software Intensive Systems
|
P. van de Laar
|
P. America, J. Rutgers, S. van Loo, G. Muller, T. Punter, D. Watts
|
Darwin
|
2007
|
Workshop on Evolvability at Int. Conference on Software Maintenance
|
System Evolution
|
|
|
|
A constructive approach to software evolution
|
S. Ciraci
|
P. van den Broek, M. Aksit
|
Darwin
|
2007
|
Workshop on Model-driven Software Evolution (ModSe'07) at CSMR conference
|
System Evolution
|
|
|
|
Co-Simulation of Chi and Simulink models
|
D.A. van Beek
|
A.T. Hofland; M.A. Reniers; J.E. Rooda; R.R.H. Schiffelers;
|
Darwin
|
2007
|
Eurosim
|
System Evolution
|
|
|
|
Modelling Software Evolution using Algebraic Graph Rewriting
|
S. Ciraci
|
P. van den Broek
|
Darwin
|
2006
|
Workshop on Architecture-Centric Evolution (ACE 2006)
|
System Evolution
|
|
|
|
Evolvability as a Quality Attribute of Software Architectures
|
S. Ciraci
|
P. van den Broek
|
Darwin
|
2006
|
The International ERCIM Workshop on Software Evolution 2006
|
System Evolution
|
|
|
|
Mixed-Integer Evolution Strategy Using Multiobjective Selection Applied to Warehouse Design Optimization
|
Edgar Reehuis
|
Thomas Baeck
|
Falcon
|
2010
|
Proceedings of the 12th Annual Conference on Genetic and Evolutionary Computation, GECCO'10
|
System Performance
|
|
|
|
The Right Tool for the Right Job: Measuring Model Transformation Quality
|
Marcel van Amstel
|
|
Falcon
|
2010
|
Fourth IEEE International Workshop on Quality Oriented Reuse of Software (QUORS'10)
|
System Performance
|
|
|
|
A Platform for Grasp Performance Assessment in Compliant or Underactuated Hands
|
G.A. Kragten
|
J.L. Herder
|
Falcon
|
2010
|
Journal of Mechanical Design (2010), vol.132, issue 2
|
System Performance
|
|
|
|
Flow time prediction for a single-server order picking workstation using aggregate process times
|
R. Andriansyah
|
L.F.P. Etman, J.E. Rooda
|
Falcon
|
2010
|
International Journal on Advances of Systems and Measurements
|
System Performance
|
|
|
|
Port-Hamiltonian analysis of a novel robotic finger concept for minimal actuation variable impedance grasping
|
M. Wassink
|
R. Carloni,, S. Stramigioli
|
Falcon
|
2010
|
2010 IEEE International Conference on Robotics and Automation, Anchorage, Alaska, USA, ISSN 1050-4729
|
System Performance
|
|
|
|
The ability of underactuated hands to grasp and hold objects
|
G.A. Kragten
|
J.L. Herder
|
Falcon
|
2010
|
Mechanism and Machine Theory (2010), vol. 45, pp.408-425
|
System Performance
|
|
|
|
Aggregate modeling of end-of-aisle order picking workstation with overtaking
|
R. Andriansyah
|
L.F.P. Etman, J.E. Rooda
|
Falcon
|
2010
|
Eurandom workshop Stochastic Models of Manufacturing Systems - Poster
|
System Performance
|
|
|
|
Design, verification and analysis of the Highly Dynamic Storage system
|
Dwight Berendse
|
|
Falcon
|
2010
|
Master thesis - TU/e
|
System Performance
|
|
|
|
Verification of PLC source code using propositional logic
|
Maarten Meulen
|
|
Falcon
|
2010
|
Master thesis - TU/e
|
System Performance
|
|
|
|
Formalizing Material Flow Diagrams
|
R.J. Bijl
|
|
Falcon
|
2010
|
Master thesis - TU/e
|
System Performance
|
|
|
|
Keypoints extraction and selection for object recognition
|
Maja Rudinac
|
Boris Lenseigne, Pieter Jonker
|
Falcon
|
2009
|
Proceedings of IAPR Conference on Machine Vision Applications (MVA 2009), Japan
|
System Performance
|
|
|
|
Entropy based method for keypoint selection
|
Maja Rudinac
|
Boris Lenseigne and Pieter Jonker
|
Falcon
|
2009
|
Proc of ASCI Conference 2009
|
System Performance
|
|
|
|
On sustainable operation of warehouse order picking systems
|
R. Andriansyah
|
L. F. P. Etman, J. E. Rooda
|
Falcon
|
2009
|
XIV Summer School “Francesco Turco” Impianti Industriali Meccanici
|
System Performance
|
|
|
|
Digital Elevation Map Reconstruction for Port-based Dynamic Simulation of Contacts on Irregular Surfaces
|
M. Wassink
|
R. Carloni, P. Poulakis, S. Stramigioli
|
Falcon
|
2009
|
IEEE/RSJ International Conference on Intelligent Robots and Systems
|
System Performance
|
|
|
|
Collision-free Coordination of a Group of Unicycle Mobile Robots
|
D. Kostic
|
S. Adinandra, J. Caarls, N. van de Wouw, H. Nijmeijer
|
Falcon
|
2009
|
48th IEEE Conference on Decision and Control; Shanghai, China
|
System Performance
|
|
|
|
Simulation Model of a Single-Server Order Picking Workstation using Aggregate Process Time
|
R. Andriansyah
|
L. F. P. Etman, J. E. Rooda
|
Falcon
|
2009
|
1st International Conference on Advances in System Simulation (SIMUL 2009)
|
System Performance
|
|
|
|
Integration of 2D images and Range for Object Segmentation and recognition
|
Neslihan Bayramoglu
|
Oytun Akman, A. Aydin Alatan and Pieter Jonker
|
Falcon
|
2009
|
WSPC - Proceedings - clawar2009
|
System Performance
|
|
|
|
Ability to hold grasped objects by under actuated hands: performance prediction and experiments
|
G.A. Kragten
|
A.C. Kool, J.L. Herder
|
Falcon
|
2009
|
IEEE International Conference on Robotics and Automation;Pages: 2493-2498
|
System Performance
|
|
|
|
On the effect of contact friction and contact compliance on the grasp performance of underactuated hands
|
G.A. Kragten
|
H.A. Bosch, T. van Dam, J.A. Slobbe, J.L. Herder
|
Falcon
|
2009
|
ASME 2009 IDETC&CIE
|
System Performance
|
|
|
|
Exploitation of 3D Information for Directing Visual Attention and Object Recognition
|
Oytun Akman
|
Pieter Jonker
|
Falcon
|
2009
|
MVA 2009 IAPR Conference on Machine Vision Applications, Yokohama, JAPAN; pg. 50 - 53
|
System Performance
|
|
|
|
Directing Visual Attention and Object Recognition using 3D Information
|
Oytun Akman
|
Boris Lenseigne, Pieter Jonker
|
Falcon
|
2009
|
Fifteenth Annual Conference of the Advanced School for Computing and Imaging (ASCI 2009)
|
System Performance
|
|
|
|
A Holonic Approach to Warehouse Control
|
Hristina Moneva
|
Jurjen Caarls and Jacques Verriet
|
Falcon
|
2009
|
7th International Conference on Practical Applications of Agents and Multi-Agent Systems
|
System Performance
|
|
|
|
Using Metrics for Assessing the Quality of ASF+SDF Model Transformations
|
M.F. van Amstel
|
C.F.J. Lange, M.G.J. van den Brand
|
Falcon
|
2009
|
Theory and Practice of Model Transformations, Proceedings of the Second International Conference on Model Transformation (ICMT'09), volume 5563 of Lecture Notes in Computer Science Zürich, Switzerland; Pages 239-248
|
System Performance
|
|
|
|
Metrics for Analyzing the Quality of Model Transformations – Extended abstract
|
M.F. van Amstel
|
C.F.J. Lange, M.G.J. van den Brand
|
Falcon
|
2008
|
BENEVOL 2008 : The 7th BElgian-NEtherlands software eVOLution workshop
|
System Performance
|
|
|
|
Metrics for Analyzing the Quality of Model Transformations
|
M.F. van Amstel
|
C.F.J. Lange, M.G.J. van den Brand
|
Falcon
|
2008
|
Proceedings 12th ECOOP, July 8, 2008
|
System Performance
|
|
|
|
A Holonic Approach to Decentralized Warehouse Control
|
Hristina Moneva
|
|
Falcon
|
2008
|
OOTI report, 2008
|
System Performance
|
|
|
|
Simulation Study of Miniload-Workstation Order Picking Systems
|
R. Andriansyah
|
W.W.H. de Koning, R. Jordan, L.F.P. Etman, J.E. Rooda
|
Falcon
|
2008
|
TU/e SE report: Nr. 2008-07
|
System Performance
|
|
|
|
Literature review on designing a warehouse order picking system with conveyors and workstations
|
R.M.E. Jordan
|
|
Falcon
|
2008
|
Internship TU/e 2008
|
System Performance
|
|
|
|
Modeling a storage and retrieval system: architecture and model aggregations
|
W.W.H. de Koning
|
|
Falcon
|
2008
|
MSc Thesis, TU/e 2008
|
System Performance
|
|
|
|
Version control of graphs
|
M.F. van Amstel
|
M.G.J. van den Brand, Z. Protic
|
Falcon
|
2008
|
Informal pre-proceedings of the 7th BeNeVol 08, pp11-12, Dec. 2008
|
System Performance
|
|
|
|
On the influence of contact geometry on grasp stability
|
G.A. Kragten
|
Just L. Herder, A.L Schwab
|
Falcon
|
2008
|
Proceedings of IDETC/CIE 2008
|
System Performance
|
|
|
|
Tilt-tray Sorters modelled with UPPAAL
|
Roelof Hamberg
|
|
Falcon
|
2008
|
ESI Report Nr. 2008–2
|
System Performance
|
|
|
|
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?
|
Marcel van Amstel
|
Mark van den Brand, Zvezdan Protic, Tom Verhoeff
|
Falcon
|
2008
|
ICMT2008 - International Conference on Model Transformation
|
System Performance
|
|
|
|
Performance Analysis of a Palletizing System
|
M.F. van Amstel
|
E. van de Plassche, R. Hamberg, M.G.J. van den Brand, J.E. Rooda
|
Falcon
|
2007
|
TU/e SE report: Nr. 2007-09
|
System performance
|
|
|
|
A Controlled Experiment for the Assessment of Aspects - Tracing in an Industrial Context
|
Pascal Durr
|
Lodewijk Bergmans, Mehmet Aksit
|
Ideals
|
2010
|
Empirical Evaluation of Software Composition Techniques (ESCOT 2010), 16 march 2010, Saint Malo, France. Aspect-Oriented Software Association
|
System Evolution
|
|
|
|
Compositional MDA
|
Louis van Gool
|
Teade Punter, Marc Hamilton, Remco van Engelen
|
Ideals
|
2009
|
ACM/IEEE MoDELS 2006: 126-139
|
System Evolution
|
|
|
|
Evolvable Behavior Specifications Using Context-Sensitive Wildcards
|
Gürcan Gülesir
|
|
Ideals
|
2008
|
PhD Thesis
|
System Evolution
|
|
|
|
Resource-based Verification for Robust Composition of Aspects
|
Pascal Durr
|
|
Ideals
|
2008
|
PhD Thesis
|
System Evolution
|
|
|
|
Renovation of Idiomatic Crosscutting Concerns in Embedded Systems
|
Magiel Bruntink
|
|
Ideals
|
2008
|
PhD Thesis
|
System Evolution
|
|
|
|
A Controlled Experiment for the Assessment of Aspects - Tracing in an Industrial Context
|
Pascal Durr
|
Lodewijk Bergmans, Mehmet Aksit
|
Ideals
|
2008
|
Technical Report TR-CTIT-08-04 Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
|
System Evolution
|
|
|
|
Model-Driven Migration of Supervisory Machine Control Architectures
|
Bas Graaf
|
S. Weber and A. van Deursen
|
Ideals
|
2008
|
Journal of Systems and Software 81(4):517-535
|
System Evolution
|
|
|
|
Model-Driven Evolution of Software Architectures
|
Bas Graaf
|
|
Ideals
|
2007
|
PhD Thesis
|
System Evolution
|
|
|
|
Predictable real-time software synthesis
|
Jinfeng Huang
|
Jeroen Voeten,Henk Corporaal
|
Ideals
|
2007
|
Real-Time Systems Journal
|
System Evolution
|
|
|
|
A model-driven design approach for mechatronic systems
|
Jinfeng Huang
|
Jeroen Voeten,Marcel Groothuis,Jan Broenink,Henk Corporaal
|
Ideals
|
2007
|
ACSD 2007
|
System Evolution
|
|
|
|
Predictable model-driven design for real-time embedded systems}.
|
Jinfeng Huang
|
Jeroen Voeten
|
Ideals
|
2007
|
Proceedings of Bits & Chips conference. 2007
|
System Evolution
|
|
|
|
Analysis and Transformation of Idiomatic Crosscutting Concerns in Legacy Software Systems
|
Magiel Bruntink
|
|
Ideals
|
2007
|
ICSM07
|
System Evolution
|
|
|
|
Simple Crosscutting Concerns Are Not So Simple - Analysing Variability in Large-Scale Idioms-Based Implementations
|
Magiel Bruntink
|
Arie van Deursen, Maja D’Hondt,Tom Tourwe
|
Ideals
|
2007
|
Proceedings of the 6th international conference on Aspect-oriented software development
|
System Evolution
|
|
|
|
Model-driven Migration of Supervisory Machine Control Architectures
|
Bas Graaf
|
Sven Weber, Arie van Deursen
|
Ideals
|
2007
|
Journal of Systems and Software, 2007
|
System Evolution
|
|
|
|
Static and Dynamic Detection of Behavioral Conflicts between Aspects
|
Pascal Durr
|
Lodewijk Bergmans,Mehmet Aksit
|
Ideals
|
2007
|
Proceedings of the 11th Workshop on Runtime Verification
|
System Evolution
|
|
|
|
Discovering Faults in Idiom-Based Exception Handling
|
Magiel Bruntink
|
Arie van Deursen,TomTourwe
|
Ideals
|
2006
|
ICSE 2006
|
System Evolution
|
|
|
|
Linking Analysis and Transformation Tools with Source-based Mappings
|
Magiel Bruntink
|
|
Ideals
|
2006
|
SCAM 2006
|
System Evolution
|
|
|
|
Applying AOP in an Industrial Context ; An Experience Paper
|
Pascal Durr
|
Lodewijk Bergmans, Gurcan Gulesir, Mehmet Aksit, Remco van Engelen
|
Ideals
|
2006
|
BPAOSD 2006
|
System Evolution
|
|
|
|
Reasoning about Semantic Conflicts between Aspects
|
Pascal Durr
|
Lodewijk Bergmans, Mehmet Aksit
|
Ideals
|
2006
|
ECOOP 2006
|
System Evolution
|
|
|
|
Migrating Supervisory Control Architectures Using Model Transformations
|
Bas Graaf
|
Sven Weber, Arie van Deursen
|
Ideals
|
2006
|
CSMR 2006
|
System Evolution
|
|
|
|
Separating and managing dependant concerns
|
Gürcan Gülesir
|
Lodewijk Bergmans, Pascal Durr, Istvan Nagy
|
Ideals
|
2005
|
LATE 2005 workshop at AOSD 2005
|
System Evolution
|
|
|
|
Towards an expressive and scalable framework for expressing join point models
|
Pascal Durr
|
Lodewijk Bergmans, Gurcan Gulesir, Istvan Nagy
|
Ideals
|
2005
|
FOAL 2005 workshop at AOSD 2005
|
System Evolution
|
|
|
|
Reasoning About Semantic Conflicts Between Aspects
|
Pascal Durr
|
Tom Staijen, Lodewijk Bergmans, Mehmet Aksit
|
Ideals
|
2005
|
EIWAS 2005
|
System Evolution
|
|
|
|
Migration of Supervisory Machine Control Architectures
|
Bas Graaf
|
Sven Weber, Arie van Deursen
|
Ideals
|
2005
|
WICSA 2005
|
System Evolution
|
|
|
|
Isolating Idiomatic Crosscutting Concerns
|
Magiel Bruntink
|
Arie van Deursen, Tom Tourwé
|
Ideals
|
2005
|
ICSM 2005
|
System Evolution
|
|
|
|
On the Use of Clone Detection for Identifying Crosscutting Concern Code
|
Magiel Bruntink
|
Arie van Deursen, Remco van Engelen, Tom Tourwé
|
Ideals
|
2005
|
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 31, NO. 10, OCTOBER 2005
|
System Evolution
|
|
|
|
An initial experiment in reverse engineering aspects from existing applications
|
Magiel Bruntink
|
Arie van Deursen,TomTourwe
|
Ideals
|
2004
|
WCRE 2004
|
System Evolution
|
|
|
|
Identifying Cross-Cutting Concerns in Embedded C Code
|
Arie van Deursen
|
Magiel Bruntink, Tom Tourwé
|
Ideals
|
2004
|
ERCIM58
|
System Evolution
|
|
|
|
Symphony: View-Driven Software Architecture Reconstruction
|
Arie van Deursen
|
Christine Hofmeister, Rainer Koschke, Leon Moonen, Claudio Riva
|
Ideals
|
2004
|
WICSA2004
|
System Evolution
|
|
|
|
An Evaluation of Clone Detection Techniques for Identifying Crosscutting Concerns
|
Magiel Bruntink
|
Arie van Deursen, Tom Tourwé, Remco van Engelen
|
Ideals
|
2004
|
ICSM 2004
|
System Evolution
|
|
|
|
Aspect mining using clone class metrics
|
Magiel Bruntink
|
|
Ideals
|
2004
|
WARE/WCRE
|
System Evolution
|
|
|
|
Aspect Mining and Refactoring
|
Arie van Deursen
|
Marius Marin, Leon Moonen
|
Ideals
|
2003
|
REFACE2003
|
System Evolution
|
|
|
|
Refactoring: Emerging Trends and Open Problems
|
Arie van Deursen
|
Tom Mens
|
Ideals
|
2003
|
REFACE2003
|
System Evolution
|
|
|
|
Putting Chaos under Control: on how Modeling should Support Design
|
Hristina Moneva
|
Roelof Hamberg, Teade Punter, John Vissers
|
Multiform
|
2010
|
INCOSE 2010 conference, Chicago, IL, USA (12 July 2010)
|
Systems Engineering
|
|
|
|
Are you aware of the design decisions? On how modeling should support design
|
Hristina Moneva
|
Roelof Hamberg, Teade Punter
|
Multiform
|
2010
|
M-BED 10 workshop, DATE 2010 conference, Dresden, Germany
|
Systems Engineering
|
|
|
|
Variable elimination by factor indexing
|
Sander Evers
|
Peter J.F. Lucas
|
Octopus
|
2010
|
European Workshop on Probabilistic Graphical Models, 13-15 September 2010, Helsinki
|
System Adaptability
|
|
|
|
Model-Free Optimization Based Feedforward Control for an Inkjet Printhead.
|
M. Ezzeldin
|
Bosch, P.P.J. van den, Jokic, A. and Waarsing, R
|
Octopus
|
2010
|
Proc. IEEE Multi-Conference on Systems and Control (MSC 2010). Yokohama, Japan
|
System Adaptability
|
|
|
|
A Parameter Varying Lypaunov Function Approach for Tracking Control for Takagi Sugeno Class of Nonlinear Systems
|
M. Ezzeldin
|
Jokic, A., Bosch, P.P.J. van den
|
Octopus
|
2010
|
Proc. 8th IEEE Int. conference on Control & Automation (ICCA '10). Xiamen, China: IEEE
|
System Adaptability
|
|
|
|
Model-Free Feedforward Control of Inkjet Printhead
|
M. Ezzeldin
|
Andrej Jokic, Paul van den Bosch
|
Octopus
|
2010
|
29th Benelux Meeting on Systems and Control
|
System Adaptability
|
|
|
|
State Transition in Reconfigurable Systems
|
Magdalena K. Chmarra
|
Jacques Verrit, René Waarsing, Tetsuo Tomiyama
|
Octopus
|
2010
|
Proceedings of the ASME 2010 International Design Engineering Technical Conferences &Computers and Information in Engineering Conference - IDETC/CIE 2010 - August 15-18, 2010, Montreal, Quebec, Canada - DETC2010-28723
|
System Adaptability
|
|
|
|
A system architecting tool for mechatronic systems design
|
Hitoshi Komoto
|
Tetsuo Tomiyama
|
Octopus
|
2010
|
CIRP Annals - Manufacturing Technology 59 (2010) 171–174
|
System Adaptability
|
|
|
|
Architectural Framework for Energy Optimization in Embedded Systems
|
Hasan Sözer
|
Arjan De Roo, Mehmet Aksit
|
Octopus
|
2010
|
ICSE 2010 - Second International Workshop on Software Research and Climate Change - Cape Town, South Africa - 3 May, 2010
|
System Adaptability
|
|
|
|
Optimization-Based Feedforward Control for a Drop-on-Demand Inkjet Printhead
|
Amol A. Khalate
|
Xavier Bombois, Robert Babuska, Herman Wijshoff and René Waarsing
|
Octopus
|
2010
|
American Control Conference, Baltimore, July 2010
|
System Adaptability
|
|
|
|
Modeling and Control of Inkjet Printhead
|
M. Ezzeldin
|
Andrej Jokic, Paul van den Bosch
|
Octopus
|
2010
|
Proceedings of the 28th Benelux Meeting on Systems and Control, March 16-18, 2009, Spa, Belgium. - Spa : Solcress Seminar Center, 2009. - p. 68-68
|
System Adaptability
|
|
|
|
Automated Bottleneck-Driven Design-Space Exploration of Media Processing Systems. Design, Automation and Test in Europe
|
Y. Yang
|
M.C.W. Geilen, T. Basten, S. Stuijk, H. Corporaal
|
Octopus
|
2010
|
DATE 2010, Proceedings. Dresden, Germany, 8-12 March, 2010. IEEE, 2010
|
System Adaptability
|
|
|
|
DSET : Design-Space Exploration Toolset
|
Xiaochen Chen
|
|
Octopus
|
2009
|
Stan Ackermans Institute / Software Technology
|
System Adaptability
|
|
|
|
Using timed automata in the design process of printer datapaths
|
Georgeta Igna
|
|
Octopus
|
2009
|
Formal Methods Week 2009, Eindhoven
|
System Adaptability
|
|
|
|
Using timed automata in the design process of the Oc e printer datapaths
|
Georgeta Igna
|
|
Octopus
|
2009
|
IPA Herfstdagen November 26, 2009
|
System Adaptability
|
|
|
|
Optimal experimental design for LPV identification using a local approach
|
Amol A. Khalate
|
Bombois, Roland Toth, Robert Babuska
|
Octopus
|
2009
|
15th IFAC Symposium on System Identification, July 6 - 8, 2009, Saint-Malo, France
|
System Adaptability
|
|
|
|
Improving the performance of a Drop-on-Demand Inkjet Printhead
|
Amol A. Khalate
|
Xavier Bombois, Robert Babuska
|
Octopus
|
2009
|
28th Benelux Meeting on Systems and Control, March 16-18, 2009, Spa, Belgium
|
System Adaptability
|
|
|
|
Exploring Trade-offs between Performance and Resource Requirements for Synchronous Dataflow Graphs
|
Y. Yang
|
M.C.W. Geilen, T. Basten, S. Stuijk, H. Corporaal
|
Octopus
|
2009
|
7th IEEE Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia 2009, Proceedings, pages 96-105. Grenoble, France, 15-16 October, 2009
|
System Adaptability
|
|
|
|
Adaptive Scheduling of Data Paths using Uppaal Tiga
|
Israa AlAttili
|
Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu, Frits Vaandrager
|
Octopus
|
2009
|
Workshop on Quantitative Formal Methods: Theory and Applications (QFM’09) EPTCS 13, 2009 (presentation)
|
System Adaptability
|
|
|
|
Adaptive Scheduling of Data Paths using Uppaal Tiga
|
Israa AlAttili
|
Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu, Frits Vaandrager
|
Octopus
|
2009
|
S. Andova et.al. (Eds.): Workshop on Quantitative Formal Methods: Theory and Applications (QFM’09) EPTCS 13, 2009, pp. 1–11, doi:10.4204/EPTCS.13.1
|
System Adaptability
|
|
|
|
An architectural style for optimizing system qualities in adaptive embedded systems using Multi-Objective Optimization
|
A. de Roo
|
H. Sozer, M. Aksit
|
Octopus
|
2009
|
WICSA/ECSA 2009 14-17 Sept. 2009 Page(s):349 - 352
|
System Adaptability
|
|
|
|
Integrating Logical Reasoning and Probabilistic Chain Graphs
|
Arjen Hommersom
|
Nivea Ferreira, Peter J.F. Lucas
|
Octopus
|
2009
|
Proceedings of the European Conference on Machine Learning (ECML'2009), 2009, Bled, Slovania
|
System Adaptability
|
|
|
|
Applying Bayesian Networks for Intelligent Adaptable Printing Systems
|
Arjen Hommersom
|
Peter Lucas, René Waarsing, and Pieter Koopman
|
Octopus
|
2009
|
Proceedings of 7th Workshop on Intelligent Solutions in Embedded Systems, 2009, Ancona, Italy
|
System Adaptability
|
|
|
|
Improved Convergence of MRAC Design for Printing System
|
M. Ezzeldin
|
P.P.J. van den Bosch, R. Waarsing
|
Octopus
|
2009
|
Proceeding of the 2009 American control conference
|
System Adaptability
|
|
|
|
Compose*: a Language- and Platform-Independent Aspect Compiler for Composition Filters
|
A. de Roo
|
M. Hendriks, W. Havinga, P. D¨urr, L. Bergmans
|
Octopus
|
2008
|
First International Workshop on Advanced Software Development Tools and Techniques, WASDeTT 2008
|
System Adaptability
|
|
|
|
From Probabilistic Horn Logic to Chain Logic
|
Nivea Ferreira
|
Arjen Hommersom, Peter Lucas
|
Octopus
|
2008
|
Proceedings of the 20th Belgian-Netherlands Conference on Artificial Intelligence, pages 73-80, 2008
|
System Adaptability
|
|
|
|
Formal Modeling and 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, and Lou Somers
|
Octopus
|
2008
|
FORMATS08
|
System Adaptability
|
|
|
|
Modularization Method For Adaptable Products
|
Lieke Arts
|
Magdalena Chmarra, Tetsuo Tomiyama
|
Octopus
|
2008
|
ASME 2008 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference
|
System Adaptability
|
|
|
|
Towards Adaptable Architecture
|
Magdalena K. Chmarra
|
Lieke Arts, Tetsuo Tomiyama
|
Octopus
|
2008
|
ASME 2008 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference
|
System Adaptability
|
|
|
|
Towards Design-time and Runtime Adaptability
|
Magdalena K. Chmarra
|
Lieke Arts, Tetsuo Tomiyama
|
Octopus
|
2008
|
EDIProD' 2008 - Engineering Design in Integrated Product Development
|
System Adaptability
|
|
|
|
Revisiting the Divide and Conquer Strategy to Deal with Complexity in Product Design
|
Magdalena K. Chmarra
|
Andrés A. Álvarez Cabrera, Thom van Beek, Valentina D’Amelio, Mustafa S. Erden, and Tetsuo Tomiyama
|
Octopus
|
2008
|
2008 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications
|
System Adaptability
|
|
|
|
Towards Data Path Analysis Using Uppaal
|
Georgeta Igna
|
|
Octopus
|
2008
|
Formal Methods 2008
|
System Adaptability
|
|
|
|
Prioritizing Tests for Software Fault Localization
|
Alberto Gonzalez-Sanchez
|
Eric Piel, Hans-Gerhard Gross and Arjan van Gemund
|
Poseidon
|
2010
|
QSIC'10: 10th International Conference in Quality Software, Zhangjiajie, China
|
Reliability
|
|
|
|
Minimizing the preparation cost of runtime testing based on testability metrics
|
Alberto Gonzalez-Sanchez
|
Éric Piel, Hans-Gerhard Gross, Arjan J.G. van Gemund
|
Poseidon
|
2010
|
Compsac'10
|
Reliability
|
|
|
|
A Diagnostic Approach to Test Prioritization
|
Alberto Gonzalez-Sanchez
|
Rui Abreu, Hans-Gerhard Gross, Arjan J.C. van Gemund
|
Poseidon
|
2010
|
25th IEEE/ACM International Conference on Automated Software Engineering
|
Reliability
|
|
|
|
An Integrated approach for visual analysis of a multi-source moving objects knowledge base
|
Niels Willems
|
Willem Robert van Hage, Gerben de Vries, Jeroen Janssens, Véronique Malaisé
|
Poseidon
|
2010
|
AGILE 2010 GeoVA(t) (workshop)
|
Reliability
|
|
|
|
Relating fair testing and accordance for service replaceability
|
Arjan J. Mooij
|
Christian Stahl, Marc Voorhoeve
|
Poseidon
|
2010
|
Journal of Logic and Algebraic Programming volume 79, number 3--5, pages 233--244, Elsevier, 2010
|
Reliability
|
|
|
|
Data-flow integration testing adapted to runtime evolution in component-based systems
|
Eric Piel
|
Alberto Gonzalez-Sanchez
|
Poseidon
|
2009
|
Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime, pp. 3-10, Amsterdam, The Netherlands
|
Reliability
|
|
|
|
Spatial and Semantic Reasoning to Recognize Ship Behavior
|
Willem R. van Hage
|
Gerben de Vries, Véronique Malaisé, Guus Schreiber, Maarten van Someren
|
Poseidon
|
2009
|
ISWC 2009
|
Reliability
|
|
|
|
Simplifying Learning in Non-repetitive Dynamic Bayesian Networks
|
Ildiko Flesch
|
Eric Postma
|
Poseidon
|
2009
|
Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), 2009, Verona
|
Reliability
|
|
|
|
Learning a Model of Ship Movements
|
Roderik Lagerweij
|
|
Poseidon
|
2009
|
Thesis for Bachelor of Science, University of Amsterdam, Faculty of Science
|
Reliability
|
|
|
|
One-class classification with LOF and LOCI: An empirical comparison
|
J.H.M. Janssens
|
Postma
|
Poseidon
|
2009
|
Proceedings of the 18th Annual Belgian-Dutch Conference on Machine Learning, pages 56-64, Tilburg, The Netherlands, May 2009
|
Reliability
|
|
|
|
Outlier detection with one-class classifiers from ML and KDD
|
J.H.M. Janssens
|
Flesch, I. and Postma
|
Poseidon
|
2009
|
Proceedings of the Eighth International Conference on Machine Learning and Applications, pages 147-155, Miami, FL, USA, December 2009
|
Reliability
|
|
|
|
Runtime Testability on Dynamic Highly Available Componentbased Systems
|
Alberto Gonzalez-Sanchez
|
Eric Piel, Hans-Gerhard Gross, Arjan J.C. van Gemund
|
Poseidon
|
2009
|
ESEC/FSE 2009
|
Reliability
|
|
|
|
Simple Event Model (SEM): what do the Somali Pirates and Picasso have in common?
|
Veronique Malaise
|
Willem R. van Hage, Guus Schreiber, and Tuukka Ruotsalo
|
Poseidon
|
2009
|
ISWC 2009
|
Reliability
|
|
|
|
A model for the measurement of runtime testability of Component based Systems
|
Alberto Gonzalez-Sanchez
|
Eric Piel, Hans-Gerhard Gross
|
Poseidon
|
2009
|
Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops - Volume 00, Pages 19-28 , Year of Publication: 2009, ISBN:978-0-7695-3671-2
|
Reliability
|
|
|
|
Trading off concurrency to generate behavioral adapters
|
Arjan J. Mooij
|
Marc Voorhoeve
|
Poseidon
|
2009
|
Proceedings of the 9th international conference on Application of Concurrency to System Design (ACSD 2009), IEEE.
|
Reliability
|
|
|
|
Combining Ship Trajectories and Semantics with the Simple Event Model (SEM)
|
Willem Robert van Hage
|
Veronique Malaise, Gerben de Vries, Guus Schreiber, Maarten van Someren
|
Poseidon
|
2009
|
International Multimedia Conference, Proceedings of the 1st ACM international workshop on Events in multimedia, pages 73-80, ISBN 978-1-60558-754-7
|
Reliability
|
|
|
|
Observation based Modeling for Model-Based Testing
|
Teemu Kanstrén
|
Eric Piel, Hans-Gerhard Gross
|
Poseidon
|
2009
|
Journal Software testing, Verification and reliability (STVR)
|
Reliability
|
|
|
|
Reputation-based Ontology Alignment for Autonomy and Interoperability in Distributed Access Control
|
Daniel Trivellato
|
Fred Spiessens, Nicola Zannone, Sandro Etalle
|
Poseidon
|
2009
|
International Symposium on Secure Computing (SecureCom09, Vancouver, Canada, August 29-31, 2009). To be published in the PASSAT-09 proceedings by IEEE CS press.
|
Reliability
|
|
|
|
POLIPO: Policies & OntoLogies for Interoperability, Portability, and autOnomy
|
Daniel Trivellato
|
Fred Spiessens, Nicola Zannone, Sandro Etalle
|
Poseidon
|
2009
|
IEEE International Symposium on Policies for Distributed Systems and Networks (Policy2009, London, July 20 - 22). To be published in the POLICY-09 proceedings by IEEE CS press.
|
Reliability
|
|
|
|
Visualization of vessel movements
|
Niels Willems
|
Huub van de Wetering and Jarke J. van Wijk
|
Poseidon
|
2009
|
11th Eurographics/IEEE-VGTC Symposium on Visualization (Computer Graphics Forum; Proceedings of EuroVis 2009), 2009
|
Reliability
|
|
|
|
Service Interaction: Patterns, Formalization, and Analysis
|
Wil M.P. van der Aalst
|
Arjan J. Mooij, Christian Stahl and Karsten Wolf
|
Poseidon
|
2009
|
9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services
|
Reliability
|
|
|
|
A model for the measurement of runtime testability of Component based Systems
|
Alberto Gonzalez-Sanchez
|
Eric Piel, Hans-Gerhard Gross
|
Poseidon
|
2009
|
Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops
|
Reliability
|
|
|
|
Automating Integration Testing of Large-Scale Publish/Subscribe Systems
|
Eric Piel
|
Alberto Gonzalez-Sanchez, Hans-Gerhard Gross
|
Poseidon
|
2009
|
In Handbook of Research on Advanced Distributed Event-Based Systems, Publish/Subscribe and Message Filtering Technologies.
|
Reliability
|
|
|
|
Runtime Testability on Dynamic Highly Available Componentbased Systems
|
Alberto Gonzalez-Sanchez
|
Eric Piel, Hans-Gerhard Gross, Arjan J.C. van Gemund
|
Poseidon
|
2009
|
Report TUD-SERG-2009-009
|
Reliability
|
|
|
|
Observation-Based Modeling for Model-Based Testing
|
Teemu Kanstrén
|
Eric Piel, Hans-Gerhard Gross
|
Poseidon
|
2009
|
ESEC/FSE
|
Reliability
|
|
|
|
Trace-Based Code Generation for Model-Based Testing
|
Teemu Kanstrén
|
Eric Piel, Hans Gerhard Gross
|
Poseidon
|
2009
|
GPCE 2009
|
Reliability
|
|
|
|
RiTMO: Runtime Testability Measurement and Optimization
|
Alberto Gonzalez-Sanchez
|
Eric Piel, Hans-Gerhard Gross
|
Poseidon
|
2009
|
Proceedings of the 9th International Conference on Quality Software (QSIC-09), pp xx-xx, Cheju, South Korea, August 2009
|
Reliability
|
|
|
|
Unsupervised Ship Trajectory Modeling and prediction using Compression and Clustering
|
Gerben de Vries
|
Maarten van Someren
|
Poseidon
|
2009
|
The 18th Annual Belgian-Dutch Conference on Machine Learning (Benelearn 09)
|
Reliability
|
|
|
|
Data-flow integration testing adapted to runtime evolution in component-based systems
|
Eric Piel
|
Alberto Gonzalez Sanchez
|
Poseidon
|
2009
|
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'09) Workshops
|
Reliability
|
|
|
|
Know what you trust: Analyzing and designing trust policies with Scoll
|
Fred Spiessens
|
Jerry den Hartog and Sandro Etalle
|
Poseidon
|
2008
|
Proceedings 5th International Workshop on Formal Aspects in Security and Trust (FAST 2008, Malaga, Spain, October 9-10, 2008)
|
Reliability
|
|
|
|
Architecture Support for Runtime Integration and Verification of Component-based Systems of Systems
|
Alberto Gonzalez-Sanchez
|
Eric Piel and Hans-Gerhard Gross
|
Poseidon
|
2008
|
International Conference on Automated Software Engineering - Workshops, 2008. ASE Workshops 2008. 23rd IEEE/ACM
|
Reliability
|
|
|
|
Specifying and generating behavioral service adapters based on transformation rules
|
Christian Gierds
|
Arjan J. Mooij, Karsten Wolf
|
Poseidon
|
2008
|
Preprint CS-02-08, Universitat Rostock, Germany, August 2008
|
Reliability
|
|
|
|
Proof techniques for adapter generation
|
Arjan J. Mooij
|
Marc Voorhoeve
|
Poseidon
|
2008
|
WS-FM 2008, 5th International Workshop on Webservices and Formal Methods
|
Reliability
|
|
|
|
Testing Challenges of Maritime safety and Security Systems-of-Systems
|
Alberto Gonzalez-Sanchez
|
Eric Piel, Hans-Gerhard Gross, Maurice Glandrup
|
Poseidon
|
2008
|
Technical Report Series Delft University of Technology, Software Engineering Research Group
|
Reliability
|
|
|
|
Interactive Poster: Visualization of vessel trajectories for maritime safety and security systems
|
Niels Willems
|
Huub van de Wetering, Jarke J. van Wijk
|
Poseidon
|
2008
|
IEEE infovis Conference, Columbus, USA, 2008
|
Reliability
|
|
|
|
Visualization of vessel trajectories for maritime safety and security systems
|
Niels Willems
|
Huub van de Wetering, Jarke J. van Wijk
|
Poseidon
|
2008
|
SIREN 2008
|
Reliability
|
|
|
|
Automatically Classifying Ship-Types in a Maritime Domain Ontology
|
Gerben de Vries
|
Veronique Malaise, Maarten van Someren, Pieter Adriaans, Guus Schreiber
|
Poseidon
|
2008
|
Poster; Final Event 2008, KDubiq event
|
Reliability
|
|
|
|
Semi-Automatic Ontology Extension in the Maritime Domain
|
Gerben de Vries
|
Veronique Malaise, maarten van Someren, Pieter Adriaans, Guus Schreiber
|
Poseidon
|
2008
|
BNAIC 2008
|
Reliability
|
|
|
|
Mixed-Integer Bayesian Optimization Utilizing A-Priori Knowledge on Parameter Dependences
|
Michael T.M. Emmerich
|
Rui Li, Anyi Zhang, Ildiko Flesch, Peter Lucas
|
Poseidon
|
2008
|
Belgian-Dutch Conference on Artificial Intelligence (BNAIC), 2008, Enschede, The Netherlands
|
Reliability
|
|
|
|
Combining Abduction with Conflict-based Diagnosis
|
Ildiko Flesch
|
Peter J.F. Lucas
|
Poseidon
|
2008
|
European Conference of Artificial Intelligence (ECAI) 2008, Patras, Greece, pp 807 - 808
|
Reliability
|
|
|
|
Comparing GDE and Conflict-based Diagnosis
|
Ildiko Flesch
|
Peter J.F. Lucas
|
Poseidon
|
2008
|
European Conference of Artificial Intelligence workshop on Model-based Systems (MBS 2008), Patras, Greece, pp 1-6
|
Reliability
|
|
|
|
The Probabilistic Interpretation of Model-based Diagnosis
|
Ildiko Flesch
|
Peter J.F. Lucas
|
Poseidon
|
2008
|
Workshop on Probabilistic Graphical Models (PGM 2008), Hirtshals, Denmark, 2008, pp.113--120
|
Reliability
|
|
|
|
Maximising System Lifetime by Battery Scheduling
|
Marijn Jongerden
|
Boudewijn Haverkort, Henrik Bohnenkamp, Joost-Pieter Katoen
|
Quasimodo
|
2009
|
Proceedings IEEE Int'l Conference on Dependable Systems & Networking, June 2009
|
Performance / Reliability
|
|
|
|
On Conformance Testing for Timed Systems
|
Julien Schmaltz
|
Jan Tretmans
|
Quasimodo
|
2008
|
Formal Modeling and Analysis of Timed Systems - FORMATS 2008
|
Reliability
|
|
|
|
Automated Model-based Testing of Hybrid Systems
|
M. van Osch
|
|
Tangram
|
2009
|
PhD Thesis
|
Reliability
|
|
|
|
Model-based Integration and Testing of High-tech Multi-disciplinary Systems
|
N.C.W.M. Braspenning
|
|
Tangram
|
2008
|
PhD Thesis
|
Reliability
|
|
|
|
Integration and test strategies for complex manufacturing systems
|
I.S.M. de Jong
|
|
Tangram
|
2008
|
PhD Thesis
|
Reliability
|
|
|
|
Model Based Testing with Labelled Transition Systems
|
J. Tretmans
|
|
Tangram
|
2008
|
Formal Methods and Testing, volume 4949 of Lecture Notes in Computer Science, pages 1-38. Springer-Verlag, 2008
|
Reliability
|
|
|
|
Integration and test plans for complex manufacturing systems
|
R. Boumen
|
|
Tangram
|
2007
|
PhD Thesis
|
Reliability
|
|
|
|
Heuristics for ioco-Based Test-Based Modelling
|
T.A.C. Willemse
|
|
Tangram
|
2007
|
FMICS 2006, PDMC 2006, volume 4346 of Lecture Notes in Computer Science, p 123–147
|
Reliability
|
|
|
|
A Model-Based Approach to Sequential Fault Diagnosis
|
J. Pietersma
|
A.J.C. van Gemund, and A. Bos
|
Tangram
|
2007
|
IEEE Instrumentation and Measurement Magazine, 10(2):46–52, 2007
|
Reliability
|
|
|
|
Symbolic Factorization of Propagation Delays out of Diagnostic System Models
|
J. Pietersma
|
A.J.C. van Gemund
|
Tangram
|
2007
|
Int. Workshop on Principles of Diagnosis – DX’07, pages 170–177
|
Reliability
|
|
|
|
Benefits and Costs of Model-Based Fault Diagnosis for Semiconductor Manufacturing Equipment
|
J. Pietersma
|
A.J.C. van Gemund
|
Tangram
|
2007
|
Proceedings of INCOSE 2007 – 17th Int. Symposium on Systems Engineering
|
Reliability
|
|
|
|
Software Reliability Qualification for Semi-Conductor Manufacturing Systems
|
I.S.M. de Jong
|
R. Boumen, J.M. van de Mortel-Fronczak, and J.E. Rooda
|
Tangram
|
2007
|
The 18th Annual IEEE/SEMI Advanced Semiconductor Manufacturing Conference – ASMC 2007, San Jose, CA
|
Reliability
|
|
|
|
Model-Based Testing of Environmental Conformance of Components.
|
L. Frantzen
|
J. Tretmans
|
Tangram
|
2007
|
Formal Methods of Components and Objects – FMCO 2006, Lecture Notes in Computer Science
|
Reliability
|
|
|
|
Model-Based Techniques for Intelligent Integration and Testing in Industry
|
N.C.W.M. Braspenning
|
D.O. van der Ploeg, J.M. van de Mortel-Fronczak, and J.E. Rooda
|
Tangram
|
2007
|
Proceedings of INCOSE 2007 – 17th Int. Symposium on Systems Engineering, June 24-28 2007
|
Reliability
|
|
|
|
Optimal Integration and Test Planning Applied to Lithographic Systems
|
R. Boumen
|
I.S.M. de Jong, J.M. van de Mortel-Fronckzak, J.E. Rooda
|
Tangram
|
2007
|
Proceedings of INCOSE 2007 – 17th Int. Symposium on Systems Engineering, June 24-28 2007
|
Reliability
|
|
|
|
Methods and Algorithms for Model-Based Integration and Testing.
|
R. Boumen
|
N.C.W.M. Braspenning, I.S.M. de Jong, J.M. van de Mortel-Fronczak, and J.E. Rooda
|
Tangram
|
2007
|
SPIder Koerier, 2007(1):4–10, April 2007
|
Reliability
|
|
|
|
An overview of integration and test plans in organizations with different business drivers
|
Ivo de Jong
|
R. Boumen, J.M. van de Mortel-Fronczak, J.E. Rooda
|
Tangram
|
2007
|
CSER 2007
|
Reliability
|
|
|
|
Optimal integration and test plans for software releases of lithographic systems
|
R. Boumen
|
I.S.M. de Jong, J.M. van de Mortel-Fronckzak, J.E. Rooda
|
Tangram
|
2007
|
CSER 2007
|
Reliability
|
|
|
|
Analysis and implementation of infrastructure for model-based integration and testing
|
N.C.W.M. Braspenning
|
J.M. van de Mortel-Fronczak, J.E. Rooda
|
Tangram
|
2007
|
CSER 2007
|
Reliability
|
|
|
|
Process Algebra for Dynamic System Modeling
|
J.C.M. Baeten
|
D.A. van Beek, J.E. Rooda
|
Tangram
|
2007
|
CRC Handbook of Dynamic System Modeling, Chapter 19, Chapman & Hall
|
Reliability
|
|
|
|
Testing and Model-Checking Techniques for Diagnosis
|
T.A.C. Willemse
|
M. Gromov
|
Tangram
|
2007
|
TestCom/FATES 2007, Lecture Notes in Computer Science 4581, pp. 138-154, Springer-Verlag
|
Reliability
|
|
|
|
Integration and Test Sequencing for Complex Systems
|
R. Boumen
|
I.S.M. de Jong, J.M.G. Mestrom, J.M. van de Mortel-Fronczak, J.E. Rooda
|
Tangram
|
2007
|
Technical Report TU/e, Mech. Eng, SE 2007-07
|
Reliability
|
|
|
|
Modeling, Analysis and Implementation of Infrastructure for Model-Based Integration and Testing
|
N.C.W.M. Braspenning
|
J.M. van de Mortel-Fronczak, J.E. Rooda
|
Tangram
|
2007
|
Technical Report TU/e, Mech. Eng, SE 2007-08
|
Reliability
|
|
|
|
Test Strategy Analysis for Manufacturing Systems
|
I.S.M. de Jong
|
R. Boumen, J.M. van de Mortel-Fronczak, J.E. Rooda
|
Tangram
|
2007
|
Technical Report TU/e, Mech. Eng, SE 2007-10
|
Reliability
|
|
|
|
Parallelizing Test Phases using Graph Partitioning Algorithms
|
I.S.M. de Jong
|
R. Boumen, J.M. van de Mortel-Fronczak, J.E. Rooda
|
Tangram
|
2007
|
Technical Report TU/e, Mech. Eng, SE 2007-11
|
Reliability
|
|
|
|
Test Set Improvement using a Next-Best-Test-Case Algorithm
|
I.S.M. de Jong
|
R. Boumen, J.M. van de Mortel-Fronczak, J.E. Rooda
|
Tangram
|
2007
|
Technical Report TU/e, Mech. Eng, SE 2007-11
|
Reliability
|
|
|
|
Selecting a Suitable System Architecture for Integration and Testing
|
I.S.M. de Jong
|
R. Boumen, J.M. van de Mortel-Fronczak, J.E. Rooda
|
Tangram
|
2007
|
Technical Report TU/e, Mech. Eng, SE 2007-13
|
Reliability
|
|
|
|
Temporal versus Spatial Observability in Model-Based Diagnosis
|
J. Pietersma
|
A.J.C. van Gemund
|
Tangram
|
2006
|
Proceedings of IEEE Int. Conf. on Systems, Man, and Cybernetics – SMC 2006
|
Reliability
|
|
|
|
Hybrid Input-Output Conformance and Test Generation
|
M. van Osch
|
|
Tangram
|
2006
|
Formal Approaches to Software Testing and Runtime Verification – FATES/RV’06, volume 4262 of Lecture Notes in Computer Science, pages 70-84. Springer-Verlag, 2006
|
Reliability
|
|
|
|
Model Based Testing with Labelled Transition Systems
|
J. Tretmans
|
|
Tangram
|
2006
|
Technical Report Radboud University ICIS-R6037
|
Reliability
|
|
|
|
Integration Sequencing in Complex Manufacturing Systems
|
R. Boumen
|
I.S.M. de Jong, J.M.G. Mestrom, J.M. van de Mortel-Fronczak, J.E. Rooda
|
Tangram
|
2006
|
Technical Report TU/e, Mech. Eng, SE 2006-02
|
Reliability
|
|
|
|
Model-Based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi
|
J.C.M. Baeten
|
D.A. van Beek, P.J.L. Cuijpers, M.A. Reniers, J.E. Rooda, R.R.H Schiffelers, R.J.M Theunissen
|
Tangram
|
2006
|
LIX Colloquium on Emerging Trends in Concurrency Theory
|
Reliability
|
|
|
|
Diagnostic Accuracy of Models
|
J. Pietersma
|
A.J.C. van Gemund
|
Tangram
|
2006
|
6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes – SAFEPROCESS 2006, pages 913–918, Beijing
|
Reliability
|
|
|
|
Modeling and Compilation Aspects of Fault Diagnosis Complexity
|
J. Pietersma
|
A. Feldman, and A.J.C. van Gemund
|
Tangram
|
2006
|
IEEE AUTOTESTCON Systems Readiness Technology Conference, pages 502–508
|
Reliability
|
|
|
|
Integration and Test Strategies for Semiconductor Manufacturing Equipment
|
I.S.M. de Jong
|
R. Boumen, J.M. van de Mortel-Fronczak, and J.E. Rooda.
|
Tangram
|
2006
|
Proceedings of INCOSE 2006 – 16th Int. Symposium on Systems Engineering, July 2006
|
Reliability
|
|
|
|
A Symbolic Framework for Model-Based Testing
|
L. Frantzen
|
J. Tretmans, and T.A.C. Willemse
|
Tangram
|
2006
|
Formal Approaches to Software Testing and Runtime Verification – FATES/RV’06, volume 4262 of Lecture Notes in Computer Science, pages 40–54. Springer-Verlag, 2006
|
Reliability
|
|
|
|
All Roads Lead to Fault Diagnosis: Model-Based Reasoning with Lydia
|
A. Feldman
|
J. Pietersma, and A. van Gemund
|
Tangram
|
2006
|
Proceedings of the Eighteenth Belgium-Netherlands Conference on Artificial Intelligence – BNAIC-06, p 123–131
|
Reliability
|
|
|
|
A Multi-Valued SAT-Based Algorithm for Faster Model-Based Diagnosis
|
A. Feldman
|
J. Pietersma, and A. van Gemund
|
Tangram
|
2006
|
Proceedings of the Seventeenth Int. Workshop on Principles of Diagnosis – DX-06, p 93–100
|
Reliability
|
|
|
|
A Multidisciplinary Model-Based Test and Integration Infrastructure.
|
W.J.A. Denissen
|
|
Tangram
|
2006
|
Proceedings of the 2006 IEEE Int. Symposium on Intelligent Control, pages 1916–1921
|
Reliability
|
|
|
|
Model-Based System Analysis using X and Uppaal: An Industrial Case Study
|
N.C.W.M. Braspenning
|
E.M. Bortnik, J.M. van de Mortel-Fronczak, and J.E. Rooda
|
Tangram
|
2006
|
Computers in Industry 59(1), 41-54
|
Reliability
|
|
|
|
Test Sequencing in Complex Manufacturing Systems
|
R. Boumen
|
I.S.M. de Jong, J.W.H. Vermunt, J.M. van de Mortel-Fronczak, and J.E. Rooda
|
Tangram
|
2006
|
IEEE Transactions on Systems, Man and Cybernetics – Part A: Systems and Humans, 2006
|
Reliability
|
|
|
|
A Risk-Based Stopping Criterion for Test Sequencing
|
R. Boumen
|
I.S.M. de Jong, J.W.H. Vermunt, J.M. van de Mortel-Fronczak, J.E. Rooda
|
Tangram
|
2006
|
Technical Report TU/e, Mech. Eng, SE 420460
|
Reliability
|
|
|
|
Test Time Reduction by Optimal Test Sequencing
|
R. Boumen
|
I.S.M. de Jong, J.M. van de Mortel-Fronczak, and J.E. Rooda
|
Tangram
|
2006
|
Proceedings of INCOSE 2006 – 16th Int. Symposium on Systems Engineering, July 2006
|
Reliability
|
|
|
|
A model-based integration and testing method to reduce system development effort
|
N.C.W.M. Braspenning
|
J.M. van de Mortel-Fronczak, J.E. Rooda
|
Tangram
|
2006
|
2nd Workshop on model-based testing (MBT2006), Vienna, Austria, 25-26 March, 2006
|
Reliability
|
|
|
|
Model-based support for integration and testing of a multi-disciplinary industrial system
|
N.C.W.M. Braspenning
|
D. Kostic, J.M. van de Mortel-Fronczak, J.E. Rooda
|
Tangram
|
2006
|
European Systems Engineering Conference 2006 (EuSEC), September 18-20, 2006, Edinburgh, United Kingdom
|
Reliability
|
|
|
|
A Model-based Approach to Sequential Fault Diagnosis
|
J. Pietersma
|
A.J.C. van Gemund, A. Bos
|
Tangram
|
2005
|
Proc. IEEE AUTOTESTCON'05, Orlando, Sept. 2005
|
Reliability
|
|
|
|
Wiskundige Teststrategie Belooft Weken Winst in Doorloop
|
R. Boumen
|
I.S.M. de Jong
|
Tangram
|
2005
|
Bits & Chips, 7(14):16–19, 2005
|
Reliability
|
|
|
|
Doorlooptijd Verkorting door het Gebruik van Optimale Test Volgordes
|
R. Boumen
|
I.S.M. de Jong
|
Tangram
|
2005
|
Bits & Chips, August 2005
|
Reliability
|
|
|
|
Test Generation Based on Symbolic Specifications
|
L. Frantzen
|
J. Tretmans, and T.Willemse
|
Tangram
|
2005
|
Formal Approaches to Software Testing – FATES 2004, volume 3395 of Lecture Notes in Computer Science, pages 1–15. Springer-Verlag, 2005
|
Reliability
|
|
|
|
Timed Testing with TorX
|
Henrik Bohnenkamp
|
A.Belinfante
|
Tangram
|
2005
|
FM 2005: Formal Methods: International Symposium of Formal Methods Europe. Lecture Notes in Computer Science 3582, pages 173-188. Springer-Verlag
|
Reliability
|
|
|
|
Automated Model-Based Testing of X-Simulation Models with TorX.
|
M. van Osch
|
|
Tangram
|
2005
|
Quality of Software Architectures and Software Quality, Lecture Notes in Computer Science 3721, pages 227-241. Springer-Verlag
|
Reliability
|
|
|
|
A Model-Based Approach to Fault Diagnosis
|
J. Pietersma
|
Arjan J.C. van Gemund, Andre Bos
|
Tangram
|
2004
|
ASCI2004
|
Reliability
|
|
|
|
Testing Industrial Embedded Systems - An Overview
|
M. Prins
|
|
Tangram
|
2004
|
Proceedings of INCOSE 2004 – 14th Int. Symposium on Systems Engineering
|
Reliability
|
|
|
|
In Service For Over 30 Years: A Retrospective Analysis Of The Teletext Standard
|
T. Hendriks
|
P. van de Laar
|
Trader
|
2010
|
Proc 8th Annual Conference on Systems Engineering Research (CSER)
|
Reliability
|
|
|
|
System-level analysis of soft error rates and mitigation trade-off explorations
|
Zhe Ma
|
Francky Catthoor, Frank Vermunt, Teun Hendriks
|
Trader
|
2010
|
2010 IEEE International Reliability Physics Symposium
|
Reliability
|
|
|
|
Increasing System Availability with Local Recovery based on Fault Localization
|
Hasan Sözer
|
Rui Abreu, Mehmet Aksit and Arjan J.C. van Gemund
|
Trader
|
2010
|
2010 10th International Conference on Quality Software
|
Reliability
|
|
|
|
Do you really know your consumers?
|
Jeroen Keijzers
|
|
Trader
|
2010
|
PhD Thesis
|
Reliability
|
|
|
|
Focusing Automatic Code Inspections
|
Cathal Boogerd
|
|
Trader
|
2010
|
PhD Thesis
|
Reliability
|
|
|
|
A Rule Set to Detect Interference of Runtime Enforcement Mechanisms
|
Somayeh Malakuti
|
Christoph Bockisch and Mehmet Aksit
|
Trader
|
2009
|
20th annual International Symposium on Software Reliability Engineering, ISSRE 2009, 16-19 Nov 2009, Mysore, India
|
Reliability
|
|
|
|
Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software
|
Somayeh Malakuti
|
Christoph Bockisch and Mehmet Aksit
|
Trader
|
2009
|
20th annual International Symposium on Software Reliability Engineering,ISSRE 2009, 16-19 Nov 2009, Mysore, India. pp. 31-40. IEEE Computer Society Press. ISBN 978-0-7695-3878-5
|
Reliability
|
|
|
|
Spectrum-based Fault Localization in Embedded Software
|
R. Abreu
|
|
Trader
|
2009
|
PhD Thesis
|
Reliability
|
|
|
|
Spectrum-based Multiple Fault Localization
|
R. Abreu
|
P.Zoeteweij, and A.J.C. van Gemund
|
Trader
|
2009
|
Proceedings of the 24th International Conference on Automated Software Engeneering (ASE'09), Auckland, New Zealand, November 2009. IEEE Society
|
Reliability
|
|
|
|
Zoltar: A Toolset for Automatic Fault Localization
|
T. Janssen
|
R. Abreu, and A.J.C. van Gemund
|
Trader
|
2009
|
Proceedings of the 24th International Conference on Automated Software Engeneering (ASE'09) - Tools Track, Auckland, New Zealand, November 2009. IEEE Computer Society
|
Reliability
|
|
|
|
Using Fault Screeners for Software Error Detection
|
R. Abreu
|
A. Gonzalez, P. Zoeteweij, and A.J.C. van Gemund
|
Trader
|
2009
|
WEBIST / ENASE 2008 Revised Best Papers, Lecture Notes in Communications in Computer and Information Science (LNCCIS) ; J. Cordeiro, L.A. Maciaszek, S. Hammoudi and J. Filipe (Eds.)
|
Reliability
|
|
|
|
A Practical Evaluation of Spectrum-based Fault Localization
|
R. Abreu
|
Peter Zoeteweij, Rob Golsteijn and Arjan J.C. van Gemund
|
Trader
|
2009
|
Journal of Systems and Software, 2009
|
Reliability
|
|
|
|
FLORA: A framework for decomposing software architecture to introduce local recovery
|
Hasan Sözer
|
B. Tekinerdogan, M. Aksit
|
Trader
|
2009
|
Software Practice and Experience, Wiley, 39(10). pp. 869-889
|
Reliability
|
|
|
|
Architectural Availability Analysis of Software Decomposition for Local Recovery
|
H. Boudali
|
H. Sozer , M. Stoelinga
|
Trader
|
2009
|
The 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI)
|
Reliability
|
|
|
|
Localizing Software Faults Simultaneously
|
R. Abreu
|
P. Zoeteweij, and A.J.C. van Gemund
|
Trader
|
2009
|
Proceedings of the 9th International Conference on Quality of Software (QSIC’09), Jeju, South Korea, August 2009
|
Reliability
|
|
|
|
Zoltar: A Spectrum-based Fault Localization Tool
|
T. Janssen
|
R. Abreu, and A.J.C. van Gemund
|
Trader
|
2009
|
Proceedings of the 1st International Workshop on Software Integration and Evolution @ Runtime (SINTER’09), Amsterdam, the Netherlands, August 2009. ACM Press.
|
Reliability
|
|
|
|
A New Bayesian Approach to Multiple Intermittent Fault Diagnosis
|
R. Abreu
|
P. Zoeteweij, and A.J.C. van Gemund
|
Trader
|
2009
|
Proceedings of the 21st International Joint Conference on Artifical Intelligence (IJCAI’09), Pasadena, CA, USA, July 2009. AAAI Press
|
Reliability
|
|
|
|
A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis
|
R. Abreu
|
A.J.C. van Gemund
|
Trader
|
2009
|
Proceedings of the 8th Symposium on Abstraction, Reformulation and Approximation (SARA’09), Lake Arrowhead, CA, USA, July 2009. AAAI Press
|
Reliability
|
|
|
|
Evaluating the Relation Between Coding Standard Violations and Faults Within and Across Versions
|
Cathal Boogerd
|
Leon Moonen
|
Trader
|
2009
|
Proceedings of the Sixth IEEE Working Conference on Mining Software Repositories (MSR), pp. 41--50. IEEE, May 2009
|
Reliability
|
|
|
|
A Model-based Software Reasoning Approach to Software Debugging
|
R. Abreu
|
P. Zoeteweij, and A.J.C. van Gemund
|
Trader
|
2009
|
Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA-AIE’09), Tainan, Taiwan, June 2009. Studies in Computational Intelligence, vol. 214, pp. 233-239, Springer-Verlag
|
Reliability
|
|
|
|
A Bayesian Approach to Diagnose Multiple Intermittent Faults
|
R. Abreu
|
P. Zoeteweij, and A.J.C. van Gemund
|
Trader
|
2009
|
Proceedings of the 20th International Workshop on Principles of Diagnosis (DX’09), pp. 27-33, Stockholm, Sweden, June 2009
|
Reliability
|
|
|
|
A Statistics-directed Minimal Hitting Set Algorithm
|
R. Abreu
|
A.J.C. van Gemund
|
Trader
|
2009
|
Proceedings of the 20th International Workshop on Principles of Diagnosis (DX’09), pp. 51-58, Stockholm, Sweden, June 2009
|
Reliability
|
|
|
|
Refining Spectrum-based Fault Localization Rankings
|
R. Abreu
|
W. Mayer, M. Stumptner, and A.J.C. van Gemund
|
Trader
|
2009
|
Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC’09) - Software Engineering Track, pp. 409–414, Honolulu, Hawai’i, USA, March 2009
|
Reliability
|
|
|
|
Understanding Consumer Perception of Technological Product Failures: An Attributional Approach
|
Jeroen Keijzers
|
Elke den Ouden; Yuan Lu
|
Trader
|
2009
|
27th Conference on Human Factors in Computing Systems ; Poster presentation
|
Reliability
|
|
|
|
Understanding Consumer Perception of Technological Product Failures: An Attributional Approach
|
Jeroen Keijzers
|
Elke den Ouden; Yuan Lu
|
Trader
|
2009
|
27th Conference on Human Factors in Computing Systems
|
Reliability
|
|
|
|
Scenario-Based Evaluation of Perception of Picture Quality Failures in LCD Televisions
|
Jeroen Keijzers
|
L. Scholten, Y. Lu, E. den Ouden
|
Trader
|
2009
|
CIRP design conference, 30 – 31 march 2009, Cranfield, UK pp. 497 – 503.
|
Reliability
|
|
|
|
Architecting Fault-Tolerant Software Systems
|
Hasan Sözer
|
|
Trader
|
2009
|
PhD Thesis
|
Reliability
|
|
|
|
User-Perceived Reliability of High-Volume Products
|
Jozef Hooman
|
|
Trader
|
2008
|
ESI Symposium on Applied Academic and Industrial Research on Embedded Systems, 2008
|
Reliability
|
|
|
|
An Industry-as-Lab Project: TRADER
|
Jozef Hooman
|
|
Trader
|
2008
|
ARTEMIS & ITEA Co-summit 2008
|
Reliability
|
|
|
|
A Dynamic Modeling Approach to Software Multiple-Fault Localization
|
R. Abreu
|
P. Zoeteweij, and A.J.C. van Gemund
|
Trader
|
2008
|
Proceedings of the 19th International Workshop on Principles of Diagnosis (DX'08), pp. 7-14, Blue Mountains, NSW, Australia, September 2008
|
Reliability
|
|
|
|
Prioritizing Model-Based Debugging Diagnostic Reports
|
W. Mayer
|
R. Abreu, M. Stumptner, and A.J.C. van Gemund
|
Trader
|
2008
|
Proceedings of the 19th International Workshop on Principles of Diagnosis (DX'08), pp. 127-134, Blue Mountains, NSW, Australia, September 2008
|
Reliability
|
|
|
|
The 'Double-Edged Sword' of High-Feature Products: An Explorative Study of the Business Impact
|
Jeroen Keijzers
|
Elke den Ouden, Yuan Lu
|
Trader
|
2008
|
Proceedings of the 32nd Annual Product Development and Management Association (PDMA) International Research Conference, Orlando, USA
|
Reliability
|
|
|
|
Usability benchmark study of commercially available smart phones: cell phone type platform, PDA type platform and PC type platform.
|
Jeroen Keijzers
|
Elke den Ouden, Yuan Lu:
|
Trader
|
2008
|
Mobile HCI 2008
|
Reliability
|
|
|
|
On the Use of Data Flow Analysis in Static Profiling
|
Cathal Boogerd
|
Leon Moonen
|
Trader
|
2008
|
Proceedings of the 8th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM) 2008
|
Reliability
|
|
|
|
Assessing the Value of Coding Standards: An Empirical Study
|
Cathal Boogerd
|
Leon Moonen
|
Trader
|
2008
|
Technical Report TUD-SERG-2008-017, Delft University of Technology, 2008
|
Reliability
|
|
|
|
Assessing the Value of Coding Standards: An Empirical Study
|
Cathal Boogerd
|
Leon Moonen
|
Trader
|
2008
|
Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM) 2008
|
Reliability
|
|
|
|
Automated Fault Diagnosis in Embedded Systems
|
P. Zoeteweij
|
J. Pietersma, R. Abreu, A. Feldman, and A.J.C. van Gemund
|
Trader
|
2008
|
Proceedings of the 2nd IEEE International Conference on Secure Systems and Reliability Improvement (SSIRI'08)
|
Reliability
|
|
|
|
An Observation-based Model for Fault Localization
|
R. Abreu
|
P. Zoeteweij, and A.J.C. van Gemund
|
Trader
|
2008
|
Proceedings of the 6th Workshop on Dynamic Analysis (WODA'08), colocated with the International Symposium on Software Testing and Analysis (ISSTA'08), pp. 64-70
|
Reliability
|
|
|
|
Model-Based Run-Time Error Detection
|
Jozef Hooman
|
Teun Hendriks
|
Trader
|
2008
|
Lecture Notes in Computer Science; Models in Software Engineering; Vol. 5002 pp. 225-236, 2008
|
Reliability
|
|
|
|
Real-Time Analysis for Memory Access in Media Processing SoCs - A Practical Approach
|
Liesbeth Steffens
|
Manvi Agarwal, Pieter van der Wolf
|
Trader
|
2008
|
Proceedings of the 2008 Euromicro Conference on Real-Time Systems - Pages 255-265 ; 2008
|
Reliability
|
|
|
|
Automatic Software Fault Localization using Generic Program Invariants
|
R. Abreu
|
A. González, P. Zoeteweij, and A.J.C. van Gemund
|
Trader
|
2008
|
Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC'08) - Software Engineering Track, pp. 712--717
|
Reliability
|
|
|
|
On the Performance of Fault Screeners in Software Development and Deployment
|
R. Abreu
|
A. González, P. Zoeteweij, and A.J.C. van Gemund
|
Trader
|
2008
|
Proceedings of the 3rd International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'08), pp. 123--130
|
Reliability
|
|
|
|
Introducing Recovery Style for Modeling and Analyzing System Recovery
|
Hasan Sözer
|
Bedir Tekinerdogan
|
Trader
|
2008
|
7th Working IEEE/IFIP Conference on Software Architecture (WICSA 2008)
|
Reliability
|
|
|
|
Software Architecture Reliability Analysis using Failure Scenarios
|
Bedir Tekinerdogan
|
Hasan Sozer, Mehmet Aksit
|
Trader
|
2008
|
Journal of systems and software, 81 (4). pp. 558-575
|
Reliability
|
|
|
|
Analyzing User Perceived Failure Severity in Consumer Electronics Products
|
I.M. de Visser
|
|
Trader
|
2008
|
PhD Thesis
|
Reliability
|
|
|
|
Real Time Bandwidth Monitoring: IP2032 - A Case Study
|
M. Agarwal
|
A.K. Nieuwland
|
Trader
|
2008
|
Technical Note NXP-R-TN 2008/00086
|
Reliability
|
|
|
|
Dependability for High-Tech Systems: an Industry-as-Laboratory Approach
|
Ed Brinksma
|
Jozef Hooman
|
Trader
|
2008
|
DATE, pp.1226-1231, 2008 Design, Automation and Test in Europe, 2008
|
Reliability
|
|
|
|
Dependability for High-Tech Systems: an Industry-as-Laboratory Approach
|
Ed Brinksma
|
Jozef Hooman
|
Trader
|
2008
|
ESI Report Nr. 2008–1
|
Reliability
|
|
|
|
On the Accuracy of Spectrum-based Fault Localization
|
R. Abreu
|
P. Zoeteweij, and A.J.C. van Gemund
|
Trader
|
2007
|
Proceedings of the Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART'07), pp. 89--98
|
Reliability
|
|
|
|
Automated Fault Diagnosis in Embedded Software
|
P. Zoeteweij
|
J. Pietersma, R. Abreu, A. Feldman, and A.J.C. van Gemund
|
Trader
|
2007
|
Proceedings of the ESI / Bits & Chips Embedded Systems Conference, Eindhoven.2007
|
Reliability
|
|
|
|
User-Controlled Reflection on Join Points
|
P. van de Laar
|
Rob Golsteijn
|
Trader
|
2007
|
Journal of Software, Vol. 2, No. 3, pp. 1-8, September 2007
|
Reliability
|
|
|
|
Model-Based Run-Time Error Detection
|
Jozef Hooman
|
Teun Hendriks
|
Trader
|
2007
|
Workshop Models@run.time MODELS2007
|
Reliability
|
|
|
|
Run-time Task Overlapping on Multiprocessor Platforms
|
Zhe Ma
|
D. Scarpazza, F. Catthoor, et al.
|
Trader
|
2007
|
IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2007 (ESTIMedia 2007), Pages: 47-52, October 4-5, 2007;
|
Reliability
|
|
|
|
Systematic methodology for real-time cost-effective mapping of dynamic concurrent task-based systems on heterogeneous platforms
|
Zhe Ma
|
et al.
|
Trader
|
2007
|
Springer, 2007, ISBN 978-1-4020-6328-2
|
Reliability
|
|
|
|
Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level
|
Hasan Sözer
|
Bedir Tekinerdogan, Mehmet Aksit
|
Trader
|
2007
|
Architecting Dependable Systems IV, Ed. by Rogerio de Lemos et.al., 2007
|
Reliability
|
|
|
|
Detecting Mode Inconsistencies in Component-Based Embedded Software
|
Hasan Sözer
|
Christian Hofmann, Bedir Tekinerdogan, Mehmet Aksit
|
Trader
|
2007
|
DSN Workshop on Architecting Dependable Systems, 27 June 2007, Edinburgh, United Kingdom. pp. 154-160. IEEE Computer Society
|
Reliability
|
|
|
|
Software Fault Diagnosis
|
P. Zoeteweij
|
J. Pietersma, R. Abreu, A. Feldman, A.J.C. van Gemund
|
Trader
|
2007
|
Tutorial TESTCOM / FATES / FORTE 2007
|
Reliability
|
|
|
|
Supporting Reliable Software Evolution through Program Analysis
|
Cathal Boogerd
|
|
Trader
|
2007
|
Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR)
|
Reliability
|
|
|
|
Automated Fault Diagnosis
|
J. Pietersma
|
R. Abreu, A. Feldman, P. Zoeteweij, A. J.C. van Gemund
|
Trader
|
2007
|
Poster session at Nederlands Institute for Research ICT kick-off Event, Utrecht
|
Reliability
|
|
|
|
Diagnosis of Embedded Software using Program Spectra
|
P. Zoeteweij
|
R. Abreu, R. Golsteijn, A.J.C. van Gemund
|
Trader
|
2007
|
Proceedings of the 14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'07)
|
Reliability
|
|
|
|
Fault Diagnosis of Embedded Software using Program Spectra
|
P. Zoeteweij
|
R. Abreu, R. Golsteijn, A.J.C. van Gemund
|
Trader
|
2007
|
Proceedings of the 3rd European Symposium on Verification and Validation of Software Systems (VVSS 2007), LaQuSo
|
Reliability
|
|
|
|
Research and design for user-perceived reliability enhancement of teletext and future data carousels
|
K.S.W. van Langen
|
M. Opdam, P.J.L.J. van de Laar, and R.H.M. Golsteijn
|
Trader
|
2006
|
Philips Research Report, PR-TN 2006/00395, 2006
|
Reliability
|
|
|
|
An Infrastructure for Traceability to Increase Insight in Complex Embedded Systems
|
J.P.T. Dobbelsteen
|
R.H.M. Golsteijn; P.J.L.J. van de Laar
|
Trader
|
2006
|
Technical Note PR-TN 2006/00506
|
Reliability
|
|
|
|
Evaluating test methods in dealing with customer perceived failures in highly innovative product development
|
Jeroen Keijzers
|
Ouden, P.H. den, Brombacher, A.C.
|
Trader
|
2006
|
Proceedings of the IEEE International Conference on Management of Innovation and Technology. (Vol. 2, pp. 576-580)
|
Reliability
|
|
|
|
The risks of applying qualitative reliability prediction methods: a case study
|
I.M. de Visser
|
J.A. van den Bogaard
|
Trader
|
2006
|
Proceedings of the Annual Reliability and Maintainability Symposium 2006 (RAMS '06)
|
Reliability
|
|
|
|
Understanding Failure Severity in New Product Development Processes of Consumer Electronics Products
|
I.M. de Visser
|
Lu Yuan, & Ganesh Nagappan
|
Trader
|
2006
|
Proceedings of the 2006 IEEE International Conference on Management of Innovation and Technology (ICMIT 2006)
|
Reliability
|
|
|
|
Ranking Software Inspection Results using Execution Likelihood
|
Cathal Boogerd
|
Leon Moonen
|
Trader
|
2006
|
Proceedings of the Philips Software Conference (PSC)
|
Reliability
|
|
|
|
Ranking Software Inspection Results using Execution Likelihood
|
Cathal Boogerd
|
Leon Moonen
|
Trader
|
2006
|
Poster Session at Scientific ICT Research Event Netherlands
|
Reliability
|
|
|
|
Prioritizing Software Inspection Results using Static Profiling
|
Cathal Boogerd
|
Leon Moonen
|
Trader
|
2006
|
Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM)
|
Reliability
|
|
|
|
Fault Diagnosis of Embedded Software using Program Spectra
|
P. Zoeteweij
|
R. Abreu, R. Golsteijn, A.J.C. van Gemund
|
Trader
|
2006
|
Proceedings of the 12th Nederlandse Testdag, ASML, Veldhoven
|
Reliability
|
|
|
|
An Evaluation of Similarity Coefficients for Software Fault Localization
|
Rui Abreu
|
Peter Zoeteweij, Arjan van Gemund
|
Trader
|
2006
|
Proceedings of the 12th International Symposium on Pacific Rim Dependable Computing (PRDC'06)
|
Reliability
|
|
|
|
Automatic Fault Diagnosis in Embedded Software
|
Rui Abreu
|
P. Zoeteweij, R. Golsteijn, A.J.C. van Gemund
|
Trader
|
2006
|
Proceedings of 10th Philips Software Conference (PSC'06), Veldhoven
|
Reliability
|
|
|
|
Program Spectra Analysis in Embedded Software: A Case Study
|
Rui Abreu
|
Peter Zoeteweij, Arjan van Gemund
|
Trader
|
2006
|
In Proceedings of the 12th Annual Conference of the Advanced School for Computing and Imaging (ASCI'06), pp. 263 -- 269, Lommel, Belgium, June 2006
|
Reliability
|
|
|
|
Combining component-based and aspect-oriented software development in a resource constrained environment
|
P. van de Laar
|
|
Trader
|
2006
|
Technical Note PR-TN 2006/00648
|
Reliability
|
|
|
|
Software Architecture Reliability Analysis using Failure Scenarios
|
Bedir Tekinerdogan
|
Hasan Sözer, Mehmet Aksit
|
Trader
|
2005
|
Wicsa, pp.203-204, Fifth Working IEEE/IFIP Conference on Software Architecture (WICSA'05), 2005
|
Reliability
|
|
|
|
Introduction to Software Fault Tolerance ; Concepts and Design Patterns
|
R.T.C. Deckers
|
P.L. Janson; F.H.G. Ogg; P. J. L. J. van de Laar
|
Trader
|
2005
|
Technical Note PR-TN 2005/00451
|
Reliability
|
|
|
|
Y-Chart Based System Design: A Discussion on Approaches
|
J. Lapalme
|
B. Theelen, N. Stoimenov, J. Voeten, L. Thiele, E. Aboulhamid
|
Wings
|
2009
|
ACM Transaction on Embedded Computing Systems
|
Performance / Flexibility / Evolvability
|
|
|
|
Y-Chart Based System Design: A Discussion on Approaches
|
J. Lapalme
|
B. Theelen, N. Stoimenov, J. Voeten, L. Thiele, E. Aboulhamid
|
Wings
|
2009
|
Nouvelles approches pour la conception d’outils CAO pour le domaine des systems embarqués. PhD thesis, Université de Montréal, 2009
|
Performance / Flexibility / Evolvability
|
|
|
|
All-in-one throughput analysis
|
J. Jacobs
|
Z. Alberti, S. Auer, P. van Dongen, P. van Gils, D. Ramaekers, J. Voeten
|
Wings
|
2009
|
10th ASML Technology Conference, 2009
|
Performance / Flexibility / Evolvability
|
|
|
|