Building an Architecture Modeling Framework which Enables CI/CD, Invited Talk @ VECS, 2023, pdf
FASTEN: an Extensible Platform for Modeling Safety Critical Systems - a Language Engineering Perspective, Talk @ Strumenta Community, March, 2021, pdf
Continuous Management of Uncertainty - Enabler of Safety of AI-based Autonomous CPS, Research Talk, Munich, June, 2020, pdf
Enable Domain Experts to Use Their Language, MPS Day@MODELS, Invited Talk, Munich, September, 2019, pdf
Towards Continuous Delivery for Domain Experts, DevOps@MODELS, Munich, September, 2019, pdf
Language Engineering in Practice, Tech-Talk, Munich, June, 2019, pdf
FASTEN: a Framework to Experiment with Formal Specification Approaches, FormaliSE@ICSE, Montreal, May, 2019, pdf
FASTEN: a Formal Specification Environment Targeting Practicing Engineers, Talk @ Shonan Seminar, Tokyo, November, 2018, pdf
Experiences from Deploying MPS within Siemens: Successes, Challenges, Prospects,Talk @ MPS Meetup, April, 2018, pdf
DSLs and Verification Engines,Talk @ fortiss, July, 2018, pdf
Taming Complexity of Computed Tomography Scanner Configurations with DSLs, Modellierung, Braunschweig, February, 2018, pdf
Lessons Learnt from Building MBEDDR, Invited Talk@MODELS, Austin, September, 2017, pdf
Experiences with Teaching MPS in Industry, Talk@MODELS, Austin, September, 2017, pdf
Increasing Usability of Spin-based C Verification Using a Harness Definition Language, SPIN Symposium, Santa Barbara, 2017, pdf
Robust Software Development with Domain Specific Languages and Verification, Technical Talk, Munich, April, 2017, pdf
Using Formal Verification for the Development of Software at Lower Criticality Levels, FVPE@ISSRE, Ottawa, October, 2016, pdf
Formal Verification for Practicing Engineers with DSLs, Invited Talk@HOFM, Vienna, July, 2016, pdf
Automated Testing of DSLs Implementations, AST@ICSE, Austin, May, 2016, pdf
Safety.Lab: Model-based Domain-specific Tooling for Safety Argumentation, ASSURE, Delft, September, 2015, pdf
Verification Cases: Characterizing Completeness Degree of Incomplete Verification, VERISURE@CAV, Saint Francisco, July, 2015, pdf
Bringing Formal Verification to the Masses, TCS Webinar, February, 2014, pdf
MBEDDR and AF3: Experiences with Building Tools Based on DSLs, Invited Talk@Siemens CT, February, 2014, pdf
Tooling for Seamless Model Based Development - Top-down with AF3, Ericsson Modeling Days, Stockholm, January 2014, pdf
Tooling for Seamless Model Based Development - Bottom-up with mbeddr, Ericsson Modeling Days, Stockholm, January 2014, pdf
AF3 Tutorial: Seamless Model Based Development, ENECSIS Webinar, October 2013, pdf
Using Language Engineering to Lift Languages and Analyses at the Domain Level, NASA Formal Methods, Ames, May, 2013, pdf
Agile Formal Analyses with AF3, Munich, October, 2012, pdf
Implementing Modular DSLs and Analyses, MoDeVVa, Innsbruck, September, 2012, pdf
Language Engineering as an Enabler for Incrementally Defined Formal Analyses, FORMSERA@ICSE, Zürich, June, 2012, pdf
Model Checking for the Masses with AF3, FBK@Trento, March, 2012, pdf
Agile Formal Analyses Using Model-based Development and Domain Specific Languages, Munich, July, 2012, pdf
Hints for Writing a PhD Thesis - A Patterns Oriented Approach, Perlen Seminar, Munich, February, 2010, pdf
Intentional Meaning of Programs, PhD Defense, Munich, July 2009, pdf
Domain Knowledge Driven Program Analysis, Microsoft Research, Cambridge, June 2009, pdf
Logical Modularity of Programs, WCRE, Lille, October 2009, pdf
Reverse Engineering Domain Models from Source Code, REM, Lille, October 2009, pdf
Reference and Representation of Domain Concepts in APIs, ICPC, Amsterdam, April 2008, pdf
Extracting Domain Ontologies from APIs, CSMR, Amsterdam, April 2008, pdf
Towards a Repository of Common Programming Technologies Knowledge, STSM, Amsterdam, April 2008, pdf
From Reality to Programs and (not quite) Back Again, ICPC, Banff, 2007, pdf
The Reality of Libraries, CSMR, Athens, 2007, pdf
How Programs Represent Reality and How they Don't, WCRE, Benevento, October 2006, pdf