Wissenschaftliche Publikationen
Zeitschriftenartikel (4)
1.
Zeitschriftenartikel
11 (1), 20 (2015)
Aspect-oriented Linearizability Proofs. Logical Methods in Computer Science 2.
Zeitschriftenartikel
51 (6), S. 440 - 483 (2015)
Multiprocessor Real-time Scheduling with Arbitrary Processor Affinities: From Practice to Theory. Real-Time Systems 3.
Zeitschriftenartikel
9 (3), 12 (2015)
Sampling Content from Online Social Networks: Comparing Random vs. Expert Sampling of the Twitter Stream. ACM Transactions on the Web 4.
Zeitschriftenartikel
25, e12 (2015)
Mtac: A Monad for Typed Tactic Programming in Coq. Journal of Functional Programming Konferenzband (1)
5.
Konferenzband
Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Reports, 5). Dagstuhl Seminar 15191 "Compositional Verification Methods for Next-Generation Concurrency", Dagstuhl, Germany, 03. Mai 2015 - 08. Mai 2015. Schloss Dagstuhl, Wadern (2015)
Konferenzbeitrag (45)
6.
Konferenzbeitrag
Proving Lock-freedom Easily and Automatically. In: CPP'15, S. 119 - 127. Fourth ACM SIGPLAN Conference on Certified Programs and Proofs, Mumbai, India, 13. Januar 2015 - 14. Januar 2015. ACM, New York, NY (2015)
7.
Konferenzbeitrag
Formal Reasoning about the C11 Weak Memory Model. In: CPP'15, S. 1 - 2. Fourth ACM SIGPLAN Conference on Certified Programs and Proofs, Mumbai, India, 15. Januar 2015 - 17. Januar 2015. ACM, New York, NY (2015)
8.
Konferenzbeitrag
On the Users' Efficiency in the Twitter Information Network. In: Proceedings of the Ninth International Conference on Web and Social Media, S. 570 - 573 (Hg. Quercia, D.). 9th International Conference on Web and Social Media, Oxford, UK, 26. Mai 2015 - 29. Mai 2015. AAAI Press, Palo Alto, CA (2015)
9.
Konferenzbeitrag
iThreads: A Threading Library for Parallel Incremental Computation. In: ASPLOS XX, S. 645 - 659. Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, Instanbul, Turkey, 14. März 2015 - 18. März 2015. ACM, New York, NY (2015)
10.
Konferenzbeitrag
Can Trending News Stories Create Coverage Bias? On the Impact of High Content Churn in Online News Media. In: Computation and Journalism Symposium. Computation and Journalism Symposium, New York, NY, USA, 02. Oktober 2015 - 03. Oktober 2015. (2015)
11.
Konferenzbeitrag
Approximate Counting in SMT and Value Estimation for Probabilistic Programs. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 320 - 332 (Hg. Baier, C.; Tinelli, C.). 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, London, UK, 11. April 2015 - 18. April 2015. Springer, Berlin (2015)
12.
Konferenzbeitrag
The Many Shades of Anonymity: Characterizing Anonymous Social Media Content. In: Proceedings of the 9th International AAAI Conference on Web and Social Media. 9th International AAAI Conference on Web and Social Media, Oxford, UK, 25. Mai 2015 - 29. Mai 2015. AAAI, Palo Alto, CA (2015)
13.
Konferenzbeitrag
Program Actions as Actual Causes: A Building Block for Accountability. In: CSF 2015, S. 261 - 275. 28th Computer Security Foundations Symposium, Verona, Italy, 13. Juli 2015 - 17. Juli 2015. IEEE, Piscataway, NJ (2015)
14.
Konferenzbeitrag
Quantifying Conformance Using the Skorokhod Metric. In: Computer Aided Verification, S. 234 - 250 (Hg. Kroening, D.; Păsăreanu, C. S.). 27th International Conference on Computer Aided Verification, San Francisco, CA, USA, 18. Juli 2015 - 24. Juli 2015. Springer, Berlin (2015)
15.
Konferenzbeitrag
Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs. In: Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, S. 100 - 114 (Hg. Esparza, J.; Tronci, E.). Sixth International Symposium on Games, Automata, Logics and Formal Verification , Genoa, Italy, 21. September 2015 - 22. September 2015. (2015)
16.
Konferenzbeitrag
Model Checking Parameterized Asynchronous Shared-Memory Systems. In: Computer Aided Verification, S. 67 - 84 (Hg. Kroening, D.; Păsăreanu, C. S.). 27th International Conference on Computer Aided Verification, San Francisco, CA, USA, 18. Juli 2015 - 24. Juli 2015. Springer, Berlin (2015)
17.
Konferenzbeitrag
Analysis of Asynchronous Programs with Event-based Synchronization. In: Programming Languages and Systems, S. 535 - 559. 24th European Symposium on Programming, London, UK, 11. April 2015 - 18. April 2015. Springer, Berlin (2015)
18.
Konferenzbeitrag
Verification of Population Protocols. In: 26th International Conference on Concurrency Theory, S. 470 - 482 (Hg. Aceto, L.; de Frutos Escrig, D.). 26th International Conference on Concurrency Theory, Madrid, Spain, 01. September 2015 - 04. September 2015. Schloss Dagstuhl, Wadern (2015)
19.
Konferenzbeitrag
Co-evolutionary Dynamics of Information Diffusion and Network Structure. In: WWW'15 Companion, S. 619 - 620. 24th International Conference on World Wide Web , Florence, Italy, 18. Mai 2015 - 22. Mai 2015. ACM, New York, NY (2015)
20.
Konferenzbeitrag
Back to the Past: Source Identification in Diffusion Networks from Partially Observed Cascades. In: Proceedings of the Eighteenth International Conference on Artificial Intelligence and Statistics, S. 232 - 240 (Hg. Lebaonon, G.; Vishwanathan, S. V. N.). 18th International Conference on Artificial Intelligence and Statistics, San Diego, CA, USA, 10. Mai 2015 - 12. Mai 2015. (2015)