Twan Basten
Twan Basten
Professor of Computational Models, Electrical Engineering, Eindhoven University of Technology
Verified email at - Homepage
Cited by
Cited by
Inheritance of workflows: an approach to tackling problems related to change
WMP Van Der Aalst, T Basten
Theoretical computer science 270 (1-2), 125-203, 2002
SDF^ 3: SDF for free
S Stuijk, M Geilen, T Basten
Sixth International Conference on Application of Concurrency to System …, 2006
Diagnosing workflow processes using Woflan
HMW Verbeek, T Basten, WMP van der Aalst
The computer journal 44 (4), 246-279, 2001
Throughput analysis of synchronous data flow graphs
AH Ghamarian, MCW Geilen, S Stuijk, T Basten, BD Theelen, ...
Sixth International Conference on Application of Concurrency to System …, 2006
Process algebra: equational theories of communicating processes
JCM Baeten, MA Reniers
Cambridge university press, 2010
A scenario-aware data flow model for combined long-run average and worst-case performance analysis
BD Theelen, MCW Geilen, T Basten, JPM Voeten, SV Gheorghita, S Stuijk
Fourth ACM and IEEE International Conference on Formal Methods and Models …, 2006
Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs
S Stuijk, M Geilen, T Basten
Proceedings of the 43rd annual design automation conference, 899-904, 2006
Inheritance of behavior
T Basten, WMP van der Aalst
The Journal of Logic and Algebraic Programming 47 (2), 47-145, 2001
Multiprocessor resource allocation for throughput-constrained synchronous dataflow graphs
S Stuijk, T Basten, MCW Geilen, H Corporaal
Proceedings of the 44th annual Design Automation Conference, 777-782, 2007
System-scenario-based design of dynamic embedded systems
SV Gheorghita, M Palkovic, J Hamers, A Vandecappelle, S Mamagkakis, ...
ACM Transactions on Design Automation of Electronic Systems (TODAES) 14 (1 …, 2009
Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications
S Stuijk, M Geilen, B Theelen, T Basten
2011 International Conference on Embedded Computer Systems: Architectures …, 2011
Requirements on the execution of Kahn process networks
M Geilen, T Basten
Programming Languages and Systems: 12th European Symposium on Programming …, 2003
Throughput-buffering trade-off exploration for cyclo-static and synchronous dataflow graphs
S Stuijk, M Geilen, T Basten
IEEE Transactions on Computers 57 (10), 1331-1345, 2008
Branching bisimilarity is an equivalence indeed!
T Basten
Information Processing Letters 58 (3), 141-147, 1996
Adaptive workflow: On the interplay between flexibility and support
WMP van der Aalst, T Basten, HMW Verbeek, PAC Verkoulen, ...
Enterprise Information Systems, 63-70, 2000
Life-cycle inheritance: A Petri-net-based approach
WMP van der Aalst, T Basten
Application and Theory of Petri Nets 1997: 18th International Conference …, 1997
Minimising buffer requirements of synchronous dataflow graphs with model checking
M Geilen, T Basten, S Stuijk
Proceedings of the 42nd annual Design Automation Conference, 819-824, 2005
Congestion-controlled best-effort communication for networks-on-chip
JW van den Brand, C Ciordas, K Goossens, T Basten
2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007
Task-level timing models for guaranteed performance in multiprocessor networks-on-chip
P Poplavko, T Basten, M Bekooij, J van Meerbergen, B Mesman
Proceedings of the 2003 international conference on Compilers, architecture …, 2003
In terms of nets: System design with Petri nets and process algebra.
AA Basten
The system can't perform the operation now. Try again later.
Articles 1–20