Arbeids- og kompetanseområde
Programvareutvikling Modelldrevet progamvareutvilling Programvareutviklingsteori Domenespesifikke språk Prosessmodellering Arbeidsflytmodellering Tingenes Internett Programvareutvkling for Robotikk Programvarearkitektur eHelse og helseprosesser Mobile applikasjoner
Publication track record at DBLP.
Underviser i
- Modellbasert programvareutvikling og pålitelige datasystemer
- Forskningsmetode for masterprosjekter innen programvareutvikling
Publikasjonar
-
AI-powered model repair: an experience report—lessons learned, challenges, and opportunities
-
Addressing the trade off between smells and quality when refactoring class diagrams
-
Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms
-
Suggesting model transformation repairs for rule-based languages using a contract-based testing approach
-
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management