Twan Basten
Twan Basten
Professor of Computational Models, Electrical Engineering, Eindhoven University of Technology
Verifierad e-postadress på tue.nl - Startsida
TitelCiteras avÅr
Process algebra
JCM Baeten
Cambridge university press, 1990
18801990
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
6322002
Diagnosing workflow processes using Woflan
HMW Verbeek, T Basten, WMP van der Aalst
The computer journal 44 (4), 246-279, 2001
3942001
Sdf^ 3: Sdf for free
S Stuijk, M Geilen, T Basten
Sixth International Conference on Application of Concurrency to System …, 2006
3852006
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
2812006
Process algebra: equational theories of communicating processes
JCM Baeten, T Basten, T Basten, MA Reniers
Cambridge university press, 2010
2302010
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
2142006
Inheritance of behavior
T Basten, WMP van der Aalst
The Journal of Logic and Algebraic Programming 47 (2), 47-145, 2001
2002001
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
1932006
Multiprocessor resource allocation for throughput-constrained synchronous dataflow graphs
S Stuijk, T Basten, MCW Geilen, H Corporaal
2007 44th ACM/IEEE Design Automation Conference, 777-782, 2007
1892007
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), 3, 2009
1702009
Requirements on the execution of Kahn process networks
M Geilen, T Basten
European Symposium on Programming, 319-334, 2003
1602003
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
1512008
Adaptive workflow
WMP van der Aalst, T Basten, HMW Verbeek, PAC Verkoulen, ...
Enterprise Information Systems, 63-70, 2000
1342000
Branching bisimilarity is an equivalence indeed!
T Basten
Information Processing Letters 58 (3), 141-147, 1996
1341996
Life-cycle inheritance
WMP van der Aalst, T Basten
International Conference on Application and Theory of Petri Nets, 62-81, 1997
1281997
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
1262011
Minimising buffer requirements of synchronous dataflow graphs with model checking
M Geilen, T Basten, S Stuijk
Proceedings. 42nd Design Automation Conference, 2005., 819-824, 2005
1152005
Congestion-controlled best-effort communication for networks-on-chip
JW van den Brand, C Ciordas, K Goossens, T Basten
Proceedings of the conference on Design, automation and test in Europe, 948-953, 2007
1142007
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
1122003
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20