Twan Basten - RankMe

238 papers A* 6A 34B 13C 35Misc 11Journal 72Unranked 62

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	An exact decomposition-based approach to the conflict-free-transportation-constrained flexible job-shop scheduling problem. Comput. Oper. Res. Roel W. M. van Os, Twan Basten
2025	—	`conf`	Deep-Reinforcement-Learning-Based Scheduler for Time-Aware Shaper in In-Vehicle Networks. VTC2025-Spring Mohammadparsa Karimi, Majid Nabi, Andrew Nelson, Kees Goossens, Twan Basten
2025	B	`conf`	Enabling Containerisation of Distributed Applications with Real-Time Constraints. ECRTS Nasim Samimi, Luca Abeni, Daniel Casini, Mauro Marinoni, Twan Basten, Mitra Nasri, Marc Geilen, Alessandro Biondi
2025	—	`conf`	INSIM: A Modular Simulation Platform for TSN-based In-Vehicle Networks. VTC2025-Fall Mohammadparsa Karimi, Majid Nabi, Andrew Nelson, Kees Goossens, Twan Basten
2025	J	`jnl`	Schedule Synthesis for Synchronous Dataflow Models with Lower and Upper Timing Bounds. ACM Trans. Embed. Comput. Syst. Joep van Wanrooij, Twan Basten, Marc Geilen
2024	J	`jnl`	A Method for Building Trustworthy Hybrid Performance Models for Cyber-Physical Systems of Systems. IEEE Access Mahtab Modaber, Martijn Hendriks, Marc Geilen, Twan Basten, Jeroen Voeten
2024	C	`conf`	Guaranteeing Weakly-Hard Timing Constraints of Real-Time Server-Based Systems. ETFA Nasim Samimi, Mitra Nasri, Twan Basten, Marc Geilen
2024	Misc	`conf`	Online Admission Test for Real-Time Tasks with Arrival Curves for Server Platforms. RTNS Nasim Samimi, Mitra Nasri, Twan Basten, Marc Geilen
2024	J	`jnl`	Tracking dynamic deadlines in switched max-plus linear systems with uncontrollable workloads. Discret. Event Dyn. Syst. Roohallah Azarmi, Mohsen Alirezaei, Dip Goswami, Twan Basten
2024	J	`jnl`	Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool. Int. J. Softw. Tools Technol. Transf. Martijn Hendriks, Jacques Verriet, Twan Basten
2024	A	`conf`	Work in Progress: Guaranteeing Weakly-Hard Timing Constraints in Server-Based Real-Time Systems. RTAS Nasim Samimi, Mitra Nasri, Twan Basten, Marc Geilen
2023	J	`jnl`	Efficient Computation of the Max-Plus Semantics of Synchronous Dataflow Graphs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hossein Elahi, Marc Geilen, Twan Basten
2023	C	`conf`	Experiences and Lessons from Introducing Model-Based Analysis in Brown-Field Product Family Development. MODELSWARD Jacques Verriet, Bram van der Sanden, Gijs van der Veen, André van Splunter, Sam Lousberg, Martijn Hendriks, Twan Basten
2023	J	`jnl`	Modeling and analysis of switching max-plus linear systems with discrete-event feedback. Discret. Event Dyn. Syst. Alireza Mohamadkhani, Marc Geilen, Jeroen Voeten, Twan Basten
2023	J	`jnl`	Time- and Behavior-Preserving Execution of Determinate Supervisory Control. CoRR Alireza Mohamadkhani, Marc Geilen, Jeroen Voeten, Twan Basten
2022	J	`jnl`	Delay-Aware Multi-Layer Multi-Rate Model Predictive Control for Vehicle Platooning Under Message-Rate Congestion Control. IEEE Access Amr Ibrahim, Dip Goswami, Hong Li, Twan Basten
2022	—	`conf`	Minesweeper is Difficult Indeed! - Technology Scaling for Minesweeper Circuits. A Journey from Process Algebra via Timed Automata to Model Learning Alex Thieme, Twan Basten
2022	J	`jnl`	Partial-Order Reduction for Supervisory Controller Synthesis. IEEE Trans. Autom. Control. Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten
2022	J	`jnl`	Receiver Design With an Adjustable Energy-Signal-Quality Tradeoff for IoT Networks. IEEE Internet Things J. Paul Detterer, Majid Nabi, Hailong Jiao, Twan Basten
2021	J	`jnl`	Design and management of image processing pipelines within CPS: Acquired experience towards the end of the FitOptiVis ECSEL Project. Microprocess. Microsystems Carlo Sau, Claudia Rinaldi, Luigi Pomante, Francesca Palumbo, Giacomo Valente, Tiziana Fanni, Marcos Martinez de Alejandro, Frank van der Linden, Twan Basten, Marc Geilen, Geran Peeren, Jirí Kadlec, Pekka Jääskeläinen, Lubomír Bulej, Francisco Barranco, Jukka Saarinen, Tero Säntti, Maria Katiuscia Zedda, Victor Sanchez, Shayan Tabatabaei Nikkhah, Dip Goswami, Guillermo Amat, Lukás Marsík, Mark van Helvoort, Luis Medina, Zaid Al-Ars, Ad de Beer
2021	J	`jnl`	Interface Modeling for Quality and Resource Management. Log. Methods Comput. Sci. Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten
2021	Misc	`conf`	Model-driven system-performance engineering for cyber-physical systems. EMSOFT Bram van der Sanden, Yonghui Li, Joris van den Aker, Benny Akesson, Tjerk Bijlsma, Martijn Hendriks, Kostas Triantafyllidis, Jacques Verriet, Jeroen Voeten, Twan Basten
2021	J	`jnl`	Optimizing Multiprocessor Image-Based Control Through Pipelining and Parallelism. IEEE Access Sajid Mohamed, Dip Goswami, Sayandip De, Twan Basten
2021	J	`jnl`	Receiver-Sensitivity Control for Energy-Efficient IoT Networks. IEEE Commun. Lett. Paul Detterer, Majid Nabi, Hailong Jiao, Twan Basten
2021	J	`jnl`	Reconfigurable Pipelined Control Systems. IEEE Des. Test Róbinson Medina Sánchez, Shayan Tabatabaei Nikkhah, Dip Goswami, Maurice Heemels, Sander Stuijk, Twan Basten
2020	J	`jnl`	A scenario- and platform-aware design flow for image-based control systems. Microprocess. Microsystems Sajid Mohamed, Dip Goswami, Vishak Nathan, Raghu Rajappa, Twan Basten
2020	—	`conf`	Adaptive predictive control for pipelined multiprocessor image-based control systems considering workload variations. CDC Sajid Mohamed, Nilay Saraf, Daniele Bernardini, Dip Goswami, Twan Basten, Alberto Bemporad
2020	A	`conf`	Approximation Trade Offs in an Image-Based Control System. DATE Sayandip De, Sajid Mohamed, Konstantinos Bimpisidis, Dip Goswami, Twan Basten, Henk Corporaal
2020	C	`conf`	Design and management of image processing pipelines within CPS: 2 years of experience from the FitOptiVis ECSEL Project. DSD Luigi Pomante, Francesca Palumbo, Claudia Rinaldi, Giacomo Valente, Carlo Sau, Tiziana Fanni, Frank van der Linden, Twan Basten, Marc Geilen, Geran Peeren, Jirí Kadlec, Pekka Jääskeläinen, Marcos Martinez de Alejandro, Jukka Saarinen, Tero Säntti, Maria Katiuscia Zedda, Victor Sanchez, Dip Goswami, Zaid Al-Ars, Ad de Beer
2020	J	`jnl`	Firmness Analysis of Real-time Tasks. ACM Trans. Embed. Comput. Syst. Amir R. B. Behrouzian, Hadi Alizadeh Ara, Marc Geilen, Dip Goswami, Twan Basten
2020	J	`jnl`	Interface Modeling for Quality and Resource Management. CoRR Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten
2020	—	`conf`	Performance Analysis of Embedded Platoon Controllers. VTC Spring Amr Ibrahim, Iñaki Martín Soroa, Hong Li, Dip Goswami, Twan Basten
2020	C	`conf`	Programming tensor cores from an image processing DSL. SCOPES Savvas Sioutas, Sander Stuijk, Twan Basten, Lou J. Somers, Henk Corporaal
2020	C	`conf`	QRML: A Component Language and Toolset for Quality and Resource Management. FDL Freek van den Berg, Václav Camra, Martijn Hendriks, Marc Geilen, Petr Hnetynka, Fernando Manteca, Pablo Sánchez, Tomás Bures, Twan Basten
2020	J	`jnl`	Schedule Synthesis for Halide Pipelines on GPUs. ACM Trans. Archit. Code Optim. Savvas Sioutas, Sander Stuijk, Twan Basten, Henk Corporaal, Lou J. Somers
2020	A	`conf`	Trading Sensitivity for Power in an IEEE 802.15.4 Conformant Adequate Demodulator. DATE Paul Detterer, Cumhur Erdin, Jos Huisken, Hailong Jiao, Majid Nabi, Twan Basten, José Pineda de Gyvez
2019	—	`conf`	Control of Platooned Vehicles in Presence of Traffic Shock Waves. ITSC Amr Ibrahim, Mladen Cicic, Dip Goswami, Twan Basten, Karl Henrik Johansson
2019	J	`jnl`	Designing a Controller with Image-based Pipelined Sensing and Additive Uncertainties. ACM Trans. Cyber Phys. Syst. Róbinson Medina Sánchez, Juan Valencia, Sander Stuijk, Dip Goswami, Twan Basten
2019	—	`conf`	Designing image-based control systems considering workload variations. CDC Sajid Mohamed, Asad Ullah Awan, Dip Goswami, Twan Basten
2019	—	`conf`	IMACS: A Framework for Performance Evaluation of Image Approximation in a Closed-loop System. MECO Sajid Mohamed, Sayandip De, Konstantinos Bimpisidis, Vishak Nathan, Dip Goswami, Henk Corporaal, Twan Basten
2019	A	`conf`	Implementation-aware design of image-based control with on-line measurable variable-delay. DATE Róbinson Medina Sánchez, Sander Stuijk, Dip Goswami, Twan Basten
2019	J	`jnl`	Monotonic Optimization of Dataflow Buffer Sizes. J. Signal Process. Syst. Martijn Hendriks, Hadi Alizadeh Ara, Marc Geilen, Twan Basten, Ruben Guerra Marin, Rob de Jong, Steven van der Vlugt
2019	J	`jnl`	Parametric Scheduler Characterization. ACM Trans. Embed. Comput. Syst. Joost van Pinxten, Marc Geilen, Twan Basten
2019	J	`jnl`	Schedule Synthesis for Halide Pipelines through Reuse Analysis. ACM Trans. Archit. Code Optim. Savvas Sioutas, Sander Stuijk, Luc Waeijen, Twan Basten, Henk Corporaal, Lou J. Somers
2019	—	`conf`	The FitOptiVis ECSEL project: highly efficient distributed embedded image/video processing in cyber-physical systems. CF Zaid Al-Ars, Twan Basten, Ad de Beer, Marc Geilen, Dip Goswami, Pekka Jääskeläinen, Jirí Kadlec, Marcos Martinez de Alejandro, Francesca Palumbo, Geran Peeren, Luigi Pomante, Frank van der Linden, Jukka Saarinen, Tero Säntti, Carlo Sau, Maria Katiuscia Zedda
2019	J	`jnl`	Topology Management and TSCH Scheduling for Low-Latency Convergecast in In-Vehicle WSNs. IEEE Trans. Ind. Informatics Rasool Tavakoli, Majid Nabi, Twan Basten, Kees Goossens
2019	A	`conf`	Trading Digital Accuracy for Power in an RSSI Computation of a Sensor Network Transceiver. DATE Paul Detterer, Cumhur Erdin, Majid Nabi, José Pineda de Gyvez, Twan Basten, Hailong Jiao
2018	C	`conf`	Co-simulation Framework for Control, Communication and Traffic for Vehicle Platoons. DSD Amr Ibrahim, Chetan Belagal Math, Dip Goswami, Twan Basten, Hong Li
2018	C	`conf`	Compositional Dataflow Modelling for Cyclo-Static Applications. DSD Hadi Alizadeh Ara, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Dip Goswami
2018	J	`jnl`	Dependable Interference-Aware Time-Slotted Channel Hopping for Wireless Sensor Networks. ACM Trans. Sens. Networks Rasool Tavakoli, Majid Nabi, Twan Basten, Kees Goossens
2018	A	`conf`	Firmness Analysis of Real-Time Applications Under Static-Priority Preemptive Scheduling. RTAS Amir Reza Baghban Behrouzian, Dip Goswami, Twan Basten, Marc Geilen, Hadi Alizadeh Ara, Martijn Hendriks
2018	—	`conf`	Guard-Time Design for Symmetric Synchronization in IEEE 802.15.4 Time-Slotted Channel Hopping. VTC Spring Rasool Tavakoli, Majid Nabi, Twan Basten, Kees Goossens
2018	B	`conf`	Hybrid Timeslot Design for IEEE 802.15.4 TSCH to Support Heterogeneous WSNs. PIMRC Rasool Tavakoli, Majid Nabi, Twan Basten, Kees Goossens
2018	A	`conf`	Loop transformations leveraging hardware prefetching. CGO Savvas Sioutas, Sander Stuijk, Henk Corporaal, Twan Basten, Lou J. Somers
2018	C	`conf`	Optimising Quality-of-Control for Data-Intensive Multiprocessor Image-Based Control Systems Considering Workload Variations. DSD Sajid Mohamed, Diqing Zhu, Dip Goswami, Twan Basten
2018	J	`jnl`	Parametric Critical Path Analysis for Event Networks With Minimal and Maximal Time Lags. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Joost van Pinxten, Marc Geilen, Martijn Hendriks, Twan Basten
2018	—	`conf`	Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems. ACSD Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten
2018	C	`conf`	Robust co-synthesis of embedded control systems with occasional deadline misses. IOLTS Amir R. B. Behrouzian, Dip Goswami, Twan Basten
2018	J	`jnl`	Scalable Analysis for Multi-Scale Dataflow Models. ACM Trans. Embed. Comput. Syst. Hadi Alizadeh Ara, Amir R. B. Behrouzian, Martijn Hendriks, Marc Geilen, Dip Goswami, Twan Basten
2018	Misc	`conf`	Throughput-Buffering Trade-Off Analysis for Scenario-Aware Dataflow Models. RTNS Hadi Alizadeh Ara, Marc Geilen, Amir R. B. Behrouzian, Twan Basten
2018	C	`conf`	Timing Prediction for Service-Based Applications Mapped on Linux-Based Multi-core Platforms. DSD Ruben Jonk, Jeroen Voeten, Marc Geilen, Twan Basten, Ramon R. H. Schiffelers
2018	—	`conf`	Understanding the Impact of Circuit-Level Inaccuracy on Sensor Network Performance. PE-WASUN Paul Detterer, Cumhur Erdin, Majid Nabi, Twan Basten, Hailong Jiao
2017	J	`jnl`	Analyzing execution traces: critical-path analysis and distance analysis. Int. J. Softw. Tools Technol. Transf. Martijn Hendriks, Jacques Verriet, Twan Basten, Bart D. Theelen, Marco Brassé, Lou J. Somers
2017	J	`jnl`	Effective link quality estimation as a means to improved end-to-end packet delivery in high traffic mobile ad hoc networks Digit. Commun. Networks Syed Rehan Afzal, Sander Stuijk, Majid Nabi, Twan Basten
2017	Misc	`conf`	Exploring the trade-off between processing resources and settling time in image-based control through LQR tuning. SAC Róbinson Medina Sánchez, Sander Stuijk, Dip Goswami, Twan Basten
2017	J	`jnl`	Mapping of synchronous dataflow graphs on MPSoCs based on parallelism enhancement. J. Parallel Distributed Comput. Qi Tang, Twan Basten, Marc Geilen, Sander Stuijk, Ji-Bo Wei
2017	J	`jnl`	Online Scheduling of 2-Re-entrant Flexible Manufacturing Systems. ACM Trans. Embed. Comput. Syst. Joost van Pinxten, Umar Waqas, Marc Geilen, Twan Basten, Lou J. Somers
2017	J	`jnl`	Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs. J. Signal Process. Syst. Marc Geilen, Joachim Falk, Christian Haubelt, Twan Basten, Bart D. Theelen, Sander Stuijk
2017	J	`jnl`	Special Section: Integrating Dataflow, Embedded Computing and Architecture. ACM Trans. Design Autom. Electr. Syst. Twan Basten, Orlando Moreira, Robert de Groote
2017	J	`jnl`	Task-FIFO Co-Scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy. ACM Trans. Embed. Comput. Syst. Qi Tang, Twan Basten, Marc Geilen, Sander Stuijk, Jibo Wei
2016	C	`conf`	A Fast Estimator of Performance with Respect to the Design Parameters of Self Re-Entrant Flowshops. DSD Umar Waqas, Marc Geilen, Sander Stuijk, Joost van Pinxten, Twan Basten, Lou J. Somers, Henk Corporaal
2016	J	`jnl`	A blueprint for system-level performance modeling of software-intensive embedded systems. Int. J. Softw. Tools Technol. Transf. Martijn Hendriks, Twan Basten, Jacques Verriet, Marco Brassé, Lou J. Somers
2016	A	`conf`	An Experimental Study of Cross-Technology Interference in In-Vehicle Wireless Sensor Networks. MSWiM Rasool Tavakoli, Majid Nabi, Twan Basten, Kees Goossens
2016	—	`conf`	Checking Metric Temporal Logic with TRACE. ACSD Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh Ara, Dip Goswami
2016	—	`conf`	Communication aware multiprocessor binding for shared memory systems. SIES Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers
2016	C	`conf`	Compositional specification of functionality and timing of manufacturing systems. FDL Bram van der Sanden, João Bastos, Jeroen Voeten, Marc Geilen, Michel A. Reniers, Twan Basten, Johan Jacobs, Ramon R. H. Schiffelers
2016	—	`conf`	INLyD: Inter-Network-Layer Delay as a Low-cost Quality Metric for Multi-hop Routing in Wireless Mobile Networks. PE-WASUN@MSWiM Syed Rehan Afzal, Majid Nabi, Sander Stuijk, Twan Basten
2016	J	`jnl`	Multiconstraint Static Scheduling of Synchronous Dataflow Graphs Via Retiming and Unfolding. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk
2016	A	`conf`	Online heuristic for the Multi-Objective Generalized traveling salesman problem. DATE Joost van Pinxten, Marc Geilen, Twan Basten, Umar Waqas, Lou J. Somers
2016	—	`conf`	Performance analysis and controller improvement for linear systems with (m, k)-firm data losses. ECC Eelco P. van Horssen, Amir Reza Baghban Behrouzian, Dip Goswami, Duarte Antunes, Twan Basten, W. P. M. H. Heemels
2016	—	`conf`	Reconfigurable pipelined sensing for image-based control. SIES Róbinson Medina Sánchez, Sander Stuijk, Dip Goswami, Twan Basten
2016	A	`conf`	Robust online face tracking-by-detection. ICME Francesco Comaschi, Sander Stuijk, Twan Basten, Henk Corporaal
2016	—	`conf`	Sample-drop firmness analysis of TDMA-scheduled control applications. SIES Amir R. B. Behrouzian, Dip Goswami, Marc Geilen, Martijn Hendriks, Hadi Alizadeh Ara, Eelco P. van Horssen, W. P. M. H. Heemels, Twan Basten
2016	—	`conf`	Tight temporal bounds for dataflow applications mapped onto shared resources. SIES Hadi Alizadeh Ara, Marc Geilen, Twan Basten, Amir R. B. Behrouzian, Martijn Hendriks, Dip Goswami
2016	J	`jnl`	xCPS: a tool to explore cyber physical systems. SIGBED Rev. Shreya Adyanthaya, Hadi Alizadeh Ara, João Bastos, Amir R. B. Behrouzian, Róbinson Medina Sánchez, Joost van Pinxten, Bram van der Sanden, Umar Waqas, Twan Basten, Henk Corporaal, Raymond Frijns, Marc Geilen, Dip Goswami, Martijn Hendriks, Sander Stuijk, Michel A. Reniers, Jeroen Voeten
2015	J	`jnl`	A Distributed Reconfiguration Approach for Quality-of-Service Provisioning in Dynamic Heterogeneous Wireless Sensor Networks. ACM Trans. Sens. Networks Marcel Steine, Marc Geilen, Twan Basten
2015	A	`conf`	A re-entrant flowshop heuristic for online scheduling of the paper path in a large scale printer. DATE Umar Waqas, Marc Geilen, Jack Kandelaars, Lou J. Somers, Twan Basten, Sander Stuijk, Patrick Vestjens, Henk Corporaal
2015	B	`conf`	Enhanced Time-Slotted Channel Hopping in WSNs Using Non-intrusive Channel-Quality Estimation. MASS Rasool Tavakoli, Majid Nabi, Twan Basten, Kees Goossens
2015	J	`jnl`	Improving End-to-end Packet Delivery in High Traffic Multi-hop Wireless Ad Hoc Networks. EAI Endorsed Trans. Energy Web Syed Rehan Afzal, Majid Nabi, Sander Stuijk, Twan Basten
2015	Misc	`conf`	Iterative robust multiprocessor scheduling. RTNS Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers
2015	A	`conf`	Modular model-based supervisory controller design for wafer logistics in lithography machines. MoDELS Bram van der Sanden, Michel A. Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, Ramon R. H. Schiffelers
2015	—	`conf`	Multi-Constraint multi-processor Resource Allocation. SAMOS Amir R. B. Behrouzian, Dip Goswami, Twan Basten, Marc Geilen, Hadi Alizadeh Ara
2015	—	`conf`	Multi-Domain Virtual Prototyping in a SystemC SIL framework: A heating system case study. SAMOS Nikolaos Ilieskou, Marijn Blom, Lou J. Somers, Michel A. Reniers, Twan Basten
2015	B	`conf`	Online multi-face detection and tracking using detector confidence and structured SVMs. AVSS Francesco Comaschi, Sander Stuijk, Twan Basten, Henk Corporaal
2015	B	`conf`	Performance Engineering for Industrial Embedded Data-Processing Systems. PROFES Martijn Hendriks, Jacques Verriet, Twan Basten, Marco Brassé, Reinier Dankers, René Laan, Alexander Lint, Hristina Moneva, Lou J. Somers, Marc Willekens
2015	—	`conf`	Task-FIFO Co-scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy. ACSD Qi Tang, Twan Basten, Marc Geilen, Sander Stuijk, Ji-Bo Wei
2015	J	`jnl`	Timed-Gamma and its Coordination Language. Nord. J. Comput. Mohammad Reza Mousavi, Twan Basten, Michel A. Reniers, Michel Chaudron
2015	—	`conf`	xCPS: A tool to eXplore Cyber Physical Systems. WESE Shreya Adyanthaya, Hadi Alizadeh Ara, João Bastos, Amir R. B. Behrouzian, Róbinson Medina Sánchez, Joost van Pinxten, Bram van der Sanden, Umar Waqas, Twan Basten, Henk Corporaal, Raymond Frijns, Marc Geilen, Dip Goswami, Sander Stuijk, Michel A. Reniers, Jeroen Voeten
2014	B	`conf`	A tool for fast ground truth generation for object detection and tracking from video. ICIP Francesco Comaschi, Sander Stuijk, Twan Basten, Henk Corporaal
2014	C	`conf`	ContoExam: an ontology on context-aware examinations. FOIS Paul Brandt, Twan Basten, Sander Stuijk
2014	J	`jnl`	Efficient Cluster Mobility Support for TDMA-Based MAC Protocols in Wireless Sensor Networks. ACM Trans. Sens. Networks Majid Nabi, Marc Geilen, Twan Basten, Milos Blagojevic
2014	J	`jnl`	Fast-performance simulation for Gossip-based Wireless Sensor Networks. Simul. Milos Blagojevic, Marc Geilen, Twan Basten, Majid Nabi, Teun Hendriks
2014	—	`conf`	Fault-tolerant embedded control systems for unreliable hardware. ISIC Dip Goswami, Daniel Mueller-Gritschneder, Twan Basten, Ulf Schlichtmann, Samarjit Chakraborty
2014	A	`conf`	Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming. DATE Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk
2014	Misc	`conf`	Performance analysis of weakly-consistent scenario-aware dataflow graphs. ACSSC Marc Geilen, Joachim Falk, Christian Haubelt, Twan Basten, Bart D. Theelen, Sander Stuijk
2014	J	`jnl`	Platform-Aware Design of Embedded Controllers. ERCIM News Dip Goswami, Twan Basten, Samarjit Chakraborty
2014	—	`conf`	Robustness analysis of multiprocessor schedules. ICSAMOS Shreya Adyanthaya, Zhihui Zhang, Marc Geilen, Jeroen Voeten, Twan Basten, Ramon R. H. Schiffelers
2014	—	`conf`	Semantic Interoperability in Body Area Sensor Networks and Applications. BODYNETS Vinh T. Bui, Paul Brandt, Hang Liu, Twan Basten, Johan Lukkien
2013	J	`jnl`	A fast and scalable multidimensional multiple-choice knapsack heuristic. ACM Trans. Design Autom. Electr. Syst. Hamid Shojaei, Twan Basten, Marc Geilen, Azadeh Davoodi
2013	C	`conf`	A systematic engineering tool chain approach for self-organizing building automation systems. IECON Alan McGibney, Susan Rea, Matthias Lehmann, Safietou Raby Thior, Suzanne Lesecq, Martijn Hendriks, Claire Guyon-Gardeux, Tuan Linh Mai, François Pacull, Joern Ploennigs, Twan Basten, Dirk Pesch
2013	A	`conf`	An empirical study of link quality estimation techniques for disconnection detection in WBANs. MSWiM Majid Nabi, Marc C. W. Geilen, Twan Basten
2013	C	`conf`	Architecture for self-organizing, co-operative and robust Building Automation Systems. IECON Franck Bernier, Joern Ploennigs, Dirk Pesch, Suzanne Lesecq, Twan Basten, Menouer Boubekeur, Dee Denteneer, Fred Oltmanns, François Bonnard, Matthias Lehmann, Tuan Linh Mai, Alan McGibney, Susan Rea, François Pacull, Claire Guyon-Gardeux, Laurent-Frederic Ducreux, Safietou Raby Thior, Martijn Hendriks, Jacques Verriet, Szymon Fedor
2013	J	`jnl`	Collaborative Multiobjective Global Routing. IEEE Trans. Very Large Scale Integr. Syst. Hamid Shojaei, Azadeh Davoodi, Twan Basten
2013	C	`conf`	Fast Multiprocessor Scheduling with Fixed Task Binding of Large Scale Industrial Cyber Physical Systems. DSD Shreya Adyanthaya, Marc Geilen, Twan Basten, Ramon R. H. Schiffelers, Bart D. Theelen, Jeroen Voeten
2013	—	`ch.`	Kahn Process Networks and a Reactive Extension. Handbook of Signal Processing Systems Marc Geilen, Twan Basten
2013	—	`conf`	RASW: A run-time adaptive sliding window to improve Viola-Jones object detection. ICDSC Francesco Comaschi, Sander Stuijk, Twan Basten, Henk Corporaal
2013	J	`jnl`	Schedule-Extended Synchronous Dataflow Graphs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal
2013	—	`conf`	Semantic interoperability in sensor applications making sense of sensor data. CICARE Paul Brandt, Twan Basten, Sander Stuijk, Vinh T. Bui, P. de Clercq, Luís Ferreira Pires, Marten van Sinderen
2013	A	`conf`	Throughput-constrained DVFS for scenario-aware dataflow graphs. IEEE Real-Time and Embedded Technology and Applications Symposium Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal
2012	C	`conf`	A Distributed Feedback Control Mechanism for Quality-of-Service Maintenance in Wireless Sensor Networks. DSD Marcel Steine, Marc Geilen, Twan Basten
2012	B	`conf`	Demonstrating on-demand listening and data forwarding in wireless body area networks. SECON Majid Nabi, Marc Geilen, Twan Basten
2012	J	`jnl`	Efficient Retiming of Multirate DSP Algorithms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Xue-Yang Zhu, Twan Basten, Marc Geilen, Sander Stuijk
2012	C	`conf`	Fast sink placement for Gossip-based Wireless Sensor Networks. IPCCC Milos Blagojevic, Marc Geilen, Twan Basten, Teun Hendriks
2012	—	`conf`	Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems - (Extended Abstract). FORMATS Twan Basten, Martijn Hendriks, Lou J. Somers, Nikola Trcka
2012	A	`conf`	Modeling static-order schedules in synchronous dataflow graphs. DATE Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal
2012	B	`conf`	On-demand data forwarding for automatic adaptation of data propagation in WBANs. SECON Majid Nabi, Marc Geilen, Twan Basten
2012	C	`conf`	Parametric throughput analysis of scenario-aware dataflow graphs. ICCD Morteza Damavandpeyma, Sander Stuijk, Marc Geilen, Twan Basten, Henk Corporaal
2012	A	`conf`	Playing games with scenario- and resource-aware SDF graphs through policy iteration. DATE Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal
2012	—	`conf`	Predictable dynamic embedded data processing. ICSAMOS Marc Geilen, Sander Stuijk, Twan Basten
2012	A	`conf`	Static Rate-Optimal Scheduling of Multirate DSP Algorithms via Retiming and Unfolding. IEEE Real-Time and Embedded Technology and Applications Symposium Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk
2011	—	`conf`	A Probabilistic Acknowledgment Mechanism for Wireless Sensor Networks. NAS Milos Blagojevic, Majid Nabi, Marc Geilen, Twan Basten, Teun Hendriks, Marcel Steine
2011	Misc	`conf`	Designing next-generation real-time streaming systems. CODES+ISSS Sander Stuijk, Twan Basten, Benny Akesson, Marc Geilen, Orlando Moreira, Jan Reineke
2011	—	`conf`	Distributed maintenance of minimum-cost path information in wireless sensor networks. PM2HW2N@MSWiM Marcel Steine, Marc Geilen, Twan Basten
2011	B	`conf`	Dynamic data prioritization for quality-of-service differentiation in heterogeneous Wireless Sensor Networks. SECON Majid Nabi, Milos Blagojevic, Marc Geilen, Twan Basten
2011	C	`conf`	Hybrid Code-Data Prefetch-Aware Multiprocessor Task Graph Scheduling. DSD Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal
2011	—	`conf`	Integrated model-driven design-space exploration for embedded systems. ICSAMOS Nikola Trcka, Martijn Hendriks, Twan Basten, Marc Geilen, Lou J. Somers
2011	C	`conf`	Iteration-Based Trade-Off Analysis of Resource-Aware SDF. DSD Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal
2011	—	`conf`	MoBAN: a configurable mobility model for wireless body area networks. SimuTools Majid Nabi, Marc Geilen, Twan Basten
2011	—	`conf`	Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets. ACSD Nikola Trcka, Marc Voorhoeve, Twan Basten
2011	C	`conf`	Pareto Analysis with Uncertainty. EUC Martijn Hendriks, Marc Geilen, Twan Basten
2011	A	`conf`	Proactive reconfiguration of wireless sensor networks. MSWiM Marcel Steine, Cuong Viet Ngo, Ramon Serna Oliver, Marc Geilen, Twan Basten, Gerhard Fohler, Jean-Dominique Decotignie
2011	—	`conf`	Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications. ICSAMOS Sander Stuijk, Marc Geilen, Bart D. Theelen, Twan Basten
2010	C	`conf`	A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour. DSD Sander Stuijk, Marc Geilen, Twan Basten
2010	A	`conf`	A pareto-algebraic framework for signal power optimization in global routing. ISLPED Hamid Shojaei, Tai-Hsuan Wu, Azadeh Davoodi, Twan Basten
2010	—	`conf`	A robust protocol stack for multi-hop wireless body area networks with transmit power adaptation. BODYNETS Majid Nabi, Twan Basten, Marc Geilen, Milos Blagojevic, Teun Hendriks
2010	A	`conf`	Automated bottleneck-driven design-space exploration of media processing systems. DATE Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal
2010	J	`jnl`	Buffer Sizing for Rate-Optimal Single-Rate Data-Flow Scheduling Revisited. IEEE Trans. Computers Orlando Moreira, Twan Basten, Marc Geilen, Sander Stuijk
2010	J	`jnl`	Editorial: Model-driven embedded-system design. ACM Trans. Embed. Comput. Syst. Twan Basten, Rolf Ernst
2010	—	`ch.`	Kahn Process Networks and a Reactive Extension. Handbook of Signal Processing Systems Marc Geilen, Twan Basten
2010	B	`conf`	MCMAC: An Optimized Medium Access Control Protocol for Mobile Clusters in Wireless Sensor Networks. SECON Majid Nabi, Milos Blagojevic, Marc Geilen, Twan Basten, Teun Hendriks
2010	—	`conf`	Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset. ISoLA (1) Twan Basten, Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna, Frans Reckers, Sebastian de Smet, Lou J. Somers, Egbert Teeselink
2010	C	`conf`	Predicting the throughput of multiprocessor applications under dynamic workload. ICCD Peter Poplavko, Marc Geilen, Twan Basten
2010	—	`conf`	Real-time step motor emulator for hardware-in-the-loop simulation. SummerSim A. Oceguera, Twan Basten, Lou J. Somers, S. Hulsenboom
2010	A	`conf`	Simultaneous budget and buffer size computation for throughput-constrained task graphs. DATE Maarten Wiggers, Marco Bekooij, Marc Geilen, Twan Basten
2010	C	`conf`	Thermal-aware scratchpad memory design and allocation. ICCD Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal
2009	A*	`conf`	A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management. DAC Hamid Shojaei, Amir Hossein Ghamarian, Twan Basten, Marc Geilen, Sander Stuijk, Rob Hoes
2009	—	`conf`	Configuring multi-objective evolutionary algorithms for design-space exploration of wireless sensor networks. PM2HW2N@MSWiM Majid Nabi, Milos Blagojevic, Twan Basten, Marc Geilen, Teun Hendriks
2009	—	`conf`	Exploring trade-offs between performance and resource requirements for synchronous dataflow graphs. ESTIMedia Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal
2009	—	`conf`	Fast simulation methods to predict wireless sensor network performance. PE-WASUN Milos Blagojevic, Majid Nabi, Teun Hendriks, Twan Basten, Marc Geilen
2009	B	`conf`	QoS Management for Wireless Sensor Networks with a Mobile Sink. EWSN Rob Hoes, Twan Basten, Wai-Leong Yeow, Chen-Khong Tham, Marc Geilen, Henk Corporaal
2009	J	`jnl`	Quality-of-service trade-off analysis for wireless sensor networks. Perform. Evaluation Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal
2009	J	`jnl`	System-scenario-based design of dynamic embedded systems. ACM Trans. Design Autom. Electr. Syst. Stefan Valentin Gheorghita, Martin Palkovic, Juan Hamers, Arnout Vandecappelle, Stelios Mamagkakis, Twan Basten, Lieven Eeckhout, Henk Corporaal, Francky Catthoor, Frederik Vandeputte, Koen De Bosschere
2008	J	`jnl`	A monitoring-aware network-on-chip design flow. J. Syst. Archit. Calin Ciordas, Andreas Hansson, Kees Goossens, Twan Basten
2008	J	`jnl`	Analyzing concurrency in streaming applications. J. Syst. Archit. Sander Stuijk, Twan Basten
2008	J	`jnl`	Application Scenarios in Streaming-Oriented Embedded-System Design. IEEE Des. Test Comput. Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal
2008	—	`conf`	Formal Modeling and Scheduling of Datapaths of Digital Document Printers. FORMATS Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers
2008	A	`conf`	Parametric Throughput Analysis of Synchronous Data Flow Graphs. DATE Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Sander Stuijk
2008	J	`jnl`	Resource-efficient routing and scheduling of time-constrained streaming communication on networks-on-chip. J. Syst. Archit. Sander Stuijk, Twan Basten, Marc Geilen, Amir Hossein Ghamarian, Bart D. Theelen
2008	Misc	`conf`	SPaC: a symbolic pareto calculator. CODES+ISSS Hamid Shojaei, Twan Basten, Marc Geilen, Phillip Stanley-Marbell
2008	J	`jnl`	Scenario Selection and Prediction for DVS-Aware Scheduling of Multimedia Applications. J. Signal Process. Syst. Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal
2008	J	`jnl`	Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs. IEEE Trans. Computers Sander Stuijk, Marc Geilen, Twan Basten
2007	A	`conf`	A calculator for Pareto points. DATE Marc Geilen, Twan Basten
2007	J	`jnl`	An Algebra of Pareto Points. Fundam. Informaticae Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten
2007	A	`conf`	Analysing qos trade-offs in wireless sensor networks. MSWiM Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal
2007	A	`conf`	Congestion-controlled best-effort communication for networks-on-chip. DATE Jan Willem van den Brand, Calin Ciordas, Kees Goossens, Twan Basten
2007	C	`conf`	Execution-time Prediction for Dynamic Streaming Applications with Task-level Parallelism. DSD Peter Poplavko, Twan Basten, Jef L. van Meerbergen
2007	C	`conf`	Latency Minimization for Synchronous Data Flow Graphs. DSD Amir Hossein Ghamarian, Sander Stuijk, Twan Basten, Marc Geilen, Bart D. Theelen
2007	A*	`conf`	Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs. DAC Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal
2007	—	`ed.`	Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic ACSD Twan Basten, Gabriel Juhás, Sandeep K. Shukla
2006	C	`conf`	A Monitoring-Aware Network-on-Chip Design Flow. DSD Calin Ciordas, Andreas Hansson, Kees Goossens, Twan Basten
2006	C	`conf`	A scenario-aware data flow model for combined long-run average and worst-case performance analysis. MEMOCODE Bart D. Theelen, Marc Geilen, Twan Basten, Jeroen Voeten, Stefan Valentin Gheorghita, Sander Stuijk
2006	—	`conf`	Application Scenarios in Streaming-Oriented Embedded System Design. SoC Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal
2006	—	`conf`	Dynamic-SIMD for lens distortion compensation. ASAP Bart Mesman, Hamed Fatemi, Henk Corporaal, Twan Basten
2006	A*	`conf`	Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs. DAC Sander Stuijk, Marc Geilen, Twan Basten
2006	B	`conf`	Liveness and Boundedness of Synchronous Data Flow Graphs. FMCAD Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, Sander Stuijk
2006	C	`conf`	NoC monitoring: impact on the design flow. ISCAS Calin Ciordas, Kees Goossens, Andrei Radulescu, Twan Basten
2006	—	`conf`	Profiling Driven Scenarion Detection and Prediction for Multimedia Applications. ICSAMOS Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal
2006	J	`jnl`	RC-SIMD: Reconfigurable communication SIMD architecture for image processing applications. J. Embed. Comput. Hamed Fatemi, Bart Mesman, Henk Corporaal, Twan Basten, Richard P. Kleihorst
2006	C	`conf`	Resource-Efficient Routing and Scheduling of Time-Constrained Network-on-Chip Communication. DSD Sander Stuijk, Twan Basten, Marc Geilen, Amir Hossein Ghamarian, Bart D. Theelen
2006	A	`conf`	Run-time reconfiguration of communication in SIMD architectures. IPDPS Hamed Fatemi, Bart Mesman, Henk Corporaal, Twan Basten, Pieter P. Jonker
2006	—	`conf`	SDF ACSD Sander Stuijk, Marc Geilen, Twan Basten
2006	—	`conf`	Throughput Analysis of Synchronous Data Flow Graphs. ACSD Amir Hossein Ghamarian, Marc Geilen, Sander Stuijk, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, A. J. M. Moonen, Marco Bekooij
2006	C	`conf`	Transaction Monitoring in Networks on Chip: The On-Chip Run-Time Perspective. IES Calin Ciordas, Kees Goossens, Twan Basten, Andrei Radulescu, Andre Boon
2005	—	`conf`	An Algebra of Pareto Points. ACSD Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten
2005	J	`jnl`	An event-based monitoring service for networks on chip. ACM Trans. Design Autom. Electr. Syst. Calin Ciordas, Twan Basten, Andrei Radulescu, Kees Goossens, Jef L. van Meerbergen
2005	A*	`conf`	Automatic scenario detection for improved WCET estimation. DAC Stefan Valentin Gheorghita, Sander Stuijk, Twan Basten, Henk Corporaal
2005	B	`conf`	Designing Area and Performance Constrained SIMD/VLIW Image Processing Architectures. ACIVS Hamed Fatemi, Henk Corporaal, Twan Basten, Richard P. Kleihorst, Pieter P. Jonker
2005	C	`conf`	Extended abstract: estimation times of on-chip multiprocessor stream-oriented applications. MEMOCODE Peter Poplavko, Twan Basten, Milan Pastrnak, Jef L. van Meerbergen, Marco Bekooij, Peter H. N. de With
2005	Misc	`conf`	Intra-task scenario-aware voltage scheduling. CASES Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal
2005	J	`jnl`	Iterative compilation for energy reduction. J. Embed. Comput. Stefan Valentin Gheorghita, Henk Corporaal, Twan Basten
2005	A*	`conf`	Minimising buffer requirements of synchronous dataflow graphs with model checking. DAC Marc Geilen, Twan Basten, Sander Stuijk
2005	A	`conf`	Predictable Embedding of Large Data Structures in Multiprocessor Networks-on-Chip. DATE Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen
2005	C	`conf`	Predictable embedding of large data structures in multiprocessor networks-on-chip. DSD Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen
2004	—	`conf`	An event-based network-on-chip monitoring service. HLDVT Calin Ciordas, Twan Basten, Andrei Radulescu, Kees Goossens, Jef L. van Meerbergen
2004	J	`jnl`	Cluster-Based Partial-Order Reduction. Autom. Softw. Eng. Twan Basten, Dragan Bosnacki, Marc Geilen
2004	A	`conf`	Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. DATE Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten
2004	Misc	`conf`	Reactive process networks. EMSOFT Marc Geilen, Twan Basten
2003	A	`conf`	Ambient Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts. DATE Menno Lindwer, Diana Marculescu, Twan Basten, Rainer Zimmermann, Radu Marculescu, Stefan Jung, Eugenio Cantatore
2003	—	`book`	Ambient intelligence - impact on embedded system design. Twan Basten, Marc Geilen, Harmke de Groot
2003	C	`conf`	Analyzing Concurrency in Computational Networks. MEMOCODE Sander Stuijk, Twan Basten
2003	—	`conf`	CAST - A Task-Level Concurrency Analysis Tool. ACSD Sander Stuijk, Twan Basten, Jan Ypma
2003	—	`conf`	Deciding Life-Cycle Inheritance on Petri Nets. ICATPN H. M. W. Verbeek, Twan Basten
2003	—	`conf`	PARS: A Process Algebra with Resources and Schedulers. FORMATS Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron
2003	A	`conf`	Requirements on the Execution of Kahn Process Networks. ESOP Marc Geilen, Twan Basten
2003	A	`conf`	Scaling into Ambient Intelligence. DATE Twan Basten, Luca Benini, Anantha P. Chandrakasan, Menno Lindwer, Jie Liu, Rex Min, Feng Zhao
2003	—	`conf`	Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems. ACSD Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron
2003	J	`jnl`	Static resource models for code-size efficient embedded processors. ACM Trans. Embed. Comput. Syst. Qin Zhao, Bart Mesman, Twan Basten
2003	Misc	`conf`	Task-level timing models for guaranteed performance in multiprocessor networks-on-chip. CASES Peter Poplavko, Twan Basten, Marco Bekooij, Jef L. van Meerbergen, Bart Mesman
2002	J	`jnl`	Inheritance of workflows: an approach to tackling problems related to change. Theor. Comput. Sci. Wil M. P. van der Aalst, Twan Basten
2002	A	`conf`	Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models. DATE Qin Zhao, Bart Mesman, Twan Basten
2002	—	`conf`	Using Aspect-GAMMA in the design of embedded systems. HLDVT Mohammad Reza Mousavi, Giovanni Russello, Michel R. V. Chaudron, Michel A. Reniers, Twan Basten, Angelo Corsaro, Sandeep K. Shukla, Rajesh K. Gupta, Douglas C. Schmidt
2001	J	`jnl`	Diagnosing Workflow Processes using Woflan. Comput. J. H. M. W. Verbeek, Twan Basten, Wil M. P. van der Aalst
2001	A*	`conf`	Enhancing Partial-Order Reduction via Process Clustering. ASE Twan Basten, Dragan Bosnacki
2001	—	`conf`	Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance. ICATPN Wil M. P. van der Aalst, Twan Basten
2001	—	`conf`	Inheritance of Dynamic Behavior: Development of a Groupware Editor. Concurrent Object-Oriented Programming and Petri Nets Twan Basten, Wil M. P. van der Aalst
2001	J	`jnl`	Inheritance of behavior. J. Log. Algebraic Methods Program. Twan Basten, Wil M. P. van der Aalst
2001	—	`ch.`	Partial-Order Process Algebra (and its Relation to Petri Nets). Handbook of Process Algebra Jos C. M. Baeten, Twan Basten
2001	—	`conf`	Static resource models of instruction sets. ISSS Qin Zhao, Twan Basten, Bart Mesman, C. A. J. van Eijk, Jochen A. G. Jess
1999	—	`conf`	Adaptive Workflow-On the Interplay between Flexibility and Support. ICEIS Wil M. P. van der Aalst, Twan Basten, H. M. W. Verbeek, Peter A. C. Verkoulen, Marc Voorhoeve
1999	A	`conf`	Process Algebra in PVS. TACAS Twan Basten, Jozef Hooman
1997	—	`conf`	Life-Cycle Inheritance: A Petri-Net-Based Approach. ICATPN Wil M. P. van der Aalst, Twan Basten
1997	J	`jnl`	Parsing Partially Ordered Multisets. Int. J. Found. Comput. Sci. Twan Basten
1997	J	`jnl`	Poet: Target-System Independent Visualizations of Complex Distributed-Application Executions. Comput. J. Thomas Kunz, James P. Black, David J. Taylor, Twan Basten
1997	J	`jnl`	Vector Time and Causality Among Abstract Events in Distributed Computations. Distributed Comput. Twan Basten, Thomas Kunz, James P. Black, Michael H. Coffin, David J. Taylor
1996	J	`jnl`	Branching Bisimilarity is an Equivalence Indeed! Inf. Process. Lett. Twan Basten
1995	—	`conf`	An Algebraic Semantics for Hierarchical P/T Nets. Application and Theory of Petri Nets Twan Basten, Marc Voorhoeve
1995	J	`jnl`	Simulating and analyzing railway interlockings in ExSpect. IEEE Parallel Distributed Technol. Syst. Appl. Twan Basten, Roland N. Bol, Marc Voorhoeve
1994	—	`conf`	Breakpoints and Time in Distributed Computations. WDAG Twan Basten