Rami Marelly

20 papers A 1B 3C 1Journal 7Unranked 7
YearRankTypeTitle / Venue / Authors
2021 J jnl
IEEE Des. Test
David Harel, Rami Marelly, Assaf Marron, Smadar Szekely
2020 B conf
ITiCSE
Judith Gal-Ezer, Smadar Szekely, Rami Marelly
2019 J jnl
CoRR
David Harel, Rami Marelly, Assaf Marron, Smadar Szekely
2018 J jnl
Computer
David Harel, Guy Katz, Rami Marelly, Assaf Marron
2017 — conf
CSI-SE@ICSE
David Harel, Idan Heimlich, Rami Marelly, Assaf Marron
2016 C conf
MODELSWARD
David Harel, Guy Katz, Rami Marelly, Assaf Marron
2016 J jnl
Int. J. Inf. Syst. Model. Des.
David Harel, Guy Katz, Rami Marelly, Assaf Marron
2016 — conf
MOBILESoft
Anat Berkman-Chardon, David Harel, Yaarit Goel, Rami Marelly, Smadar Szekely, Guy Weiss
2016 — conf
D&P@MoDELS
Assaf Marron, Brit Arnon, Achiya Elyasaf, Michal Gordon, Guy Katz, Hadas Lapid, Rami Marelly, Dana Sherman, Smadar Szekely, Gera Weiss, David Harel
2015 J jnl
CoRR
David Harel, Guy Katz, Rami Marelly, Assaf Marron
2006 J jnl
IEEE Trans. Software Eng.
Dan Barak, David Harel, Rami Marelly
2003 — book
David Harel, Rami Marelly
2003 — conf
CMSB
Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern
2003 — conf
Lectures on Concurrency and Petri Nets
Dan Barak, David Harel, Rami Marelly
2003 — conf
OOPSLA Companion
David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli
2003 J jnl
Softw. Syst. Model.
David Harel, Rami Marelly
2002 A conf
OOPSLA
Rami Marelly, David Harel, Hillel Kugler
2002 B conf
MASCOTS
David Harel, Rami Marelly
2002 B conf
FMCAD
David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli
2002 — conf
OOPSLA Companion
Rami Marelly, David Harel, Hillel Kugler
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling