Wissenschaftliche Publikationen
Zeitschriftenartikel (11)
1.
Zeitschriftenartikel
17 (2), S. 277 - 342 (2013)
The OMLP Family of Optimal Multiprocessor Real-time Locking Protocols. Design Automation for Embedded Systems 2.
Zeitschriftenartikel
42 (2), S. 146 - 174 (2013)
Code Aware Resource Management. Formal Methods in System Design 3.
Zeitschriftenartikel
24 (2), S. 165 - 185 (2013)
The Complexity of Coverage. International Journal of Foundations of Computer Science 4.
Zeitschriftenartikel
192 (3), S. 359 - 374 (2013)
Using Relevance Queries for Identification of Read-once Functions. Journal of Mathematical Sciences 5.
Zeitschriftenartikel
23 (4), S. 357 - 401 (2013)
How to Make Ad Hoc Proof Automation Less Ad Hoc. Journal of Functional Programming 6.
Zeitschriftenartikel
15 (4), S. 291 - 303 (2013)
From Tests to Proofs. International Journal on Software Tools for Technology Transfer 7.
Zeitschriftenartikel
13 (3), 48, S. 1 - 27 (2013)
A Theory of Robust Omega-regular Software Synthesis. ACM Transactions on Embedded Computing Systems 8.
Zeitschriftenartikel
35 (2), 6, S. 1 - 41 (2013)
Dependent Type Theory for Verification of Information Flow and Access Control Policies. ACM Transactions on Programming Languages and Systems 9.
Zeitschriftenartikel
35 (1), 2, S. 2:1 - 2:84 (2013)
Mixin' Up the ML Module System. ACM Transactions on Programming Languages and Systems 10.
Zeitschriftenartikel
60 (3), 22, S. 1 - 50 (2013)
CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency. Journal of the ACM 11.
Zeitschriftenartikel
62 (10), S. 949 - 962 (2013)
Backstepping Controller Synthesis and Characterizations of Incremental Stability. Systems & Control Letters Buchkapitel (1)
12.
Buchkapitel
From Search to Computation: Redundancy Criteria and Simplification at Work. In: Programming Logics: Essays in Memory of Harald Ganzinger, S. 169 - 193 (Hg. Voronkov, A.; Weidenbach, C.). Springer, Berlin (2013)
Konferenzband (2)
13.
Konferenzband
PETShop '13: Proceedings of the First ACM Workshop on Language Support for Privacy-enhancing Technologies. First ACM Workshop on Language Support for Privacy-enhancing Technologies, Berlin, Germany, 04. November 2013. ACM, New York, NY (2013), 30 S.
14.
Konferenzband
Internet Measurement Conference, IMC'13, Barcelona, Spain, October 23-25, 2013. 2013 Conference on Internet Measurement, Barcelona, Spain, 23. Oktober 2013 - 25. Oktober 2013. ACM, New York, NY (2013), 470 S.
Konferenzbeitrag (50)
15.
Konferenzbeitrag
Scheduling Parallel Programs by Work Stealing with Private Deques. In: PPoPP'13, S. 219 - 228. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Shenzhen, China, 23. Februar 2013 - 27. Februar 2013. ACM, New York, NY (2013)
16.
Konferenzbeitrag
SoK: The Evolution of Sybil Defense via Social Networks. In: 2013 IEEE Symposium on Security and Privacy, S. 382 - 396. IEEE Symposium on Security and Privacy, Berkeley, CA, USA, 19. Mai 2013 - 22. Mai 2013. IEEE, Los Alamitos, CA (2013)
17.
Konferenzbeitrag
Traditional Media Seen from Social Media. In: WebSci '13, S. 11 - 14. 5th Annual ACM Web Science Conference, Paris, France, 02. Mai 2013 - 04. Mai 2013. ACM, New York, NY (2013)
18.
Konferenzbeitrag
Characterizing and Curating Conversation Threads: Expansion, Focus, Volume, Re-entry. In: Proceedings of the 6th ACM International Conference on Web Search and Data Mining, S. 13 - 22. 6th ACM International Conference on Web Search and Data Mining, Rome, Italy, 04. Februar 2013 - 08. Februar 2013. ACM, New York, NY (2013)
19.
Konferenzbeitrag
Multiprocessor Feasibility Analysis of Recurrent Task Systems with Specified Processor Affinities. In: Proceedings IEEE 34th Real-Time Systems Symposium, S. 160 - 169. 34th Real-Time Systems Symposium, Vancouver, Canada, 03. Dezember 2013 - 06. Dezember 2013. IEEE, Piscataway, NJ (2013)
20.
Konferenzbeitrag
Composing OS Extensions Safely and Efficiently with Bascule. In: EuroSys'13, S. 239 - 252. 8th ACM European Conference on Computer Systems, Prague, Czech Republic, 14. April 2013 - 17. April 2013. ACM, New York, NY (2013)