Twan Basten
Twan Basten
Professor of Computational Models, Electrical Engineering, Eindhoven University of Technology
Email verificata su tue.nl - Home page
TitoloCitata daAnno
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
6482002
Diagnosing workflow processes using Woflan
HMW Verbeek, T Basten, WMP van der Aalst
The computer journal 44 (4), 246-279, 2001
4072001
Sdf^ 3: Sdf for free
S Stuijk, M Geilen, T Basten
Sixth International Conference on Application of Concurrency to System …, 2006
4042006
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
2842006
Process algebra: equational theories of communicating processes
JCM Baeten, T Basten, T Basten, MA Reniers
Cambridge university press, 2010
2482010
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
2282006
Inheritance of behavior
T Basten, WMP van der Aalst
Journal of Logic and Algebraic Programming 47 (2), 47-146, 2001
1992001
Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs
S Stuijk, M Geilen, T Basten
2006 43rd ACM/IEEE Design Automation Conference, 899-904, 2006
1962006
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
1932007
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
1842009
Requirements on the execution of Kahn process networks
M Geilen, T Basten
European Symposium on Programming, 319-334, 2003
1672003
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
1542008
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
1372011
Adaptive workflow
WMP van der Aalst, T Basten, HMW Verbeek, PAC Verkoulen, ...
Enterprise Information Systems, 63-70, 2000
1362000
Branching bisimilarity is an equivalence indeed!
T Basten
Information Processing Letters 58 (3), 141-147, 1996
1361996
Life-cycle inheritance
WMP van der Aalst, T Basten
International Conference on Application and Theory of Petri Nets, 62-81, 1997
1341997
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
1202007
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
1162005
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
1142003
In terms of nets: System design with Petri nets and process algebra.
AA Basten
992000
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20