Massimo Tisi
where else to find them
what they talk about
where they keep going back
- SLE3 editions2020–2024
on a stage with
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Towards an In-context LLM-based Approach for Automating the Definition of Model Views | SLE 2024 | 2024-10-20 |
Proposes an in-context LLM pipeline that converts EMF metamodels to PlantUML-like text, feeds three prompt templates to a GPT-4o-class model via LangChain, and… | ||
| Executing Certified Model Transformations on Apache Spark | SLE 2021 | 2021-10-17 |
A formal refinement of CoqTL produces Parallelizable CoqTL with a mechanized proof of semantic equivalence, then pure Coq functions are manually extracted to… | ||
| Annotating Executable DSLs with Energy Estimation Formulas | SLE 2020 | 2020-11-16 |
Builds an EEL DSL that attaches OCL and arithmetic formulas to an executable Arduino metamodel in GEMOC Studio, runs simulations to produce traces, and… | ||
| nothing matches | ||