Twan Basten

Cited by

	All	Since 2017
Citations	9216	2464
h-index	45	24
i10-index	145	74

720

360

180

540

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202244 64 74 124 151 166 201 257 387 442 435 504 566 605 711 587 575 577 530 540 403 408 397 179

Public access

View all

38 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Marc GeilenEindhoven University of TechnologyVerified email at tue.nl
Sander StuijkAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
Henk CorporaalProfessor Embedded System Architectures, Eindhoven University of Technology, the NetherlandsVerified email at tue.nl
Wil van der AalstProfessor of Process and Data Science, RWTH Aachen University || Celonis || Fraunhofer FIT || TU/eVerified email at pads.rwth-aachen.de
Dip GoswamiAssistant Professor, Electrical Engineering, Eindhoven University of Technology (TU/e)Verified email at tue.nl
Bart TheelenCanon Production Printing / ModelTechVerified email at modeltech.org
Majid NabiEindhoven University of Technology - IUTVerified email at tue.nl
Martijn HendriksEindhoven University of TechnologyVerified email at tue.nl
Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
Kees GoossensProfessor in Real-Time Embedded Systems, Eindhoven university of TechnologyVerified email at tue.nl
Amirhossein GhamarianPhd of computer science, University of TwenteVerified email at asml.com
Jeroen VoetenProfessor Electronic Systems, Eindhoven University of TechnologyVerified email at tue.nl
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerified email at kcl.ac.uk
Eric VerbeekScientific Engineer, Eindhoven University of TechnologyVerified email at tue.nl
Marco BekooijUniversity of Twente / NXP-SemiconductorsVerified email at nxp.com
Amir Reza Baghban BehrouzianResearcherVerified email at cpp.canon
Jacques VerrietESI (TNO)Verified email at tno.nl
Teun HendriksTNO, TeatownlakeVerified email at tno.nl
Yang YangWalmartVerified email at walmart.com
Jos BaetenVerified email at cwi.nl

Twan Basten

Professor of Computational Models, Electrical Engineering, Eindhoven University of Technology

Verified email at tue.nl - Homepage

Model-driven development embedded systems cyber-physical systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	698	2002
SDF^ 3: SDF for free S Stuijk, M Geilen, T Basten Sixth International Conference on Application of Concurrency to System …, 2006	484	2006
Diagnosing workflow processes using Woflan HMW Verbeek, T Basten, WMP van der Aalst The computer journal 44 (4), 246-279, 2001	440	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	329	2006
Process algebra: equational theories of communicating processes JCM Baeten, T Basten, T Basten, MA Reniers Cambridge university press, 2010	282	2010
A scenario-aware data flow model for combined long-run average and worst-case performance analysis. BD Theelen, M Geilen, T Basten, J Voeten, SV Gheorghita, S Stuijk MEMOCODE 6, 185-194, 2006	257	2006
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	219	2006
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	217	2007
Inheritance of behavior T Basten, WMP van der Aalst The Journal of Logic and Algebraic Programming 47 (2), 47-145, 2001	211	2001
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	203	2009
Requirements on the execution of Kahn process networks M Geilen, T Basten European Symposium on Programming, 319-334, 2003	190	2003
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	177	2011
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	172	2008
Branching bisimilarity is an equivalence indeed! T Basten Information Processing Letters 58 (3), 141-147, 1996	151	1996
Adaptive workflow WMP van der Aalst, T Basten, HMW Verbeek, PAC Verkoulen, ... Enterprise Information Systems, 63-70, 2000	147	2000
Life-cycle inheritance WMP van der Aalst, T Basten International Conference on Application and Theory of Petri Nets, 62-81, 1997	133	1997
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	130	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	126	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	122	2003
In terms of nets: System design with Petri nets and process algebra. AA Basten	106	2000

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors