Wissenschaftliche Publikationen

Zeitschriftenartikel (21)

1.
Zeitschriftenartikel
Jourdan, J.-H.: Sparsity Preserving Algorithms for Octagons. Electronic Notes in Theoretical Computer Science 331, S. 57 - 70 (2017)
2.
Zeitschriftenartikel
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)
3.
Zeitschriftenartikel
Bartocci, E.; Majumdar, R.: Introduction to the Special Issue on Runtime Verification. Formal Methods in System Design 51 (1), S. 1 - 4 (2017)
4.
Zeitschriftenartikel
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)
5.
Zeitschriftenartikel
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)
6.
Zeitschriftenartikel
Chistikov, D.; Dimitrova, R.; Majumdar, R.: Approximate Counting in SMT and Value Estimation for Probabilistic Programs. Acta Informatica 54 (8), S. 729 - 764 (2017)
7.
Zeitschriftenartikel
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)
8.
Zeitschriftenartikel
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)
9.
Zeitschriftenartikel
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)
10.
Zeitschriftenartikel
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)
11.
Zeitschriftenartikel
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)
12.
Zeitschriftenartikel
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)
13.
Zeitschriftenartikel
Esparza, J.; Ganty, P.; Leroux, J.; Majumdar, R.: Verification of population protocols. Acta Informatica 54 (2), S. 191 - 215 (2017)
14.
Zeitschriftenartikel
Gavran, I.; Majumdar, R.; Saha, I.: Antlab: A Multi-Robot Task Server. ACM Transactions on Embedded Computing Systems 16 (5s), 190, S. 1 - 19 (2017)
15.
Zeitschriftenartikel
Mallik, S.; Mallik, K.; Barman, A.; Maiti, D.; Biswas, S. K.; Deb, N. K.; Basu, S.: Efficiency and Cost Optimized Design of an Induction Motor Using Genetic Algorithm. IEEE Transactions on Industrial Electronics 64 (12), S. 9854 - 9863 (2017)
16.
Zeitschriftenartikel
Mondal, M.; Messias, J.; Ghosh, S.; Gummadi, K.; Kate, A.: Longitudinal Privacy Management in Social Media: The Need for Better Controls. IEEE Internet Computing 21 (3), S. 48 - 55 (2017)
17.
Zeitschriftenartikel
Rajani, V.; Bastys, I.; Rafnsson, W.; Garg, D.: Type Systems for Information Flow Control: The Question of Granularity. ACM SIGLOG News 4 (1), S. 6 - 21 (2017)
18.
Zeitschriftenartikel
Schmuck, A.-K.; Majumdar, R.; Leva, A.: Dynamic Hierarchical Reactive Controller Synthesis. Discrete Event Dynamic Systems 27 (2), S. 261 - 299 (2017)
19.
Zeitschriftenartikel
Sen, R.; Ahmad, S.; Phokeer, A.; Farooq, Z. A.; Qazi, I. A.; Choffnes, D.; Gummadi, K.: Inside the Walled Garden: Deconstructing Facebook's Free Basics Program. SIGCOMM Computer Communication RevĂ­ew 47 (5), S. 12 - 24 (2017)
20.
Zeitschriftenartikel
Soudjani, S. E. Z.; Abate, A.; Majumdar, R.: Dynamic Bayesian networks for formal verification of structured stochastic processes. Acta Informatica 54 (2), S. 217 - 242 (2017)
Zur Redakteursansicht