| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Amalinda Post, Igor Menzel, Jochen Hoenicke, Andreas Podelski |
Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH.  |
Requir. Eng.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Joshi, Peter Müller 0002, Andreas Podelski (eds.) |
Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings |
VSTTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Evren Ermis, Jochen Hoenicke, Andreas Podelski |
Splitting via Interpolants. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Andreas Podelski, Andrey Rybalchenko |
Proving program termination. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Podelski, Andrey Rybalchenko |
Transition Invariants and Transition Predicate Abstraction for Program Termination. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina Mitrohin, Andreas Podelski |
Composing Stability Proofs for Hybrid Systems. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amalinda Post, Jochen Hoenicke, Andreas Podelski |
rt-Inconsistency: A New Property for Real-Time Requirements. |
FASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amalinda Post, Jochen Hoenicke, Andreas Podelski |
Vacuous real-time requirements. |
RE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Dietsch, Sergio Feo Arenis, Bernd Westphal, Andreas Podelski |
Disambiguation of industrial standards through formalization and graphical languages. |
RE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Dietsch, Bernd Westphal, Andreas Podelski |
System Verification through Program Verification. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amalinda Post, Igor Menzel, Andreas Podelski |
Applying Restricted English Grammar on Automotive Requirements - Does it Work? A Case Study. |
REFSQ |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies |
Doomed program points. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Hoenicke, Ernst-Rüdiger Olderog, Andreas Podelski |
Fairness for Dynamic Control. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
Nested interpolants. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
floyd-hoare logic, nested words, static analysis, interpolants, abstract interpretation, recursion, software model checking, abstraction refinement |
| 1 | Andreas Podelski, Thomas Wies |
Counterexample-guided focus. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
quantified invariants, data structures, shape analysis, predicate abstraction, abstraction refinement |
| 1 | Sergiy Bogomolov, Corina Mitrohin, Andreas Podelski |
Composing Reachability Analyses of Hybrid Systems for Safety and Stability. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog, Andreas Podelski |
Explicit Fair Scheduling for Dynamic Control. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Malkis, Andreas Podelski, Andrey Rybalchenko |
Thread-Modular Counterexample-Guided Abstraction Refinement. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Heizmann, Neil D. Jones, Andreas Podelski |
Size-Change Termination and Transition Invariants. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy Bogomolov, Martin Mann, Björn Voß, Andreas Podelski, Rolf Backofen |
Shape-based Barrier Estimation for RNAs. |
GCB |
2010 |
DBLP BibTeX RDF |
|
| 1 | Klaus Dräger, Bernd Finkbeiner, Andreas Podelski |
Directed model checking with distance-preserving abstractions. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Andreas Podelski, Andrey Rybalchenko |
Summarization for termination: no return! |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski |
Transition-Based Directed Model Checking. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies |
It's Doomed; We Can Prove It. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies |
Abstraction Refinement for Quantified Array Assertions. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
Refinement of Trace Abstraction. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski |
Useless Actions Are Useful. |
ICAPS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Andreas Podelski |
Verification, Least-Fixpoint Checking, Abstraction. |
VSTTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Podelski, Andrey Rybalchenko, Thomas Wies |
Heap Assumptions on Demand. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski |
Faster Than Uppaal? |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rayna Dimitrova, Andreas Podelski |
Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Podelski, Andrey Rybalchenko |
Transition predicate abstraction and fair termination. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
fair termination, transition predicate abstraction, liveness, Software model checking |
| 1 | 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 - Information Technology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Andreas Podelski, Andrey Rybalchenko |
Proving thread termination. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
model checking, concurrency, formal verification, program verification, threads, termination |
| 1 | Andreas Podelski, Andrey Rybalchenko |
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Podelski, Silke Wagner |
Region Stability Proofs for Hybrid Systems. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi |
Proving that programs eventually do something good. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
formal verification, termination, liveness, software model checking |
| 1 | Mohamed Nassim Seghir, Andreas Podelski |
ACSAR: Software Model Checking with Transfinite Refinement. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Andreas Podelski (eds.) |
Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland |
PPDP |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andreas Podelski, Silke Wagner |
A Sound and Complete Proof Rule for Region Stability of Hybrid Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Malkis, Andreas Podelski, Andrey Rybalchenko |
Precise Thread-Modular Verification. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Andreas Podelski (eds.) |
Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings |
VMCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard |
On Verifying Complex Properties using Symbolic Shape Analysis |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Kurt Jensen, Andreas Podelski |
Tools and algorithms for the construction and analysis of systems. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Error explanation, Model-checking, Verification, Program analysis, Tools, State spaces, Safety analysis |
| 1 | Byron Cook, Andreas Podelski, Andrey Rybalchenko |
Termination proofs for systems code. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
model checking, formal verification, program verification, program termination |
| 1 | Alexander Malkis, Andreas Podelski, Andrey Rybalchenko |
Thread-Modular Verification Is Cartesian Abstract Interpretation. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Dräger, Bernd Finkbeiner, Andreas Podelski |
Directed Model Checking with Distance-Preserving Abstractions. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski |
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL. |
MoChArt |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Andreas Podelski, Andrey Rybalchenko |
Terminator: Beyond Safety. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Podelski, Silke Wagner |
Model Checking of Hybrid Systems: From Reachability Towards Stability. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard |
Field Constraint Analysis. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Blanchet, Andreas Podelski |
Verification of cryptographic protocols: tagging enforces termination. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Jensen, Andreas Podelski |
Special issue. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Pnueli, Andreas Podelski, Andrey Rybalchenko |
Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Podelski, Andrey Rybalchenko |
Transition predicate abstraction and fair termination. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
fair termination, transition predicate abstraction, liveness, software model checking |
| 1 | Andreas Podelski, Thomas Wies |
Boolean Heaps. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Andreas Podelski, Andrey Rybalchenko |
Abstraction Refinement for Termination. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Podelski, Ina Schaefer, Silke Wagner |
Summaries for While Programs with Recursion. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Andreas Podelski, C. R. Ramakrishnan, Ulrich Ultes-Nitsche |
Introduction to the Special Issue on Verification and Computational Logic. |
TPLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Jensen, Andreas Podelski (eds.) |
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 |
TACAS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Andreas Podelski, Andrey Rybalchenko |
Transition Invariants. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Podelski, Andrey Rybalchenko |
A Complete Method for the Synthesis of Linear Ranking Functions. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Podelski |
Constraints in Program Analysis and Verification. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Andreas Podelski, Sriram K. Rajamani |
Boolean and Cartesian abstraction for model checking C programs. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
Software engineering, Model checking, Verification, Program analysis, Abstract interpretation |
| 1 | Andreas Podelski |
Software Model Checking with Abstraction Refinement. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Blanchet, Andreas Podelski |
Verification of Cryptographic Protocols: Tagging Enforces Termination. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Andreas Podelski |
Set Constraints with Intersection. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Andreas Podelski, Sriram K. Rajamani |
Relative Completeness of Abstraction Refinement for Software Model Checking. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Supratik Mukhopadhyay, Andreas Podelski |
An Algebraic Framework for Abstract Model Checking. |
SARA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski |
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski |
Compositional Termination Analysis of Symbolic Forward Analysis. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Andreas Podelski |
Constraint-based deductive model checking. |
STTT |
2001 |
DBLP DOI BibTeX RDF |
Model checking, Verification, Logic programming, Constraints |
| 1 | Supratik Mukhopadhyay, Andreas Podelski |
Constraint Database Models Characterizing Timed Bisimilarity. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Supratik Mukhopadhyay, Andreas Podelski |
Accurate Widenings and Boundedness Properties of Timed Systems. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Andreas Podelski, Sriram K. Rajamani |
Boolean and Cartesian Abstraction for Model Checking C Programs. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski |
Model Checking Communication Protocols. |
SOFSEM |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Müller, Joachim Niehren, Andreas Podelski |
Ordering Constraints over Feature Trees. |
Constraints |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Andreas Podelski |
Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Andreas Podelski, Jean-Marc Talbot |
Paths vs. Trees in Set-Based Program Analysis. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Podelski |
Model Checking as Constraint Solving. |
SAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Supratik Mukhopadhyay, Andreas Podelski |
Model Checking for Timed Logic Processes. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Andreas Podelski |
Model Checking in CLP. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Andreas Podelski |
Verification of Infinite-State Systems in Constraint Logic Programming. |
JFPLC |
1999 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Delzanno, Javier Esparza, Andreas Podelski |
Constraint-Based Analysis of Broadcast Protocols. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Supratik Mukhopadhyay, Andreas Podelski |
Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata. |
FSTTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Podelski, Witold Charatonik, Martin Müller |
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Andreas Podelski |
Set-Based Analysis of Reactive Infinite-State Systems. |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Andreas Podelski |
Co-definite Set Constraints. |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, David A. McAllester, Damian Niwinski, Andreas Podelski, Igor Walukiewicz |
The Horn Mu-calculus. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Andreas Podelski |
Directional Type Inference for Logic Programs. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein |
Order Sorted Feature Theory Unification. |
J. Log. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Podelski, Gert Smolka |
Situated Simplification. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Nivat, Andreas Podelski |
Minimal Ascending and Descending Tree Automata. |
SIAM J. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Müller, Joachim Niehren, Andreas Podelski |
Inclusion Constraints over Non-empty Sets of Trees. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Podelski |
Set-Based Analysis of Logic Programs and Reactive Logic Programs (Abstract). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Witold Charatonik, Andreas Podelski |
Set Constraints with Intersection. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
satisfiability test, set-based program analysis, DEXPTIME-complete, complexity characterization, negative set constraints, negated conjuncts, negated inclusion, computability, decidability, intersection, inclusions, set constraints |
| 1 | Abdelwaheb Ayari, David A. Basin, Andreas Podelski |
LISA: A Specification Language Based on WS2S. |
CSL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Müller, Joachim Niehren, Andreas Podelski |
Ordering Constraints over Feature Trees. |
CP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Leszek Pacholski, Andreas Podelski |
Set Constraints: A Pearl in Research on Constraints. |
CP |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")