Bart Meyers

28 papers B 3Journal 6Unranked 17
YearRankTypeTitle / Venue / Authors
2024 J jnl
J. Intell. Manuf.
Bart Meyers, Hans Vangheluwe, Pieter Lietaert, Geert Vanderhulst, Johan Van Noten, Michel Schaffers, Davy Maes, Klaas Gadeyne
2022 — conf
MODELSWARD (Revised Selected Papers)
Bentley Oakes, Ali Parsai, Bart Meyers, Istvan David, Simon Van Mierlo, Serge Demeyer, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe
2022 J jnl
CoRR
Bentley Oakes, Ali Parsai, Bart Meyers, Istvan David, Simon Van Mierlo, Serge Demeyer, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe
2021 — conf
APMS (1)
Pieter Lietaert, Bart Meyers, Johan Van Noten, Joren Sips, Klaas Gadeyne
2021 — conf
SEMANTiCS (Posters & Demos)
Bentley Oakes, Bart Meyers, Dennis Janssens, Hans Vangheluwe
2020 J jnl
IEEE Trans. Software Eng.
Bart Meyers, Hans Vangheluwe, Joachim Denil, Rick Salay
2019 — conf
MoDELS (Companion)
Bart Meyers, Klaas Gadeyne, Bentley J. Oakes, Matthias Bernaerts, Hans Vangheluwe, Joachim Denil
2019 — conf
STAF (Co-Located Events)
Bart Meyers, Simon Van Mierlo, Davy Maes, Hans Vangheluwe
2019 J jnl
Simul.
Cláudio Gomes, Bart Meyers, Joachim Denil, Casper Thule, Kenneth Lausdahl, Hans Vangheluwe, Paul De Meulenaere
2018 — conf
SpringSim (Mod4Sim)
Simon Van Mierlo, Yentl Van Tendeloo, István Dávid, Bart Meyers, Addis Gebremichael, Hans Vangheluwe
2018 — conf
SpringSim (Mod4Sim)
Bart Meyers, Joachim Denil, Ken Vanherpen, Hans Vangheluwe
2017 — conf
SERENE
Swaib Dragule, Bart Meyers, Patrizio Pelliccione
2017 B conf
SLE
Yentl Van Tendeloo, Simon Van Mierlo, Bart Meyers, Hans Vangheluwe
2017 — ch.
Handbook of Formal Methods in Human-Computer Interaction
Simon Van Mierlo, Yentl Van Tendeloo, Bart Meyers, Hans Vangheluwe
2017 — conf
MoDELS (Satellite Events)
István Dávid, Bart Meyers, Ken Vanherpen, Yentl Van Tendeloo, Kristof Berx, Hans Vangheluwe
2016 — —
Bart Meyers
2016 B conf
SLE
Bart Meyers, Joachim Denil, István Dávid, Hans Vangheluwe
2015 — conf
SpringSim (TMS-DEVS)
Joachim Denil, Bart Meyers, Paul De Meulenaere, Hans Vangheluwe
2014 — conf
MoDELS (Doctoral Symposium)
Bart Meyers
2014 — conf
MPM@MoDELS
Romuald Deshayes, Bart Meyers, Tom Mens, Hans Vangheluwe
2014 B conf
SLE
Bart Meyers, Romuald Deshayes, Levi Lucio, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer
2013 — conf
MPM@MoDELS
Bart Meyers, Joachim Denil, Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Hans Vangheluwe
2013 — conf
DSM@SPLASH
Bart Meyers, Manuel Wimmer, Hans Vangheluwe, Joachim Denil
2012 — conf
MPM@MoDELS
Bart Meyers, Antonio Cicchetti, Esther Guerra, Juan de Lara
2012 — conf
DSAL@AOSD
Tim Molderez, Bart Meyers, Dirk Janssens, Hans Vangheluwe
2011 J jnl
Sci. Comput. Program.
Bart Meyers, Hans Vangheluwe
2011 J jnl
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Bart Meyers, Manuel Wimmer, Antonio Cicchetti, Jonathan Sprinkle
2010 — conf
RAM-SE@ECOOP
Bart Meyers, Peter Ebraert, Dirk Janssens
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