Master's projects PSY - Department of Informaticscollection-listingtag:www.mn.uio.no,2012-03-19:/ifi/english/research/groups/psy/master-projectswww.mn.uio.no2018-04-13T08:29:55.894Ztag:www.mn.uio.no,2023-10-05:/ifi/studier/masteroppgaver/psy/digifriendlyregs.htmlDigitalization-friendly regulation. Transforming and reasoning about legislative text2023-10-05T13:04:21.223Z2023-10-05T13:05:00.321Ztag:www.mn.uio.no,2023-09-27:/ifi/studier/masteroppgaver/psy/depprogsecDependly typed programming (for security)2023-09-27T11:15:25.300Z2023-09-27T11:15:29.985Ztag:www.mn.uio.no,2023-09-27:/ifi/studier/masteroppgaver/psy/refactoring-at-scale.htmlRefactoring-related projects2023-09-27T11:14:49.363Z2023-09-27T11:15:00.407Ztag:www.mn.uio.no,2023-09-27:/ifi/studier/masteroppgaver/psy/verification-of-concurrent-software-(c-or-java).htmlVerification Tool for Concurrent Software2023-09-27T11:14:14.468Z2023-09-27T11:14:14.577Ztag:www.mn.uio.no,2023-09-27:/ifi/studier/masteroppgaver/psy/runtime-verification-with-linux-bpf.htmlRuntime Verification with Linux BPF2023-09-27T11:13:29.741Z2023-09-27T11:13:29.748Ztag:www.mn.uio.no,2023-09-27:/ifi/studier/masteroppgaver/psy/oppgaver-innen-formell-modellering-og-analyse-ved-.htmlOppgaver innen formell modellering og analyse ved bruk av Maude og Real-Time Maude2023-09-27T10:04:47.318Z2023-09-27T10:04:47.324Ztag:www.mn.uio.no,2023-09-22:/ifi/studier/masteroppgaver/psy/playing-the-service-game.htmlPlaying the service game - the digitalization of user-centric processes2023-09-22T13:25:28.886Z2023-09-22T13:25:28.912Ztag:www.mn.uio.no,2023-09-22:/ifi/studier/masteroppgaver/psy/modelling-and-analysis-of-a-self-adaptive-underwat.htmlModelling and Analysis of a Self-Adaptive Underwater Robot2023-09-22T13:18:38.367Z2023-09-22T13:18:38.379Ztag:www.mn.uio.no,2023-09-22:/ifi/studier/masteroppgaver/psy/formal-semantics-for-robot-controllers.htmlFormal semantics for robot controllers2023-09-22T13:13:53.678Z2023-09-27T10:13:30.560Ztag:www.mn.uio.no,2023-09-22:/ifi/studier/masteroppgaver/psy/programming-with-gdpr.htmlProgramming with GDPR compliance2023-09-22T13:13:18.138Z2023-09-27T10:20:51.335Ztag:www.mn.uio.no,2023-09-22:/ifi/studier/masteroppgaver/psy/combining-deductive-verification-and-testing-by-sy.htmlCombining deductive verification and testing by symbolic execution2023-09-22T13:12:13.005Z2023-09-22T13:12:13.084Ztag:www.mn.uio.no,2023-09-22:/ifi/studier/masteroppgaver/psy/backwards-symbolic-execution.htmlBackwards symbolic execution2023-09-22T13:11:29.618Z2023-09-22T13:11:30.577Ztag:www.mn.uio.no,2023-09-01:/ifi/studier/masteroppgaver/psy/analysing-self-reconfigurable-meta-controller.htmlVerification of Meta-controllers 2023-09-01T19:33:00.079Z2023-09-01T19:33:00.088Z//www.mn.uio.no/ifi/studier/masteroppgaver/asr/remaro-sherpa-uw.jpg//www.mn.uio.no/ifi/studier/masteroppgaver/asr/remaro-sherpa-uw.jpg?vrtx=thumbnailtag:www.mn.uio.no,2022-10-07:/ifi/studier/masteroppgaver/psy/tradingsystems.htmlReliability, Privacy, and Security of Trading Systems for shares of startup companies2022-10-07T10:02:20.333Z2022-10-07T10:02:20.405Ztag:www.mn.uio.no,2022-10-06:/ifi/studier/masteroppgaver/psy/rtlola.htmlFMUs for runtime monitoring in RTLola2022-10-06T10:12:03.770Z2022-10-06T10:12:03.775Ztag:www.mn.uio.no,2022-10-05:/ifi/studier/masteroppgaver/psy/tids-strategier.htmlEksekveringsstrategier for sanntidssystemer2022-10-05T11:02:37.538Z2022-10-05T11:02:37.543Ztag:www.mn.uio.no,2022-08-24:/ifi/studier/masteroppgaver/psy/dslrealestateA domain-specific language for real-estate floor plans2022-08-24T06:05:18.734Z2022-08-24T07:34:14.371Ztag:www.mn.uio.no,2021-10-22:/ifi/studier/masteroppgaver/psy/maude-med-eksterne-objekter.htmlBruk av Maude med eksterne objekter2021-10-22T21:05:45.298Z2022-10-05T11:19:59.650Ztag:www.mn.uio.no,2021-10-22:/ifi/studier/masteroppgaver/psy/modellering-av-litet-kraftverk-i-hybridsynchaadl.htmlModellering av litet kraftverk i HybridSynchAADL2021-10-22T20:59:57.027Z2021-10-22T20:59:57.028Ztag:www.mn.uio.no,2021-10-22:/ifi/studier/masteroppgaver/psy/modellering-av-selvkjorende-ting-i-maude.htmlModellering av selvkjørende ting i Maude2021-10-22T20:43:12.186Z2021-10-22T20:43:12.233Ztag:www.mn.uio.no,2021-10-22:/ifi/studier/masteroppgaver/psy/formell-modellering-analyse-i-maude.htmlFormell modellering/analyse i Maude2021-10-22T20:36:31.264Z2022-10-05T10:48:40.753Ztag:www.mn.uio.no,2021-10-22:/ifi/studier/masteroppgaver/psy/model-based-engineering---digital-twins.htmlModel-based engineering / Digital twins2021-10-22T05:36:39.766Z2021-10-22T05:36:39.768Ztag:www.mn.uio.no,2021-10-18:/ifi/studier/masteroppgaver/psy/analysing-cognitive-controllers.htmlAnalysing Cognitive Controllers2021-10-18T13:24:10.768Z2021-10-18T13:24:22.102Z//www.mn.uio.no/ifi/studier/masteroppgaver/asr/remaro-sherpa-uw.jpg//www.mn.uio.no/ifi/studier/masteroppgaver/asr/remaro-sherpa-uw.jpg?vrtx=thumbnailtag:www.mn.uio.no,2021-10-14:/ifi/studier/masteroppgaver/psy/policyLanguage-PbD.htmlPolicy Languages to Capture Privacy Concerns in Distributed Services2021-10-14T14:32:41.630Z2021-10-14T14:33:37.527Ztag:www.mn.uio.no,2020-10-15:/ifi/studier/masteroppgaver/psy/efficient-simulation-of-iot-systems.htmlEfficient Simulation of IoT Systems2020-10-15T07:21:08.799Z2023-10-29T20:03:54.518Z