Lohrey, M.; Zetzsche, G.: Knapsack in Graph Groups. Theory of Computing Systems 62 (1), S. 192 - 246 (2018)

Mace, J.; Roelke, R.; Fonseca, R.: Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems. ACM Transactions on Computer Systems 35 (4), 11, S. 1 - 28 (2018)

Majumdar, R.; Niksic, F.: Why is Random Testing Effective for Partition Tolerance Bugs? Proceedings of the ACM on Programming Languages 2 (POPL), 46, S. 1 - 24 (2018)

Neider, D.; Saha, S.; Madhusudan, P.: Compositional Synthesis of Piece-Wise Functions by Learning Classifiers. ACM Transactions on Computational Logic 19 (2), 10, S. 1 - 23 (2018)

Ozkan, B. K.; Majumdar, R.; Niksic, F.; Befrouei, M. T.; Weissenbacher, G.: Randomized Testing of Distributed Systems with Probabilistic Guarantees. Proceedings of the ACM on Programming Languages 2 (OOPSLA), 160, S. 1 - 28 (2018)

Raad, A.; Vafeiadis, V.: Persistence Semantics for Weak Memory: Integrating Epoch Persistency with the TSO Memory Model. Proceedings of the ACM on Programming Languages 2 (OOPSLA), 137, S. 1 - 27 (2018)

Radiček, I.; Barthe, G.; Gaboardi, M.; Garg, D.; Zuleger, F.: Monadic Refinements for Relational Cost Analysis. Proceedings of the ACM on Programming Languages 2 (POPL), 36, S. 1 - 32 (2018)

Soudjani, S.; Majumdar, R.: Concentration of Measure for Chance-Constrained Optimization. IFAC-PapersOnLine 51 (16), S. 277 - 282 (2018)

Jourdan, J.-H.: Sparsity Preserving Algorithms for Octagons. Electronic Notes in Theoretical Computer Science 331, S. 57 - 70 (2017)

Aguirre, A.; Barthe, G.; Gaboardi, M.; Garg, D.; Strub, P.-Y.: A Relational Logic for Higher-order Programs. Proceedings of the ACM on Programming Languages 1, 21 (2017)

Bartocci, E.; Majumdar, R.: Introduction to the Special Issue on Runtime Verification. Formal Methods in System Design 51 (1), S. 1 - 4 (2017)

Bournez, O.; Graça, D.; Pouly, A.: On the Functions Generated by the General Purpose Analog Computer. Information and Computation 257, S. 34 - 57 (2017)

Chen, J.-J.; Brandenburg, B.: A Note on the Period Enforcer Algorithm for Self-Suspending Tasks. Leibniz Transactions on Embedded Systems 4 (1), 01, S. 1 - 22 (2017)

Chistikov, D.; Dimitrova, R.; Majumdar, R.: Approximate Counting in SMT and Value Estimation for Probabilistic Programs. Acta Informatica 54 (8), S. 729 - 764 (2017)

Dabaghchian, M.; Rakamaric, Z.; Ozkan, B. K.; Mutlu, E.; Tasiran, S.: Consistency-Aware Scheduling for Weakly Consistent Programs. ACM SIGSOFT Software Engineering Notes 42 (4), S. 1 - 5 (2017)

Deshmukh, J. V.; Majumdar, R.; Prabhu, V.: Quantifying Conformance using the Skorokhod Metric. Formal Methods in System Design 50 (2-3), S. 168 - 206 (2017)

Deshmukh, J.; Horvat, M.; Jin, X.; Majumdar, R.; Prabhu, V.: Testing Cyber-Physical Systems through Bayesian Optimization. ACM Transactions on Embedded Computing Systems 16 (5s), 170, S. 1 - 18 (2017)

Devriese, D.; Patrignani, M.; Piessens, F.; Keuchel, S.: Modular, Fully-abstract Compilation by Approximate Back-translation. Logical Methods in Computer Science 13 (4), 4011, S. 1 - 38 (2017)

Du, N.; Liang, Y.; Balcan, M.-F.; Gomez Rodriguez, M.; Zha, H.; Song, L.: Scalable Influence Maximization for Multiple Products in Continuous-Time Diffusion Networks. Journal of Machine Learning Research 18, 2, S. 1 - 45 (2017)

Durand-Gasselin, A.; Esparza, J.; Gant, P.; Majumdar, R.: Model Checking Parameterized Asynchronous Shared-Memory Systems. Formal Methods in System Design 50 (2-3), S. 140 - 167 (2017)