Twan Basten

Cited by

	All	Since 2016
Citations	8731	2533
h-index	44	23
i10-index	136	70

740

370

185

555

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202143 60 75 114 148 165 200 260 389 456 438 511 570 598 729 592 593 582 524 526 386 392 119

Public access

View all

29 articles

3 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 || Fraunhofer FIT || TU/e || TiUVerified email at pads.rwth-aachen.de
Bart TheelenCanon Production Printing / ModelTechVerified email at modeltech.org
Majid NabiAssistant Professor at TU/e - IUTVerified email at tue.nl
Dip GoswamiAssistant Professor, Electrical Engineering, Eindhoven University of Technology (TU/e)Verified email at tue.nl
Martijn HendriksEmbedded Systems Innovation by TNOVerified email at tno.nl
Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
Amirhossein GhamarianPhd of computer science, University of TwenteVerified email at asml.com
Kees GoossensProfessor in Real-Time Embedded Systems, Eindhoven university of TechnologyVerified email at tue.nl
Jeroen VoetenProfessor Electronic Systems, Eindhoven University of TechnologyVerified email at tue.nl
Mohammad Reza MousaviProfessor, University of LeicesterVerified email at le.ac.uk
Eric VerbeekScientific Engineer, Eindhoven University of TechnologyVerified email at tue.nl
Bart MesmanTUEVerified email at tue.nl
Teun HendriksTNO, TeatownlakeVerified email at tno.nl
Jacques VerrietESI (TNO)Verified email at tno.nl
Jos BaetenVerified email at cwi.nl
Ramon R.H. SchiffelersAssistant Professor, Eindhoven University of TechnologyVerified email at tue.nl
Hamid ShojaeiUniversity of Wisconsin-MadisonVerified email at wisc.edu

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	682	2002
SDF^ 3: SDF for free S Stuijk, M Geilen, T Basten Sixth International Conference on Application of Concurrency to System …, 2006	456	2006
Diagnosing workflow processes using Woflan HMW Verbeek, T Basten, WMP van der Aalst The computer journal 44 (4), 246-279, 2001	424	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	317	2006
Process algebra: equational theories of communicating processes JCM Baeten, T Basten, T Basten, MA Reniers Cambridge university press, 2010	272	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	247	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	209	2007
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	209	2006
Inheritance of behavior T Basten, WMP van der Aalst The Journal of Logic and Algebraic Programming 47 (2), 47-145, 2001	206	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	194	2009
Requirements on the execution of Kahn process networks M Geilen, T Basten European Symposium on Programming, 319-334, 2003	186	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	167	2008
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	163	2011
Branching bisimilarity is an equivalence indeed! T Basten Information Processing Letters 58 (3), 141-147, 1996	145	1996
Adaptive workflow WMP van der Aalst, T Basten, HMW Verbeek, PAC Verkoulen, ... Enterprise Information Systems, 63-70, 2000	143	2000
Life-cycle inheritance WMP van der Aalst, T Basten International Conference on Application and Theory of Petri Nets, 62-81, 1997	134	1997
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
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	124	2005
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	119	2003
In terms of nets: System design with Petri nets and process algebra. AA Basten	103	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

Upload PDF

Follow this author

Cited by

Co-authors