default search action

combined dblp search
author search
venue search
publication search

ask others

Andreas Podelski

> Home > Persons

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

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/FarzanKP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/FarzanKP24
Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Commutativity Simplifies Proofs of Parameterized Programs. Proc. ACM Program. Lang. 8(POPL): 2485-2513 (2024)
[j34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/re/HenkelHLEP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/HenkelHLEP24
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]
- view
  authority control:
- export record
  dblp key:
  - conf/re/HenkelHFLP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/HenkelHFLP24
Elisabeth Henkel, Nico Hauff, Lena Funk, Vincent Langenfeld, Andreas Podelski:
Scalable Redundancy Detection for Real-Time Requirements. RE 2024: 193-204
[c164]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/SchusseleBDHJKP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/SchusseleBDHJKP24
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/FarzanKP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/FarzanKP23
Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Stratified Commutativity in Verification Algorithms for Concurrent Programs. Proc. ACM Program. Lang. 7(POPL): 1426-1453 (2023)
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/HenkelHELP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/HenkelHELP23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HeizmannBDFHKNSSP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HeizmannBDFHKNSSP23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/DietschHKSP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DietschHKSP23
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
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-02673
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-02673
Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Commutativity Simplifies Proofs of Parameterized Programs. CoRR abs/2311.02673 (2023)
2022
[j32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BogomolovFFPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BogomolovFFPS22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/birthday/0001P22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/0001P22a
Dirk Beyer, Andreas Podelski:
Software Model Checking: 20 Years and Beyond. Principles of Systems Design 2022: 554-582
[c159]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/FarzanKP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/FarzanKP22
Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Sound sequentialization for concurrent program verification. PLDI 2022: 506-521
[c158]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/KlumppDHSEFP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KlumppDHSEFP22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/DietschHKSP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschHKSP22
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski:
Ultimate Taipan SV-COMP 2023 Competition Contribution. Zenodo, 2022
[d9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/FarzanKP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/FarzanKP22
Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Artifact for PLDI'22 paper "What Is Your Preference Order?". Zenodo, 2022
[d8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/FarzanKP22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/FarzanKP22a
Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Artifact for PLDI'22 paper "What Is Your Preference Order?". Zenodo, 2022
[d7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/FarzanKP22b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/FarzanKP22b
Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Artifact for PLDI'22 paper "Sound Sequentialization for Concurrent Program Verification". Zenodo, 2022
[d6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/HeizmannBDFHKNSSP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/HeizmannBDFHKNSSP22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/HeizmannDKSP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/HeizmannDKSP22
Matthias Heizmann, Daniel Dietsch, Dominik Klumpp, Frank Schüssele, Andreas Podelski:
Ultimate Automizer SV-COMP 2023 Competition Contribution. Zenodo, 2022
[d4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/KlumppDHSFP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/KlumppDHSFP22
Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Azadeh Farzan, Andreas Podelski:
Ultimate GemCutter SV-COMP 2023 Competition Contribution. Zenodo, 2022
[d3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/SchusseleDHKP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/SchusseleDHKP22
Frank Schüssele, Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Andreas Podelski:
Ultimate Kojak SV-COMP 2023 Competition Contribution. Zenodo, 2022
2021
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/PadonHMPSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/PadonHMPSS21
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]
- view
  - electronic edition @ escholarship.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cogsci/LangenfeldWP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cogsci/LangenfeldWP21
Vincent Langenfeld, Bernd Westphal, Andreas Podelski:
A Formal Operational Model of ACT-R: Structure and Behaviour. CogSci 2021
[c156]
- view
  authority control:
- export record
  dblp key:
  - conf/netys/DietschHHNP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/DietschHHNP21
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/refsq/BeckerDHHLPW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/BeckerDHHLPW21
Samuel Becker, Daniel Dietsch, Nico Hauff, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski, Bernd Westphal:
Hanfor: Semantic Requirements Review at Scale. REFSQ Workshops 2021
[c154]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/DietschHKNPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/DietschHKNPS21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/KlumppDHSEFP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/KlumppDHSEFP21
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-00966
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-00966
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c153]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aips/HeinzWBMGP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/HeinzWBMGP19
Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus, Andreas Podelski:
Temporal Planning as Refinement-Based Model Checking. ICAPS 2019: 195-199
[c152]
- view
  - electronic edition @ mindmodeling.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/cogsci/LangenfeldWP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cogsci/LangenfeldWP19
Vincent Langenfeld, Bernd Westphal, Andreas Podelski:
On Formal Verification of ACT-R Architectures and Models. CogSci 2019: 618-624
[c151]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1907-03998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-03998
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski:
Ultimate TreeAutomizer (CHC-COMP Tool Description). HCVS/PERR@ETAPS 2019: 42-47
[e8]
- view
  authority control:
- export record
  dblp key:
  - conf/netys/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/2018
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/HeizmannBDEFKNNNPSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/HeizmannBDEFKNNNPSS19
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1901-01915
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-01915
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/PadonHLPSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/PadonHLPSS18
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]
- view
  - electronic edition @ mindmodeling.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/cogsci/LangenfeldWAP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cogsci/LangenfeldWAP18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/PadonHMPSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/PadonHMPSS18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BogomolovFFVPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BogomolovFFVPS18
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HeizmannCDGHLNM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HeizmannCDGHLNM18
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/DietschGHHNPSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DietschGHHNPSS18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/HoenickeNP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/HoenickeNP18
Jochen Hoenicke, Alexander Nutz, Andreas Podelski:
A Tree-Based Approach to Data Flow Proofs. VSTTE 2018: 1-16
[c144]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/DietschHHNP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/DietschHHNP18
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski:
The Map Equality Domain. VSTTE 2018: 291-308
[p2]
- view
  authority control:
- export record
  dblp key:
  - reference/mc/JhalaPR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/mc/JhalaPR18
Ranjit Jhala, Andreas Podelski, Andrey Rybalchenko:
Predicate Abstraction for Program Verification. Handbook of Model Checking 2018: 447-491
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/2018
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1801-09526
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-09526
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]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/HoenickeMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/HoenickeMP17
Jochen Hoenicke, Rupak Majumdar, Andreas Podelski:
Thread modularity at many levels: a pearl in compositional verification. POPL 2017: 473-485
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/GreitschusDP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/GreitschusDP17
Marius Greitschus, Daniel Dietsch, Andreas Podelski:
Loop Invariants from Counterexamples. SAS 2017: 128-147
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/DietschHMNP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/DietschHMNP17
Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, Andreas Podelski:
Craig vs. Newton in software model checking. ESEC/SIGSOFT FSE 2017: 487-497
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/HeizmannCDGNMSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HeizmannCDGNMSS17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/GreitschusDHNSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/GreitschusDHNSS17
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GreitschusDP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GreitschusDP17
Marius Greitschus, Daniel Dietsch, Andreas Podelski:
Refining Trace Abstraction using Abstract Interpretation. CoRR abs/1702.02369 (2017)
2016
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/biosystems/SchillingBHPR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/biosystems/SchillingBHPR16
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/ArenisWDMAP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/ArenisWDMAP16
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/BogomolovDFGJLP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BogomolovDFGJLP16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/FarzanKP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/FarzanKP16
Azadeh Farzan, Zachary Kincaid, Andreas Podelski:
Proving Liveness of Parameterized Programs. LICS 2016: 185-196
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/LangenfeldPP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/LangenfeldPP16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/HeizmannDGLMSP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HeizmannDGLMSP16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/PodelskiSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/PodelskiSW16
Andreas Podelski, Martin Schäf, Thomas Wies:
Classifying Bugs with Interpolants. TAP@STAF 2016: 151-168
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FarzanKP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FarzanKP16
Azadeh Farzan, Zachary Kincaid, Andreas Podelski:
Proving Liveness of Parameterized Programs. CoRR abs/1605.02350 (2016)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MorciniecP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MorciniecP16
Tobias Morciniec, Andreas Podelski:
A Logical Approach to Generating Test Plans. CoRR abs/1612.04351 (2016)
2015
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HoenickeP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HoenickeP15
Jochen Hoenicke, Andreas Podelski:
Fairness for Infinitary Control. Correct System Design 2015: 33-43
[c133]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DietschHLP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DietschHLP15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/BogomolovHPRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/BogomolovHPRS15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/FrehseBGSP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/FrehseBGSP15
Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski:
Eliminating spurious transitions in reachability with support functions. HSCC 2015: 149-158
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArltMPW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArltMPW15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/FarzanHHKP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/FarzanHHKP15
Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid, Andreas Podelski:
Automated Program Verification. LATA 2015: 25-46
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/FarzanKP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/FarzanKP15
Azadeh Farzan, Zachary Kincaid, Andreas Podelski:
Proof Spaces for Unbounded Parallelism. POPL 2015: 407-420
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/re/MorciniecP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/MorciniecP15
Tobias Morciniec, Andreas Podelski:
Using the requirements specification to infer the implicit test status of requirements. RE 2015: 362-371
[c126]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/ArltAPW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/ArltAPW15
Stephan Arlt, Sergio Feo-Arenis, Andreas Podelski, Martin Wehrle:
System Testing and Program Verification. Software Engineering & Management 2015: 71-72
[c125]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HeizmannDLMP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HeizmannDLMP15
Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, Andreas Podelski:
Ultimate Automizer with Array Interpolation - (Competition Contribution). TACAS 2015: 455-457
[c124]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/NutzDMP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/NutzDMP15
Alexander Nutz, Daniel Dietsch, Mostafa Mahmoud Mohamed, Andreas Podelski:
ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution). TACAS 2015: 458-460
2014
[c123]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BogomolovMPW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BogomolovMPW14
Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle:
Planning as Model Checking in Hybrid Domains. AAAI 2014: 2228-2234
[c122]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/HeizmannHP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HeizmannHP14
Matthias Heizmann, Jochen Hoenicke, Andreas Podelski:
Termination Analysis by Learning Terminating Programs. CAV 2014: 797-813
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/BogomolovFGGPPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/BogomolovFGGPPS14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BogomolovHMWP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BogomolovHMWP14
Sergiy Bogomolov, Christian Herrera, Marco Muñiz, Bernd Westphal, Andreas Podelski:
Quasi-dependent variables in hybrid automata. HSCC 2014: 93-102
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/ArltEAP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/ArltEAP14
Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski:
Verification of GUI Applications: A Black-Box Approach. ISoLA (1) 2014: 236-252
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ArltPW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ArltPW14
Stephan Arlt, Andreas Podelski, Martin Wehrle:
Reducing GUI test suites via program slicing. ISSTA 2014: 270-281
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/FarzanKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/FarzanKP14
Azadeh Farzan, Zachary Kincaid, Andreas Podelski:
Proofs that count. POPL 2014: 151-164
[c116]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HerreraWP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HerreraWP14
Christian Herrera, Bernd Westphal, Andreas Podelski:
Quasi-Equal Clock Reduction: More Networks, More Queries. TACAS 2014: 295-309
[c115]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HeizmannCDHLMSWP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HeizmannCDHLMSWP14
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski:
Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). TACAS 2014: 418-420
[c114]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ErmisNDHP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ErmisNDHP14
Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski:
Ultimate Kojak - (Competition Contribution). TACAS 2014: 421-423
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HeizmannHLP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HeizmannHLP14
Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski:
Linear Ranking for Linear Lasso Programs. CoRR abs/1401.5347 (2014)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HeizmannHP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HeizmannHP14
Matthias Heizmann, Jochen Hoenicke, Andreas Podelski:
Termination Analysis by Learning Terminating Programs. CoRR abs/1405.4189 (2014)
2013
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/HeizmannHLP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/HeizmannHLP13
Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski:
Linear Ranking for Linear Lasso Programs. ATVA 2013: 365-380
[c112]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/HeizmannHP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HeizmannHP13
Matthias Heizmann, Jochen Hoenicke, Andreas Podelski:
Software Model Checking for People Who Love Automata. CAV 2013: 36-52
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/MunizWP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/MunizWP13
Marco Muñiz, Bernd Westphal, Andreas Podelski:
Detecting Quasi-equal Clocks in Timed Automata. FORMATS 2013: 198-212
[c110]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsen/AbdullaADP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/AbdullaADP13
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Andreas Podelski:
Push-Down Automata with Gap-Order Constraints. FSEN 2013: 199-216
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/FarzanKP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/FarzanKP13
Azadeh Farzan, Zachary Kincaid, Andreas Podelski:
Inductive data flow graphs. POPL 2013: 129-142
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BogomolovDFGJLPW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BogomolovDFGJLPW13
Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle:
Abstraction-Based Guided Search for Hybrid Systems. SPIN 2013: 117-134
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/HeizmannCDEHLNSP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HeizmannCDEHLNSP13
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski:
Ultimate Automizer with SMTInterpol - (Competition Contribution). TACAS 2013: 641-643
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Podelski13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Podelski13
Andreas Podelski:
Automata as Proofs. VMCAI 2013: 13-14
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1305-0787
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1305-0787
Daniel Dietsch, Andreas Podelski, Jaechang Nam, Pantelis M. Papadopoulos, Martin Schäf:
Monitoring Student Activity in Collaborative Software Development. CoRR abs/1305.0787 (2013)
2012
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/re/PostMHP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/PostMHP12
Amalinda Post, Igor Menzel, Jochen Hoenicke, Andreas Podelski:
Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH. Requir. Eng. 17(1): 19-33 (2012)
[c105]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/atva/Podelski12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Podelski12
Andreas Podelski:
Interpolant Automata - (Invited Talk). ATVA 2012: 26
[c104]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BogomolovFGLPW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BogomolovFGLPW12
Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle:
A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. CAV 2012: 479-494
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/HerreraWAMP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/HerreraWAMP12
Christian Herrera, Bernd Westphal, Sergio Feo-Arenis, Marco Muñiz, Andreas Podelski:
Reducing Quasi-Equal Clocks in Networks of Timed Automata. FORMATS 2012: 155-170
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/MunizWP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/MunizWP12
Marco Muñiz, Bernd Westphal, Andreas Podelski:
Timed Automata with Disjoint Activity. FORMATS 2012: 188-203
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ArltPBSBM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ArltPBSBM12
Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schäf, Ishan Banerjee, Atif M. Memon:
Lightweight Static Analysis for GUI Testing. ISSRE 2012: 301-310
[c100]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/pts/ArltBSP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/ArltBSP12
Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski:
Parameterized GUI Tests. ICTSS 2012: 247-262
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/re/WestphalDAPPMSFM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/WestphalDAPPMSFM12
Bernd Westphal, Daniel Dietsch, Sergio Feo-Arenis, Andreas Podelski, Louis Pahlow, Jochen Morsbach, Barbara Sommer, Anke Fuchs, Christine Meierhöfer:
Towards successful subcontracting for software in small to medium-sized enterprises. RELAW 2012: 42-51
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/ErmisHP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/ErmisHP12
Evren Ermis, Jochen Hoenicke, Andreas Podelski:
Splitting via Interpolants. VMCAI 2012: 186-201
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/2012
Rajeev Joshi, Peter Müller, Andreas Podelski:
Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings. Lecture Notes in Computer Science 7152, Springer 2012, ISBN 978-3-642-27704-7 [contents]
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1210-4686
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-4686
Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski:
Black-Box Verification for GUI Applications. CoRR abs/1210.4686 (2012)
2011
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/CookPR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/CookPR11
Byron Cook, Andreas Podelski, Andrey Rybalchenko:
Proving program termination. Commun. ACM 54(5): 88-98 (2011)
[j24]
- view
  - electronic edition @ uni-siegen.de (archived)
  - no references & citations available
- export record
  dblp key:
  - journals/stt/PostP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stt/PostP11
Amalinda Post, Andreas Podelski:
Automatische Validierung von Anforderungen. Softwaretechnik-Trends 31(1) (2011)
[c97]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/PostHP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/PostHP11
Amalinda Post, Jochen Hoenicke, Andreas Podelski:
rt-Inconsistency: A New Property for Real-Time Requirements. FASE 2011: 34-49
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/DietschWP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/DietschWP11
Daniel Dietsch, Bernd Westphal, Andreas Podelski:
System Verification through Program Verification. FM 2011: 27-41
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/MitrohinP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/MitrohinP11
Corina Mitrohin, Andreas Podelski:
Composing Stability Proofs for Hybrid Systems. FORMATS 2011: 286-300
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/re/PostHP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/PostHP11
Amalinda Post, Jochen Hoenicke, Andreas Podelski:
Vacuous real-time requirements. RE 2011: 153-162
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/re/DietschAWP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/DietschAWP11
Daniel Dietsch, Sergio Feo-Arenis, Bernd Westphal, Andreas Podelski:
Disambiguation of industrial standards through formalization and graphical languages. RE 2011: 265-270
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/PostMP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/PostMP11
Amalinda Post, Igor Menzel, Andreas Podelski:
Applying Restricted English Grammar on Automotive Requirements - Does it Work? A Case Study. REFSQ 2011: 166-180
[c91]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/PodelskiR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/PodelskiR11
Andreas Podelski, Andrey Rybalchenko:
Transition Invariants and Transition Predicate Abstraction for Program Termination. TACAS 2011: 3-10
2010
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HoenickeLPSW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HoenickeLPSW10
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies:
Doomed program points. Formal Methods Syst. Des. 37(2-3): 171-199 (2010)
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BogomolovMP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BogomolovMP10
Sergiy Bogomolov, Corina Mitrohin, Andreas Podelski:
Composing Reachability Analyses of Hybrid Systems for Safety and Stability. ATVA 2010: 67-81
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/OlderogP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/OlderogP10
Ernst-Rüdiger Olderog, Andreas Podelski:
Explicit Fair Scheduling for Dynamic Control. Concurrency, Compositionality, and Correctness 2010: 96-117
[c88]
- view
- export record
  dblp key:
  - conf/gcb/BogomolovMVPB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gcb/BogomolovMVPB10
Sergiy Bogomolov, Martin Mann, Björn Voß, Andreas Podelski, Rolf Backofen:
Shape-based Barrier Estimation for RNAs. GCB 2010: 41-50
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/PodelskiW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/PodelskiW10
Andreas Podelski, Thomas Wies:
Counterexample-guided focus. POPL 2010: 249-260
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/HeizmannHP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/HeizmannHP10
Matthias Heizmann, Jochen Hoenicke, Andreas Podelski:
Nested interpolants. POPL 2010: 471-482
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/HeizmannJP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/HeizmannJP10
Matthias Heizmann, Neil D. Jones, Andreas Podelski:
Size-Change Termination and Transition Invariants. SAS 2010: 22-50
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/MalkisPR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/MalkisPR10
Alexander Malkis, Andreas Podelski, Andrey Rybalchenko:
Thread-Modular Counterexample-Guided Abstraction Refinement. SAS 2010: 356-372
[c83]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HoenickeOP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HoenickeOP10
Jochen Hoenicke, Ernst-Rüdiger Olderog, Andreas Podelski:
Fairness for Dynamic Control. TACAS 2010: 251-265

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CookPR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CookPR09
Byron Cook, Andreas Podelski, Andrey Rybalchenko:
Summarization for termination: no return! Formal Methods Syst. Des. 35(3): 369-387 (2009)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DragerFP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DragerFP09
Klaus Dräger, Bernd Finkbeiner, Andreas Podelski:
Directed model checking with distance-preserving abstractions. Int. J. Softw. Tools Technol. Transf. 11(1): 27-37 (2009)
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/HoenickeLPSW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/HoenickeLPSW09
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies:
It's Doomed; We Can Prove It. FM 2009: 338-353
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/SeghirPW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/SeghirPW09
Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies:
Abstraction Refinement for Quantified Array Assertions. SAS 2009: 3-18
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/HeizmannHP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/HeizmannHP09
Matthias Heizmann, Jochen Hoenicke, Andreas Podelski:
Refinement of Trace Abstraction. SAS 2009: 69-85
[c79]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/WehrleKP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/WehrleKP09
Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski:
Transition-Based Directed Model Checking. TACAS 2009: 186-200
2008
[c78]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aips/WehrleKP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/WehrleKP08
Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski:
Useless Actions Are Useful. ICAPS 2008: 388-395
[c77]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/PodelskiRW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/PodelskiRW08
Andreas Podelski, Andrey Rybalchenko, Thomas Wies:
Heap Assumptions on Demand. CAV 2008: 314-327
[c76]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KupferschmidWNP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KupferschmidWNP08
Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski:
Faster Than Uppaal? CAV 2008: 552-555
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/DimitrovaP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/DimitrovaP08
Rayna Dimitrova, Andreas Podelski:
Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? VMCAI 2008: 98-111
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/Podelski08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/Podelski08
Andreas Podelski:
Verification, Least-Fixpoint Checking, Abstraction. VSTTE 2008: 3
2007
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/it/BeckerPDFOW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/it/BeckerPDFOW07
Bernd Becker, 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). it Inf. Technol. 49(2): 118-126 (2007)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/PodelskiR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/PodelskiR07
Andreas Podelski, Andrey Rybalchenko:
Transition predicate abstraction and fair termination. ACM Trans. Program. Lang. Syst. 29(3): 15 (2007)
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/PodelskiW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/PodelskiW07
Andreas Podelski, Silke Wagner:
Region Stability Proofs for Hybrid Systems. FORMATS 2007: 320-335
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/PodelskiW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/PodelskiW07
Andreas Podelski, Silke Wagner:
A Sound and Complete Proof Rule for Region Stability of Hybrid Systems. HSCC 2007: 750-753
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/PodelskiR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/PodelskiR07
Andreas Podelski, Andrey Rybalchenko:
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement. PADL 2007: 245-259
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/CookPR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/CookPR07
Byron Cook, Andreas Podelski, Andrey Rybalchenko:
Proving thread termination. PLDI 2007: 320-330
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/CookGPRV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/CookGPRV07
Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi:
Proving that programs eventually do something good. POPL 2007: 265-276
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/MalkisPR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/MalkisPR07
Alexander Malkis, Andreas Podelski, Andrey Rybalchenko:
Precise Thread-Modular Verification. SAS 2007: 218-232
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/SeghirP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/SeghirP07
Mohamed Nassim Seghir, Andreas Podelski:
ACSAR: Software Model Checking with Transfinite Refinement. SPIN 2007: 274-278
[c66]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/KupferschmidDHFDPB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KupferschmidDHFDPB07
Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann:
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. TACAS 2007: 679-682
[e5]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/ppdp/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/2007
Michael Leuschel, Andreas Podelski:
Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland. ACM 2007, ISBN 978-1-59593-769-8 [contents]
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/2007
Byron Cook, Andreas Podelski:
Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings. Lecture Notes in Computer Science 4349, Springer 2007, ISBN 978-3-540-69735-0 [contents]
2006
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/JensenP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/JensenP06
Kurt Jensen, Andreas Podelski:
Tools and algorithms for the construction and analysis of systems. Int. J. Softw. Tools Technol. Transf. 8(3): 177-179 (2006)
[c65]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CookPR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CookPR06
Byron Cook, Andreas Podelski, Andrey Rybalchenko:
Terminator: Beyond Safety. CAV 2006: 415-418
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/PodelskiW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/PodelskiW06
Andreas Podelski, Silke Wagner:
Model Checking of Hybrid Systems: From Reachability Towards Stability. HSCC 2006: 507-521
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/MalkisPR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/MalkisPR06
Alexander Malkis, Andreas Podelski, Andrey Rybalchenko:
Thread-Modular Verification Is Cartesian Abstract Interpretation. ICTAC 2006: 183-197
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/HoffmannSRKP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/HoffmannSRKP06
Jörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski:
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL. MoChArt 2006: 51-66
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/CookPR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/CookPR06
Byron Cook, Andreas Podelski, Andrey Rybalchenko:
Termination proofs for systems code. PLDI 2006: 415-426
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/DragerFP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/DragerFP06
Klaus Dräger, Bernd Finkbeiner, Andreas Podelski:
Directed Model Checking with Distance-Preserving Abstractions. SPIN 2006: 19-34
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/WiesKLPR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/WiesKLPR06
Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard:
Field Constraint Analysis. VMCAI 2006: 157-173
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0609104
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0609104
Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard:
On Verifying Complex Properties using Symbolic Shape Analysis. CoRR abs/cs/0609104 (2006)
2005
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BlanchetP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BlanchetP05
Bruno Blanchet, Andreas Podelski:
Verification of cryptographic protocols: tagging enforces termination. Theor. Comput. Sci. 333(1-2): 67-90 (2005)
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/JensenP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/JensenP05
Kurt Jensen, Andreas Podelski:
Special issue. Theor. Comput. Sci. 345(1): 1 (2005)
[c58]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/PodelskiSW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/PodelskiSW05
Andreas Podelski, Ina Schaefer, Silke Wagner:
Summaries for While Programs with Recursion. ESOP 2005: 94-107
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/PodelskiR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/PodelskiR05
Andreas Podelski, Andrey Rybalchenko:
Transition predicate abstraction and fair termination. POPL 2005: 132-144
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/CookPR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/CookPR05
Byron Cook, Andreas Podelski, Andrey Rybalchenko:
Abstraction Refinement for Termination. SAS 2005: 87-101
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/PodelskiW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/PodelskiW05
Andreas Podelski, Thomas Wies:
Boolean Heaps. SAS 2005: 268-283
[c54]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/PnueliPR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/PnueliPR05
Amir Pnueli, Andreas Podelski, Andrey Rybalchenko:
Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems. TACAS 2005: 124-139
2004
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/LeuschelPRU04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/LeuschelPRU04
Michael Leuschel, Andreas Podelski, C. R. Ramakrishnan, Ulrich Ultes-Nitsche:
Introduction to the Special Issue on Verification and Computational Logic. Theory Pract. Log. Program. 4(5-6): 543-544 (2004)
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/Podelski04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Podelski04
Andreas Podelski:
Constraints in Program Analysis and Verification. CP 2004: 1-4
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/PodelskiR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/PodelskiR04
Andreas Podelski, Andrey Rybalchenko:
Transition Invariants. LICS 2004: 32-41
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/PodelskiR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/PodelskiR04
Andreas Podelski, Andrey Rybalchenko:
A Complete Method for the Synthesis of Linear Ranking Functions. VMCAI 2004: 239-251
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/2004
Kurt Jensen, Andreas Podelski:
Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Lecture Notes in Computer Science 2988, Springer 2004, ISBN 3-540-21299-X [contents]
2003
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BallPR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BallPR03
Thomas Ball, Andreas Podelski, Sriram K. Rajamani:
Boolean and Cartesian abstraction for model checking C programs. Int. J. Softw. Tools Technol. Transf. 5(1): 49-58 (2003)
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/BlanchetP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BlanchetP03
Bruno Blanchet, Andreas Podelski:
Verification of Cryptographic Protocols: Tagging Enforces Termination. FoSSaCS 2003: 136-152
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Podelski03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Podelski03
Andreas Podelski:
Software Model Checking with Abstraction Refinement. VMCAI 2003: 1-3
2002
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/CharatonikP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CharatonikP02
Witold Charatonik, Andreas Podelski:
Set Constraints with Intersection. Inf. Comput. 179(2): 213-229 (2002)
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/CharatonikMP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/CharatonikMP02
Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski:
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP. ICLP 2002: 115-129
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/sara/MukhopadhyayP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sara/MukhopadhyayP02
Supratik Mukhopadhyay, Andreas Podelski:
An Algebraic Framework for Abstract Model Checking. SARA 2002: 152-169
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BallPR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BallPR02
Thomas Ball, Andreas Podelski, Sriram K. Rajamani:
Relative Completeness of Abstraction Refinement for Software Model Checking. TACAS 2002: 158-172
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/CharatonikMP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/CharatonikMP02
Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski:
Compositional Termination Analysis of Symbolic Forward Analysis. VMCAI 2002: 109-125
2001
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DelzannoP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DelzannoP01
Giorgio Delzanno, Andreas Podelski:
Constraint-based deductive model checking. Int. J. Softw. Tools Technol. Transf. 3(3): 250-270 (2001)
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/MukhopadhyayP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/MukhopadhyayP01
Supratik Mukhopadhyay, Andreas Podelski:
Accurate Widenings and Boundedness Properties of Timed Systems. Ershov Memorial Conference 2001: 79-94
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/MukhopadhyayP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/MukhopadhyayP01
Supratik Mukhopadhyay, Andreas Podelski:
Constraint Database Models Characterizing Timed Bisimilarity. PADL 2001: 245-258
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/ArgonDMP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/ArgonDMP01
Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski:
Model Checking Communication Protocols. SOFSEM 2001: 160-170
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BallPR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BallPR01
Thomas Ball, Andreas Podelski, Sriram K. Rajamani:
Boolean and Cartesian Abstraction for Model Checking C Programs. TACAS 2001: 268-283
2000
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/MullerNP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/MullerNP00
Martin Müller, Joachim Niehren, Andreas Podelski:
Ordering Constraints over Feature Trees. Constraints An Int. J. 5(1/2): 7-41 (2000)
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/cl/MukhopadhyayP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cl/MukhopadhyayP00
Supratik Mukhopadhyay, Andreas Podelski:
Model Checking for Timed Logic Processes. Computational Logic 2000: 598-612
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/EsparzaP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/EsparzaP00
Javier Esparza, Andreas Podelski:
Efficient Algorithms for pre^* and post^* on Interprocedural Parallel Flow Graphs. POPL 2000: 1-11
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/CharatonikPT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/CharatonikPT00
Witold Charatonik, Andreas Podelski, Jean-Marc Talbot:
Paths vs. Trees in Set-Based Program Analysis. POPL 2000: 330-337
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/Podelski00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Podelski00
Andreas Podelski:
Model Checking as Constraint Solving. SAS 2000: 22-37

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/DelzannoEP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/DelzannoEP99
Giorgio Delzanno, Javier Esparza, Andreas Podelski:
Constraint-Based Analysis of Broadcast Protocols. CSL 1999: 50-66
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/PodelskiCM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/PodelskiCM99
Andreas Podelski, Witold Charatonik, Martin Müller:
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. ESOP 1999: 177-192
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/MukhopadhyayP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/MukhopadhyayP99
Supratik Mukhopadhyay, Andreas Podelski:
Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata. FSTTCS 1999: 232-244
[c33]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfplc/DelzannoP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/DelzannoP99
Giorgio Delzanno, Andreas Podelski:
Verification of Infinite-State Systems in Constraint Logic Programming. JFPLC 1999: 13-22
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/DelzannoP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DelzannoP99
Giorgio Delzanno, Andreas Podelski:
Model Checking in CLP. TACAS 1999: 223-239
1998
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/CharatonikMNPW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/CharatonikMNPW98
Witold Charatonik, David A. McAllester, Damian Niwinski, Andreas Podelski, Igor Walukiewicz:
The Horn Mu-calculus. LICS 1998: 58-69
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/CharatonikP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/CharatonikP98
Witold Charatonik, Andreas Podelski:
Co-definite Set Constraints. RTA 1998: 211-225
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/CharatonikP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/CharatonikP98
Witold Charatonik, Andreas Podelski:
Directional Type Inference for Logic Programs. SAS 1998: 278-294
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/CharatonikP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CharatonikP98
Witold Charatonik, Andreas Podelski:
Set-Based Analysis of Reactive Infinite-State Systems. TACAS 1998: 358-375
1997
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Ait-KaciPG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Ait-KaciPG97
Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein:
Order Sorted Feature Theory Unification. J. Log. Program. 30(2): 99-124 (1997)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/siamcomp/NivatP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamcomp/NivatP97
Maurice Nivat, Andreas Podelski:
Minimal Ascending and Descending Tree Automata. SIAM J. Comput. 26(1): 39-58 (1997)
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/PodelskiS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/PodelskiS97
Andreas Podelski, Gert Smolka:
Situated Simplification. Theor. Comput. Sci. 173(1): 235-252 (1997)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/MullerNP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/MullerNP97
Martin Müller, Joachim Niehren, Andreas Podelski:
Ordering Constraints over Feature Trees. CP 1997: 297-311
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/PacholskiP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/PacholskiP97
Leszek Pacholski, Andreas Podelski:
Set Constraints: A Pearl in Research on Constraints. CP 1997: 549-562
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/AyariBP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/AyariBP97
Abdelwaheb Ayari, David A. Basin, Andreas Podelski:
LISA: A Specification Language Based on WS2S. CSL 1997: 18-34
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/CharatonikP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/CharatonikP97
Witold Charatonik, Andreas Podelski:
Set Constraints with Intersection. LICS 1997: 362-372
[c23]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/slp/Podelski97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slp/Podelski97
Andreas Podelski:
Set-Based Analysis of Logic Programs and Reactive Logic Programs (Abstract). ILPS 1997: 35-36
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/MullerNP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/MullerNP97
Martin Müller, Joachim Niehren, Andreas Podelski:
Inclusion Constraints over Non-empty Sets of Trees. TAPSOFT 1997: 345-356
1996
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/CharatonikP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/CharatonikP96
Witold Charatonik, Andreas Podelski:
The Independence Property of a Class of Set Constraints. CP 1996: 76-90
1995
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/PodelskiR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/PodelskiR95
Andreas Podelski, Peter Van Roy:
A Detailed Algorithm Testing Guards over Feature Trees. Constraint Processing, Selected Papers 1995: 11-38
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/PodelskiS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/PodelskiS95
Andreas Podelski, Gert Smolka:
Situated Simplification. CP 1995: 328-344
[c18]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/PodelskiS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/PodelskiS95
Andreas Podelski, Gert Smolka:
Operational Semantics of Constraint Logic Programs with Coroutining. ICLP 1995: 449-463
[c17]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/PodelskiS95a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/PodelskiS95a
Andreas Podelski, Gert Smolka:
Situated Simplification. ICLP 1995: 826
[e2]
- view
  authority control:
- export record
  dblp key:
  - journals/lncs/1994-910
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lncs/1994-910
Andreas Podelski:
Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers. Lecture Notes in Computer Science 910, Springer 1995, ISBN 3-540-59155-9 [contents]
1994
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Ait-KaciPS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Ait-KaciPS94
Hassan Aït-Kaci, Andreas Podelski, Gert Smolka:
A Feature Constraint System for Logic Programming with Entailment. Theor. Comput. Sci. 122(1&2): 263-283 (1994)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BeauquierP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BeauquierP94
Danièle Beauquier, Andreas Podelski:
Rabin Tree Automata and Finite Monoids. Theor. Comput. Sci. 134(1): 13-25 (1994)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Ait-KaciP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Ait-KaciP94
Hassan Aït-Kaci, Andreas Podelski:
Functions as Passive Constraints in LIFE. ACM Trans. Program. Lang. Syst. 16(4): 1279-1318 (1994)
[c16]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/slp/PodelskiR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slp/PodelskiR94
Andreas Podelski, Peter Van Roy:
The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees. ILPS 1994: 359-374
1993
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dm/NivatP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dm/NivatP93
Maurice Nivat, Andreas Podelski:
Another variation on the common subexpression problem. Discret. Math. 114(1-3): 379-401 (1993)
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Ait-KaciP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Ait-KaciP93
Hassan Aït-Kaci, Andreas Podelski:
Towards a Meaning of LIFE. J. Log. Program. 16(3): 195-234 (1993)
[c15]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/Ait-KaciPG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Ait-KaciPG93
Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein:
Order-Sorted Feature Theory Unification. ICLP Workshop on Concurrent Constraint Programming 1993
[c14]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/Ait-KaciPR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Ait-KaciPR93
Hassan Aït-Kaci, Andreas Podelski, Peter Van Roy:
An Informal Introduction to LIFE. ICLP Workshop on Concurrent Constraint Programming 1993
[c13]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/PodelskiR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/PodelskiR93
Andreas Podelski, Peter Van Roy:
The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally. ICLP Workshop on Concurrent Constraint Programming 1993
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/Ait-KaciP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Ait-KaciP93
Hassan Aït-Kaci, Andreas Podelski:
Entailment and Disentailment of Order-Sorted Feature Constraints. LPAR 1993: 1-18
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/BeauquierP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/BeauquierP93
Danièle Beauquier, Andreas Podelski:
Rabin Tree Automata and Finite Monoids. MFCS 1993: 262-271
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/mfps/CalbrixNP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfps/CalbrixNP93
Hugues Calbrix, Maurice Nivat, Andreas Podelski:
Ultimately Periodic Words of Rational w-Languages. MFPS 1993: 554-566
[c9]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ppcp/Ait-KaciP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppcp/Ait-KaciP93
Hassan Aït-Kaci, Andreas Podelski:
Entailment and Disentailment of Order-Sorted Feature Constraints. PPCP 1993: 1-6
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/NiehrenPT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/NiehrenPT93
Joachim Niehren, Andreas Podelski, Ralf Treinen:
Equational and Membership Constraints for Finite Trees. RTA 1993: 106-120
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/slp/Ait-KaciPG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slp/Ait-KaciPG93
Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein:
Order-Sorted Feature Theory Unification. ILPS 1993: 506-524
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/slp/PodelskiR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slp/PodelskiR93
Andreas Podelski, Peter Van Roy:
The Beauty and the Beast Algorithm. ILPS 1993: 653
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/NiehrenP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/NiehrenP93
Joachim Niehren, Andreas Podelski:
Feature Automata and Recognizable Sets of Feature Trees. TAPSOFT 1993: 356-375
1992
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/elp/Ait-KaciP92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elp/Ait-KaciP92
Hassan Aït-Kaci, Andreas Podelski:
Logic Programming with Functions over Order-Sorted Feature Terms. ELP 1992: 100-119
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fgcs/Ait-KaciPS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fgcs/Ait-KaciPS92
Hassan Aït-Kaci, Andreas Podelski, Gert Smolka:
A Feature-Based Constraint System for Logic Programming with Entailment. FGCS 1992: 1012-1021
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/PeladeauP92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/PeladeauP92
Pierre Péladeau, Andreas Podelski:
On Reverse and General Definite Tree Languages (Extended Abstract). ICALP 1992: 150-161
[p1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/el/treeauto1992/Podelski92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/treeauto1992/Podelski92
Andreas Podelski:
A monoid approach to tree automata. Tree Automata and Languages 1992: 41-56
[e1]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - books/el/Nivat92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/Nivat92
Maurice Nivat, Andreas Podelski:
Tree Automata and Languages. North-Holland 1992 [contents]
1991
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/mst/CourcelleNP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/CourcelleNP91
Bruno Courcelle, Damian Niwinski, Andreas Podelski:
A Geometrical View of the Determinization and Minimization of Finite-State Automata. Math. Syst. Theory 24(2): 117-146 (1991)
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/plilp/Ait-KaciP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plilp/Ait-KaciP91
Hassan Aït-Kaci, Andreas Podelski:
Towards a Meaning of LIFE. PLILP 1991: 255-274

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[j1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/NivatP89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/NivatP89
Maurice Nivat, Andreas Podelski:
Definite tree languages. Bull. EATCS 38: 186-190 (1989)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.