Wissenschaftliche Publikationen
Zeitschriftenartikel (21)
1.
Zeitschriftenartikel
331, S. 57 - 70 (2017)
Sparsity Preserving Algorithms for Octagons. Electronic Notes in Theoretical Computer Science 2.
Zeitschriftenartikel
1, 21 (2017)
A Relational Logic for Higher-order Programs. Proceedings of the ACM on Programming Languages 3.
Zeitschriftenartikel
51 (1), S. 1 - 4 (2017)
Introduction to the Special Issue on Runtime Verification. Formal Methods in System Design 4.
Zeitschriftenartikel
257, S. 34 - 57 (2017)
On the Functions Generated by the General Purpose Analog Computer. Information and Computation 5.
Zeitschriftenartikel
4 (1), 01, S. 1 - 22 (2017)
A Note on the Period Enforcer Algorithm for Self-Suspending Tasks. Leibniz Transactions on Embedded Systems 6.
Zeitschriftenartikel
54 (8), S. 729 - 764 (2017)
Approximate Counting in SMT and Value Estimation for Probabilistic Programs. Acta Informatica 7.
Zeitschriftenartikel
42 (4), S. 1 - 5 (2017)
Consistency-Aware Scheduling for Weakly Consistent Programs. ACM SIGSOFT Software Engineering Notes 8.
Zeitschriftenartikel
50 (2-3), S. 168 - 206 (2017)
Quantifying Conformance using the Skorokhod Metric. Formal Methods in System Design 9.
Zeitschriftenartikel
16 (5s), 170, S. 1 - 18 (2017)
Testing Cyber-Physical Systems through Bayesian Optimization. ACM Transactions on Embedded Computing Systems 10.
Zeitschriftenartikel
13 (4), 4011, S. 1 - 38 (2017)
Modular, Fully-abstract Compilation by Approximate Back-translation. Logical Methods in Computer Science 11.
Zeitschriftenartikel
18, 2, S. 1 - 45 (2017)
Scalable Influence Maximization for Multiple Products in Continuous-Time Diffusion Networks. Journal of Machine Learning Research 12.
Zeitschriftenartikel
50 (2-3), S. 140 - 167 (2017)
Model Checking Parameterized Asynchronous Shared-Memory Systems. Formal Methods in System Design 13.
Zeitschriftenartikel
54 (2), S. 191 - 215 (2017)
Verification of population protocols. Acta Informatica 14.
Zeitschriftenartikel
16 (5s), 190, S. 1 - 19 (2017)
Antlab: A Multi-Robot Task Server. ACM Transactions on Embedded Computing Systems 15.
Zeitschriftenartikel
64 (12), S. 9854 - 9863 (2017)
Efficiency and Cost Optimized Design of an Induction Motor Using Genetic Algorithm. IEEE Transactions on Industrial Electronics 16.
Zeitschriftenartikel
21 (3), S. 48 - 55 (2017)
Longitudinal Privacy Management in Social Media: The Need for Better Controls. IEEE Internet Computing 17.
Zeitschriftenartikel
4 (1), S. 6 - 21 (2017)
Type Systems for Information Flow Control: The Question of Granularity. ACM SIGLOG News 18.
Zeitschriftenartikel
27 (2), S. 261 - 299 (2017)
Dynamic Hierarchical Reactive Controller Synthesis. Discrete Event Dynamic Systems 19.
Zeitschriftenartikel
47 (5), S. 12 - 24 (2017)
Inside the Walled Garden: Deconstructing Facebook's Free Basics Program. SIGCOMM Computer Communication Revíew 20.
Zeitschriftenartikel
54 (2), S. 217 - 242 (2017)
Dynamic Bayesian networks for formal verification of structured stochastic processes. Acta Informatica