Previous semesters
Previous semesters
2020
winter semester
- Machine-Oriented Programming (V2Ü2)
- Guerrilla Sensing OL and Beyond (project group)
- Advanced Seminar on System Software and Distributed Systems (SE2)
- Research Seminar on System Software and Distributed Systems (SE2)
- Advanced Seminar: SCARE@Research (SE2)
- Seminar: SCARE@Assistance (SE2)
summer semester
- Operating Systems 1
- Guerrilla Sensing OL and Beyond (project group)
- Advanced Seminar on System Software and Distributed Systems (Seminar)
- Research Seminar on System Software and Distributed Systems (seminar)
- Advanced Seminar on SCARE@Research (seminar)
- Seminar on SCARE@Assistance (seminar)
2019
winter semester
- Machine-Oriented Programming (V2Ü2)
- I’m measuring something you can’t see: Building mobile measuring devices with Raspberry Pi & Co. (SE2)
- Advanced Seminar on System Software and Distributed Systems (SE2)
- Research Seminar on System Software and Distributed Systems (SE2)
- Advanced Seminar: SCARE@Research (SE2)
- Seminar: SCARE@Assistance (SE2)
summer semester
- Operating Systems 1
- RIO – Routing in Oldenburg (project group)
- Seminar: Turning Old into New: Upcycling with Raspberry Pi and Co. (practicum/seminar) /f/2/dept/informatik/ag/svs/download/reader/reader-seminar-ws2016.pdf?v=1507897977Seminar papers
- Advanced Seminar on System Software and Distributed Systems (Seminar)
- Research Seminar on System Software and Distributed Systems (Seminar)
- Advanced Seminar: SCARE@Research (Seminar)
- Seminar: SCARE@Assistance (Seminar)
2018
winter semester
- RIO – Routing in Oldenburg (project group)
- Advanced Seminar on System Software and Distributed Systems (seminar)
- Research Seminar on System Software and Distributed Systems (seminar)
- Advanced Seminar on SCARE@Research (seminar)
- SCARE@Assistance Seminar (seminar)
summer semester
- Operating Systems 1
- Fault Tolerance in Distributed Systems
- LIO – Lawn in Order (project group)
- Seminar on the Design and Construction of Fault-Tolerant Systems (project/seminar)
- Advanced Seminar on System Software and Distributed Systems (seminar)
- Research Seminar on System Software and Distributed Systems (seminar)
- Advanced Seminar: SCARE@Research (seminar)
- Seminar: SCARE@Assistance (seminar)
2017
winter semester
- Machine-Specific Programming
- Operating Systems Practical
- LIO – Lawn in Order (project group)
- Seminar: Efficient Programming with C++ (seminar)
- Advanced Seminar on System Software and Distributed Systems (seminar)
- Research Seminar on System Software and Distributed Systems (seminar)
- Advanced Seminar: SCARE@Research (seminar)
- Seminar: SCARE@Assistance (Seminar)
summer semester
- Operating Systems 1
- Distributed Operating Systems
- A Case for Computing Science – Puzzles and Short Stories with a Computing Science Background (Seminar)
- Advanced Seminar on System Software and Distributed Systems (Seminar)
- Research Seminar on System Software and Distributed Systems (seminar)
- Advanced Seminar: SCARE@Research (Seminar)
- Seminar: SCARE@Assistance (Seminar)
2016
winter semester
- Operating Systems 2
- Low-level programming
- Rich Internet Applications with HTML and JavaScript (Seminar) Seminar papers
- MIA – Internet-controlled micro-reaction plant (project group) MiA
- Advanced Seminar on System Software and Distributed Systems (seminar)
- Research Seminar on System Software and Distributed Systems (seminar)
- Advanced Seminar: SCARE@Research (Seminar)
- SCARE@Assistance (seminar)
summer semester
- Operating Systems 1
- MIA – Internet-controlled micro-reaction plant (project group) MiA
- Advanced Seminar on System Software and Distributed Systems (seminar)
- Research Seminar on System Software and Distributed Systems (seminar)
- Advanced Seminar: SCARE@Research (seminar)
- SCARE@Assistance (seminar)
2015
winter semester
- Fault tolerance in distributed systems
- Low-level programming
- Operating Systems Practical (Practical)
- Concepts, Design and Construction of Fault-Tolerant Systems (Seminar) Seminar papers
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (seminar)
- Advanced Seminar on SCARE@Research (seminar)
- SCARE@Assistance (seminar)
summer semester
- Operating Systems 1
- Computing Science in a Different Light – Short Stories with a Computing Science Twist (seminar)
- Efficient Programming in C++ (seminar)
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (seminar)
- Advanced Seminar on SCARE@Research (seminar)
- SCARE@Assistance (seminar)
2014
winter semester
- Machine-level programming
- Measuring, controlling, distributing: Monitoring and manipulation with the Raspberry Pi (seminar)
Seminar papers - Operating Systems Practical (Practical)
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (seminar)
- Advanced Seminar on SCARE@Research (Seminar)
- SCARE@Assistance (seminar)
summer semester
- Operating Systems 1
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (Seminar)
- Advanced Seminar on SCARE@Research (Seminar)
- SCARE@Assistance (seminar)
2013
winter semester
- Machine-level programming
- Distributed Operating Systems
- Raspberry Pi inspected (seminar) Seminar papers
- Operating Systems Practical (Practical)
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (seminar)
- Advanced Seminar on SCARE@Research (Seminar)
- SCARE@Assistance (seminar)
summer semester
- Operating Systems 1
- Fault Tolerance in Distributed Systems
- Concepts and Methods of Fault Tolerance (Seminar) Seminar papers
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (Seminar)
- Advanced Seminar on SCARE@Research (Seminar)
- SCARE@Assistance (seminar)
2012
winter semester
- Operating Systems 2
- Low-level programming
- Mobile Phone Operating Systems (Seminar) Seminar papers
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (Seminar)
- Advanced Seminar on SCARE@Research (Seminar)
- SCARE@Assistance (seminar)
summer semester
- Operating Systems 1
- Fault-Tolerant Systems (Seminar) Seminar Papers
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (Seminar)
2011
winter semester
- Distributed Operating Systems
- Low-level Programming
- Operating Systems Practical (Practical)
- Concepts and Applications of Self-Stabilisation (seminar)
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (seminar)
summer semester
- Operating Systems 1
- Fault Tolerance in Distributed Systems
- Concepts and Methods in Distributed Systems (Seminar) Seminar papers
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
- Advanced Seminar on System Software and Distributed Systems (Seminar)
- Research Training Group on Trustworthy Software Systems “Trustsoft” (seminar)
2010
winter semester
- Operating Systems 2
- Low-level programming
- Operating Systems Practical (Practical)
- Concepts and Applications of Sensor Networks (Seminar)
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (seminar)
- Research Training Group on Trustworthy Software Systems “Trustsoft” (seminar)
summer semester
- Operating Systems 1
- Distributed Operating Systems
- Time in Distributed Systems (Seminar)
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (Seminar)
- Research Training Group on Trustworthy Software Systems “Trustsoft” (Seminar)
2009
winter semester
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (Seminar)
summer semester
- Operating Systems 1
- Operating Systems Practical (Practical)
- Sensor Networks: Concepts, Technologies and Applications (Seminar)
- Sensor Networks in the Botanical Garden (Project Group)
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (seminar)
2008
winter semester
- Practical Computing Science
- Distributed Operating Systems
- Notebooks inspected: from hardware to system software (seminar)
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (seminar)
summer semester
- Operating Systems 1
- Operating Systems Practical (Practical)
- Advanced Concepts of Distributed Computing (seminar)
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (seminar)
2007
winter semester
- Practical Computing Science
- Operating Systems 2
- Fundamentals of Distributed Computing (seminar)
- Group calendar (project group)
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (Seminar)
summer semester
- Operating Systems 1
- Operating Systems Practical (Practical)
- File Semantics (Project Group)
- Cluster Technologies and their Applications (Seminar)
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (seminar)
2006
winter semester
- Practical Computing Science
- Fault Tolerance in Distributed Systems
- Sensor Networks: Concepts, Technologies and Applications (Seminar)
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (seminar)
summer semester
- Operating Systems Practical Course (Practical Course)
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (Seminar)
2005
winter semester
- Practical Computing Science
- Operating Systems 2
- Sensor Networks: Concepts, Technologies and Applications (Seminar)
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (seminar)
summer semester
- Operating Systems 1
- Operating Systems Practical (Practical)
- Mobile Phones, PDAs and Navigation Systems (Seminar)
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (seminar)
2004
winter semester
- Practical Computing Science
- Distributed Operating Systems
- Reliability in Space (Seminar)
- SFB Automatic Verification & Analysis of Complex Systems: AVACS (seminar)
- Advanced Seminar on System Software and Distributed Systems (seminar)
summer semester
- Operating Systems 1
- Operating Systems Practical (Practical)
- The Rise of New Peripherals: From the Punch Card Punch to the Memory Stick (Seminar)
- Advanced Seminar on System Software and Distributed Systems (Seminar)
2003
winter semester
- Practical Computing Science
- Operating Systems 2
- Ubiquitous Computing (seminar)
- Advanced Seminar on System Software and Distributed Systems (Seminar)
summer semester
2002
winter semester
- Practical Computing Science
- Operating Systems 2
- Distributed Systems (Seminar)
- Advanced Seminar on System Software and Distributed Systems (Seminar)
summer semester
- Operating Systems 1
- Replication in Distributed Systems
- Reliability in Distributed Systems (Seminar)
- Advanced Seminar on System Software and Distributed Systems (Seminar)