|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 36 occurrences of 21 keywords
|
|
|
|
|
Results
Found 56 publication records. Showing 56 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko |
HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution).  |
TACAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Corneliu Popeea, Andrey Rybalchenko |
Compositional Termination Proofs for Multi-threaded Programs. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Andrey Rybalchenko (eds.) |
Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Andreas Podelski, Andrey Rybalchenko |
Proving program termination. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Antonio Navarro Pérez, Andrey Rybalchenko |
Separation logic + superposition calculus = heap theorem prover. |
PLDI |
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 | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
Predicate abstraction and refinement for verifying multi-threaded programs. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
Solving Recursion-Free Horn Clauses over LI+UIF. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Rybalchenko |
Towards automatic synthesis of software verification tools. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
Threader: A Constraint-Based Verifier for Multi-threaded Programs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko |
HMC: Verifying Functional Programs Using Abstract Interpreters. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno P. Lopes, Andrey Rybalchenko |
Distributed and Predictable Software Model Checking. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Rybalchenko, Viorica Sofronie-Stokkermans |
Constraint solving for interpolation. |
J. Symb. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh |
Applying Prolog to Develop Distributed Systems |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko |
Refinement type inference via abstract interpretation |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh |
Applying Prolog to develop distributed systems. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrey Rybalchenko |
Aligators for Arrays (Tool Paper). |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
Non-monotonic Refinement of Control Abstraction for Concurrent Programs. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Köpf, Andrey Rybalchenko |
Approximation and Randomization for Quantitative Information-Flow Analysis. |
CSF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Rybalchenko |
Constraint Solving for Program Verification: Theory and Practice by Example. |
CAV |
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 | Andrey Rybalchenko |
Constraint Solving for Program Verification: Theory and Practice by Example. |
CSL |
2010 |
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 | Michael Backes, Boris Köpf, Andrey Rybalchenko |
Automatic Discovery and Quantification of Information Leaks. |
IEEE Symposium on Security and Privacy |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna E. Frid, Andrey Morozov, Andrey Rybalchenko, Klaus W. Wagner (eds.) |
Computer Science - Theory and Applications, Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings |
CSR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Antonio Navarro Pérez, Andrey Rybalchenko |
Operational Semantics for Declarative Networking. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
distributed systems, programming language semantics, Declarative networking |
| 1 | Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko |
From Tests to Proofs. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis |
Finding heap-bounds for hardware synthesis. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Rybalchenko |
Automated Methods for Proving Program Termination and Liveness. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko |
Verifying liveness for asynchronous programs. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
asynchronous (event-driven) programming, fair termination, petri nets, liveness |
| 1 | Andrey Rybalchenko, Rishabh Singh |
Subsumer-First: Steering Symbolic Reachability Analysis. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh |
Cardinality Abstraction for Declarative Networking Applications. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Andrey Rybalchenko |
InvGen: An Efficient Invariant Generator. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko |
Model checking Duration Calculus: a practical approach. |
Formal Asp. Comput. |
2008 |
DBLP DOI BibTeX RDF |
European Train Control System, Real-time systems, Model checking, Verification, Timed automata, Case study, Duration Calculus |
| 1 | Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu |
Proving non-termination. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
non-termination, recurrent sets, model checking, testing, program verification |
| 1 | Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv |
Proving Conditional Termination. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Podelski, Andrey Rybalchenko, Thomas Wies |
Heap Assumptions on Demand. |
CAV |
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 | 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 | Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko |
Path invariants. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
invariant synthesis, formal verification, software model checking, predicate abstraction, abstraction refinement |
| 1 | Andreas Podelski, Andrey Rybalchenko |
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement. |
PADL |
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 | Alexander Malkis, Andreas Podelski, Andrey Rybalchenko |
Precise Thread-Modular Verification. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Rybalchenko, Viorica Sofronie-Stokkermans |
Constraint Solving for Interpolation. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko |
Invariant Synthesis for Combined Theories. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 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 | Roland Meyer, Johannes Faber, Andrey Rybalchenko |
Model Checking Duration Calculus: A Practical Approach. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Malkis, Andreas Podelski, Andrey Rybalchenko |
Thread-Modular Verification Is Cartesian Abstract Interpretation. |
ICTAC |
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 | Andrey Rybalchenko |
Temporal verification with transition invariants. |
|
2005 |
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 | Byron Cook, Andreas Podelski, Andrey Rybalchenko |
Abstraction Refinement for Termination. |
SAS |
2005 |
DBLP DOI 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 |
|
Displaying result #1 - #56 of 56 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")