Journal-first talk at CAiSE’24

Our paper Model consistency as a heuristic for eventual correctness co-authored with Hans Vangheluwe and Eugene Syriani will be presented as a journal-first talk at this year’s CAiSE. (Pre-print available …

Call for Papers – EMMSAD’24

We’re calling for paper for the 29th edition of EMMSAD! EMMSAD is a two-day international working conference on Exploring Modeling Methods for Systems Analysis and Development. The 29th edition will …

Program Committee: FORGE’24

I’m honored to serve on the Program Committee of the 1st International Conference on AI Foundation Models and Software Engineering (FORGE). Foundation models (e.g., ChatGPT and Llama) have attracted great attention from …