dblp.uni-trier.dewww.uni-trier.de

Twan Basten Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
73EEHamid 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
72EERob 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
71EEStefan 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): (2009)
70EERob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal: Quality-of-service trade-off analysis for wireless sensor networks. Perform. Eval. 66(3-5): 191-208 (2009)
2008
69EEHamid Shojaei, Twan Basten, Marc Geilen, Phillip Stanley-Marbell: SPaC: a symbolic pareto calculator. CODES+ISSS 2008: 179-184
68EEAmir Hossein Ghamarian, Marc Geilen, Twan Basten, Sander Stuijk: Parametric Throughput Analysis of Synchronous Data Flow Graphs. DATE 2008: 116-121
67EEGeorgeta 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
66EEStefan Valentin Gheorghita, Twan Basten, Henk Corporaal: Application Scenarios in Streaming-Oriented Embedded-System Design. IEEE Design & Test of Computers 25(6): 581-589 (2008)
65EESander 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)
64EESander Stuijk, Twan Basten: Analyzing concurrency in streaming applications. Journal of Systems Architecture - Embedded Systems Design 54(1-2): 124-144 (2008)
63EECalin Ciordas, Andreas Hansson, Kees Goossens, Twan Basten: A monitoring-aware network-on-chip design flow. Journal of Systems Architecture - Embedded Systems Design 54(3-4): 397-410 (2008)
62EESander 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. Journal of Systems Architecture - Embedded Systems Design 54(3-4): 411-426 (2008)
61EEStefan Valentin Gheorghita, Twan Basten, Henk Corporaal: Scenario Selection and Prediction for DVS-Aware Scheduling of Multimedia Applications. Signal Processing Systems 50(2): 137-161 (2008)
2007
60 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
59EESander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal: Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs. DAC 2007: 777-782
58EEMarc Geilen, Twan Basten: A calculator for Pareto points. DATE 2007: 285-290
57EEJan Willem van den Brand, Calin Ciordas, Kees Goossens, Twan Basten: Congestion-controlled best-effort communication for networks-on-chip. DATE 2007: 948-953
56EEAmir Hossein Ghamarian, Sander Stuijk, Twan Basten, Marc Geilen, Bart D. Theelen: Latency Minimization for Synchronous Data Flow Graphs. DSD 2007: 189-196
55EEPeter Poplavko, Twan Basten, Jef L. van Meerbergen: Execution-time Prediction for Dynamic Streaming Applications with Task-level Parallelism. DSD 2007: 228-235
54EERob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal: Analysing qos trade-offs in wireless sensor networks. MSWiM 2007: 60-69
53EEMarc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten: An Algebra of Pareto Points. Fundam. Inform. 78(1): 35-74 (2007)
2006
52EEAmir 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
51EESander Stuijk, Marc Geilen, Twan Basten: SDF3: SDF For Free. ACSD 2006: 276-278
50EEBart Mesman, Hamed Fatemi, Henk Corporaal, Twan Basten: Dynamic-SIMD for lens distortion compensation. ASAP 2006: 261-264
49EESander Stuijk, Marc Geilen, Twan Basten: Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs. DAC 2006: 899-904
48EESander 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
47EECalin Ciordas, Andreas Hansson, Kees Goossens, Twan Basten: A Monitoring-Aware Network-on-Chip Design Flow. DSD 2006: 97-106
46EEAmir 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
45EEStefan Valentin Gheorghita, Twan Basten, Henk Corporaal: Profiling Driven Scenarion Detection and Prediction for Multimedia Applications. ICSAMOS 2006: 63-70
44EEHamed Fatemi, Bart Mesman, Henk Corporaal, Twan Basten, Pieter P. Jonker: Run-time reconfiguration of communication in SIMD architectures. IPDPS 2006
43EECalin Ciordas, Kees Goossens, Andrei Radulescu, Twan Basten: NoC monitoring: impact on the design flow. ISCAS 2006
42EEBart 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
41EEHamed Fatemi, Bart Mesman, Henk Corporaal, Twan Basten, Richard P. Kleihorst: RC-SIMD: Reconfigurable communication SIMD architecture for image processing applications. J. Embedded Computing 2(2): 167-179 (2006)
2005
40EEHamed 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
39EEMarc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten: An Algebra of Pareto Points. ACSD 2005: 88-97
38EEStefan Valentin Gheorghita, Twan Basten, Henk Corporaal: Intra-task scenario-aware voltage scheduling. CASES 2005: 177-184
37EEStefan Valentin Gheorghita, Sander Stuijk, Twan Basten, Henk Corporaal: Automatic scenario detection for improved WCET estimation. DAC 2005: 101-104
36EEMarc Geilen, Twan Basten, Sander Stuijk: Minimising buffer requirements of synchronous dataflow graphs with model checking. DAC 2005: 819-824
35EESander Stuijk, Twan Basten, Bart Mesman, Marc Geilen: Predictable Embedding of Large Data Structures in Multiprocessor Networks-on-Chip. DATE 2005: 254-255
34EESander Stuijk, Twan Basten, Bart Mesman, Marc Geilen: Predictable embedding of large data structures in multiprocessor networks-on-chip. DSD 2005: 388-396
33EEPeter 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
32EECalin 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)
31EEStefan Valentin Gheorghita, Henk Corporaal, Twan Basten: Iterative compilation for energy reduction. J. Embedded Computing 1(4): 509-520 (2005)
2004
30EEMohammad 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
29EEMarc Geilen, Twan Basten: Reactive process networks. EMSOFT 2004: 137-146
28EETwan Basten, Dragan Bosnacki, Marc Geilen: Cluster-Based Partial-Order Reduction. Autom. Softw. Eng. 11(4): 365-402 (2004)
2003
27EESander Stuijk, Twan Basten, Jan Ypma: CAST - A Task-Level Concurrency Analysis Tool. ACSD 2003: 237-238
26EEMohammad 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
25EEPeter 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
24EEMenno 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
23EETwan Basten, Luca Benini, Anantha Chandrakasan, Menno Lindwer, Jie Liu, Rex Min, Feng Zhao: Scaling into Ambient Intelligence. DATE 2003: 10076-10083
22EEMarc Geilen, Twan Basten: Requirements on the Execution of Kahn Process Networks. ESOP 2003: 319-334
21EEMohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron: PARS: A Process Algebra with Resources and Schedulers. FORMATS 2003: 134-150
20EEH. M. W. (Eric) Verbeek, Twan Basten: Deciding Life-Cycle Inheritance on Petri Nets. ICATPN 2003: 44-63
19EESander Stuijk, Twan Basten: Analyzing Concurrency in Computational Networks. MEMOCODE 2003: 47-48
18EEQin Zhao, Bart Mesman, Twan Basten: Static resource models for code-size efficient embedded processors. ACM Trans. Embedded Comput. Syst. 2(2): 219-250 (2003)
2002
17EEQin Zhao, Bart Mesman, Twan Basten: Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models. DATE 2002: 1021-1027
16EEWil 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)
2001
15EETwan Basten, Dragan Bosnacki: Enhancing Partial-Order Reduction via Process Clustering. ASE 2001: 245-253
14EETwan 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
13EEWil M. P. van der Aalst, Twan Basten: Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance. ICATPN 2001: 32-52
12 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
11EEH. M. W. (Eric) Verbeek, Twan Basten, Wil M. P. van der Aalst: Diagnosing Workflow Processes using Woflan. Comput. J. 44(4): 246-279 (2001)
10 Twan Basten, Wil M. P. van der Aalst: Inheritance of behavior. J. Log. Algebr. Program. 47(2): 47-145 (2001)
1999
9 Wil M. P. van der Aalst, Twan Basten, H. M. W. (Eric) Verbeek, Peter A. C. Verkoulen, Marc Voorhoeve: Adaptive Workflow-On the Interplay between Flexibility and Support. ICEIS 1999: 353-360
8EETwan Basten, Jozef Hooman: Process Algebra in PVS. TACAS 1999: 270-284
1997
7EEWil M. P. van der Aalst, Twan Basten: Life-Cycle Inheritance: A Petri-Net-Based Approach. ICATPN 1997: 62-81
6 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)
5EETwan Basten, Thomas Kunz, James P. Black, Michael H. Coffin, David J. Taylor: Vector Time and Causality Among Abstract Events in Distributed Computations. Distributed Computing 11(1): 21-39 (1997)
4 Twan Basten: Parsing Partially Ordered Multisets. Int. J. Found. Comput. Sci. 8(4): 379-407 (1997)
1996
3EETwan Basten: Branching Bisimilarity is an Equivalence Indeed! Inf. Process. Lett. 58(3): 141-147 (1996)
1995
2EETwan Basten, Marc Voorhoeve: An Algebraic Semantics for Hierarchical P/T Nets. Application and Theory of Petri Nets 1995: 45-65
1994
1EETwan Basten: Breakpoints and Time in Distributed Computations. WDAG 1994: 340-354

Coauthor Index

1Wil M. P. van der Aalst [7] [9] [10] [11] [13] [14] [16]
2Marco Bekooij [25] [33] [52]
3Luca Benini [23]
4James P. Black [5] [6]
5Dragan Bosnacki [15] [28]
6Koen De Bosschere (Koenraad De Bosschere) [71]
7Jan Willem van den Brand [57]
8Eugenio Cantatore [24]
9Francky Catthoor [71]
10Anantha Chandrakasan (Anantha P. Chandrakasan) [23]
11Michel R. V. Chaudron [21] [26]
12Calin Ciordas [32] [43] [47] [57] [63]
13Michael H. Coffin [5]
14Henk Corporaal [31] [37] [38] [40] [41] [44] [45] [50] [54] [59] [61] [66] [70] [71] [72]
15Lieven Eeckhout [71]
16C. A. J. van Eijk [12]
17Hamed Fatemi [40] [41] [44] [50]
18Marc Geilen [22] [28] [29] [34] [35] [36] [39] [42] [46] [48] [49] [51] [52] [53] [54] [56] [58] [59] [62] [65] [67] [68] [69] [70] [72] [73]
19Amir Hossein Ghamarian [46] [48] [52] [56] [62] [68] [73]
20Stefan Valentin Gheorghita [31] [37] [38] [42] [45] [61] [66] [71]
21Kees G. W. Goossens (Kees Goossens) [32] [43] [47] [57] [63]
22Paul Le Guernic [30]
23Juan Hamers [71]
24Andreas Hansson [47] [63]
25Rob Hoes [54] [70] [72] [73]
26Jozef Hooman [8]
27Georgeta Igna [67]
28Jochen A. G. Jess [12]
29Pieter P. Jonker (Pieter Jonker) [40] [44]
30Gabriel Juhás [60]
31Stefan Jung [24]
32Venkatesh Kannan [67]
33Richard P. Kleihorst [40] [41]
34Thomas Kunz [5] [6]
35Menno Lindwer [23] [24]
36Jie Liu [23]
37Stylianos Mamagkakis (Stelios Mamagkakis) [71]
38Diana Marculescu [24]
39Radu Marculescu [24]
40Jef L. van Meerbergen [25] [32] [33] [55]
41Bart Mesman [12] [17] [18] [25] [34] [35] [41] [44] [50]
42Rex Min [23]
43A. J. M. Moonen [52]
44Mohammad Reza Mousavi [21] [26] [30] [46] [52]
45Ralph Otten [39] [53]
46Martin Palkovic [71]
47Milan Pastrnak [33]
48Peter Poplavko [25] [33] [55]
49Andrei Radulescu [32] [43]
50Michel A. Reniers [21] [26]
51Hamid Shojaei [69] [73]
52Sandeep K. Shukla [30] [60]
53Sebastian de Smet [67]
54Lou J. Somers [67]
55Phillip Stanley-Marbell [69]
56Sander Stuijk [19] [27] [34] [35] [36] [37] [42] [46] [48] [49] [51] [52] [56] [59] [62] [64] [65] [68] [73]
57Jean-Pierre Talpin [30]
58David J. Taylor [5] [6]
59Chen-Khong Tham [54] [70] [72]
60Bart D. Theelen [39] [42] [46] [48] [52] [53] [56] [62]
61Frits W. Vaandrager [67]
62Arnout Vandecappelle [71]
63Frederik Vandeputte [71]
64H. M. W. (Eric) Verbeek (H. M. W. Verbeek, Eric Verbeek) [9] [11] [20]
65Peter A. C. Verkoulen [9]
66Jeroen Voeten [42]
67Marc Voorhoeve [2] [9] [67]
68Peter H. N. de With [33]
69Yang Yang [67]
70Wai-Leong Yeow [72]
71Jan Ypma [27]
72Feng Zhao [23]
73Qin Zhao [12] [17] [18]
74Rainer Zimmermann [24]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)