Journal Article (25)

21.
Journal Article
Ravishankar, S.; Toneva, M.; Wehbe, L.: Single-Trial MEG Data Can Be Denoised Through Cross-Subject Predictive Modeling. Frontiers in Computational Neuroscience 15, 737324 (2021)
22.
Journal Article
Spies, S.; Krishnaswami, N.; Dreyer, D.: Transfinite Step-indexing for Termination. Proceedings of the ACM on Programming Languages 5, POPL, 13, pp. 1 - 29 (2021)
23.
Journal Article
Urabe, N.; Majumdar, R.: Verifying Asymptotic Temporal Properties of Continuous-State Probabilistic Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 40 (9), pp. 1934 - 1946 (2021)
24.
Journal Article
Yanovski, J.; Dang, H.-H.; Jung, R.; Dreyer, D.: GhostCell: Separating Permissions from Data in Rust. Proceedings of the ACM on Programming Languages 5, ICFP, 92, pp. 1 - 30 (2021)
25.
Journal Article
Zetzsche, G.: The Emptiness Problem for Valence Automata over Graph Monoids. Information and Computation, 104583, pp. 1 - 18 (2021)

Proceedings (3)

26.
Proceedings
Bjørner, N. S.; Christakis, M.; Maffei, M.; Rosu, G. (Eds.): Rigorous Methods for Smart Contracts (Dagstuhl Reports, 11). Dagstuhl Seminar 21431 "Rigorous Methods for Smart Contracts", Dagstuhl, Germany, October 24, 2021 - October 29, 2021. Schloss Dagstuhl, Wadern (2021)
27.
Proceedings
Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Reports, 11). Dagstuhl Seminar 21442 "Ensuring the Reliability and Robustness of Database Management Systems", Dagstuhl, Germany, November 01, 2021 - November 04, 2021. Schloss Dagstuhl, Wadern (2021)
28.
Proceedings
Georgiou, C.; Majumdar, R. (Eds.): Network Systems (Lecture Notes in Computer Science, 12129). 8th International Conference on Networked Systems, Marrakech, Morocco, June 03, 2020 - June 05, 2020. Springer, Berlin (2021), XVII, 376 pp.

Conference Paper (82)

29.
Conference Paper
33rd Euromicro Conference on Real-Time Systems. In: 33nd Euromicro Conference on Real-Time Systems, pp. 1 - 12. 33nd Euromicro Conference on Real-Time Systems, Virtual Conference, July 07, 2020 - July 10, 2020. Schloss Dagstuhl, Wadern (2021)
30.
Conference Paper
Abbasi, R.; Schiffl, J.; Darulova, E.; Ulbrich, M.; Ahrendt, W.: Deductive Verification of Floating-Point Java Programs in KeY. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 242 - 261 (Eds. Groote, J. F.; Guldstrand Larsen, K.). 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg, March 27, 2021 - April 01, 2021. Springer, Berlin (2021)
31.
Conference Paper
Abdulla, P. A.; Atig, M. F.; Godbole, A.; Krishna, S. N.; Vafeiadis, V.: The Decidability of Verification under PS 2.0. In: Programming Languages and Systems, pp. 1 - 29 (Ed. Yoshida, N.). 24th European Joint Conferences on Theory and Practice of Software, Luxembourg City, Luxembourg, March 27, 2021 - April 01, 2021. Springer, Berlin (2021)
32.
Conference Paper
Akgul, O.; Abu-Salma, R.; Bai, W.; Redmiles, E. M.; Mazurek, M. L.; Ur, B.: From Secure to Military-Grade: Exploring the Effect of App Descriptions on User Perceptions of Secure Messaging. In: WPES '21, pp. 119 - 135 (Ed. Livraga, G.). 20th Workshop on Workshop on Privacy in the Electronic Society, Virtual Event, Republic of Korea, November 15, 2021. ACM, New York, NY (2021)
33.
Conference Paper
Ali, J.; Lahoti, P.; Gummadi, K. P.: Accounting for Model Uncertainty in Algorithmic Discrimination. In: AIES '21, pp. 336 - 345 (Eds. Fourcade, M.; Kuipers, B.; Lazar, S.; Mulligan, D.). Fourth AAAI/ACM Conference on Artificial Intelligence, Ethics and Society, Virtual Conference, May 19, 2021 - May 21, 2021. ACM, New York, NY (2021)
34.
Conference Paper
Anand, V.; De Viti, R.; Mace, J.: Systems Trivia Night. In: HotOS XVIII, p. 239 - 239. Workshop on Hot Topics in Operating Systems, Ann Arbor, MI, USA (Virtual Conference), June 01, 2021 - June 03, 2021. ACM, New York, NY (2021)
35.
Conference Paper
Baharisangari, N.; Gaglione, J.-R.; Neider, D.; Topcu, U.; Xu, Z.: Uncertainty-Aware Signal Temporal Logic Inference. In: Software Verification, pp. 61 - 85 (Eds. Bloem, R.; Dimitrova, R.; Fan, C.; Sharygina, N.). 13th Working Conference on Verified Software: Theories, Tools, and Experiment, New Haven, CT, USA (Virtual), October 18, 2021 - October 19, 2021. Springer, Berlin (2021)
36.
Conference Paper
Baier, C.; Christakis, M.; Gros, T. P.; Groß, D.; Gumhold, S.; Hermanns, H.; Hoffmann, J.; Klauck, M.: Lab Conditions for Research on Explainable Automated Decisions. In: Trustworthy AI -- Integrating Learning, Optimization and Reasoning, pp. 83 - 90 (Eds. Heintz, F.; Milano, M.; O'Sullivan, M.). 1st TAILOR Workshop, Virtual Event, September 04, 2020 - September 05, 2020. Springer, Berlin (2021)
37.
Conference Paper
Baier, C.; Dubslaff, C.; Funke, F.; Jantsch, S.; Majumdar, R.; Piribauer, J.; Ziemek, R.: From Verification to Causality-Based Explications (Invited Talk). In: 48th International Colloquium on Automata, Languages, and Programming, 1, pp. 1 - 20 (Eds. Bansal, N.; Merelli, E.; Worrell, J.). 48th International Colloquium on Automata, Languages, and Programming, Glasgow, UK (Virtual Conference), July 12, 2021 - July 16, 2020. Schloss Dagstuhl, Wadern (2021)
38.
Conference Paper
Baier, C.; Funke, F.; Jantsch, S.; Karimov, T.; Lefaucheux, E.; Luca, F.; Ouaknine, J.; Purser, D.; Whiteland, M.; Worrell, J.: The Orbit Problem for Parametric Linear Dynamical Systems. In: 32nd International Conference on Concurrency Theory, 28, pp. 1 - 17 (Eds. Haddad, S.; Varacca, D.). 32nd International Conference on Concurrency Theory, Virtual Conference, August 24, 2021 - August 27, 2021. Schloss Dagstuhl, Wadern (2021)
39.
Conference Paper
Baier, C.; Funke, F.; Majumdar, R.: Responsibility Attribution in Parameterized Markovian Models. In: AAAI Technical Track on Planning, Routing, and Scheduling, pp. 11734 - 11743. Thirty-Fifth AAAI Conference on Artificial Intelligence, Virtual Conference, February 02, 2021 - February 09, 2021. AAAI, Palo Alto, CA (2021)
40.
Conference Paper
Baier, C.; Funke, F.; Majumdar, R.: A Game-Theoretic Account of Responsibility Allocation. In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, pp. 1773 - 1779 (Ed. Zhou, Z.-H.). Thirtieth International Joint Conference on Artificial Intelligence, Montreal, Canada, August 19, 2021 - August 27, 2021. IJCAI (2021)
Go to Editor View