PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kroening, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States.

, , , , and . Haifa Verification Conference, volume 4383 of Lecture Notes in Computer Science, page 138-154. Springer, (2006)

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.

Dr. rer. nat. Daniel Hernandez University of Stuttgart

Visualizing How-Provenance Explanations for SPARQL Queries, , , and . Proceedings of the ACM Web Conference 2023, page 212-216. New York, NY, United States, Association for Computing Machinery, (2023)

Univ. -Prof. Dr. Daniel Weiskopf University of Stuttgart

Dataset for NMF-based Analysis of Mobile Eye-Tracking Data, , , and . Dataset, (2024)Related to: Daniel Klötzl, Tim Krake, Frank Heyen, Michael Becher, Maurice Koch, Daniel Weiskopf, and Kuno Kurzhals. 2024. NMF-Based Analysis of Mobile Eye-Tracking Data. In 2024 Symposium on Eye Tracking Research and Applications (ETRA ’24), June 4-7, 2024, Glasgow, United Kingdom. ACM, New York, NY, USA, 9 pages. doi: 10.1145/3649902.3653518.
Dataset for NMF-based Analysis of Mobile Eye-Tracking Data, , , and . Dataset, (2024)Related to: Daniel Klötzl, Tim Krake, Frank Heyen, Michael Becher, Maurice Koch, Daniel Weiskopf, and Kuno Kurzhals. 2024. NMF-Based Analysis of Mobile Eye-Tracking Data. In 2024 Symposium on Eye Tracking Research and Applications (ETRA ’24), June 4-7, 2024, Glasgow, United Kingdom. ACM, New York, NY, USA, 9 pages. doi: 10.1145/3649902.3653518.Visual Analysis System to Explore the Visual Quality of Multidimensional Time Series Projections, and . Software, (2024)Related to: T. Munz-Körner, D. Weiskopf, Exploring visual quality of multidimensional time series projections, Visual Informatics (2024). doi: 10.1016/j.visinf.2024.04.004.Supplemental Materials for STEP: Sequence of Time-Aligned Edge Plots, , , , , and . Software, (2024)Related to: Manuscript still under review.

Daniel Marino

Daniel Roth

Daniel Roth

 

Other publications of authors with the same name

Accelerating Invariant Generation., , , , and . FMCAD, page 105-111. IEEE, (2015)Verifying synchronous reactive systems using lazy abstraction., , , , and . DATE, page 1571-1574. ACM, (2015)A visual studio plug-in for CProver., and . TOPI@ICSE, page 43-48. IEEE Computer Society, (2013)Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems., , and . DSN, page 377-. IEEE Computer Society, (2004)Unbounded safety verification for hardware using software analyzers., , , and . DATE, page 1152-1155. IEEE, (2016)Lost in abstraction: Monotonicity in multi-threaded programs., , and . Inf. Comput., (2017)Deciding floating-point logic with abstract conflict driven clause learning., , , , and . Formal Methods in System Design, 45 (2): 213-245 (2014)Loop summarization using state and transition invariants., , , , and . Formal Methods in System Design, 42 (3): 221-261 (2013)Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants., , , , , , , and . CAV (1), volume 10426 of Lecture Notes in Computer Science, page 462-482. Springer, (2017)Counterexample Guided Inductive Synthesis Modulo Theories., , , , and . CAV (1), volume 10981 of Lecture Notes in Computer Science, page 270-288. Springer, (2018)