Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae.

S. Kupferschmid, T. Teige, B. Becker, und M. Fränzle. MBMV, Seite 27-36. Universitätsbibliothek Berlin, Germany, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Martin Baumann

Martin Schwartz University of Stuttgart

Martin Alvarez University of Stuttgart

Univ. -Prof. Martin Ostermann University of Stuttgart

Dr. Martin Rose University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

EAVS: Energy aware virtual sensing for wireless sensor networks.M. Abdelaal, Y. Gao, M. Fränzle, und O. Theel. ISSNIP, Seite 1-6. IEEE, (2014)A path planning framework for autonomous vehicles.S. Eilers, J. Boger, und M. Fränzle. RoMoCo, Seite 203-208. IEEE, (2013)Robust indoor location tracking of multiple inhabitants using only binary sensors.M. Amri, Y. Becis, D. Aubry, N. Ramdani, und M. Fränzle. CASE, Seite 194-199. IEEE, (2015)The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge.J. Gacnik, H. Jost, F. Köster, und M. Fränzle. FORMS/FORMAT, Seite 207-215. Springer, (2010)Using Guided Simulation to Assess Driver Assistance Systems.M. Fränzle, T. Gezgin, H. Hungar, S. Puch, und G. Sauter. FORMS/FORMAT, Seite 195-205. Springer, (2010)Engineering constraint solvers for automatic analysis of probabilistic hybrid automata.M. Fränzle, T. Teige, und A. Eggers. J. Log. Algebr. Program., 79 (7): 436-466 (2010)Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains.C. Ellen, S. Gerwinn, und M. Fränzle. STTT, 17 (4): 485-504 (2015)Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems.M. Fränzle, Y. Gao, und S. Gerwinn. Provably Correct Systems, Springer, (2017)Effective Definability of the Reachability Relation in Timed Automata.M. Fränzle, K. Quaas, M. Shirmohammadi, und J. Worrell. CoRR, (2019)Under-Approximating Reach Sets for Polynomial Continuous Systems.B. Xue, M. Fränzle, und N. Zhan. HSCC, Seite 51-60. ACM, (2018)