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

Improving Generalization in Software IC3.

T. Lange, F. Prinz, M. Neuhäußer, T. Noll, and J. Katoen. SPIN, volume 10869 of Lecture Notes in Computer Science, page 85-102. Springer, (2018)

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.

R. Koerner

R. Watty

Martin Baumann

Martin Schwartz University of Stuttgart

Martin Alvarez University of Stuttgart

Other publications of authors with the same name

Two CEGAR-based approaches for the safety verification of PLC-controlled plants.J. Nellen, K. Driessen, M. Neuhäußer, E. Ábrahám, and B. Wolters. Information Systems Frontiers, 18 (5): 927-952 (2016)On-the-fly verification and optimization of DTA-properties for large Markov chains.L. Mikeev, M. Neuhäußer, D. Spieler, and V. Wolf. Formal Methods in System Design, 43 (2): 313-337 (2013)Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes.M. Neuhäußer, and J. Katoen. CONCUR, volume 4703 of Lecture Notes in Computer Science, page 412-427. Springer, (2007)Model checking nondeterministic and randomly timed systems.M. Neuhäußer. RWTH Aachen University, (2010)Compositional Abstraction for Stochastic Systems.J. Katoen, D. Klink, and M. Neuhäußer. FORMATS, volume 5813 of Lecture Notes in Computer Science, page 195-211. Springer, (2009)Speeding Up the Safety Verification of Programmable Logic Controller Code.T. Lange, M. Neuhäußer, and T. Noll. Haifa Verification Conference, volume 8244 of Lecture Notes in Computer Science, page 44-60. Springer, (2013)Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes.M. Neuhäußer, and L. Zhang. QEST, page 209-218. IEEE Computer Society, (2010)Quantitative Timed Analysis of Interactive Markov Chains.D. Guck, T. Han, J. Katoen, and M. Neuhäußer. NASA Formal Methods, volume 7226 of Lecture Notes in Computer Science, page 8-23. Springer, (2012)Improving Generalization in Software IC3.T. Lange, F. Prinz, M. Neuhäußer, T. Noll, and J. Katoen. SPIN, volume 10869 of Lecture Notes in Computer Science, page 85-102. Springer, (2018)Delayed Nondeterminism in Continuous-Time Markov Decision Processes.M. Neuhäußer, M. Stoelinga, and J. Katoen. FoSSaCS, volume 5504 of Lecture Notes in Computer Science, page 364-379. Springer, (2009)