| Formal semantics for robot controllers |
2. sep. 2024 |
|
| Playing games with services |
2. sep. 2024 |
|
| Correctness of symbolic execution in Coq |
29. aug. 2024 |
|
| Oslofjord Digital Twin: Apps for Citizen Science |
29. aug. 2024 |
|
| Editor and IDE support for a Java-like language |
9. aug. 2024 |
|
| SINLAB: Continuous body emotion recognition during creative tasks |
2. nov. 2023 |
|
| SINLAB: Immersive Musical Human-AI Interactions |
4. okt. 2023 |
|
| Dependly typed programming (for security) |
27. sep. 2023 |
|
| Refactoring-related projects |
27. sep. 2023 |
|
| Verification Tool for Concurrent Software |
27. sep. 2023 |
|
| Runtime Verification with Linux BPF |
27. sep. 2023 |
|
| Oppgaver innen formell modellering og analyse ved bruk av Maude og Real-Time Maude |
27. sep. 2023 |
|
| Smidig systemutvikling, utfordringer og suksessfaktorer i stor-skala smidig, teamarbeid i utviklingsteam, koordinering, produktledelse m.m. |
26. sep. 2023 |
|
| Human-AI collaboration in healthcare |
20. sep. 2023 |
|
| Reliability, Privacy, and Security of Trading Systems for shares of startup companies |
7. okt. 2022 |
|
| FMUs for runtime monitoring in RTLola |
6. okt. 2022 |
|
| Eksekveringsstrategier for sanntidssystemer |
5. okt. 2022 |
|
| Innovasjon, smidig systemutvikling, hybrid arbeidsdag, agile coaching, koordinering, m?ter |
29. sep. 2022 |
|
| A systematic literature review on privacy issues and secure data sharing for distributed energy management systems: categorization and analysis of available data and existing approaches |
28. sep. 2022 |
|
| In-network Acceleration of Distributed In-Memory Machine Learning |
27. sep. 2022 |
|
| In-network Acceleration of Big Data Processing |
27. sep. 2022 |
|
| Intelligent motion control by 5G, edge computing, and digital-physical twins |
25. sep. 2022 |
|
| A domain-specific language for real-estate floor plans |
24. aug. 2022 |
|
| Docker-based Blockchain Emulation Framework |
11. juli 2022 |
|
| Federated and Tiny Machine Learning for Edge Computing in Industrial IoT |
24. okt. 2021 |
|