I. S. W. B. Prasetya

67 papers A 5B 6C 4Journal 27Unranked 25
YearRankTypeTitle / Venue / Authors
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