Journal Article (248)
161.
Journal Article
2 (OOPSLA), 160, pp. 1 - 28 (2018)
Randomized Testing of Distributed Systems with Probabilistic Guarantees. Proceedings of the ACM on Programming Languages 162.
Journal Article
2 (OOPSLA), 137, pp. 1 - 27 (2018)
Persistence Semantics for Weak Memory: Integrating Epoch Persistency with the TSO Memory Model. Proceedings of the ACM on Programming Languages 163.
Journal Article
2 (POPL), 36, pp. 1 - 32 (2018)
Monadic Refinements for Relational Cost Analysis. Proceedings of the ACM on Programming Languages 164.
Journal Article
51 (16), pp. 277 - 282 (2018)
Concentration of Measure for Chance-Constrained Optimization. IFAC-PapersOnLine 165.
Journal Article
331, pp. 57 - 70 (2017)
Sparsity Preserving Algorithms for Octagons. Electronic Notes in Theoretical Computer Science 166.
Journal Article
1, 21 (2017)
A Relational Logic for Higher-order Programs. Proceedings of the ACM on Programming Languages 167.
Journal Article
51 (1), pp. 1 - 4 (2017)
Introduction to the Special Issue on Runtime Verification. Formal Methods in System Design 168.
Journal Article
257, pp. 34 - 57 (2017)
On the Functions Generated by the General Purpose Analog Computer. Information and Computation 169.
Journal Article
4 (1), 01, pp. 1 - 22 (2017)
A Note on the Period Enforcer Algorithm for Self-Suspending Tasks. Leibniz Transactions on Embedded Systems 170.
Journal Article
54 (8), pp. 729 - 764 (2017)
Approximate Counting in SMT and Value Estimation for Probabilistic Programs. Acta Informatica 171.
Journal Article
42 (4), pp. 1 - 5 (2017)
Consistency-Aware Scheduling for Weakly Consistent Programs. ACM SIGSOFT Software Engineering Notes 172.
Journal Article
50 (2-3), pp. 168 - 206 (2017)
Quantifying Conformance using the Skorokhod Metric. Formal Methods in System Design 173.
Journal Article
16 (5s), 170, pp. 1 - 18 (2017)
Testing Cyber-Physical Systems through Bayesian Optimization. ACM Transactions on Embedded Computing Systems 174.
Journal Article
13 (4), 4011, pp. 1 - 38 (2017)
Modular, Fully-abstract Compilation by Approximate Back-translation. Logical Methods in Computer Science 175.
Journal Article
18, 2, pp. 1 - 45 (2017)
Scalable Influence Maximization for Multiple Products in Continuous-Time Diffusion Networks. Journal of Machine Learning Research 176.
Journal Article
50 (2-3), pp. 140 - 167 (2017)
Model Checking Parameterized Asynchronous Shared-Memory Systems. Formal Methods in System Design 177.
Journal Article
54 (2), pp. 191 - 215 (2017)
Verification of population protocols. Acta Informatica 178.
Journal Article
16 (5s), 190, pp. 1 - 19 (2017)
Antlab: A Multi-Robot Task Server. ACM Transactions on Embedded Computing Systems 179.
Journal Article
64 (12), pp. 9854 - 9863 (2017)
Efficiency and Cost Optimized Design of an Induction Motor Using Genetic Algorithm. IEEE Transactions on Industrial Electronics 180.
Journal Article
21 (3), pp. 48 - 55 (2017)
Longitudinal Privacy Management in Social Media: The Need for Better Controls. IEEE Internet Computing