Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

07101 Working Group Report -- Performance Measures Other Than Time.

L. Cloth, P. Crouzen, M. Fruth, T. Han, D. Jansen, M. Kattenbelt, G. Smit, and L. Zhang. Quantitative Aspects of Embedded Systems, volume 07101 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hon. -Prof. Dr. Martin Jansen University of Stuttgart

Dr. Marie Davidova University of Stuttgart

David Krach University of Stuttgart

Digital Rock Physics : A Geological Driven Workflow for the Segmentation of Anisotropic Ruhr SandstoneM. Balcewicz, M. Siegert, M. Gurris, M. Ruf, D. Krach, H. Steeb, and E. Saenger. Frontiers in Earth Science, (2021)

Digital Rock Physics : A Geological Driven Workflow for the Segmentation of Anisotropic Ruhr SandstoneM. Balcewicz, M. Siegert, M. Gurris, M. Ruf, D. Krach, H. Steeb, and E. Saenger. Frontiers in Earth Science, (2021)Permeability Estimation of Regular Porous Structures : A Benchmark for Comparison of MethodsA. Wagner, E. Eggenweiler, F. Weinhardt, Z. Trivedi, D. Krach, C. Lohrmann, K. Jain, N. Karadimitriou, C. Bringedal, P. Voland and 4 other author(s). Transport in porous media, 138 (1): 1-23 (2021)Simulation of weak-inertia single-phase flow in porous materials using Smoothed Particle HydrodynamicsD. Krach, and H. Steeb. PAMM, 20 (1): e202000289 (2021)

David Inkermann

David Briesenick University of Stuttgart

Other publications of authors with the same name

An industrial-strength formal method -- A Modest survey.H. Bohnenkamp, H. Hermanns, D. Jansen, J. Katoen, and Y. Usenko. ISoLA (Preliminary proceedings), volume TR-2004-6 of Technical Report, page 284-295. Department of Computer Science, University of Cyprus, (2004)Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains?D. Jansen, and H. Hermanns. QEST, page 250-259. IEEE Computer Society, (2004)Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts.R. Eshuis, D. Jansen, and R. Wieringa. Requir. Eng., 7 (4): 243-263 (2002)Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations.L. Zhang, H. Hermanns, F. Eisenbrand, and D. Jansen. Logical Methods in Computer Science, (2008)Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision Algorithm.D. Jansen, F. Nielson, and L. Zhang. NASA Formal Methods, volume 7226 of Lecture Notes in Computer Science, page 326-340. Springer, (2012)On Equivalence Checking of Nondeterministic Finite Automata.C. Fu, Y. Deng, D. Jansen, and L. Zhang. SETTA, volume 10606 of Lecture Notes in Computer Science, page 216-231. Springer, (2017)Synthesis and stochastic assessment of cost-optimal schedules.A. Mader, H. Bohnenkamp, Y. Usenko, D. Jansen, J. Hurink, and H. Hermanns. STTT, 12 (5): 305-318 (2010)Fortuna: Model Checking Priced Probabilistic Timed Automata.J. Berendsen, D. Jansen, and F. Vaandrager. QEST, page 273-281. IEEE Computer Society, (2010)Stuttering equivalence is too slow!D. Jansen, and J. Keiren. CoRR, (2016)Revisiting Weak Simulation for Substochastic Markov Chains.D. Jansen, L. Song, and L. Zhang. QEST, volume 8054 of Lecture Notes in Computer Science, page 209-224. Springer, (2013)