| 2023 |
J |
jnl |
Empir. Softw. Eng.
Nan Yang, Pieter J. L. Cuijpers, Dennis Hendriks, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik
|
| 2023 |
— |
conf |
TACAS (2)
Wan J. Fokkink, Martijn A. Goorden, Dennis Hendriks, D. A. van Beek, Albert T. Hofkamp, Ferdie F. H. Reijnen, L. F. P. Etman, Lars Moormann, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, Bram van der Sanden, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel
|
| 2023 |
J |
jnl |
CoRR
Sander Thuijsman, Gökhan Kahraman, Alireza Mohamadkhani, Ferry Timmers, Loek Cleophas, Marc Geilen, Jan Friso Groote, Michel A. Reniers, Ramon R. H. Schiffelers, Jeroen Voeten
|
| 2022 |
C |
conf |
ICSOFT
Bram Hooimeijer, Marc Geilen, Jan Friso Groote, Dennis Hendriks, Ramon R. H. Schiffelers
|
| 2021 |
— |
conf |
ICSE (SEIP)
Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik
|
| 2021 |
— |
conf |
CASE
Bram van der Sanden, Yuri Blankenstein, Ramon R. H. Schiffelers, Jeroen Voeten
|
| 2021 |
A |
conf |
ICSME
Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik
|
| 2021 |
— |
conf |
MoDELS (Companion)
Gökhan Kahraman, Loek Cleophas, Ramon R. H. Schiffelers
|
| 2021 |
J |
jnl |
Empir. Softw. Eng.
Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik
|
| 2021 |
J |
jnl |
Discret. Event Dyn. Syst.
Berend Jan Christiaan van Putten, Bram van der Sanden, Michel A. Reniers, Jeroen Voeten, Ramon R. H. Schiffelers
|
| 2021 |
J |
jnl |
ACM Trans. Cyber Phys. Syst.
João Bastos, Jeroen Voeten, Sander Stuijk, Ramon R. H. Schiffelers, Henk Corporaal
|
| 2020 |
J |
jnl |
Softw. Syst. Model.
Kousar Aslam, Loek Cleophas, Ramon R. H. Schiffelers, Mark van den Brand
|
| 2020 |
A |
conf |
MSR
Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik
|
| 2019 |
— |
conf |
FSEN
Lisette Sanchez, Jan Friso Groote, Ramon R. H. Schiffelers
|
| 2019 |
— |
conf |
CASE
Sander Thuijsman, Dennis Hendriks, Rolf J. M. Theunissen, Michel A. Reniers, Ramon R. H. Schiffelers
|
| 2019 |
A |
conf |
SANER
Nan Yang, Kousar Aslam, Ramon R. H. Schiffelers, Leonard Lensink, Dennis Hendriks, Loek Cleophas, Alexander Serebrenik
|
| 2019 |
— |
conf |
TACAS (3)
Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlüter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager
|
| 2018 |
C |
conf |
SCOPES
João Bastos, Sander Stuijk, Jeroen Voeten, Ramon R. H. Schiffelers, Henk Corporaal
|
| 2018 |
C |
conf |
MODELSWARD
Josh G. M. Mengerink, Bram van der Sanden, Bram C. M. Cappers, Alexander Serebrenik, Ramon R. H. Schiffelers, Mark G. J. van den Brand
|
| 2018 |
— |
conf |
MoDELS (Workshops)
Kousar Aslam, Yaping Luo, Ramon R. H. Schiffelers, Mark van den Brand
|
| 2018 |
A |
conf |
MoDELS
Rodi Jolak, Truong Ho-Quang, Michel R. V. Chaudron, Ramon R. H. Schiffelers
|
| 2018 |
A |
conf |
ICSME
Maikel Leemans, Wil M. P. van der Aalst, Mark G. J. van den Brand, Ramon R. H. Schiffelers, Leonard Lensink
|
| 2018 |
C |
conf |
DSD
Ruben Jonk, Jeroen Voeten, Marc Geilen, Twan Basten, Ramon R. H. Schiffelers
|
| 2018 |
C |
conf |
MODELSWARD
Ramon R. H. Schiffelers, Yaping Luo, Josh Mengerink, Mark van den Brand
|
| 2017 |
— |
conf |
MoDELS (Satellite Events)
Josh G. M. Mengerink, Jeroen Noten, Ramon R. H. Schiffelers, Mark G. J. van den Brand, Alexander Serebrenik
|
| 2017 |
— |
conf |
IWSM-Mensura
Josh Mengerink, Alexander Serebrenik, Ramon R. H. Schiffelers, Mark G. J. van den Brand
|
| 2017 |
C |
conf |
FDL
João Bastos, Bram van der Sanden, Olaf Donk, Jeroen Voeten, Sander Stuijk, Ramon R. H. Schiffelers, Henk Corporaal
|
| 2016 |
A |
conf |
ICSME
J. G. M. Mengerink, Alexander Serebrenik, Ramon R. H. Schiffelers, M. G. J. van den Brand
|
| 2016 |
J |
jnl |
Softw. Qual. J.
Christine M. Gerpheide, Ramon R. H. Schiffelers, Alexander Serebrenik
|
| 2016 |
— |
conf |
SIES
Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers
|
| 2016 |
C |
conf |
FDL
Bram van der Sanden, João Bastos, Jeroen Voeten, Marc Geilen, Michel A. Reniers, Twan Basten, Johan Jacobs, Ramon R. H. Schiffelers
|
| 2016 |
— |
conf |
ME@MoDELS
Josh Mengerink, Ramon R. H. Schiffelers, Alexander Serebrenik, Mark van den Brand
|
| 2016 |
C |
conf |
FDL
Y. Vissers, J. G. M. Mengerink, Ramon R. H. Schiffelers, Alexander Serebrenik, Michel A. Reniers
|
| 2016 |
J |
jnl |
IEEE Trans. Ind. Electron.
W. Geelen, Duarte Antunes, Jeroen Voeten, Ramon R. H. Schiffelers, W. P. M. H. Heemels
|
| 2016 |
— |
conf |
ITSLE@SPLASH
Josh Mengerink, Alexander Serebrenik, Mark van den Brand, Ramon R. H. Schiffelers
|
| 2015 |
Misc |
conf |
RTNS
Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers
|
| 2015 |
C |
conf |
MEMOCODE
João Bastos, Sander Stuijk, Jeroen Voeten, Ramon R. H. Schiffelers, Johan Jacobs, Henk Corporaal
|
| 2015 |
A |
conf |
MoDELS
Bram van der Sanden, Michel A. Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, Ramon R. H. Schiffelers
|
| 2014 |
Misc |
conf |
QUATIC
Christine M. Gerpheide, Ramon R. H. Schiffelers, Alexander Serebrenik
|
| 2014 |
J |
jnl |
IEEE Trans Autom. Sci. Eng.
Rolf J. M. Theunissen, Mihály Petreczky, Ramon R. H. Schiffelers, Dirk A. van Beek, Jacobus E. Rooda
|
| 2014 |
J |
jnl |
ERCIM News
Christine M. Gerpheide, Ramon R. H. Schiffelers, Alexander Serebrenik
|
| 2014 |
— |
conf |
ICSAMOS
Shreya Adyanthaya, Zhihui Zhang, Marc Geilen, Jeroen Voeten, Twan Basten, Ramon R. H. Schiffelers
|
| 2014 |
A |
conf |
DATE
Raymond Frijns, Shreya Adyanthaya, Sander Stuijk, Jeroen Voeten, Marc C. W. Geilen, Ramon R. H. Schiffelers, Henk Corporaal
|
| 2013 |
C |
conf |
DSD
Shreya Adyanthaya, Marc Geilen, Twan Basten, Ramon R. H. Schiffelers, Bart D. Theelen, Jeroen Voeten
|
| 2012 |
— |
conf |
MPM@MoDELS
Ramon R. H. Schiffelers, Wilbert Alberts, Jeroen Voeten
|
| 2009 |
— |
conf |
CCA/ISIC
Ramon R. H. Schiffelers, Alexander Yu. Pogromsky, Dirk A. van Beek, Jacobus E. Rooda
|
| 2009 |
J |
jnl |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Ramon R. H. Schiffelers, Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda
|
| 2009 |
— |
conf |
ADHS
Dirk A. van Beek, Pieter Collins, D. E. Nadales Agut, Jacobus E. Rooda, Ramon R. H. Schiffelers
|
| 2009 |
— |
conf |
ECC
Rolf J. M. Theunissen, Ramon R. H. Schiffelers, D. A. van Beek, Jacobus E. Rooda
|
| 2007 |
— |
conf |
HSCC
D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, Jacobus E. Rooda
|
| 2006 |
— |
conf |
LIX
Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. Cuijpers, Michel A. Reniers, Jacobus E. Rooda, Ramon R. H. Schiffelers, Rolf J. M. Theunissen
|
| 2006 |
— |
conf |
ADHS
Dirk A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers
|
| 2006 |
J |
jnl |
J. Log. Algebraic Methods Program.
D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda, Ramon R. H. Schiffelers
|
| 2005 |
— |
conf |
IFM Doctoral Symposium
D. A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers
|
| 2003 |
— |
conf |
ADHS
Ramon R. H. Schiffelers, Dirk A. van Beek, Ka Lok Man, Michel A. Reniers, Jacobus E. Rooda
|
| 2003 |
— |
conf |
FORMATS
Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda
|
| 2003 |
Misc |
conf |
WSC
D. A. van Beek, Niek G. Jansen, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers
|