Publikationen
146 Einträge
2018
-
From verification to synthesis under cost-utility constraints , 12 Nov. 2018, in: ACM SIGLOG News. 5, 4, S. 26–46Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata , 2018, in: International Journal on Software Tools for Technology Transfer. 20, 2 (Special issue "TACAS'16"), S. 179-194, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
A Hardware/Software Stack for Heterogeneous Systems , 2018, in: IEEE Transactions on Multi-Scale Computing Systems. 4, 3, S. 243-259, 17 S., 3Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Bisimulations, logics, and trace distributions for stochastic systems with rewards , 2018, HSCC '18: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery (ACM), New York, S. 31-40, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Decision making improves sperm chemotaxis in the presence of noise , 2018, in: PLoS Computational Biology. 14, 4, 15 S., e1006109Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination , 2018, It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. de Boer, F., Bonsangue, M. & Rutten, J. (Hrsg.). Springer, Berlin [u. a.], S. 38–56Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance , 2018, Computer Performance Engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings. Bakhshi, R., Ballarini, P., Barbot, B., Castel-Taleb, H. & Remke, A. (Hrsg.). Springer, Berlin [u. a.], S. 78-93, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings , 2018, Springer, Berlin [u. a.], 197 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
-
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings , 2018, Springer, ChamElektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
-
Model Checking Probabilistic Systems , 2018, Handbook of Model Checking. Clarke, E. M., Henzinger, T. A., Veith, H. & Bloem, R. (Hrsg.). Springer, Cham, S. 963-999, 37 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten