![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Twan Basten
Person information
- affiliation: Eindhoven University of Technology, Netherlands
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j66]Mahtab Modaber
, Martijn Hendriks, Marc Geilen
, Twan Basten
, Jeroen Voeten
:
A Method for Building Trustworthy Hybrid Performance Models for Cyber-Physical Systems of Systems. IEEE Access 12: 92733-92752 (2024) - [j65]Martijn Hendriks, Jacques Verriet, Twan Basten:
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool. Int. J. Softw. Tools Technol. Transf. 26(1): 101-126 (2024) - [c156]Nasim Samimi, Mitra Nasri, Twan Basten, Marc Geilen:
Work in Progress: Guaranteeing Weakly-Hard Timing Constraints in Server-Based Real-Time Systems. RTAS 2024: 402-405 - 2023
- [j64]Alireza Mohamadkhani
, Marc Geilen
, Jeroen Voeten
, Twan Basten
:
Modeling and analysis of switching max-plus linear systems with discrete-event feedback. Discret. Event Dyn. Syst. 33(3): 341-372 (2023) - [j63]Hossein Elahi
, Marc Geilen
, Twan Basten
:
Efficient Computation of the Max-Plus Semantics of Synchronous Dataflow Graphs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(10): 3412-3425 (2023) - [c155]Jacques Verriet, Bram van der Sanden, Gijs van der Veen, André van Splunter, Sam Lousberg, Martijn Hendriks, Twan Basten:
Experiences and Lessons from Introducing Model-Based Analysis in Brown-Field Product Family Development. MODELSWARD 2023: 226-236 - [i3]Alireza Mohamadkhani, Marc Geilen, Jeroen Voeten, Twan Basten:
Time- and Behavior-Preserving Execution of Determinate Supervisory Control. CoRR abs/2312.05011 (2023) - 2022
- [j62]Amr Ibrahim
, Dip Goswami
, Hong Li
, Twan Basten
:
Delay-Aware Multi-Layer Multi-Rate Model Predictive Control for Vehicle Platooning Under Message-Rate Congestion Control. IEEE Access 10: 44583-44607 (2022) - [j61]Paul Detterer
, Majid Nabi
, Hailong Jiao, Twan Basten
:
Receiver Design With an Adjustable Energy-Signal-Quality Tradeoff for IoT Networks. IEEE Internet Things J. 9(22): 23086-23096 (2022) - [j60]Bram van der Sanden
, Marc Geilen
, Michel A. Reniers
, Twan Basten
:
Partial-Order Reduction for Supervisory Controller Synthesis. IEEE Trans. Autom. Control. 67(2): 870-885 (2022) - [c154]Alex Thieme, Twan Basten
:
Minesweeper is Difficult Indeed! - Technology Scaling for Minesweeper Circuits. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 472-490 - 2021
- [j59]Sajid Mohamed
, Dip Goswami
, Sayandip De
, Twan Basten
:
Optimizing Multiprocessor Image-Based Control Through Pipelining and Parallelism. IEEE Access 9: 112332-112358 (2021) - [j58]Róbinson Medina Sánchez, Shayan Tabatabaei Nikkhah
, Dip Goswami
, Maurice Heemels
, Sander Stuijk
, Twan Basten
:
Reconfigurable Pipelined Control Systems. IEEE Des. Test 38(5): 17-24 (2021) - [j57]Paul Detterer
, Majid Nabi
, Hailong Jiao, Twan Basten
:
Receiver-Sensitivity Control for Energy-Efficient IoT Networks. IEEE Commun. Lett. 25(4): 1383-1386 (2021) - [j56]Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten:
Interface Modeling for Quality and Resource Management. Log. Methods Comput. Sci. 17(2) (2021) - [j55]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:
Design and management of image processing pipelines within CPS: Acquired experience towards the end of the FitOptiVis ECSEL Project. Microprocess. Microsystems 87: 104350 (2021) - [c153]Bram van der Sanden, Yonghui Li, Joris van den Aker, Benny Akesson, Tjerk Bijlsma, Martijn Hendriks, Kostas Triantafyllidis, Jacques Verriet, Jeroen Voeten, Twan Basten:
Model-driven system-performance engineering for cyber-physical systems. EMSOFT 2021: 11-22 - 2020
- [j54]Sajid Mohamed
, Dip Goswami, Vishak Nathan, Raghu Rajappa, Twan Basten:
A scenario- and platform-aware design flow for image-based control systems. Microprocess. Microsystems 75: 103037 (2020) - [j53]Savvas Sioutas, Sander Stuijk
, Twan Basten, Henk Corporaal, Lou J. Somers:
Schedule Synthesis for Halide Pipelines on GPUs. ACM Trans. Archit. Code Optim. 17(3): 23:1-23:25 (2020) - [j52]Amir R. B. Behrouzian
, Hadi Alizadeh Ara
, Marc Geilen
, Dip Goswami, Twan Basten:
Firmness Analysis of Real-time Tasks. ACM Trans. Embed. Comput. Syst. 19(4): 26:1-26:24 (2020) - [c152]Sajid Mohamed
, Nilay Saraf, Daniele Bernardini
, Dip Goswami, Twan Basten, Alberto Bemporad:
Adaptive predictive control for pipelined multiprocessor image-based control systems considering workload variations. CDC 2020: 5236-5242 - [c151]Paul Detterer
, Cumhur Erdin
, Jos Huisken
, Hailong Jiao, Majid Nabi, Twan Basten, José Pineda de Gyvez:
Trading Sensitivity for Power in an IEEE 802.15.4 Conformant Adequate Demodulator. DATE 2020: 1674-1679 - [c150]Sayandip De, Sajid Mohamed
, Konstantinos Bimpisidis, Dip Goswami, Twan Basten, Henk Corporaal:
Approximation Trade Offs in an Image-Based Control System. DATE 2020: 1680-1685 - [c149]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:
Design and management of image processing pipelines within CPS: 2 years of experience from the FitOptiVis ECSEL Project. DSD 2020: 378-385 - [c148]Freek van den Berg, Václav Camra, Martijn Hendriks, Marc Geilen
, Petr Hnetynka
, Fernando Manteca
, Pablo Sánchez, Tomás Bures
, Twan Basten:
QRML: A Component Language and Toolset for Quality and Resource Management. FDL 2020: 1-8 - [c147]Savvas Sioutas, Sander Stuijk
, Twan Basten, Lou J. Somers, Henk Corporaal:
Programming tensor cores from an image processing DSL. SCOPES 2020: 36-41 - [c146]Amr Ibrahim, Iñaki Martín Soroa, Hong Li, Dip Goswami, Twan Basten:
Performance Analysis of Embedded Platoon Controllers. VTC Spring 2020: 1-7 - [i2]Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten:
Interface Modeling for Quality and Resource Management. CoRR abs/2002.08181 (2020)
2010 – 2019
- 2019
- [j51]Savvas Sioutas, Sander Stuijk
, Luc Waeijen, Twan Basten, Henk Corporaal, Lou J. Somers:
Schedule Synthesis for Halide Pipelines through Reuse Analysis. ACM Trans. Archit. Code Optim. 16(2): 10:1-10:22 (2019) - [j50]Róbinson Medina Sánchez
, Juan Valencia, Sander Stuijk
, Dip Goswami, Twan Basten:
Designing a Controller with Image-based Pipelined Sensing and Additive Uncertainties. ACM Trans. Cyber Phys. Syst. 3(3): 33:1-33:26 (2019) - [j49]Joost van Pinxten, Marc Geilen
, Twan Basten:
Parametric Scheduler Characterization. ACM Trans. Embed. Comput. Syst. 18(5s): 110:1-110:25 (2019) - [j48]Rasool Tavakoli
, Majid Nabi, Twan Basten
, Kees Goossens
:
Topology Management and TSCH Scheduling for Low-Latency Convergecast in In-Vehicle WSNs. IEEE Trans. Ind. Informatics 15(2): 1082-1093 (2019) - [j47]Martijn Hendriks, Hadi Alizadeh Ara, Marc Geilen
, Twan Basten, Ruben Guerra Marin, Rob de Jong, Steven van der Vlugt
:
Monotonic Optimization of Dataflow Buffer Sizes. J. Signal Process. Syst. 91(1): 21-32 (2019) - [c145]Sajid Mohamed
, Asad Ullah Awan, Dip Goswami, Twan Basten:
Designing image-based control systems considering workload variations. CDC 2019: 3997-4004 - [c144]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:
The FitOptiVis ECSEL project: highly efficient distributed embedded image/video processing in cyber-physical systems. CF 2019: 333-338 - [c143]Paul Detterer
, Cumhur Erdin
, Majid Nabi, José Pineda de Gyvez, Twan Basten, Hailong Jiao:
Trading Digital Accuracy for Power in an RSSI Computation of a Sensor Network Transceiver. DATE 2019: 102-107 - [c142]Róbinson Medina Sánchez, Sander Stuijk
, Dip Goswami, Twan Basten:
Implementation-aware design of image-based control with on-line measurable variable-delay. DATE 2019: 240-245 - [c141]Amr Ibrahim, Mladen Cicic, Dip Goswami, Twan Basten, Karl Henrik Johansson:
Control of Platooned Vehicles in Presence of Traffic Shock Waves. ITSC 2019: 1727-1734 - [c140]Sajid Mohamed
, Sayandip De, Konstantinos Bimpisidis, Vishak Nathan, Dip Goswami, Henk Corporaal, Twan Basten:
IMACS: A Framework for Performance Evaluation of Image Approximation in a Closed-loop System. MECO 2019: 1-4 - 2018
- [j46]Joost van Pinxten
, Marc Geilen
, Martijn Hendriks, Twan Basten:
Parametric Critical Path Analysis for Event Networks With Minimal and Maximal Time Lags. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2697-2708 (2018) - [j45]Hadi Alizadeh Ara
, Amir R. B. Behrouzian, Martijn Hendriks, Marc Geilen
, Dip Goswami, Twan Basten:
Scalable Analysis for Multi-Scale Dataflow Models. ACM Trans. Embed. Comput. Syst. 17(4): 80:1-80:26 (2018) - [j44]Rasool Tavakoli
, Majid Nabi, Twan Basten, Kees Goossens:
Dependable Interference-Aware Time-Slotted Channel Hopping for Wireless Sensor Networks. ACM Trans. Sens. Networks 14(1): 3:1-3:35 (2018) - [c139]Bram van der Sanden
, Marc Geilen
, Michel A. Reniers, Twan Basten:
Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems. ACSD 2018: 40-49 - [c138]Savvas Sioutas, Sander Stuijk
, Henk Corporaal, Twan Basten, Lou J. Somers:
Loop transformations leveraging hardware prefetching. CGO 2018: 254-264 - [c137]Hadi Alizadeh Ara, Marc Geilen
, Amir R. B. Behrouzian, Twan Basten, Dip Goswami:
Compositional Dataflow Modelling for Cyclo-Static Applications. DSD 2018: 121-129 - [c136]Ruben Jonk, Jeroen Voeten, Marc Geilen
, Twan Basten, Ramon R. H. Schiffelers:
Timing Prediction for Service-Based Applications Mapped on Linux-Based Multi-core Platforms. DSD 2018: 130-139 - [c135]Sajid Mohamed
, Diqing Zhu, Dip Goswami, Twan Basten:
Optimising Quality-of-Control for Data-Intensive Multiprocessor Image-Based Control Systems Considering Workload Variations. DSD 2018: 320-327 - [c134]Amr Ibrahim, Chetan Belagal Math, Dip Goswami, Twan Basten, Hong Li:
Co-simulation Framework for Control, Communication and Traffic for Vehicle Platoons. DSD 2018: 352-356 - [c133]Amir R. B. Behrouzian, Dip Goswami, Twan Basten:
Robust co-synthesis of embedded control systems with occasional deadline misses. IOLTS 2018: 127-130 - [c132]Paul Detterer
, Cumhur Erdin
, Majid Nabi, Twan Basten, Hailong Jiao:
Understanding the Impact of Circuit-Level Inaccuracy on Sensor Network Performance. PE-WASUN 2018: 107-114 - [c131]Rasool Tavakoli, Majid Nabi, Twan Basten, Kees Goossens:
Hybrid Timeslot Design for IEEE 802.15.4 TSCH to Support Heterogeneous WSNs. PIMRC 2018: 1-7 - [c130]Amir Reza Baghban Behrouzian, Dip Goswami, Twan Basten, Marc Geilen
, Hadi Alizadeh Ara, Martijn Hendriks:
Firmness Analysis of Real-Time Applications Under Static-Priority Preemptive Scheduling. RTAS 2018: 295-304 - [c129]Hadi Alizadeh Ara, Marc Geilen
, Amir R. B. Behrouzian, Twan Basten:
Throughput-Buffering Trade-Off Analysis for Scenario-Aware Dataflow Models. RTNS 2018: 265-275 - [c128]Rasool Tavakoli, Majid Nabi, Twan Basten, Kees Goossens:
Guard-Time Design for Symmetric Synchronization in IEEE 802.15.4 Time-Slotted Channel Hopping. VTC Spring 2018: 1-5 - 2017
- [j43]Syed Rehan Afzal, Sander Stuijk
, Majid Nabi, Twan Basten
:
Effective link quality estimation as a means to improved end-to-end packet delivery in high traffic mobile ad hoc networks☆. Digit. Commun. Networks 3(3): 150-163 (2017) - [j42]Qi Tang
, Twan Basten
, Marc Geilen
, Sander Stuijk
, Ji-Bo Wei:
Mapping of synchronous dataflow graphs on MPSoCs based on parallelism enhancement. J. Parallel Distributed Comput. 101: 79-91 (2017) - [j41]Martijn Hendriks, Jacques Verriet
, Twan Basten
, Bart D. Theelen, Marco Brassé, Lou J. Somers:
Analyzing execution traces: critical-path analysis and distance analysis. Int. J. Softw. Tools Technol. Transf. 19(4): 487-510 (2017) - [j40]Qi Tang, Twan Basten
, Marc Geilen
, Sander Stuijk
, Jibo Wei:
Task-FIFO Co-Scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy. ACM Trans. Embed. Comput. Syst. 16(2): 49:1-49:25 (2017) - [j39]Joost van Pinxten, Umar Waqas, Marc Geilen
, Twan Basten
, Lou J. Somers:
Online Scheduling of 2-Re-entrant Flexible Manufacturing Systems. ACM Trans. Embed. Comput. Syst. 16(5s): 160:1-160:20 (2017) - [j38]Twan Basten
, Orlando Moreira, Robert de Groote:
Special Section: Integrating Dataflow, Embedded Computing and Architecture. ACM Trans. Design Autom. Electr. Syst. 22(2): 35:1-35:2 (2017) - [j37]Marc Geilen
, Joachim Falk, Christian Haubelt
, Twan Basten
, Bart D. Theelen, Sander Stuijk
:
Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs. J. Signal Process. Syst. 87(1): 157-175 (2017) - [c127]Róbinson Medina Sánchez, Sander Stuijk
, Dip Goswami, Twan Basten
:
Exploring the trade-off between processing resources and settling time in image-based control through LQR tuning. SAC 2017: 1456-1459 - 2016
- [j36]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:
xCPS: a tool to explore cyber physical systems. SIGBED Rev. 14(1): 81-95 (2016) - [j35]Martijn Hendriks, Twan Basten
, Jacques Verriet
, Marco Brassé, Lou J. Somers:
A blueprint for system-level performance modeling of software-intensive embedded systems. Int. J. Softw. Tools Technol. Transf. 18(1): 21-40 (2016) - [j34]Xue-Yang Zhu
, Marc Geilen
, Twan Basten
, Sander Stuijk
:
Multiconstraint Static Scheduling of Synchronous Dataflow Graphs Via Retiming and Unfolding. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(6): 905-918 (2016) - [c126]Martijn Hendriks, Marc Geilen
, Amir R. B. Behrouzian, Twan Basten
, Hadi Alizadeh Ara, Dip Goswami:
Checking Metric Temporal Logic with TRACE. ACSD 2016: 19-24 - [c125]Joost van Pinxten, Marc Geilen, Twan Basten, Umar Waqas, Lou J. Somers:
Online heuristic for the Multi-Objective Generalized traveling salesman problem. DATE 2016: 822-825 - [c124]Umar Waqas, Marc Geilen
, Sander Stuijk
, Joost van Pinxten, Twan Basten
, Lou J. Somers, Henk Corporaal:
A Fast Estimator of Performance with Respect to the Design Parameters of Self Re-Entrant Flowshops. DSD 2016: 215-221 - [c123]Eelco P. van Horssen, Amir Reza Baghban Behrouzian, Dip Goswami, Duarte Antunes
, Twan Basten
, W. P. M. H. Heemels
:
Performance analysis and controller improvement for linear systems with (m, k)-firm data losses. ECC 2016: 2571-2577 - [c122]Bram van der Sanden
, João Bastos, Jeroen Voeten, Marc Geilen, Michel A. Reniers, Twan Basten, Johan Jacobs, Ramon R. H. Schiffelers:
Compositional specification of functionality and timing of manufacturing systems. FDL 2016: 1-8 - [c121]Francesco Comaschi, Sander Stuijk
, Twan Basten
, Henk Corporaal:
Robust online face tracking-by-detection. ICME 2016: 1-6 - [c120]Rasool Tavakoli, Majid Nabi, Twan Basten
, Kees Goossens:
An Experimental Study of Cross-Technology Interference in In-Vehicle Wireless Sensor Networks. MSWiM 2016: 195-204 - [c119]Syed Rehan Afzal, Majid Nabi, Sander Stuijk
, Twan Basten
:
INLyD: Inter-Network-Layer Delay as a Low-cost Quality Metric for Multi-hop Routing in Wireless Mobile Networks. PE-WASUN@MSWiM 2016: 91-100 - [c118]Róbinson Medina Sánchez, Sander Stuijk
, Dip Goswami, Twan Basten
:
Reconfigurable pipelined sensing for image-based control. SIES 2016: 1-8 - [c117]Amir R. B. Behrouzian, Dip Goswami, Marc Geilen
, Martijn Hendriks, Hadi Alizadeh Ara, Eelco P. van Horssen, W. P. M. H. Heemels
, Twan Basten
:
Sample-drop firmness analysis of TDMA-scheduled control applications. SIES 2016: 37-44 - [c116]Shreya Adyanthaya, Marc Geilen
, Twan Basten
, Jeroen Voeten, Ramon R. H. Schiffelers:
Communication aware multiprocessor binding for shared memory systems. SIES 2016: 244-253 - [c115]Hadi Alizadeh Ara, Marc Geilen
, Twan Basten
, Amir R. B. Behrouzian, Martijn Hendriks, Dip Goswami:
Tight temporal bounds for dataflow applications mapped onto shared resources. SIES 2016: 300-307 - 2015
- [j33]Syed Rehan Afzal, Majid Nabi, Sander Stuijk
, Twan Basten
:
Improving End-to-end Packet Delivery in High Traffic Multi-hop Wireless Ad Hoc Networks. EAI Endorsed Trans. Energy Web 2(7): e1 (2015) - [j32]Mohammad Reza Mousavi, Twan Basten, Michel A. Reniers, Michel Chaudron:
Timed-Gamma and its Coordination Language. Nord. J. Comput. 15(2): 75-111 (2015) - [j31]Marcel Steine, Marc Geilen
, Twan Basten
:
A Distributed Reconfiguration Approach for Quality-of-Service Provisioning in Dynamic Heterogeneous Wireless Sensor Networks. ACM Trans. Sens. Networks 11(2): 34:1-34:41 (2015) - [c114]Qi Tang, Twan Basten
, Marc Geilen
, Sander Stuijk
, Ji-Bo Wei:
Task-FIFO Co-scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy. ACSD 2015: 90-99 - [c113]Francesco Comaschi, Sander Stuijk
, Twan Basten
, Henk Corporaal:
Online multi-face detection and tracking using detector confidence and structured SVMs. AVSS 2015: 1-6 - [c112]Umar Waqas, Marc Geilen, Jack Kandelaars, Lou J. Somers, Twan Basten, Sander Stuijk, Patrick Vestjens, Henk Corporaal:
A re-entrant flowshop heuristic for online scheduling of the paper path in a large scale printer. DATE 2015: 573-578 - [c111]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:
xCPS: A tool to eXplore Cyber Physical Systems. WESE 2015: 3:1-3:8 - [c110]Rasool Tavakoli, Majid Nabi, Twan Basten
, Kees Goossens:
Enhanced Time-Slotted Channel Hopping in WSNs Using Non-intrusive Channel-Quality Estimation. MASS 2015: 217-225 - [c109]Bram van der Sanden
, Michel A. Reniers
, Marc Geilen
, Twan Basten
, Johan Jacobs, Jeroen Voeten, Ramon R. H. Schiffelers:
Modular model-based supervisory controller design for wafer logistics in lithography machines. MoDELS 2015: 416-425 - [c108]Martijn Hendriks, Jacques Verriet
, Twan Basten
, Marco Brassé, Reinier Dankers, René Laan, Alexander Lint, Hristina Moneva, Lou J. Somers, Marc Willekens:
Performance Engineering for Industrial Embedded Data-Processing Systems. PROFES 2015: 399-414 - [c107]Shreya Adyanthaya, Marc Geilen
, Twan Basten
, Jeroen Voeten, Ramon R. H. Schiffelers:
Iterative robust multiprocessor scheduling. RTNS 2015: 23-32 - [c106]Nikolaos Ilieskou, Marijn Blom, Lou J. Somers, Michel A. Reniers
, Twan Basten
:
Multi-Domain Virtual Prototyping in a SystemC SIL framework: A heating system case study. SAMOS 2015: 286-294 - [c105]Amir R. B. Behrouzian, Dip Goswami, Twan Basten
, Marc Geilen
, Hadi Alizadeh Ara:
Multi-Constraint multi-processor Resource Allocation. SAMOS 2015: 338-346 - 2014
- [j30]Milos Blagojevic, Marc Geilen
, Twan Basten
, Majid Nabi, Teun Hendriks:
Fast-performance simulation for Gossip-based Wireless Sensor Networks. Simul. 90(1): 103-126 (2014) - [j29]Majid Nabi, Marc Geilen
, Twan Basten
, Milos Blagojevic:
Efficient Cluster Mobility Support for TDMA-Based MAC Protocols in Wireless Sensor Networks. ACM Trans. Sens. Networks 10(4): 65:1-65:32 (2014) - [c104]Marc Geilen
, Joachim Falk, Christian Haubelt
, Twan Basten
, Bart D. Theelen, Sander Stuijk
:
Performance analysis of weakly-consistent scenario-aware dataflow graphs. ACSSC 2014: 393-397 - [c103]Vinh T. Bui, Paul Brandt
, Hang Liu, Twan Basten
, Johan Lukkien:
Semantic Interoperability in Body Area Sensor Networks and Applications. BODYNETS 2014 - [c102]Xue-Yang Zhu, Marc Geilen
, Twan Basten, Sander Stuijk
:
Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming. DATE 2014: 1-6 - [c101]Paul Brandt
, Twan Basten
, Sander Stuijk
:
ContoExam: an ontology on context-aware examinations. FOIS 2014: 303-316 - [c100]Francesco Comaschi, Sander Stuijk
, Twan Basten
, Henk Corporaal:
A tool for fast ground truth generation for object detection and tracking from video. ICIP 2014: 368-372 - [c99]Dip Goswami, Daniel Mueller-Gritschneder
, Twan Basten
, Ulf Schlichtmann
, Samarjit Chakraborty
:
Fault-tolerant embedded control systems for unreliable hardware. ISIC 2014: 464-467 - [c98]Shreya Adyanthaya, Zhihui Zhang, Marc Geilen
, Jeroen Voeten, Twan Basten
, Ramon R. H. Schiffelers:
Robustness analysis of multiprocessor schedules. ICSAMOS 2014: 9-17 - [i1]Dip Goswami, Twan Basten, Samarjit Chakraborty:
Platform-Aware Design of Embedded Controllers. ERCIM News 2014(97) (2014) - 2013
- [j28]Morteza Damavandpeyma, Sander Stuijk
, Twan Basten
, Marc Geilen
, Henk Corporaal:
Schedule-Extended Synchronous Dataflow Graphs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(10): 1495-1508 (2013) - [j27]Hamid Shojaei, Twan Basten
, Marc Geilen
, Azadeh Davoodi:
A fast and scalable multidimensional multiple-choice knapsack heuristic. ACM Trans. Design Autom. Electr. Syst. 18(4): 51:1-51:32 (2013) - [j26]Hamid Shojaei, Azadeh Davoodi, Twan Basten
:
Collaborative Multiobjective Global Routing. IEEE Trans. Very Large Scale Integr. Syst. 21(7): 1308-1321 (2013) - [c97]Paul Brandt
, Twan Basten
, Sander Stuijk
, Vinh T. Bui, P. de Clercq, Luís Ferreira Pires
, Marten van Sinderen:
Semantic interoperability in sensor applications making sense of sensor data. CICARE 2013: 34-41 - [c96]Shreya Adyanthaya, Marc Geilen
, Twan Basten
, Ramon R. H. Schiffelers, Bart D. Theelen, Jeroen Voeten:
Fast Multiprocessor Scheduling with Fixed Task Binding of Large Scale Industrial Cyber Physical Systems. DSD 2013: 979-988 - [c95]Francesco Comaschi, Sander Stuijk
, Twan Basten
, Henk Corporaal:
RASW: A run-time adaptive sliding window to improve Viola-Jones object detection. ICDSC 2013: 1-6 - [c94]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
:
A systematic engineering tool chain approach for self-organizing building automation systems. IECON 2013: 7696-7701 - [c93]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
:
Architecture for self-organizing, co-operative and robust Building Automation Systems. IECON 2013: 7708-7713 - [c92]Majid Nabi, Marc C. W. Geilen
, Twan Basten
:
An empirical study of link quality estimation techniques for disconnection detection in WBANs. MSWiM 2013: 219-228 - [c91]Morteza Damavandpeyma, Sander Stuijk
, Twan Basten
, Marc Geilen
, Henk Corporaal:
Throughput-constrained DVFS for scenario-aware dataflow graphs. IEEE Real-Time and Embedded Technology and Applications Symposium 2013: 175-184 - [p3]Marc Geilen
, Twan Basten
:
Kahn Process Networks and a Reactive Extension. Handbook of Signal Processing Systems 2013: 1041-1081 - 2012
- [j25]Xue-Yang Zhu
, Twan Basten
, Marc Geilen
, Sander Stuijk
:
Efficient Retiming of Multirate DSP Algorithms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31(6): 831-844 (2012) - [c90]Yang Yang, Marc Geilen
, Twan Basten, Sander Stuijk
, Henk Corporaal:
Playing games with scenario- and resource-aware SDF graphs through policy iteration. DATE 2012: 194-199 - [c89]Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal:
Modeling static-order schedules in synchronous dataflow graphs. DATE 2012: 775-780 - [c88]Marcel Steine, Marc Geilen
, Twan Basten
:
A Distributed Feedback Control Mechanism for Quality-of-Service Maintenance in Wireless Sensor Networks. DSD 2012: 739-742 - [c87]Twan Basten
, Martijn Hendriks, Lou J. Somers, Nikola Trcka:
Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems - (Extended Abstract). FORMATS 2012: 1-6 - [c86]Morteza Damavandpeyma, Sander Stuijk
, Marc Geilen
, Twan Basten
, Henk Corporaal:
Parametric throughput analysis of scenario-aware dataflow graphs. ICCD 2012: 219-226 - [c85]Milos Blagojevic, Marc Geilen
, Twan Basten
, Teun Hendriks:
Fast sink placement for Gossip-based Wireless Sensor Networks. IPCCC 2012: 110-119 - [c84]Xue-Yang Zhu
, Marc Geilen
, Twan Basten
, Sander Stuijk
:
Static Rate-Optimal Scheduling of Multirate DSP Algorithms via Retiming and Unfolding. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 109-118 - [c83]Marc Geilen
, Sander Stuijk
, Twan Basten
:
Predictable dynamic embedded data processing. ICSAMOS 2012: 320-327 - [c82]Majid Nabi, Marc Geilen
, Twan Basten
:
Demonstrating on-demand listening and data forwarding in wireless body area networks. SECON 2012: 82-84 - [c81]Majid Nabi, Marc Geilen
, Twan Basten
:
On-demand data forwarding for automatic adaptation of data propagation in WBANs. SECON 2012: 326-334 - 2011
- [c80]Nikola Trcka, Marc Voorhoeve, Twan Basten
:
Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets. ACSD 2011: 13-18 - [c79]Sander Stuijk
, Twan Basten
, Benny Akesson
, Marc Geilen
, Orlando Moreira, Jan Reineke:
Designing next-generation real-time streaming systems. CODES+ISSS 2011: 375-376 - [c78]Yang Yang, Marc Geilen
, Twan Basten
, Sander Stuijk
, Henk Corporaal:
Iteration-Based Trade-Off Analysis of Resource-Aware SDF. DSD 2011: 567-574 - [c77]Morteza Damavandpeyma, Sander Stuijk
, Twan Basten
, Marc Geilen
, Henk Corporaal:
Hybrid Code-Data Prefetch-Aware Multiprocessor Task Graph Scheduling. DSD 2011: 583-590 - [c76]Martijn Hendriks, Marc Geilen
, Twan Basten
:
Pareto Analysis with Uncertainty. EUC 2011: 189-196 - [c75]Marcel Steine, Marc Geilen
, Twan Basten
:
Distributed maintenance of minimum-cost path information in wireless sensor networks. PM2HW2N@MSWiM 2011: 25-32 - [c74]Marcel Steine, Cuong Viet Ngo, Ramon Serna Oliver, Marc Geilen
, Twan Basten
, Gerhard Fohler
, Jean-Dominique Decotignie:
Proactive reconfiguration of wireless sensor networks. MSWiM 2011: 31-40 - [c73]Milos Blagojevic, Majid Nabi, Marc Geilen
, Twan Basten
, Teun Hendriks, Marcel Steine:
A Probabilistic Acknowledgment Mechanism for Wireless Sensor Networks. NAS 2011: 63-72 - [c72]Nikola Trcka, Martijn Hendriks, Twan Basten
, Marc Geilen
, Lou J. Somers:
Integrated model-driven design-space exploration for embedded systems. ICSAMOS 2011: 339-346 - [c71]Sander Stuijk
, Marc Geilen
, Bart D. Theelen, Twan Basten
:
Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications. ICSAMOS 2011: 404-411 - [c70]Majid Nabi, Milos Blagojevic, Marc Geilen
, Twan Basten
:
Dynamic data prioritization for quality-of-service differentiation in heterogeneous Wireless Sensor Networks. SECON 2011: 296-304 - [c69]Majid Nabi, Marc Geilen
, Twan Basten
:
MoBAN: a configurable mobility model for wireless body area networks. SimuTools 2011: 168-177 - 2010
- [j24]Orlando Moreira, Twan Basten
, Marc Geilen
, Sander Stuijk
:
Buffer Sizing for Rate-Optimal Single-Rate Data-Flow Scheduling Revisited. IEEE Trans. Computers 59(2): 188-201 (2010) - [j23]Twan Basten
, Rolf Ernst:
Editorial: Model-driven embedded-system design. ACM Trans. Embed. Comput. Syst. 10(2): 15:1-15:4 (2010) - [c68]Majid Nabi, Twan Basten
, Marc Geilen
, Milos Blagojevic, Teun Hendriks:
A robust protocol stack for multi-hop wireless body area networks with transmit power adaptation. BODYNETS 2010: 77-83 - [c67]Yang Yang, Marc Geilen
, Twan Basten, Sander Stuijk
, Henk Corporaal:
Automated bottleneck-driven design-space exploration of media processing systems. DATE 2010: 1041-1046 - [c66]Maarten Wiggers, Marco Bekooij, Marc Geilen, Twan Basten:
Simultaneous budget and buffer size computation for throughput-constrained task graphs. DATE 2010: 1669-1672 - [c65]Sander Stuijk
, Marc Geilen
, Twan Basten
:
A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour. DSD 2010: 548-555 - [c64]Morteza Damavandpeyma, Sander Stuijk
, Twan Basten
, Marc Geilen
, Henk Corporaal:
Thermal-aware scratchpad memory design and allocation. ICCD 2010: 118-124 - [c63]Peter Poplavko, Marc Geilen
, Twan Basten
:
Predicting the throughput of multiprocessor applications under dynamic workload. ICCD 2010: 282-288 - [c62]Hamid Shojaei, Tai-Hsuan Wu, Azadeh Davoodi, Twan Basten
:
A pareto-algebraic framework for signal power optimization in global routing. ISLPED 2010: 407-412 - [c61]Twan Basten
, Emiel van Benthum, Marc Geilen
, Martijn Hendriks, Fred Houben, Georgeta Igna, Frans Reckers, Sebastian de Smet, Lou J. Somers, Egbert Teeselink:
Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset. ISoLA (1) 2010: 90-105 - [c60]A. Oceguera, Twan Basten, Lou J. Somers, S. Hulsenboom:
Real-time step motor emulator for hardware-in-the-loop simulation. SummerSim 2010: 306-313 - [c59]Majid Nabi, Milos Blagojevic, Marc Geilen
, Twan Basten
, Teun Hendriks:
MCMAC: An Optimized Medium Access Control Protocol for Mobile Clusters in Wireless Sensor Networks. SECON 2010: 28-36 - [p2]Marc Geilen, Twan Basten:
Kahn Process Networks and a Reactive Extension. Handbook of Signal Processing Systems 2010: 967-1006
2000 – 2009
- 2009
- [j22]Rob Hoes, Twan Basten
, Chen-Khong Tham
, Marc Geilen
, Henk Corporaal:
Quality-of-service trade-off analysis for wireless sensor networks. Perform. Evaluation 66(3-5): 191-208 (2009) - [j21]Stefan Valentin Gheorghita, Martin Palkovic, Juan Hamers, Arnout Vandecappelle, Stelios Mamagkakis, Twan Basten
, Lieven Eeckhout, Henk Corporaal, Francky Catthoor, Frederik Vandeputte, Koen De Bosschere:
System-scenario-based design of dynamic embedded systems. ACM Trans. Design Autom. Electr. Syst. 14(1): 3:1-3:45 (2009) - [c58]Hamid Shojaei, Amir Hossein Ghamarian, Twan Basten, Marc Geilen, Sander Stuijk, Rob Hoes:
A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management. DAC 2009: 917-922 - [c57]Yang Yang, Marc Geilen
, Twan Basten
, Sander Stuijk
, Henk Corporaal:
Exploring trade-offs between performance and resource requirements for synchronous dataflow graphs. ESTIMedia 2009: 96-105 - [c56]Rob Hoes, Twan Basten
, Wai-Leong Yeow, Chen-Khong Tham
, Marc Geilen
, Henk Corporaal:
QoS Management for Wireless Sensor Networks with a Mobile Sink. EWSN 2009: 53-68 - [c55]Majid Nabi, Milos Blagojevic, Twan Basten
, Marc Geilen
, Teun Hendriks:
Configuring multi-objective evolutionary algorithms for design-space exploration of wireless sensor networks. PM2HW2N@MSWiM 2009: 111-119 - [c54]Milos Blagojevic, Majid Nabi, Teun Hendriks, Twan Basten
, Marc Geilen
:
Fast simulation methods to predict wireless sensor network performance. PE-WASUN 2009: 41-48 - 2008
- [j20]Stefan Valentin Gheorghita, Twan Basten
, Henk Corporaal:
Application Scenarios in Streaming-Oriented Embedded-System Design. IEEE Des. Test Comput. 25(6): 581-589 (2008) - [j19]Sander Stuijk
, Twan Basten
:
Analyzing concurrency in streaming applications. J. Syst. Archit. 54(1-2): 124-144 (2008) - [j18]Calin Ciordas, Andreas Hansson, Kees Goossens, Twan Basten
:
A monitoring-aware network-on-chip design flow. J. Syst. Archit. 54(3-4): 397-410 (2008) - [j17]Sander Stuijk
, Twan Basten
, Marc Geilen
, Amir Hossein Ghamarian, Bart D. Theelen:
Resource-efficient routing and scheduling of time-constrained streaming communication on networks-on-chip. J. Syst. Archit. 54(3-4): 411-426 (2008) - [j16]Sander Stuijk
, Marc Geilen
, Twan Basten
:
Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs. IEEE Trans. Computers 57(10): 1331-1345 (2008) - [j15]Stefan Valentin Gheorghita, Twan Basten
, Henk Corporaal:
Scenario Selection and Prediction for DVS-Aware Scheduling of Multimedia Applications. J. Signal Process. Syst. 50(2): 137-161 (2008) - [c53]Hamid Shojaei, Twan Basten
, Marc Geilen
, Phillip Stanley-Marbell
:
SPaC: a symbolic pareto calculator. CODES+ISSS 2008: 179-184 - [c52]Amir Hossein Ghamarian, Marc Geilen
, Twan Basten
, Sander Stuijk
:
Parametric Throughput Analysis of Synchronous Data Flow Graphs. DATE 2008: 116-121 - [c51]Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten
, Marc Geilen
, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers:
Formal Modeling and Scheduling of Datapaths of Digital Document Printers. FORMATS 2008: 170-187 - 2007
- [j14]Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten:
An Algebra of Pareto Points. Fundam. Informaticae 78(1): 35-74 (2007) - [c50]Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal:
Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs. DAC 2007: 777-782 - [c49]Marc Geilen
, Twan Basten
:
A calculator for Pareto points. DATE 2007: 285-290 - [c48]Jan Willem van den Brand, Calin Ciordas, Kees Goossens, Twan Basten
:
Congestion-controlled best-effort communication for networks-on-chip. DATE 2007: 948-953 - [c47]Amir Hossein Ghamarian, Sander Stuijk
, Twan Basten
, Marc Geilen
, Bart D. Theelen:
Latency Minimization for Synchronous Data Flow Graphs. DSD 2007: 189-196 - [c46]Peter Poplavko, Twan Basten
, Jef L. van Meerbergen:
Execution-time Prediction for Dynamic Streaming Applications with Task-level Parallelism. DSD 2007: 228-235 - [c45]Rob Hoes, Twan Basten
, Chen-Khong Tham
, Marc Geilen
, Henk Corporaal:
Analysing qos trade-offs in wireless sensor networks. MSWiM 2007: 60-69 - [e1]Twan Basten, Gabriel Juhás, Sandeep K. Shukla:
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic. IEEE Computer Society 2007, ISBN 978-0-7695-2902-8 [contents] - 2006
- [j13]Hamed Fatemi, Bart Mesman, Henk Corporaal, Twan Basten, Richard P. Kleihorst:
RC-SIMD: Reconfigurable communication SIMD architecture for image processing applications. J. Embed. Comput. 2(2): 167-179 (2006) - [c44]Amir Hossein Ghamarian, Marc Geilen
, Sander Stuijk
, Twan Basten
, Bart D. Theelen, Mohammad Reza Mousavi
, A. J. M. Moonen, Marco Bekooij:
Throughput Analysis of Synchronous Data Flow Graphs. ACSD 2006: 25-36 - [c43]Sander Stuijk
, Marc Geilen
, Twan Basten
:
SDF3: SDF For Free. ACSD 2006: 276-278 - [c42]Bart Mesman, Hamed Fatemi, Henk Corporaal, Twan Basten
:
Dynamic-SIMD for lens distortion compensation. ASAP 2006: 261-264 - [c41]Sander Stuijk
, Marc Geilen
, Twan Basten
:
Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs. DAC 2006: 899-904 - [c40]Sander Stuijk
, Twan Basten
, Marc Geilen
, Amir Hossein Ghamarian, Bart D. Theelen:
Resource-Efficient Routing and Scheduling of Time-Constrained Network-on-Chip Communication. DSD 2006: 45-52 - [c39]Calin Ciordas, Andreas Hansson, Kees Goossens, Twan Basten
:
A Monitoring-Aware Network-on-Chip Design Flow. DSD 2006: 97-106 - [c38]Amir Hossein Ghamarian, Marc Geilen
, Twan Basten
, Bart D. Theelen, Mohammad Reza Mousavi
, Sander Stuijk
:
Liveness and Boundedness of Synchronous Data Flow Graphs. FMCAD 2006: 68-75 - [c37]Hamed Fatemi, Bart Mesman, Henk Corporaal, Twan Basten
, Pieter P. Jonker:
Run-time reconfiguration of communication in SIMD architectures. IPDPS 2006 - [c36]Calin Ciordas, Kees Goossens, Andrei Radulescu, Twan Basten:
NoC monitoring: impact on the design flow. ISCAS 2006 - [c35]Stefan Valentin Gheorghita, Twan Basten
, Henk Corporaal:
Application Scenarios in Streaming-Oriented Embedded System Design. SoC 2006: 1-4 - [c34]Bart D. Theelen, Marc Geilen, Twan Basten, Jeroen Voeten, Stefan Valentin Gheorghita, Sander Stuijk:
A scenario-aware data flow model for combined long-run average and worst-case performance analysis. MEMOCODE 2006: 185-194 - [c33]Stefan Valentin Gheorghita, Twan Basten
, Henk Corporaal:
Profiling Driven Scenarion Detection and Prediction for Multimedia Applications. ICSAMOS 2006: 63-70 - [c32]Calin Ciordas, Kees Goossens, Twan Basten
, Andrei Radulescu, Andre Boon:
Transaction Monitoring in Networks on Chip: The On-Chip Run-Time Perspective. IES 2006: 1-10 - 2005
- [j12]Stefan Valentin Gheorghita, Henk Corporaal, Twan Basten:
Iterative compilation for energy reduction. J. Embed. Comput. 1(4): 509-520 (2005) - [j11]Calin Ciordas, Twan Basten
, Andrei Radulescu, Kees Goossens, Jef L. van Meerbergen:
An event-based monitoring service for networks on chip. ACM Trans. Design Autom. Electr. Syst. 10(4): 702-723 (2005) - [c31]Hamed Fatemi, Henk Corporaal, Twan Basten
, Richard P. Kleihorst, Pieter P. Jonker:
Designing Area and Performance Constrained SIMD/VLIW Image Processing Architectures. ACIVS 2005: 689-696 - [c30]Marc Geilen
, Twan Basten
, Bart D. Theelen, Ralph Otten:
An Algebra of Pareto Points. ACSD 2005: 88-97 - [c29]Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal:
Intra-task scenario-aware voltage scheduling. CASES 2005: 177-184 - [c28]Stefan Valentin Gheorghita, Sander Stuijk, Twan Basten, Henk Corporaal:
Automatic scenario detection for improved WCET estimation. DAC 2005: 101-104 - [c27]Marc Geilen, Twan Basten, Sander Stuijk:
Minimising buffer requirements of synchronous dataflow graphs with model checking. DAC 2005: 819-824 - [c26]Sander Stuijk
, Twan Basten
, Bart Mesman, Marc Geilen
:
Predictable Embedding of Large Data Structures in Multiprocessor Networks-on-Chip. DATE 2005: 254-255 - [c25]Sander Stuijk
, Twan Basten
, Bart Mesman, Marc Geilen
:
Predictable embedding of large data structures in multiprocessor networks-on-chip. DSD 2005: 388-396 - [c24]Peter Poplavko, Twan Basten
, Milan Pastrnak, Jef L. van Meerbergen, Marco Bekooij, Peter H. N. de With:
Extended abstract: estimation times of on-chip multiprocessor stream-oriented applications. MEMOCODE 2005: 250-251 - 2004
- [j10]Twan Basten
, Dragan Bosnacki, Marc Geilen
:
Cluster-Based Partial-Order Reduction. Autom. Softw. Eng. 11(4): 365-402 (2004) - [c23]Mohammad Reza Mousavi
, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten
:
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. DATE 2004: 384-389 - [c22]Marc Geilen, Twan Basten:
Reactive process networks. EMSOFT 2004: 137-146 - [c21]Calin Ciordas, Twan Basten
, Andrei Radulescu, Kees Goossens, Jef L. van Meerbergen:
An event-based network-on-chip monitoring service. HLDVT 2004: 149-154 - 2003
- [b1]Twan Basten, Marc Geilen, Harmke de Groot:
Ambient intelligence - impact on embedded system design. Kluwer 2003, ISBN 978-1-4020-7668-8, pp. I-VIII, 1-348 - [j9]Qin Zhao, Bart Mesman, Twan Basten
:
Static resource models for code-size efficient embedded processors. ACM Trans. Embed. Comput. Syst. 2(2): 219-250 (2003) - [c20]Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten
, Michel R. V. Chaudron:
Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems. ACSD 2003: 71-81 - [c19]Sander Stuijk
, Twan Basten
, Jan Ypma:
CAST - A Task-Level Concurrency Analysis Tool. ACSD 2003: 237-238 - [c18]H. M. W. Verbeek, Twan Basten:
Deciding Life-Cycle Inheritance on Petri Nets. ICATPN 2003: 44-63 - [c17]Peter Poplavko, Twan Basten, Marco Bekooij, Jef L. van Meerbergen, Bart Mesman:
Task-level timing models for guaranteed performance in multiprocessor networks-on-chip. CASES 2003: 63-72 - [c16]Menno Lindwer, Diana Marculescu, Twan Basten, Rainer Zimmermann, Radu Marculescu, Stefan Jung, Eugenio Cantatore:
Ambient Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts. DATE 2003: 10010-10017 - [c15]Twan Basten, Luca Benini, Anantha P. Chandrakasan, Menno Lindwer, Jie Liu, Rex Min, Feng Zhao:
Scaling into Ambient Intelligence. DATE 2003: 10076-10083 - [c14]Marc Geilen
, Twan Basten:
Requirements on the Execution of Kahn Process Networks. ESOP 2003: 319-334 - [c13]Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron:
PARS: A Process Algebra with Resources and Schedulers. FORMATS 2003: 134-150 - [c12]Sander Stuijk
, Twan Basten
:
Analyzing Concurrency in Computational Networks. MEMOCODE 2003: 47-48 - 2002
- [j8]Wil M. P. van der Aalst
, Twan Basten
:
Inheritance of workflows: an approach to tackling problems related to change. Theor. Comput. Sci. 270(1-2): 125-203 (2002) - [c11]Qin Zhao, Bart Mesman, Twan Basten
:
Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models. DATE 2002: 1021-1026 - [c10]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:
Using Aspect-GAMMA in the design of embedded systems. HLDVT 2002: 69-74 - 2001
- [j7]H. M. W. Verbeek
, Twan Basten
, Wil M. P. van der Aalst
:
Diagnosing Workflow Processes using Woflan. Comput. J. 44(4): 246-279 (2001) - [j6]Twan Basten
, Wil M. P. van der Aalst
:
Inheritance of behavior. J. Log. Algebraic Methods Program. 47(2): 47-145 (2001) - [c9]Wil M. P. van der Aalst
, Twan Basten:
Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance. ICATPN 2001: 32-52 - [c8]Twan Basten, Wil M. P. van der Aalst
:
Inheritance of Dynamic Behavior: Development of a Groupware Editor. Concurrent Object-Oriented Programming and Petri Nets 2001: 391-405 - [c7]Qin Zhao, Twan Basten, Bart Mesman, C. A. J. van Eijk, Jochen A. G. Jess:
Static resource models of instruction sets. ISSS 2001: 159-164 - [c6]Twan Basten, Dragan Bosnacki:
Enhancing Partial-Order Reduction via Process Clustering. ASE 2001: 245-253 - [p1]Jos C. M. Baeten, Twan Basten:
Partial-Order Process Algebra (and its Relation to Petri Nets). Handbook of Process Algebra 2001: 769-872
1990 – 1999
- 1999
- [c5]Wil M. P. van der Aalst, Twan Basten, H. M. W. Verbeek, Peter A. C. Verkoulen, Marc Voorhoeve:
Adaptive Workflow-On the Interplay between Flexibility and Support. ICEIS 1999: 353-360 - [c4]Twan Basten, Jozef Hooman:
Process Algebra in PVS. TACAS 1999: 270-284 - 1997
- [j5]Thomas Kunz, James P. Black, David J. Taylor, Twan Basten:
Poet: Target-System Independent Visualizations of Complex Distributed-Application Executions. Comput. J. 40(8): 499-512 (1997) - [j4]Twan Basten, Thomas Kunz, James P. Black, Michael H. Coffin, David J. Taylor:
Vector Time and Causality Among Abstract Events in Distributed Computations. Distributed Comput. 11(1): 21-39 (1997) - [j3]Twan Basten:
Parsing Partially Ordered Multisets. Int. J. Found. Comput. Sci. 8(4): 379-407 (1997) - [c3]Wil M. P. van der Aalst
, Twan Basten
:
Life-Cycle Inheritance: A Petri-Net-Based Approach. ICATPN 1997: 62-81 - 1996
- [j2]Twan Basten
:
Branching Bisimilarity is an Equivalence Indeed! Inf. Process. Lett. 58(3): 141-147 (1996) - 1995
- [j1]Twan Basten
, Roland N. Bol, Marc Voorhoeve:
Simulating and analyzing railway interlockings in ExSpect. IEEE Parallel Distributed Technol. Syst. Appl. 3(3): 50-62 (1995) - [c2]Twan Basten, Marc Voorhoeve:
An Algebraic Semantics for Hierarchical P/T Nets. Application and Theory of Petri Nets 1995: 45-65 - 1994
- [c1]Twan Basten:
Breakpoints and Time in Distributed Computations. WDAG 1994: 340-354
Coauthor Index
aka: Amir Reza Baghban Behrouzian
aka: Marc C. W. Geilen
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint