Konferenzbeitrag (50)
61.
Konferenzbeitrag
Bisimilar Finite Abstractions of Stochastic Control Systems. In: 2013 IEEE 52nd Annual Conference on Decision and Control, S. 3926 - 3931. 52nd IEEE Conference on Decision and Control, Firenze, Italy, 10. Dezember 2013 - 13. Dezember 2013. IEEE, Piscataway, NJ (2013)
62.
Konferenzbeitrag
A Programming Language Approach to Fault Tolerance for Fork-join Parallelism. In: TASE 2013, S. 105 - 112. International Symposium on Theoretical Aspects of Software Engineering , Birmingham; UK, 01. Juli 2013 - 03. Juli 2013. IEEE, Piscataway, NJ (2013)
63.
Konferenzbeitrag
Peer-assisted Content Distribution in Akamai Netsession. In: IMC'13, S. 31 - 42. 13th ACM Internet Measurement Conference, Barcelona, Spain, 23. Oktober 2013 - 25. Oktober 2013. ACM, New York, NY (2013)
64.
Konferenzbeitrag
Mtac: A Monad for Typed Tactic Programming in Coq. In: ICFP'13, S. 377 - 390. ACM SIGPLAN International Conference on Functional Programming, Boston, MA, USA, 25. September 2013 - 27. September 2013. ACM, New York, NY (2013)
Hochschulschrift - Doktorarbeit (1)
65.
Hochschulschrift - Doktorarbeit
Improving Trust in Cloud, Enterprise, and Mobile Computing Platforms. Dissertation, XVII, 151 S., Universität des Saarlandes, Saarbrücken (2013)
Forschungspapier (4)
66.
Forschungspapier
A Theory of Partitioned Global Address Spaces. (2013)
67.
Forschungspapier
Dynamic Package Interfaces - Extended Version. (2013)
68.
Forschungspapier
A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages. (2013)
69.
Forschungspapier
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. (2013), 27 pages, 4 figures S.