default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndreas Podelski
Person information
- affiliation: University of Freiburg
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j35]Azadeh Farzan
, Dominik Klumpp, Andreas Podelski:
Commutativity Simplifies Proofs of Parameterized Programs. Proc. ACM Program. Lang. 8(POPL): 2485-2513 (2024)- [j34]Elisabeth Henkel, Nico Hauff, Vincent Langenfeld, Lukas Eber, Andreas Podelski:
Systematic adaptation and investigation of the understandability of a formal pattern language. Requir. Eng. 29(1): 3-23 (2024) - [c165]Elisabeth Henkel, Nico Hauff, Lena Funk, Vincent Langenfeld, Andreas Podelski:
Scalable Redundancy Detection for Real-Time Requirements. RE 2024: 193-204 - [c164]Frank Schüssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski:
Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution). TACAS (3) 2024: 418-423 - 2023
- [j33]Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Stratified Commutativity in Verification Algorithms for Concurrent Programs. Proc. ACM Program. Lang. 7(POPL): 1426-1453 (2023) - [c163]Elisabeth Henkel, Nico Hauff, Lukas Eber, Vincent Langenfeld, Andreas Podelski:
An Empirical Study of the Intuitive Understanding of a Formal Pattern Language. REFSQ 2023: 21-38 - [c162]Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski:
Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution). TACAS (2) 2023: 577-581 - [c161]Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski:
Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution). TACAS (2) 2023: 582-587 - [d44]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Automizer SV-COMP 2024. Version 0.2.3-dev-e7bb482. Zenodo, 2023 [all versions]
- [d43]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Kojak SV-COMP 2024. Version 0.2.3-dev-e7bb482. Zenodo, 2023 [all versions] - [d42]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate GemCutter SV-COMP 2024. Version 0.2.3-dev-6f5b98e. Zenodo, 2023 [all versions] - [d41]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Automizer SV-COMP 2024. Version 0.2.4-dev-0e0057c. Zenodo, 2023 [all versions] - [d40]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Kojak SV-COMP 2024. Version 0.2.4-dev-0e0057c. Zenodo, 2023 [all versions] - [d39]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Taipan SV-COMP 2024. Version 0.2.4-dev-0e0057c. Zenodo, 2023 [all versions] - [d38]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate GemCutter SV-COMP 2024. Version 0.2.4-dev-0e0057c. Zenodo, 2023 [all versions] - [d37]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Automizer SV-COMP 2024. Version 0.2.4-?-8430d5a-m. Zenodo, 2023 [all versions] - [d36]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Taipan SV-COMP 2024. Version 0.2.3-dev-e7bb482. Zenodo, 2023 [all versions] - [d35]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate GemCutter SV-COMP 2024. Version 0.2.3-dev-e7bb482. Zenodo, 2023 [all versions] - [d34]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Automizer SV-COMP 2024. Version 0.2.3-dev-cf1a783. Zenodo, 2023 [all versions] - [d33]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Kojak SV-COMP 2024. Version 0.2.3-dev-cf1a783. Zenodo, 2023 [all versions] - [d32]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Taipan SV-COMP 2024. Version 0.2.3-dev-cf1a783. Zenodo, 2023 [all versions] - [d31]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate GemCutter SV-COMP 2024. Version 0.2.3-dev-cf1a783. Zenodo, 2023 [all versions] - [d30]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Automizer SV-COMP 2024. Version 0.2.3-dev-9bd2c7f. Zenodo, 2023 [all versions] - [d29]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Kojak SV-COMP 2024. Version 0.2.3-dev-9bd2c7f. Zenodo, 2023 [all versions] - [d28]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Taipan SV-COMP 2024. Version 0.2.3-dev-9bd2c7f. Zenodo, 2023 [all versions] - [d27]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate GemCutter SV-COMP 2024. Version 0.2.3-dev-9bd2c7f. Zenodo, 2023 [all versions] - [d26]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Automizer SV-COMP 2024. Version 0.2.3-dev-11995ef. Zenodo, 2023 [all versions] - [d25]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Kojak SV-COMP 2024. Version 0.2.3-dev-11995ef. Zenodo, 2023 [all versions] - [d24]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Taipan SV-COMP 2024. Version 0.2.3-dev-11995ef. Zenodo, 2023 [all versions] - [d23]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate GemCutter SV-COMP 2024. Version 0.2.3-dev-11995ef. Zenodo, 2023 [all versions] - [d22]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Automizer SV-COMP 2024. Version 0.2.3-dev-527bcce. Zenodo, 2023 [all versions] - [d21]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Kojak SV-COMP 2024. Version 0.2.3-dev-527bcce. Zenodo, 2023 [all versions] - [d20]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Taipan SV-COMP 2024. Version 0.2.3-dev-527bcce. Zenodo, 2023 [all versions] - [d19]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate GemCutter SV-COMP 2024. Version 0.2.3-dev-527bcce. Zenodo, 2023 [all versions] - [d18]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Automizer SV-COMP 2024. Version 0.2.3-dev-30e01a7. Zenodo, 2023 [all versions] - [d17]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Kojak SV-COMP 2024. Version 0.2.3-dev-30e01a7. Zenodo, 2023 [all versions] - [d16]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Taipan SV-COMP 2024. Version 0.2.3-dev-30e01a7. Zenodo, 2023 [all versions] - [d15]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate GemCutter SV-COMP 2024. Version 0.2.3-dev-30e01a7. Zenodo, 2023 [all versions] - [d14]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Automizer SV-COMP 2024. Version 0.2.3-dev-6f5b98e. Zenodo, 2023 [all versions] - [d13]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Kojak SV-COMP 2024. Version 0.2.3-dev-6f5b98e. Zenodo, 2023 [all versions] - [d12]Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Taipan SV-COMP 2024. Version 0.2.3-dev-6f5b98e. Zenodo, 2023 [all versions] - [d11]Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Benchmarks for POPL'24 Paper "Commutativity Simplifies Proofs of Parameterized Programs". Zenodo, 2023 - [i12]Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Commutativity Simplifies Proofs of Parameterized Programs. CoRR abs/2311.02673 (2023) - 2022
- [j32]Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling:
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version). Inf. Comput. 289(Part): 104937 (2022) - [c160]Dirk Beyer, Andreas Podelski:
Software Model Checking: 20 Years and Beyond. Principles of Systems Design 2022: 554-582 - [c159]Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Sound sequentialization for concurrent program verification. PLDI 2022: 506-521 - [c158]Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski:
Ultimate GemCutter and the Axes of Generalization - (Competition Contribution). TACAS (2) 2022: 479-483 - [d10]Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski:
Ultimate Taipan SV-COMP 2023 Competition Contribution. Zenodo, 2022 - [d9]Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Artifact for PLDI'22 paper "What Is Your Preference Order?". Version 1. Zenodo, 2022 [all versions] - [d8]Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Artifact for PLDI'22 paper "What Is Your Preference Order?". Version 2. Zenodo, 2022 [all versions] - [d7]Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Artifact for PLDI'22 paper "Sound Sequentialization for Concurrent Program Verification". Version 3. Zenodo, 2022 [all versions] - [d6]Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski:
Ultimate Automizer (SV-COMP 2022 - Modified). Zenodo, 2022 - [d5]Matthias Heizmann, Daniel Dietsch, Dominik Klumpp, Frank Schüssele, Andreas Podelski:
Ultimate Automizer SV-COMP 2023 Competition Contribution. Zenodo, 2022 - [d4]Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Azadeh Farzan, Andreas Podelski:
Ultimate GemCutter SV-COMP 2023 Competition Contribution. Zenodo, 2022 - [d3]Frank Schüssele, Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Andreas Podelski:
Ultimate Kojak SV-COMP 2023 Competition Contribution. Zenodo, 2022 - 2021
- [j31]Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham:
Temporal prophecy for proving temporal properties of infinite-state systems. Formal Methods Syst. Des. 57(2): 246-269 (2021) - [c157]Vincent Langenfeld, Bernd Westphal, Andreas Podelski:
A Formal Operational Model of ACT-R: Structure and Behaviour. CogSci 2021 - [c156]Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski:
Separating Map Variables in a Logic-Based Intermediate Verification Language. NETYS 2021: 169-186 - [c155]Samuel Becker, Daniel Dietsch, Nico Hauff, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski, Bernd Westphal:
Hanfor: Semantic Requirements Review at Scale. REFSQ Workshops 2021 - [c154]Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schätzle:
Verification of Concurrent Programs Using Petri Net Unfoldings. VMCAI 2021: 174-195 - [d2]Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski:
Ultimate GemCutter SV-COMP 2022 Competition Contribution. Zenodo, 2021 - [i11]Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham:
Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems. CoRR abs/2106.00966 (2021)
2010 – 2019
- 2019
- [c153]Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus, Andreas Podelski:
Temporal Planning as Refinement-Based Model Checking. ICAPS 2019: 195-199 - [c152]Vincent Langenfeld, Bernd Westphal, Andreas Podelski:
On Formal Verification of ACT-R Architectures and Models. CogSci 2019: 618-624 - [c151]Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski:
Ultimate TreeAutomizer (CHC-COMP Tool Description). HCVS/PERR@ETAPS 2019: 42-47 - [e8]Andreas Podelski, François Taïani:
Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11028, Springer 2019, ISBN 978-3-030-05528-8 [contents] - [d1]Matthias Heizmann, Max Barth, Daniel Dietsch, Jill Enke, Leonard Fichtner, Dominik Klumpp, Mehdi Naouar, Lars Nitzke, Alexander Nutz, Andreas Podelski, Elisabeth Schanno, Claus Schätzle:
Ultimate Automizer SV-COMP 2020 Competition Contribution. Zenodo, 2019 - [i10]Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski:
Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages. CoRR abs/1901.01915 (2019) - 2018
- [j30]Oded Padon, Jochen Hoenicke, Giuliano Losa, Andreas Podelski, Mooly Sagiv, Sharon Shoham:
Reducing liveness to safety in first-order logic. Proc. ACM Program. Lang. 2(POPL): 26:1-26:33 (2018) - [c150]Vincent Langenfeld, Bernd Westphal, Rebecca Albrecht, Andreas Podelski:
But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour. CogSci 2018 - [c149]Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham:
Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems. FMCAD 2018: 1-11 - [c148]Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Frédéric Viry, Andreas Podelski, Christian Schilling:
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. HSCC 2018: 41-50 - [c147]Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski:
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). TACAS (2) 2018: 447-451 - [c146]Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler:
Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). TACAS (2) 2018: 452-456 - [c145]Jochen Hoenicke, Alexander Nutz, Andreas Podelski:
A Tree-Based Approach to Data Flow Proofs. VSTTE 2018: 1-16 - [c144]Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski:
The Map Equality Domain. VSTTE 2018: 291-308 - [p2]Ranjit Jhala, Andreas Podelski, Andrey Rybalchenko:
Predicate Abstraction for Program Verification. Handbook of Model Checking 2018: 447-491 - [e7]Andreas Podelski:
Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings. Lecture Notes in Computer Science 11002, Springer 2018, ISBN 978-3-319-99724-7 [contents] - [i9]Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling, Frédéric Viry:
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. CoRR abs/1801.09526 (2018) - 2017
- [c143]Jochen Hoenicke, Rupak Majumdar, Andreas Podelski:
Thread modularity at many levels: a pearl in compositional verification. POPL 2017: 473-485 - [c142]Marius Greitschus, Daniel Dietsch, Andreas Podelski:
Loop Invariants from Counterexamples. SAS 2017: 128-147 - [c141]Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, Andreas Podelski:
Craig vs. Newton in software model checking. ESEC/SIGSOFT FSE 2017: 487-497 - [c140]Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski:
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). TACAS (2) 2017: 394-398 - [c139]Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski:
Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). TACAS (2) 2017: 399-403 - [i8]Marius Greitschus, Daniel Dietsch, Andreas Podelski:
Refining Trace Abstraction using Abstract Interpretation. CoRR abs/1702.02369 (2017) - 2016
- [j29]Christian Schilling, Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess:
Adaptive moment closure for parameter inference of biochemical reaction networks. Biosyst. 149: 15-25 (2016) - [j28]Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha, Andreas Podelski:
Ready for testing: ensuring conformance to industrial standards through formal verification. Formal Aspects Comput. 28(3): 499-527 (2016) - [j27]Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle:
Guided search for hybrid systems based on coarse-grained space abstractions. Int. J. Softw. Tools Technol. Transf. 18(4): 449-467 (2016) - [c138]Azadeh Farzan, Zachary Kincaid, Andreas Podelski:
Proving Liveness of Parameterized Programs. LICS 2016: 185-196 - [c137]Vincent Langenfeld, Amalinda Post, Andreas Podelski:
Requirements Defects over a Project Lifetime: An Empirical Analysis of Defect Data from a 5-Year Automotive Project at Bosch. REFSQ 2016: 145-160 - [c136]Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schätzle, Andreas Podelski:
Ultimate Automizer with Two-track Proofs - (Competition Contribution). TACAS 2016: 950-953 - [c135]Andreas Podelski, Martin Schäf, Thomas Wies:
Classifying Bugs with Interpolants. TAP@STAF 2016: 151-168 - [i7]Azadeh Farzan, Zachary Kincaid, Andreas Podelski:
Proving Liveness of Parameterized Programs. CoRR abs/1605.02350 (2016) - [i6]Tobias Morciniec, Andreas Podelski:
A Logical Approach to Generating Test Plans. CoRR abs/1612.04351 (2016) - 2015
- [c134]Jochen Hoenicke, Andreas Podelski:
Fairness for Infinitary Control. Correct System Design 2015: 33-43 - [c133]Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, Andreas Podelski:
Fairness Modulo Theory: A New Approach to LTL Software Model Checking. CAV (1) 2015: 49-66 - [c132]Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess, Christian Schilling:
Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks. CMSB 2015: 77-89 - [c131]Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski:
Eliminating spurious transitions in reachability with support functions. HSCC 2015: 149-158 - [c130]Stephan Arlt, Tobias Morciniec, Andreas Podelski, Silke Wagner:
If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing. ICST 2015: 1-10 - [c129]Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid, Andreas Podelski:
Automated Program Verification. LATA 2015: 25-46 - [c128]Azadeh Farzan, Zachary Kincaid, Andreas Podelski:
Proof Spaces for Unbounded Parallelism. POPL 2015: 407-420 - [c127]Tobias Morciniec, Andreas Podelski:
Using the requirements specification to infer the implicit test status of requirements. RE 2015: 362-371 - [c126]Stephan Arlt, Sergio Feo-Arenis, Andreas Podelski, Martin Wehrle:
System Testing and Program Verification. Software Engineering & Management 2015: 71-72 - [c125]Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, Andreas Podelski:
Ultimate Automizer with Array Interpolation - (Competition Contribution). TACAS 2015: 455-457 - [c124]Alexander Nutz, Daniel Dietsch, Mostafa Mahmoud Mohamed, Andreas Podelski:
ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution). TACAS 2015: 458-460 - 2014
- [c123]Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle:
Planning as Model Checking in Hybrid Domains. AAAI 2014: 2228-2234 - [c122]Matthias Heizmann, Jochen Hoenicke, Andreas Podelski:
Termination Analysis by Learning Terminating Programs. CAV 2014: 797-813 - [c121]Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump:
Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. Haifa Verification Conference 2014: 116-131 - [c120]Sergiy Bogomolov, Christian Herrera, Marco Muñiz, Bernd Westphal, Andreas Podelski:
Quasi-dependent variables in hybrid automata. HSCC 2014: 93-102 - [c119]