T. Basten
发表
Thomas Kunz,
Twan Basten,
James P. Black,
1997,
Distributed Computing.
Wil M. P. van der Aalst,
Twan Basten,
Wil M.P. van der Aalst,
2001,
Comput. J..
Wil M. P. van der Aalst,
Twan Basten,
Wil M.P. van der Aalst,
2002
.
Sander Stuijk,
Twan Basten,
Marc Geilen,
2006,
Sixth International Conference on Application of Concurrency to System Design (ACSD'06).
T. Basten,
H. Corporaal,
S. Stuijk,
2022
.
K. Goossens,
T. Basten,
Rasool Tavakoli,
2017
.
T. Basten,
S. Stuijk,
Róbinson Medina,
2015
.
Joost van Pinxten,
L. Somers,
T. Basten,
2016
.
Rolf J. M. Theunissen,
T. Basten,
M. Geilen,
2019
.
Wil M.P. van der Aalst,
T. Basten,
2002
.
Twan Basten,
Marc Voorhoeve,
Wil M.P. van der Aalst,
2000
.
A. Rensink,
B. Yildiz,
T. Basten,
2017
.
Jos C. M. Baeten,
Twan Basten,
Michel A. Reniers,
2009
.
T. Basten,
R. Kneepkens,
2004
.
T. Basten,
Dip Goswami,
S. Mohamed,
2021,
IEEE Access.
F. Vaandrager,
L. Somers,
M. Voorhoeve,
2017
.
Hong Li,
Twan Basten,
Dip Goswami,
2020,
2020 IEEE 91st Vehicular Technology Conference (VTC2020-Spring).
Twan Basten,
Marc Geilen,
T. Basten,
2018,
Handbook of Signal Processing Systems.
Twan Basten,
T. Basten,
1997,
Int. J. Found. Comput. Sci..
Sander Stuijk,
Twan Basten,
Marc Geilen,
2010,
IEEE Transactions on Computers.
Sander Stuijk,
Amir Hossein Ghamarian,
Twan Basten,
2006,
2006 Formal Methods in Computer Aided Design.
Sander Stuijk,
Twan Basten,
Marc Geilen,
2006,
2006 43rd ACM/IEEE Design Automation Conference.
Twan Basten,
Marc Geilen,
T. Basten,
2004,
EMSOFT '04.
Sander Stuijk,
Twan Basten,
Paul Brandt,
2014,
FOIS.
Twan Basten,
Majid Nabi,
Jos Huisken,
2020,
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Milos Blagojevic,
Twan Basten,
Majid Nabi,
2014,
Simul..
Milos Blagojevic,
Twan Basten,
Majid Nabi,
2009,
PE-WASUN '09.
Twan Basten,
Mohammad Reza Mousavi,
Michel R. V. Chaudron,
2015,
Nord. J. Comput..
Sander Stuijk,
Henk Corporaal,
Twan Basten,
2012,
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Twan Basten,
Hong Li,
Dip Goswami,
2018,
2018 21st Euromicro Conference on Digital System Design (DSD).
Twan Basten,
Qin Zhao,
Bart Mesman,
2003,
TECS.
Twan Basten,
Marc Geilen,
Bart D. Theelen,
2005,
Fifth International Conference on Application of Concurrency to System Design (ACSD'05).
Kees G. W. Goossens,
Twan Basten,
Jan Willem van den Brand,
2007,
2007 Design, Automation & Test in Europe Conference & Exhibition.
Milos Blagojevic,
Twan Basten,
Marc Geilen,
2012,
2012 IEEE 31st International Performance Computing and Communications Conference (IPCCC).
Milos Blagojevic,
Twan Basten,
Majid Nabi,
2009,
PM2HW2N '09.
Henk Corporaal,
Lieven Eeckhout,
Koen De Bosschere,
2009,
TODE.
Kees G. W. Goossens,
Twan Basten,
Majid Nabi,
2016,
MSWiM.
Sander Stuijk,
Henk Corporaal,
Twan Basten,
2016,
2016 IEEE International Conference on Multimedia and Expo (ICME).
Twan Basten,
Majid Nabi,
Hailong Jiao,
2019,
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Sandeep K. Shukla,
Douglas C. Schmidt,
Twan Basten,
2002,
Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..
Rajesh Gupta,
Twan Basten,
Mohammad Reza Mousavi,
2002
.
Sander Stuijk,
Henk Corporaal,
Twan Basten,
2005,
Proceedings. 42nd Design Automation Conference, 2005..
Twan Basten,
Marc Geilen,
Jeroen Voeten,
2013,
2013 Euromicro Conference on Digital System Design.
Hadi Alizadeh Ara,
T. Basten,
M. Geilen,
2020,
ACM Trans. Embed. Comput. Syst..
Twan Basten,
H. M. W. Verbeek,
T. Basten,
2003,
ICATPN.
Wil M. P. van der Aalst,
Twan Basten,
Wil M.P. van der Aalst,
2001,
J. Log. Algebraic Methods Program..
Wil M. P. van der Aalst,
Twan Basten,
Wil M.P. van der Aalst,
1997,
ICATPN.
Twan Basten,
Jos C. M. Baeten,
T. Basten,
2001,
Handbook of Process Algebra.
Wil M. P. van der Aalst,
Twan Basten,
Marc Voorhoeve,
1999,
ICEIS.
Wil M. P. van der Aalst,
Twan Basten,
Wil M.P. van der Aalst,
2001,
ICATPN.
Wil M.P. van der Aalst,
T. Basten,
2002
.
Luca Benini,
Anantha Chandrakasan,
Twan Basten,
2003,
2003 Design, Automation and Test in Europe Conference and Exhibition.
Sander Stuijk,
Twan Basten,
Dip Goswami,
2019,
ACM Trans. Cyber Phys. Syst..
Sander Stuijk,
Twan Basten,
Dip Goswami,
2017,
SAC.
Sander Stuijk,
Luís Ferreira Pires,
Marten van Sinderen,
2013,
2013 IEEE Symposium on Computational Intelligence in Healthcare and e-health (CICARE).
Sander Stuijk,
Henk Corporaal,
Twan Basten,
2018,
CGO.
Twan Basten,
Marc Geilen,
Michel A. Reniers,
2018,
2018 18th International Conference on Application of Concurrency to System Design (ACSD).
Dragan Bosnacki,
Twan Basten,
Marc Geilen,
2004
.
Dragan Bosnacki,
Twan Basten,
T. Basten,
2001,
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Twan Basten,
Marc Geilen,
Harmke de Groot,
2003,
Springer US.
Henk Corporaal,
Twan Basten,
Chen-Khong Tham,
2009,
Perform. Evaluation.
Twan Basten,
Jeroen Voeten,
Martijn Hendriks,
2021,
2021 International Conference on Embedded Software (EMSOFT).
Sander Stuijk,
Henk Corporaal,
Twan Basten,
2011,
2011 14th Euromicro Conference on Digital System Design.
Twan Basten,
Marc Voorhoeve,
Roland N. Bol,
1995,
IEEE Parallel & Distributed Technology: Systems & Applications.
Twan Basten,
Bart D. Theelen,
Martijn Hendriks,
2017,
International Journal on Software Tools for Technology Transfer.
Twan Basten,
Orlando Moreira,
Robert de Groote,
2017,
ACM Trans. Design Autom. Electr. Syst..
Sander Stuijk,
Henk Corporaal,
Twan Basten,
2020,
ACM Trans. Archit. Code Optim..
Sander Stuijk,
Henk Corporaal,
Twan Basten,
2020,
SCOPES.
Sander Stuijk,
Henk Corporaal,
Twan Basten,
2019,
ACM Trans. Archit. Code Optim..
Sander Stuijk,
Twan Basten,
Marc Geilen,
2008,
IEEE Transactions on Computers.
Henk Corporaal,
Twan Basten,
Bart Mesman,
2006,
J. Embed. Comput..
Twan Basten,
Majid Nabi,
Marc Geilen,
2011,
SimuTools.
Sander Stuijk,
Twan Basten,
Marc Geilen,
2006,
Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..
Twan Basten,
Marc Geilen,
Marcel Steine,
2015,
ACM Trans. Sens. Networks.
Twan Basten,
Marc Geilen,
Marcel Steine,
2012,
2012 15th Euromicro Conference on Digital System Design.
Henk Corporaal,
Twan Basten,
Chen-Khong Tham,
2007,
MSWiM '07.
Twan Basten,
Marc Voorhoeve,
M. Voorhoeve,
1995,
Application and Theory of Petri Nets.
Sander Stuijk,
Twan Basten,
Kees Goossens,
2020,
System-Scenario-based Design Principles and Applications.
Hadi Alizadeh Ara,
Reinier van Kampenhout,
K. Goossens,
2020
.
Twan Basten,
Marc Geilen,
Martijn Hendriks,
2018,
Journal of Signal Processing Systems.
T. Basten,
M. Geilen,
M. Reniers,
2022,
IEEE Transactions on Automatic Control.
Twan Basten,
Michel Reniers,
Marc Geilen,
2019
.
Twan Basten,
Marc Geilen,
João Bastos,
2016,
2016 Forum on Specification and Design Languages (FDL).
Twan Basten,
C. H. Dorst,
D. K. Hammer,
2006
.
R. Leupers,
E. Deprettere,
T. Basten,
2018,
Handbook of Signal Processing Systems.
Twan Basten,
Marc Geilen,
T. Basten,
2003,
ESOP.
Henk Corporaal,
Twan Basten,
Stefan Valentin Gheorghita,
2008,
IEEE Design & Test of Computers.
Sander Stuijk,
Twan Basten,
Marc Geilen,
2010,
DSD.
Wil M.P. van der Aalst,
T. Basten,
2002,
Theor. Comput. Sci..
Twan Basten,
T. Basten,
1996,
Inf. Process. Lett..
Twan Basten,
Bart Mesman,
Marco Bekooij,
2003,
CASES '03.
Twan Basten,
Martijn Hendriks,
Nikola Trčka,
2012,
FORMATS.
Sander Stuijk,
Twan Basten,
Marc Geilen,
2017,
J. Parallel Distributed Comput..
Sander Stuijk,
Twan Basten,
Marc Geilen,
2015,
2015 15th International Conference on Application of Concurrency to System Design.
Sander Stuijk,
Henk Corporaal,
Twan Basten,
2011,
2011 14th Euromicro Conference on Digital System Design.
Twan Basten,
Marc Geilen,
Martijn Hendriks,
2018,
ACM Trans. Embed. Comput. Syst..
Sander Stuijk,
Twan Basten,
Marc Geilen,
2011,
2011 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation.
Sander Stuijk,
Amir Hossein Ghamarian,
Twan Basten,
2006,
Sixth International Conference on Application of Concurrency to System Design (ACSD'06).
Wil M. P. van der Aalst,
Twan Basten,
Wil M.P. van der Aalst,
2001
.
Wil M. P. van der Aalst,
Twan Basten,
Wil M.P. van der Aalst,
2001,
Concurrent Object-Oriented Programming and Petri Nets.
T. Basten,
S. Stuijk,
M. Geilen,
2010,
2010 International Conference on Electrical and Control Engineering.
M.R. Mosavi,
T. Basten,
S. Stuijk,
2010
.
Sandeep K. Shukla,
Twan Basten,
Mohammad Reza Mousavi,
2004,
Proceedings Design, Automation and Test in Europe Conference and Exhibition.
Sander Stuijk,
Twan Basten,
Marc Geilen,
2019
.
Venkatesh Kannan,
Twan Basten,
Frits W. Vaandrager,
2008,
FORMATS.
Sander Stuijk,
Henk Corporaal,
Twan Basten,
2013,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Sander Stuijk,
Twan Basten,
Marc Geilen,
2016,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Twan Basten,
Marc Geilen,
Jeroen Voeten,
2018,
2018 21st Euromicro Conference on Digital System Design (DSD).
Henk Corporaal,
Twan Basten,
Stefan Valentin Gheorghita,
2008,
J. Signal Process. Syst..
Twan Basten,
Majid Nabi,
Kees Goossens,
2019,
IEEE Transactions on Industrial Informatics.
Jozef Hooman,
Twan Basten,
T. Basten,
1999,
TACAS.
T. Basten,
D. Bosnacki,
M. Geilen,
2004,
International Conference on Automated Software Engineering.
Twan Basten,
Dip Goswami,
Iñaki Martín Soroa,
2021,
Transportation Research Part C: Emerging Technologies.
Sander Stuijk,
Henk Corporaal,
Twan Basten,
2015,
WESE.
Milos Blagojevic,
Twan Basten,
Majid Nabi,
2011,
2011 IEEE Sixth International Conference on Networking, Architecture, and Storage.
Twan Basten,
Martijn Hendriks,
Lou J. Somers,
2016,
International Journal on Software Tools for Technology Transfer.
Twan Basten,
Roelof Hamberg,
Jacques Verriet,
2013
.
Twan Basten,
Marc Geilen,
Zaid Al-Ars,
2019,
CF.
T. Basten,
J. Verriet,
M. Hendriks,
2024,
Int. J. Softw. Tools Technol. Transf..
Kees G. W. Goossens,
Twan Basten,
Majid Nabi,
2018,
2018 IEEE 29th Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC).
Twan Basten,
Dip Goswami,
Sajid Mohamed,
2020,
Microprocess. Microsystems.