| 2026 |
J |
jnl |
ACM Trans. Softw. Eng. Methodol.
I. S. W. B. Prasetya, Mehdi Dastani, Rui Prada, Tanja E. J. Vos, Frank Dignum, Fitsum Meshesha Kifetew, Guido Mintjes, Samira Shirzadehhajimahmood, Saba Gholizadeh Ansari
|
| 2026 |
J |
jnl |
CoRR
I. S. W. B. Prasetya, Fitsum Meshesha Kifetew, Davide Prandi
|
| 2025 |
J |
jnl |
CoRR
Fernando Pastor Ricós, Beatriz Marín, I. S. W. B. Prasetya, Tanja E. J. Vos, Joseph Davidson, Karel Hovorka
|
| 2025 |
J |
jnl |
Data Knowl. Eng.
Fernando Pastor Ricós, Beatriz Marín, I. S. W. B. Prasetya, Tanja E. J. Vos, Joseph Davidson, Karel Hovorka
|
| 2025 |
— |
conf |
ICSTW
I. S. W. B. Prasetya
|
| 2024 |
— |
conf |
RCIS (1)
Fernando Pastor Ricós, Beatriz Marín, I. S. W. B. Prasetya, Tanja E. J. Vos, Joseph Davidson, Karel Hovorka
|
| 2024 |
J |
jnl |
CoRR
Samira Shirzadehhajimahmood, I. S. W. B. Prasetya, Mehdi Dastani, Frank Dignum
|
| 2024 |
A |
conf |
ICST
Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Mehdi Dastani, Frank Dignum, Gabriele Keller
|
| 2024 |
J |
jnl |
Sci. Comput. Program.
Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Mehdi Dastani, Gabriele Keller, Davide Prandi, Fitsum Meshesha Kifetew, Frank Dignum
|
| 2023 |
B |
conf |
FASE
Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Davide Prandi, Fitsum Meshesha Kifetew, Mehdi Dastani, Frank Dignum, Gabriele Keller
|
| 2022 |
J |
jnl |
CoRR
I. S. W. B. Prasetya, Fernando Pastor Ricós, Fitsum Meshesha Kifetew, Davide Prandi, Samira Shirzadehhajimahmood, Tanja E. J. Vos, Premysl Paska, Karel Hovorka, Raihana Ferdous, Angelo Susi, Joseph Davidson
|
| 2022 |
J |
jnl |
CoRR
Samira Shirzadehhajimahmood, I. S. W. B. Prasetya, Frank Dignum, Mehdi Dastani
|
| 2022 |
— |
conf |
A-TEST@ESEC/SIGSOFT FSE
I. S. W. B. Prasetya, Fernando Pastor Ricós, Fitsum Meshesha Kifetew, Davide Prandi, Samira Shirzadehhajimahmood, Tanja E. J. Vos, Premysl Paska, Karel Hovorka, Raihana Ferdous, Angelo Susi, Joseph Davidson
|
| 2022 |
— |
conf |
A-TEST@ESEC/SIGSOFT FSE
Samira Shirzadehhajimahmood, I. S. W. B. Prasetya, Frank Dignum, Mehdi Dastani
|
| 2021 |
— |
conf |
ICST Workshops
I. S. W. B. Prasetya, Samira Shirzadehhajimahmood, Saba Gholizadeh Ansari, Pedro M. Fernandes, Rui Prada
|
| 2021 |
J |
jnl |
CoRR
I. S. W. B. Prasetya, Samira Shirzadehhajimahmood, Saba Gholizadeh Ansari, Pedro M. Fernandes, Rui Prada
|
| 2021 |
— |
conf |
EMAS@AAMAS
Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Mehdi Dastani, Frank Dignum, Gabriele Keller
|
| 2021 |
J |
jnl |
CoRR
Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Mehdi Dastani, Frank Dignum, Gabriele Keller
|
| 2021 |
B |
conf |
SSBSE
Raihana Ferdous, Fitsum Meshesha Kifetew, Davide Prandi, I. S. W. B. Prasetya, Samira Shirzadehhajimahmood, Angelo Susi
|
| 2021 |
J |
jnl |
Softw. Syst. Model.
I. S. W. B. Prasetya, Rick Klomp
|
| 2021 |
— |
conf |
A-TEST@ESEC/SIGSOFT FSE
Samira Shirzadehhajimahmood, I. S. W. B. Prasetya, Frank Dignum, Mehdi Dastani, Gabriele Keller
|
| 2020 |
A |
conf |
ICST
Rui Prada, I. S. W. B. Prasetya, Fitsum Meshesha Kifetew, Frank Dignum, Tanja E. J. Vos, Jason Lander, Jean-Yves Donnart, Alexandre Kazmierowski, Joseph Davidson, Pedro M. Fernandes
|
| 2020 |
A |
conf |
AAMAS
I. S. W. B. Prasetya, Mehdi Dastani
|
| 2020 |
— |
conf |
EMAS@AAMAS
I. S. W. B. Prasetya, Mehdi Dastani, Rui Prada, Tanja E. J. Vos, Frank Dignum, Fitsum Meshesha Kifetew
|
| 2020 |
J |
jnl |
ACM SIGSOFT Softw. Eng. Notes
Tanja E. J. Vos, I. S. W. B. Prasetya, Sigrid Eldh, Sinem Getir, Ali Parsai, Pekka Aho
|
| 2020 |
— |
conf |
ICST Workshops
I. S. W. B. Prasetya, Craig Q. H. D. Leek, Roan Oosenbrug, Petar Kostic, Mike de Vries
|
| 2020 |
J |
jnl |
CoRR
I. S. W. B. Prasetya, Maurin Voshol, Tom Tanis, Adam Smits, Bram Smit, Jacco van Mourik, Menno Klunder, Frank Hoogmoed, Stijn Hinlopen, August van Casteren, Jesse van de Berg, Naraenda G. W. Y. Prasetya, Samira Shirzadehhajimahmood, Saba Gholizadeh Ansari
|
| 2020 |
— |
conf |
A-TEST@ESEC/SIGSOFT FSE
I. S. W. B. Prasetya, Maurin Voshol, Tom Tanis, Adam Smits, Bram Smit, Jacco van Mourik, Menno Klunder, Frank Hoogmoed, Stijn Hinlopen, August van Casteren, Jesse van de Berg, Naraenda G. W. Y. Prasetya, Samira Shirzadehhajimahmood, Saba Gholizadeh Ansari
|
| 2020 |
— |
conf |
CSEE&T
Tanja E. J. Vos, Gordon Fraser, Iván Martínez-Ortiz, Rui Prada, António Rito Silva, I. S. W. B. Prasetya
|
| 2019 |
J |
jnl |
CoRR
I. S. W. B. Prasetya
|
| 2019 |
J |
jnl |
CoRR
I. S. W. B. Prasetya, Craig Q. H. D. Leek, Orestis Melkonian, Joris ten Tusscher, Jan van Bergen, J. M. Everink, Thomas van der Klis, Petar Kostic, Rick Meijerink, Roan Oosenbrug, Jelle J. Oostveen, Tijmen van den Pol, Mike de Vries, Wink M. van Zon
|
| 2019 |
— |
conf |
ICSE (SEET)
I. S. W. B. Prasetya, Craig Q. H. D. Leek, Orestis Melkonian, Joris ten Tusscher, Jan van Bergen, J. M. Everink, Thomas van der Klis, Rick Meijerink, Roan Oosenbrug, Jelle J. Oostveen, Tijmen van den Pol, Wink M. van Zon
|
| 2019 |
B |
conf |
PROFES
Tanja E. J. Vos, I. S. W. B. Prasetya, Gordon Fraser, Iván Martínez-Ortiz, Iván J. Pérez-Colado, Rui Prada, José Bernardo Rocha, António Rito Silva
|
| 2019 |
J |
jnl |
CoRR
Tanja E. J. Vos, I. S. W. B. Prasetya, Gordon Fraser, Iván Martínez-Ortiz, Iván J. Pérez-Colado, Rui Prada, José Bernardo Rocha, António Rito Silva
|
| 2019 |
J |
jnl |
CoRR
John Lång, I. S. W. B. Prasetya
|
| 2019 |
— |
conf |
ESEC/SIGSOFT FSE
John Lång, I. S. W. B. Prasetya
|
| 2019 |
— |
conf |
SBST@ICSE
I. S. W. B. Prasetya
|
| 2019 |
B |
conf |
SEFM
I. S. W. B. Prasetya, Rick Klomp
|
| 2019 |
J |
jnl |
CoRR
I. S. W. B. Prasetya, Rick Klomp
|
| 2018 |
J |
jnl |
Concurr. Comput. Pract. Exp.
M. H. Jiang, Otto W. Visser, I. S. W. B. Prasetya, Alexandru Iosup
|
| 2018 |
J |
jnl |
CoRR
Diyah Puspitaningrum, I. S. W. B. Prasetya, P. A. Wicaksono
|
| 2018 |
J |
jnl |
CoRR
Tom Tervoort, I. S. W. B. Prasetya
|
| 2018 |
J |
jnl |
CoRR
I. S. W. B. Prasetya, Minh An Tran
|
| 2018 |
A |
conf |
ISSRE
Alexander Elyasov, I. S. W. B. Prasetya, Jurriaan Hage
|
| 2018 |
— |
conf |
SBST@ICSE
I. S. W. B. Prasetya
|
| 2018 |
J |
jnl |
J. Syst. Softw.
I. S. W. B. Prasetya
|
| 2017 |
— |
conf |
Haifa Verification Conference
Tom Tervoort, I. S. W. B. Prasetya
|
| 2017 |
C |
conf |
WoWMoM
M. H. Jiang, Otto W. Visser, I. S. W. B. Prasetya, Alexandru Iosup
|
| 2017 |
J |
jnl |
CoRR
Diyah Puspitaningrum, G. Yulianti, I. S. W. B. Prasetya
|
| 2016 |
— |
conf |
SBST@ICSE
I. S. W. B. Prasetya
|
| 2016 |
— |
conf |
SIMULTECH (Selected Papers)
Nikolaos Bezirgiannis, I. S. W. B. Prasetya, Ilias Sakellariou
|
| 2016 |
C |
conf |
SIMULTECH
Nikolaos Bezirgiannis, I. S. W. B. Prasetya, Ilias Sakellariou
|
| 2015 |
— |
conf |
AIRS
Diyah Puspitaningrum, Fauzi, Boko Susilo, Jeri Apriansyah Pagua, Aan Erlansari, Desi Andreswari, Rusdi Efendi, I. S. W. B. Prasetya
|
| 2015 |
C |
conf |
APSEC
I. S. W. B. Prasetya, Jurriaan Hage, Alexander Elyasov
|
| 2015 |
— |
conf |
SBST@ICSE
I. S. W. B. Prasetya
|
| 2015 |
— |
conf |
SBST@ICSE
Urko Rueda, Tanja E. J. Vos, I. S. W. B. Prasetya
|
| 2013 |
— |
conf |
ICST Workshops
I. S. W. B. Prasetya
|
| 2006 |
C |
conf |
FORTE
I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra
|
| 2005 |
B |
conf |
SEFM
I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen
|
| 2005 |
J |
jnl |
J. High Speed Networks
I. S. W. B. Prasetya, S. Doaitse Swierstra
|
| 2004 |
B |
conf |
OPODIS
I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra
|
| 2003 |
J |
jnl |
Theor. Comput. Sci.
I. S. W. B. Prasetya, S. Doaitse Swierstra
|
| 1997 |
A |
conf |
TACAS
I. S. W. B. Prasetya
|
| 1994 |
J |
jnl |
Formal Aspects Comput.
I. S. W. B. Prasetya
|
| 1994 |
— |
conf |
TPHOLs
I. S. W. B. Prasetya
|
| 1993 |
— |
conf |
HUG
I. S. W. B. Prasetya
|
| 1993 |
— |
conf |
HUG
I. S. W. B. Prasetya
|