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