Konferenzbeitrag (918)
1001.
Konferenzbeitrag
Psi-CAL: Foundations of a Programming Language for Services Computing. In: SCC 2013, S. 721 - 728. IEEE 10th International Conference on Services Computing , Santa Clara, CA, USA, 28. Juni 2013 - 03. Juli 2013. IEEE, Piscataway, NJ (2013)
1002.
Konferenzbeitrag
Towards Efficient Traffic-analysis Resistant Anonymity Networks. In: SIGCOMM'13, S. 303 - 314. SIGCOMM 2013, Hong Kong, China, 12. August 2013 - 16. August 2013. ACM, New York, NY (2013)
1003.
Konferenzbeitrag
Provenance Verification. In: Reachability Problems, S. 21 - 22 (Hg. Abdulla, P. A.; Potapov, I.). 7th International Workshop on Reachability Problems, Uppsala, Sweden, 24. September 2013 - 26. September 2013. Springer, Berlin (2013)
1004.
Konferenzbeitrag
Static Provenance Verification for Message Passing Programs. In: Static Analysis, S. 366 - 387 (Hg. Logozzo, F.; Fähndrich, M.). 20th International Static Analysis Symposium, Seattle, WA, USA, 20. Juni 2013 - 22. Juni 2013. Springer, Berlin (2013)
1005.
Konferenzbeitrag
Compositional Equivalence Checking for Models and Code of Control Systems. In: 2013 IEEE 52nd Annual Conference on Decision and Control, S. 1564 - 1571. 52nd IEEE Conference on Decision and Control, Firenze, Italy, 10. Dezember 2013 - 13. Dezember 2013. IEEE, PIscataway, NJ (2013)
1006.
Konferenzbeitrag
Expand, Enlarge, and Check for Branching Vector Addition Systems. In: CONCUR 2013 -- Concurrency Theory, S. 152 - 166 (Hg. D'Argenio, P. R.; Melgratti, H.). 24th Conference on Concurrency Theory, Buenos Aires, Argentina, 27. August 2013 - 30. August 2013. Springer, Berlin (2013)
1007.
Konferenzbeitrag
Automating Separation Logic Using SMT. In: Computer Aided Verification, S. 773 - 789 (Hg. Sharygina, N.; Veith, H.). 25th International Conference on Computer Aided Verification , Saint Petersburg, Russia, 13. Juli 2013 - 19. Juli 2013. Springer, Berlin (2013)
1008.
Konferenzbeitrag
Linguistic Models for Analyzing and Detecting Biased Language. In: Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics, P13-1162, S. 1650 - 1659. 51st Annual Meeting of the Association for Computational Linguistics, Sofia, Bulgaria, 04. August 2013 - 09. August 2013. ACL, [s.l.] (2013)
1009.
Konferenzbeitrag
MrCrypt: Static Analysis for Secure Cloud Computations. In: OOPSLA’13, S. 271 - 286. International Conference on Object Oriented Programming Systems
Languages & Applications, Indianapolis, IN, USA, 29. Oktober 2013 - 31. Oktober 2013. ACM, New York, NY (2013)
1010.
Konferenzbeitrag
Unifying Refinement and Hoare-style Reasoning in a Logic for Higher-order Concurrency. 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)
1011.
Konferenzbeitrag
Logical Relations for Fine-grained Concurrency. In: POPL'13, S. 343 - 356. 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Rome, Italy, 23. Januar 2013 - 25. Januar 2013. ACM, New York, NY (2013)
1012.
Konferenzbeitrag
Adjustable References. In: Interactive Theorem Proving, S. 328 - 337 (Hg. Blazy, S.; Paulin-Mohring, C.; Pichardie, D.). 4th International Conference on Interactive Theorem Proving, Rennes, France, 22. Juli 2013 - 26. Juli 2013. Springer, Berlin (2013)
1013.
Konferenzbeitrag
Relaxed Separation Logic: A Program Logic for C11 Concurrency. In: OOPSLA'13, S. 867 - 884. International Conference on Object Oriented Programming Systems Languages & Applications, Indianapolis, IN, USA, 29. Oktober 2013 - 31. Oktober 2013. ACM, New York, NY (2013)
1014.
Konferenzbeitrag
Efficient Partitioning of Sporadic Real-Time Tasks with Shared Resources and Spin Locks. In: 8th IEEE International Symposium on Industrial Embedded Systems, S. 49 - 58. 8th IEEE International Symposium on Industrial Embedded Systems, Porto, Portugal, 19. Juni 2013 - 21. Juni 2013. IEEE, Los Alamitos, CA (2013)
1015.
Konferenzbeitrag
On Spin Locks in AUTOSAR: Blocking Analysis of FIFO, Unordered, and Priority-Ordered Spin Locks. In: Proceedings IEEE 34th Real-Time Systems Symposium, S. 45 - 56. 34th Real-Time Systems Symposium, Vancouver, Canada, 03. Dezember 2013 - 06. Dezember 2013. IEEE, Piscataway, NJ (2013)
1016.
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)
1017.
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)
1018.
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)
1019.
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)
1020.
Konferenzbeitrag
A Core Calculus for Provenance. In: Principles of Security and Trust: First International Conference, POST 2012, S. 410 - 429 (Hg. Degano, P.; Guttman, J. D.). POST 2012, Tallinn, Estonia, 24. März 2012 - 01. April 2012. Springer, New York, NY (2012)