Konferenzbeitrag (910)
1181.
Konferenzbeitrag
Fallacies in evaluating decentralized systems. In: 5th International Workshop on Peer-to-Peer Systems (IPTPS'06), S. 19 - 24. (2006)
1182.
Konferenzbeitrag
Thread-modular verification is Cartesian abstract interpretation. In: Theoretical Aspects of Computing -- ICTAC 2006, S. 183 - 197 (Hg. Barkaoui, K.; Cavalcanti, A.; Cerone, A.). Third International Colloquium on Theoretical Aspects of Computing, Tunis, Tunesia, 20. November 2006 - 24. November 2006. Springer, Berlin (2006)
1183.
Konferenzbeitrag
Model Checking Duration Calculus: A Practical Approach. In: Theoretical Aspects of Computing -- ICTAC 2006, S. 332 - 346 (Hg. Barkaoui, K.; Cavalcanti, A.; Cerone, A.). Third International Colloquium on Theoretical Aspects of Computing, Tunis, Tunesia, 20. November 2006 - 24. November 2006. Springer, Berlin (2006)
1184.
Konferenzbeitrag
Exploiting Social Networks for Internet Search. In: Record of the Fifth Workshop on Hot Topics in Networks, S. 79 - 84. Fifth Workshop on Hot Topics in Networks, Irvine, CA, USA, 29. November 2006 - 30. November 2006. ACM, New York, NY (2006)
1185.
Konferenzbeitrag
Experiences in Building and Operating ePOST, a Reliable Peer-to-Peer Application. In: Proceedings of EuroSys 2006, S. 147 - 160. ACM, New York, USA (2006)
1186.
Konferenzbeitrag
Eclipse Attacks on Overlay Networks: Threats and Defenses. In: 25th IEEE International Conference on Computer Communications (INFOCOM 2006). IEEE, Barcelona, Spain (2006)
1187.
Konferenzbeitrag
Using Queries for Distributed Monitoring and Forensics. In: Proceedings of EuroSys 2006, S. 389 - 402. ACM, New York, USA (2006)
1188.
Konferenzbeitrag
Proactive replication for data durability. In: 5th International Workshop on Peer-to-Peer Systems (IPTPS'06), S. 43 - 48. (2006)
1189.
Konferenzbeitrag
Measurement-Based Analysis, Modeling, and Synthesis of the Internet Delay Space. In: Proceedings of the 6th ACM SIGCOMM Conference on Internet Measurement 2006, S. 85 - 98. ACM, New York, USA (2006)
Konferenzbericht (1)
1190.
Konferenzbericht
Functional Programming for Dynamic and Large Data with Self-Adjusting Computation. In: ICFP'14, S. 227 - 240. ACM SIGPLAN International Conference on Functional Programming, Gothenburg, Sweden, 01. September 2014 - 03. September 2014. ACM, New York, NY (2014)
Poster (2)
1191.
Poster
Hierarchical Dirichlet Hawkes Process for modeling the Dynamics of Online Learning Activity. Workshop on Networks in the Social and Information Sciences, Montréal, Quebec, Canada (2015)
1192.
Poster
Residential Broadband Networks: Characteristics and Implications. (2008)
Hochschulschrift - Doktorarbeit (31)
1193.
Hochschulschrift - Doktorarbeit
Algorithmic Verification of Linear Dynamical Systems. Dissertation, vii, 200 pages S., Universität des Saarlandes, Saarbrücken (2023)
1194.
Hochschulschrift - Doktorarbeit
Automated and Foundational Verification of Low-level Programs. Dissertation, ix, 168 S., Universität des Saarlandes, Saarbrücken (2023)
1195.
Hochschulschrift - Doktorarbeit
Real-Time Execution Management in the ROS 2 Framework. Dissertation, xvi, 189 p S., Universität des Saarlandes, Saarbrücken (2023)
1196.
Hochschulschrift - Doktorarbeit
Verified Compilation and Optimization of Floating-point Kernels. Dissertation, XIII, 131 S., Universität des Saarlandes, Saarbrücken (2022)
1197.
Hochschulschrift - Doktorarbeit
Information Consumption on Social Media. Dissertation, 127 S., Universität des Saarlandes, Saarbrücken (2021)
1198.
Hochschulschrift - Doktorarbeit
Towards “Ultra-Reliable” CPS. Dissertation, 245 S., Technische Universität Kaiserslautern, Kaiserslautern (2020)
1199.
Hochschulschrift - Doktorarbeit
Understanding and Evolving the Rust Programming Language. Dissertation, VI, 287 S., Universität des Saarlandes, Saarbrücken (2020)
1200.
Hochschulschrift - Doktorarbeit
A Type-theory for Higher-order Amortized Analysis. Dissertation, XI, 113 S., Universität des Saarlandes, Saarbrücken (2020)