TrustSoft - Graduate School on Trustworthy Software Systems
Nils Müllner
- Graduate School on Trustworthy Software Systems
DFG TRUSTSOFT
- former member of
Automatic Verification and Analysis of Complex Systems
DFG TR-SFB13 AVACS - System Software and Distributed Systems Group
SVS
- Carl von Ossietzky Universität Oldenburg
Contact Details
| Postal address | Carl v. Ossietzky Universität |
|
|
Fakultät II, Department für Informatik |
|
|
Oldenburg, Niedersachsen 26111 |
|
|
Germany |
| Telephone | +49 441 798 4878 |
|
Fax |
+49 441 798 2756 |
|
|
Nils.Muellner@Informatik.Uni-Oldenburg.DE |
Research
| Thesis Advisor | Prof. Dr. -Ing. Oliver Theel |
| Working Dissertation Title | Unmasking Fault Tolerance
|
| Research Interests |
Fault Tolerance, Probabilistic Model Checking,
|
Publications
- Nils Müllner, Abhishek Dhama and Oliver Theel.
Deriving a Good Trade-off Between the Degree of Masking and Time Redundancy.
In Proceedings of the IEEE Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing (UFirst09), 2009.
Brisbane, QLD, Australia
link
- Nils Müllner, Abhishek Dhama and Oliver Theel.
Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation.
In Proceedings of the IEEE 41st Annual Simulation Symposium (AnSS), 2008.
Ottawa, ON, Canada
link
