Archive: Old Stuff
<<< back to main |
contact | brief |
publications | projects |
friends | disclaimer
Note: Links to external sites are neither checked nor
updated in the archive.
In fact, all archived content is not maintained any more.
Me/Contact
In brief: Research and Teaching
- Topics for final year projects:
- "Developing & Implementing a Property Specification Language
for SOCA"; "Developing & Implementing a GDB Front-End for
SOCA"; "SOCA GUI Development" (full description)
- Older topics I might still be interested in: "Evaluierung der
Praxistauglichkeit von Werkzeugen zur Software-Verifikation";
"Objekt-Code-Slicing zur Verifikation von
Pointer-Programmen" (full description)
- Demonstrating and Teaching at the University of Bamberg, until January 2011:
- Demonstrating and Teaching at the University of York, until May 2009:
- Teaching at the Fachhochschule
Brandenburg, until October 2005:
Papers, Presentations, Essays, etc.
Icons and their meaning:
![[German]](./graphics/lang_de.png) |
Document in German |
|
![[English]](./graphics/lang_en.png) |
Document in English |
|
![[Unclassified]](./graphics/empty.png) |
Unclassified stuff |
|
![[Software]](./graphics/sw.png) |
A piece of code |
![[Sc. Paper]](./graphics/paper_sc.png) |
Scientific paper |
|
![[Essay]](./graphics/paper_e.png) |
Essay or similar |
|
![[Newspaper]](./graphics/paper_n.png) |
Short stuff for newspapers |
|
![[Presentation]](./graphics/present.png) |
Talk/Slides |
The icons are based upon work taken from the GNOME theme
"Unofficial
Tango" by Jones Lee.
"Towards a Simulation-based Verification of Memory Safety
Properties for Object Code Programs" --
PLASMA talk given
on 22 February 2007:
slides (pdf),
abstract
-
"Elliptische Kurven und Kryptographie" -- An
introduction to Elliptic Curve Cryptography, given together with
Arnd Zapletal on 21 December 2006. There are only slides for the
first part of the talk.
The second half of it was given by Arnd on the blackboard:
slides
pdf
-
"Securing Your E-Mail" -- Yet another talk on
cryptography and GnuPG, given on 17 October 2006:
abstract,
slides
-
"Validating and Verifying Memory Safety
for Concurrent Operating System Code" -- PhD Qualifying Dissertation,
unfinished version: pdf
-
"Programme aus Quellen" -- this workshop held
by MaD and me on
BLIT 2006 has a really
strange title. However, related material can be found
here.
-
"Software Property Checking" -- a few slides for a
presentation on software verification; held in the
PLASMA meeting on 9 March
2006: pdf
-
A not so short talk on LaTeX, 09. January 2006:
LaTeX -- Belegarbeiten in
schön
-
I'm preparing a
workshop for 22C3.
The topic is "OSS: Reliability and Maintainability?" -- I'm
going to provide some further material in advance of the event
here.
-
"Automated Verification of Operating System Code"
-- slides for a literature review presentation held on 19 December
2005 in York:
pdf
-
"What have you designed today? -- Software Quality in Open
Source Projects" -- slides for a presentation on an interesting
part of one of my
former research
projects:
pdf
-
"Wird der Hochschulstandort Brandenburg unattraktiv?" --
an attempt to discuss the relation between the University of applied
Sciences in Brandenburg an the city of Brandenburg on the example of
the Semesterticket; published in Scheinwerfer 03/2005,
October 2005: html
pdf
-
There's a new (German) paper and a corresponding set of slides showing
what CIDAS is and how it works. It was written in July 2005:
paper
slides (both pdf)
-
"Studentische Projekte: Freie Studenten für Freie
Software" --
Es ist gemeinhin falsch zu schreiben, was man nicht machen soll. Aber es ist
oftmals schwer, die Dinge anders auszudrücken. Erschienen mit vielen
Rechtschreib- und Satzfehlern im Scheinwerfer 02/2005; Juni 2005:
html
pdf
-
"Object Code-Near Software Verification" -- an approach
on doing formal software verification slightly different from the usual
way:
pdf
-
Keynote zum Brandenburger
Linux-Infotag 2005, "Mit Freier Software die Welt
verändern!", 23. April 2005:
pdf
-
Keynote zum Brandenburger
Linux-Infotag 2005, "Warum Freie
Software? Im Mittelstand?", 22. April 2005:
pdf
-
This isn't a paper or presentation at all. Some friends asked me to
to write an empty but almost complete example for diploma thesis or
more substantial seminar papers in LaTeX. Actually all I did was to
remove the contents of my own diploma and filled it up with some
nonsense. Hopefully it's of some use for them. Here we go:
pdf
view files
tar.gz
-
BraLUG-Vortrag im März 2005,
"Kryptographie -- Eine Einführung", ein unglaublich
kurzer und inhaltlich dementsprechend sehr ungenauer Vortrag. Aber manchmal
scheint es einfach besser zu sein, die Mathematik wegzulassen:
pdf
-
Vortrag zur
Brandenburg Clusternight
im Januar 2005, "Aus Zahlen werden Bilder":
pdf
-
"Mementoes." --
a bunch of thoughts about privacy written for a bunch of people
who don't care on the privacy of their own children at all:
html
-
"Kein Freibier!" -- some thoughts about Free
Information and Free Education, published in Scheinwerfer 01/2005,
January 2005: html
pdf
-
"Interview: Für 29.-- Euro nach Bologna" --
Interview mit Prof. Dr. Hoier, neuer Vizepräsident für Lehre
und Studium an der Fachhochschule Brandenburg; erschienen im Scheinwerfer
01/2005, Januar 2005:
pdf
-
BraLUG-Vortrag im November 2004,
"GNU/Linux -- Eine Einführung":
pdf
-
Der "Italienische Kerzenleuchter" --
Wahrheit oder Mythos? html
-
Vortrag bei der IHK-Potsdam
im November 2004,
"Was bedeutet Linux für den Mittelstand":
pdf
-
"Interview: Evaluation der Lehre an der FHB" --
Interview mit Prof. Dr. Lüthy, ehemals Senatorin an der Fachhochschule
Brandenburg; erschienen im Scheinwerfer 04/2004, September 2004:
pdf
-
"Interview: Er hat Jehova gesagt!" -- Interview mit
Prof. Dr. Holl, dem ehemaligen Vorsitzenden des Senates der Fachhochschule
Brandenburg; erschienen im Scheinwerfer 03/2004, Juni 2004:
pdf
-
Some slides about CIDAS used for several presentations since February
2004: german,
english (both
pdf)
-
Diplomarbeit und Vortragsfolien, Mai 2004, "Konzeption und
prototypische Umsetzung von Authentifizierungsverfahren und
Kommunikationsschnittstellen für das Identity-Management-System
CIDAS unter besonderer Berücksichtigung mobiler
identifizierbarer Datenträger":
task.pdf,
diplom.pdf,
coll-slides.pdf,
coll-poster.pdf
-
BraLUG-Vortrag im Dezember 2003,
"OpenPGP":
pdf
-
BraLUG-Vortrag im Dezember 2003,
"Kryptographie -- Eine Einführung", This set of slides
is not exhaustive. I wrote it as an introduction for one of my presentation
about e-mail security and OpenPGP. Therefore it only points out some
basic points about cryptographic systems being used:
pdf
-
Belegarbeit Datensicherheit, WiSe 2003,
"Viren und Würmer unter UNIX", Autoren: Hannes Seidel,
Jan Tobias Mühlberg:
pdf
tex
-
Belegarbeit Applikationen Intelligenter Systeme, WiSe 2003,
"Erstellung einer Kompasskarte mit dem Pioneer II",
Autoren: Jan Tobias Mühlberg, Hannes Seidel:
pdf
tex
data
-
"MUDs: Textorientierte Rollenspiele auf dem Computer",
February 2002, I don't remember what I wrote this paper for...:
pdf
tex
-
Belegarbeit Interaktive Dramaturgien, Drehbücher und Filme,
WiSe2002, "Kartenentwurf für Caesar III --
Brendanburg":
pdf
tex
map
-
Belegarbeit Gesellschaftliche Aspekte der Informatik, SoSe2002,
"Von Menschen, Tieren und Mülltonnen", This is
only my part of the
essay collection above. No idea, why I'm keeping a separate copy.:
pdf
tex
-
Belegarbeit Gesellschaftliche Aspekte der Informatik, SoSe2002,
"Kybernetik", Autoren: André Adam,
Martin Krüger, Jan Tobias Mühlberg, Alexander Schulte,
Hannes Seidel:
pdf
tex
-
Belegarbeit Alternative Programmiersprachen, SoSe2002,
"Affen und Gnus -- Implementierungen von Microsofts
.NET-Framework unter GNU/Linux":
pdf
tex
-
Belegarbeit Datenbankprogrammierung, SoSe2002:
pdf
tex
sources
-
Vortragsbegleitendes Material, WiSe 2002,
"Virtual Private Networks", Autoren: Markus Dahms,
Jan Tobias Mühlberg:
pdf
tex
Projects/Activities
- York Doctoral Symposium
-- I was organising this in 2007 and 2008
- BraLUG
-- Brandenburger Linux User Group e.V.
- YLUG -- York Linux User Group;
same as the above but for my current working location.
-
INNODES -- "Innovationsverhalten deutscher
Software-Entwicklungsunternehmen"
- Within the project INNODES, a meta study on open source software
has been developed. We provide access to the current state of the
bibliography and annotations using a tool called
BibDB
The database can be accessed at
http://innodes.fh-brandenburg.de/bibdb/.
- "Kultur machen" -- just lacking time... :-(
- Scheinwerfer -- Die studentische Zeitung an der FH-Brandenburg
(there is a secondary website
available)
- BLIT
-- Brandenburger Linux-Infotag (annual event organised by the school
of Computing and Media and
the BraLUG).
- Brandenburg Clusternight
-- not an annual event but we may repeat it in case we have something
to calculate. We really thank the University of Applied Sciences in
Brandenburg and the Institute
for Computer Science at the University Potsdam for help and
support.
- CIDAS
-- Configurable Internet Directory and Authentication Service.
Friends, Nice People, Random Links
<<< back to main |
contact | brief |
publications | projects |
friends | disclaimer