The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Martin Fränzle" ( http://dblp.L3S.de/Authors/Martin_Fränzle )

URL (Homepage):  http://hs.informatik.uni-oldenburg.de/25665.html  Author page on DBLP  Author page in RDF  Community of Martin Fränzle in ASPL-2

Publication years (Num. hits)
1992-2003 (15) 2004-2008 (20) 2009-2011 (17) 2012-2014 (18) 2015-2016 (27) 2017-2018 (19) 2019 (10)
Publication types (Num. hits)
article(31) incollection(3) inproceedings(88) phdthesis(1) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 24 occurrences of 18 keywords

Results
Found 127 publication records. Showing 126 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Martin Fränzle, Mingshuai Chen, Paul Kröger In memory of Oded Maler: automatic reachability analysis of hybrid-state automata. Search on Bibsonomy SIGLOG News The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow Justification Based Reasoning in Dynamic Conflict Resolution. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Elizabeth Polgreen, Martin Brain, Martin Fränzle, Alessandro Abate Verifying Reachability Properties in Markov Chains via Incremental Induction. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Werner Damm, Martin Fränzle, Andreas Lüdtke, Jochem W. Rieger, Alexander Trende, Anirudh Unni Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell 0001 Effective Definability of the Reachability Relation in Timed Automata. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Martin Fränzle, Deepak Kapur, Heike Wehrheim, Naijun Zhan Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue 0001 Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Werner Damm, Martin Fränzle, Andreas Lüdtke, Jochem W. Rieger, Alexander Trende, Anirudh Unni Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic. Search on Bibsonomy IV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bai Xue 0001, Qiuye Wang, Naijun Zhan, Martin Fränzle Robust invariant sets generation for state-constrained perturbed polynomial systems. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessandro Abate, Henk Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod ARCH-COMP19 Category Report: Stochastic Modelling. Search on Bibsonomy ARCH@CPSIoTWeek The full citation details ... 2019 DBLP  BibTeX  RDF
1Saifullah Khan, Muhammad Alam 0002, Martin Fränzle, Nils Müllner, Yuanfang Chen A Traffic Aware Segment-based Routing protocol for VANETs in urban scenarios. Search on Bibsonomy Computers & Electrical Engineering The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell 0001 Costs and Rewards in Priced Timed Automata. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Eckard Böde, Matthias Büker, Ulrich Eberle, Martin Fränzle, Sebastian Gerwinn, Birte Kramer Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan Puch, Martin Fränzle, Sebastian Gerwinn Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell 0001 Costs and Rewards in Priced Timed Automata. Search on Bibsonomy ICALP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bai Xue 0001, Martin Fränzle, Naijun Zhan Under-Approximating Reach Sets for Polynomial Continuous Systems. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Paul Kröger The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology. Search on Bibsonomy Symposium on Real-Time and Hybrid Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Werner Damm, Martin Fränzle, Sebastian Gerwinn, Paul Kröger Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles. Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2018 DBLP  BibTeX  RDF
1Meilun Li, Peter Nazier Mosaad, Martin Fränzle, Zhikun She, Bai Xue 0001 Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems. Search on Bibsonomy FORMATS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bai Xue 0001, Arvind Easwaran, Nam-Joon Cho, Martin Fränzle Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peter Nazier Mosaad, Martin Fränzle, Bai Xue 0001 Model Checking Delay Differential Equations Against Metric Interval Temporal Logic. Search on Bibsonomy Sci. Ann. Comp. Sci. The full citation details ... 2017 DBLP  BibTeX  RDF
1Martin Fränzle, Yang Gao 0011, Sebastian Gerwinn Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems. Search on Bibsonomy Provably Correct Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Milan Ceska 0001, Martin Fränzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. Search on Bibsonomy CAV (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Felix Neubauer, Karsten Scheibler, Bernd Becker 0001, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Bai Xue 0001, Martin Fränzle, Peter Nazier Mosaad Just scratching the surface: Partial exploration of initial values in reach-set computation. Search on Bibsonomy CDC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stella Parisi, Martin Fränzle Navigating with safety in confined waterways: an explorative case study. Search on Bibsonomy Mensch & Computer Workshopband The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saifullah Khan, Muhammad Alam 0002, Martin Fränzle A hybrid MAC scheme for wireless vehicular communication. Search on Bibsonomy EUROCON The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bai Xue 0001, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. Search on Bibsonomy FORMATS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergiy Bogomolov, Martin Fränzle, Kyoko Makino, Nacim Ramdani Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, James Kapinski, Pavithra Prabhakar Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mohamed Abdelaal 0001, Oliver E. Theel, Christian Kuka, Peilin Zhang, Yang Gao 0011, Vasilisa Bashlovkina, Daniela Nicklas, Martin Fränzle Improving Energy Efficiency in QoS-Constrained Wireless Sensor Networks. Search on Bibsonomy IJDSN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter Nazier Mosaad, Martin Fränzle, Bai Xue 0001 Temporal Logic Verification for Delay Differential Equations. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan Validated Simulation-Based Verification of Delayed Differential Dynamics. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Heinrich Ody, Martin Fränzle, Michael R. Hansen Discounted Duration Calculus. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saifullah Khan, Martin Fränzle Multi-channel mode for emergency system in urban connected vehicles. Search on Bibsonomy IWQoS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker 0001 Advancing Software Model Checking Beyond Linear Arithmetic Theories. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Deepak Kapur, Naijun Zhan (eds.) Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Felix Neubauer, Karsten Scheibler, Bernd Becker 0001, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker 0001 Accurate ICP-based floating-point reasoning. Search on Bibsonomy FMCAD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saifullah Khan, Muhammad Alam 0002, Nils Müllner, Martin Fränzle Poster: A hybrid MAC scheme for emergency systems in urban VANETs environment. Search on Bibsonomy VNC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Nicolas Markey (eds.) Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings Search on Bibsonomy FORMATS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christian Ellen, Sebastian Gerwinn, Martin Fränzle Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maher Fakih, Kim Grüttner, Martin Fränzle, Achim Rettberg State-based real-time analysis of SDF applications on MPSoCs with shared communication resources. Search on Bibsonomy Journal of Systems Architecture - Embedded Systems Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Liang Zou, Martin Fränzle, Naijun Zhan, Peter Nazier Mosaad Automatic Verification of Stability and Safety for Delay Differential Equations. Search on Bibsonomy CAV (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yang Gao 0011, Martin Fränzle Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain. Search on Bibsonomy SNR@CAV The full citation details ... 2015 DBLP  BibTeX  RDF
1Yang Gao 0011, Martin Fränzle A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain. Search on Bibsonomy QEST The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mohamed Abdelaal 0001, Martin Fränzle, Axel Hahn Nonlinear Model Predictive Control for Tracking of Underactuated Vessels under Input Constraints. Search on Bibsonomy EMS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Michael R. Hansen, Heinrich Ody No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL. Search on Bibsonomy Correct System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle Formal Verification of Simulink/Stateflow Diagrams. Search on Bibsonomy ATVA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rolf Drechsler, Martin Fränzle, Robert Wille Envisioning self-verification of electronic systems. Search on Bibsonomy ReCoSoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nils Müllner, Martin Fränzle, Sibylle B. Fröschle Estimating the probability of a timely traffic-hazard warning via simulation. Search on Bibsonomy SpringSim (ANSS) The full citation details ... 2015 DBLP  BibTeX  RDF
1Mohamed-Hedi Amri, Yasmina Becis, Didier Aubry, Nacim Ramdani, Martin Fränzle Robust indoor location tracking of multiple inhabitants using only binary sensors. Search on Bibsonomy CASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Saifullah Khan, Muhammad Alam 0002, Nils Müllner, Martin Fränzle Cooperation and network coding based MAC protocol for VANETs. Search on Bibsonomy VNC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems. Search on Bibsonomy FORMATS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Abate, Martin Fränzle, Ian A. Hiskens, Martin Strelec Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mohamed Abdelaal 0001, Yang Gao 0011, Martin Fränzle, Oliver E. Theel EAVS: Energy aware virtual sensing for wireless sensor networks. Search on Bibsonomy ISSNIP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, Christian Ellen, Martin Fränzle, Alessandro Abate Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. Search on Bibsonomy QEST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, John Lygeros (eds.) 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014 Search on Bibsonomy HSCC The full citation details ... 2014 DBLP  BibTeX  RDF
1Ahmed Mahdi, Martin Fränzle Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems. Search on Bibsonomy RP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ahmed Mahdi, Bernd Westphal, Martin Fränzle Transformations for Compositional Verification of Assumption-Commitment Properties. Search on Bibsonomy RP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nils Müllner, Oliver E. Theel, Martin Fränzle Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems. Search on Bibsonomy AINA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nils Müllner, Oliver E. Theel, Martin Fränzle Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts. Search on Bibsonomy AINA Workshops The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Antonios Tsourdos Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nils Müllner, Oliver E. Theel, Martin Fränzle Combining decomposition and reduction for state space analysis of a self-stabilizing system. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stefan Puch, Bertram Wortelen, Martin Fränzle, Thomas Peikenkamp Evaluation of Drivers Interaction with Assistant Systems Using Criticality Driven Guided Simulation. Search on Bibsonomy HCI (22) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Maher Fakih, Kim Grüttner, Martin Fränzle, Achim Rettberg Towards performance analysis of SDFGs mapped to shared-bus architectures using model-checking. Search on Bibsonomy DATE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sönke Eilers, Jürgen Boger, Martin Fränzle A path planning framework for autonomous vehicles. Search on Bibsonomy RoMoCo The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle, Shengchao Qin Verifying Simulink diagrams via a Hybrid Hoare Logic Prover. Search on Bibsonomy EMSOFT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Maher Fakih, Kim Grüttner, Martin Fränzle, Achim Rettberg Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs. Search on Bibsonomy IESS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tino Teige, Martin Fränzle Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nils Müllner, Oliver E. Theel, Martin Fränzle Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System. Search on Bibsonomy AINA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christian Ellen, Sebastian Gerwinn, Martin Fränzle Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems. Search on Bibsonomy FORMATS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Christian Lengauer Semantic Independence. Search on Bibsonomy Encyclopedia of Parallel Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Tobias Schubert 0001, Bernd Becker 0001, Martin Fränzle, Christian Herde Parallel SAT Solving in Bounded Model Checking. Search on Bibsonomy J. Log. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefan Kupferschmid, Bernd Becker 0001, Tino Teige, Martin Fränzle Proof certificates and non-linear arithmetic constraints. Search on Bibsonomy DDECS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang 0001 Measurability and safety verification for stochastic hybrid systems. Search on Bibsonomy HSCC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter Using Guided Simulation to Assess Driver Assistance Systems. Search on Bibsonomy MBEES The full citation details ... 2011 DBLP  BibTeX  RDF
1Tino Teige, Martin Fränzle Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems. Search on Bibsonomy TACAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jan-David Quesel, Martin Fränzle, Werner Damm Crossing the Bridge between Similar Games. Search on Bibsonomy FORMATS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods. Search on Bibsonomy SEFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Tino Teige, Andreas Eggers Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tino Teige, Martin Fränzle Resolution for Stochastic Boolean Satisfiability. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jan Gacnik, Henning Jost, Frank Köster, Martin Fränzle The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge. Search on Bibsonomy FORMS/FORMAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter Using Guided Simulation to Assess Driver Assistance Systems. Search on Bibsonomy FORMS/FORMAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Tino Teige, Andreas Eggers Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT. Search on Bibsonomy IFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Michael R. Hansen Efficient Model Checking for Duration Calculus? Search on Bibsonomy Int. J. Software and Informatics The full citation details ... 2009 DBLP  BibTeX  RDF
1Stefan Kupferschmid, Tino Teige, Bernd Becker 0001, Martin Fränzle Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae. Search on Bibsonomy MBMV The full citation details ... 2009 DBLP  BibTeX  RDF
1Tino Teige, Martin Fränzle Constraint-Based Analysis of Probabilistic Hybrid Systems. Search on Bibsonomy ADHS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Mani Swaminathan Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tino Teige, Martin Fränzle Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic. Search on Bibsonomy CPAIOR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Holger Hermanns, Tino Teige Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. Search on Bibsonomy HSCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Andreas Eggers, Martin Fränzle, Christian Herde SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige Analysis of Hybrid Systems Using HySAT. Search on Bibsonomy ICONS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen The Surprising Robustness of (Closed) Timed Automata against Clock-Drift. Search on Bibsonomy IFIP TCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Michael R. Hansen Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. Search on Bibsonomy SEFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Christian Herde HySAT: An efficient proof engine for bounded model checking of hybrid systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Verification, Hybrid systems, Satisfiability, Decision procedures, Bounded model checking, Infinite-state systems
1Martin Fränzle, Christian Herde, Tino Teige, Stefan Ratschan, Tobias Schubert 0001 Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. Search on Bibsonomy JSAT The full citation details ... 2007 DBLP  BibTeX  RDF
1Bernd Becker 0001, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme). Search on Bibsonomy it - Information Technology The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 126 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license