| Inside Generative AI: Interpreting Model Behaviour to Improve Safety |
25. sep. 2026 |
|
| IM-Lab Master’s Thesis Topics |
25. sep. 2026 |
|
| Digital Twins of Power Transformers with Scientific Machine Learning |
24. sep. 2026 |
|
| Using Logic to Formalise Environmental Policies |
23. sep. 2026 |
|
| Building an Executable Framework for Locally Abstract, Globally Concrete (LAGC) Semantics of Concurrent Programming Languages |
23. sep. 2026 |
|
| Protocol Analysis for Data Spaces |
23. sep. 2026 |
|
| Signal Temporal Logic for the Oslo Fjord Digital Twin |
23. sep. 2026 |
|
| Oslofjord Digital Twin: Algal Bloom |
23. sep. 2026 |
|
| Digital Twins of Distributed Software Systems |
9. sep. 2026 |
|
| Demystifying the three magic lifts of IFI |
21. aug. 2026 |
|
| Comparative Representations of IMF Types — applied to IEC Common Data Dictionary |
22. sep. 2025 |
|
| Measuring Completeness of Ontology-to-Ontology Mappings: A Case Study on Transforming IMF to the Industrial Data Ontology |
22. sep. 2025 |
|
| Ontology Analysis of the Information Modelling Framework (IMF): Foundations and Alignment with BFO/IOF |
22. sep. 2025 |
|
| Software Quality and Testing for Declarative Data Engineering |
22. sep. 2025 |
|
| Software Quality and Testing for Information Modelling in Industry 4.0 |
22. sep. 2025 |
|
| Oppgaver innen formell modellering og analyse ved bruk av Maude og Real-Time Maude |
16. sep. 2025 |
|
| Formalisere Berkeley's PTIDES Model of Computation i Maude |
16. sep. 2025 |
|
| Modellere jernbane-kontrollsystemer i HybridSynchAADL |
16. sep. 2025 |
|
| Bruke Lingua Franca til å koordinere distribuerte Maude-kjøringer |
16. sep. 2025 |
|
| Learning Finite State Machines |
16. sep. 2025 |
|
| Oslofjord Digital Twin: Fish Egg Drift |
16. sep. 2025 |
|
| Refactoring of Quantum Computing Programs |
15. okt. 2024 |
|
| Distributed application optimization in Julia |
3. okt. 2024 |
|
| Resource auctions |
3. okt. 2024 |
|
| Fuzz Testing for Information Modelling in Industry 4.0 |
10. sep. 2024 |
|