|
|
 |
|
Dr. Matthias Sand
Since August 2001, Matthias Sand is a member of the research
staff at the
Department of Computer Architecture.
He holds a Master's Degree (Diplom-Informatiker) and
a Ph.D. (Dr.-Ing.) in Computer Science.
- Modeling by Patterns and Scenarios
- Methodology of Modeling
- UML
- Formal Methods
Putting it all together: Pattern-Based Verification.
But currently, I am mainly engaged in the FAUmachine project.
I am concered with (among others):
- low level debugging and advancement of hardware (e.g. floppy drive, CDROM/ATAPI, mouse, VGA adapters),
- improvement of BIOS for the hardware mentioned above,
- support for legacy OSes (DOS, Windows 9x, OS/2, etc.),
- porting FAUmachine to Mac OS X.
Patternbasierte Verifikation objektorientierter Modelle - Methodik, Semantik und Verfahren. Erlangen, 2006
- Kosmidis, Konstantinos and Sand, Matthias:
Assurance Analysis by Scenario-based UML-Modeling
Fast Abstract, Proc. HASE 2001 6th International Symposium on High Assurance Systems Engineering, Boca Raton, FL, USA 2001
- Sand, Matthias:
Modelling Dependable Systems with Patterns
Supplement to Proc. EDCC-4, 4th European Dependable Computing Conference, Toulouse, France, October 2002
- Sand, Matthias:
Verification and Test of Critical Systems with Patterns and Scenarios in UML
Poster Presentation, Proc. 3rd International Workshop on Critical Systems Development with UML, Lisbon, Portugal, 2004
- Sand, Matthias:
Patterns for Model Verification
Supplement to Proc. HASE 2005: International Symposium on High Assurance Systems Engineering, Heidelberg, Germany 2005
- WS 2001/2002:
- SS 2002:
- WS 2002/2003:
- SS 2003:
- SS 2004:
- WS 2004/2005:
- SS 2005:
- WS 2005/2006:
- SS 2006:
- WS 2006/2007:
- SS 2007:
- WS 2007/2008:
- SS 2008:
- WS 2008/2009:
- Sand, Matthias:
Design und Implementierung einer Komponente zur Transformation von UML-Statecharts in stochastiche Petrinetze
Erlangen, Informatik 3, Studienarbeit, July 2000
- Sand, Matthias:
IXNOS - Ein Werkzeug zur Pfadsuche in interagierenden Zustandsautomaten
Erlangen, Informatik 3, Diplomarbeit, July 2001
- Friedrich, Markus:
Ein Tool-Framework für den XMI-basierten UML-Modellaustausch
Erlangen, Informatik 3, Studienarbeit, 2005
- Ruppert, Sascha:
SchUML/Sim: Ein UML-Statechart-Simulator
Erlangen, Informatik 3, Studienarbeit, 2005
- Kolbe, Mirko:
Konzeption und Implementierung einer Komponente zum Einlesen von
UML-SC und deren Transformation in Petrinetze
Erlangen, Informatik 3, Studienarbeit, 2005
- Marquardt, Holger:
Design und Implementierung einer Komponente zur
Analyse von Simulationsläufen
Erlangen, Informatik 3, Studienarbeit, 2005
- Kolbe, Mirko:
Szenarienanalyse auf Statechart-Modellen
Erlangen, Informatik 3, Diplomarbeit, 2006
- Rössler, Wolfgang:
Modelltransformationen für Design-Patterns in
sicherheitsrelevanten Systemen
Erlangen, Informatik 3, Diplomarbeit, 2006
Our chair is operating a mostly self-administered network
consisting predominantly of computers running
Debian GNU/Linux (remote)
as workstations as well as servers.
|
|
|
|
