Noen eksempler på konkrete masteroppgaver kan være:
- Modellering og analyse av state-of-the-art skeduleringsalgoritmer for multicore maskiner utviklet av ledende forskere ved University of Illinois.
- Utvikle nye analysemetoder for Real-Time Maude ved bruk av, f. eks. av symbolske teknikker som narrowing og eventuelt SAT-solving.
- Kombinere Real-Time Maude med sannsynligheter for å modellere og analysere "probabilistic real-time systems".
- Integrere Real-Time Maude ved statistiske modellsjekkere som MultiVeStA.
- Formalisere deler av modelleringsstandarden AADL for flysystemer i Real-Time Maude.
- Analysere ulike slags protokoller for cloud computing systemer i Maude/Real-Time Maude.
- Selvkjørende biler begynner å bli "in" nå, så man kan også jobbe med å formalisere og analysere ulike bevegelsesmønstre til biler i trafikk.