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