Andrey Rybalchenko
Affiliations: Max Planck Institute for Informatics, Saarbrücken, Germany
According to our database^{1},
Andrey Rybalchenko
authored at least 81 papers
between 2004 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on twitter.com
On csauthors.net:
Bibliography
2021
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2021
2019
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
2018
Proceedings of the Handbook of Model Checking., 2018
2017
Proceedings of the 26th Symposium on Operating Systems Principles, 2017
2016
J. Autom. Reason., 2016
Proceedings of the Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, 2016
Proceedings of the 43rd Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
2015
Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015
Proceedings of the Computer Aided Verification  27th International Conference, 2015
Proceedings of the Fields of Logic and Computation II, 2015
2014
ACM SIGLOG News, 2014
Proceedings of the Proceedings First Workshop on Horn Clauses for Verification and Synthesis, 2014
CoRR, 2014
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014
Proceedings of the 41st Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2014
Proceedings of the Formal Methods in ComputerAided Design, 2014
Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk).
Proceedings of the VPT 2014. Second International Workshop on Verification and Program Transformation, 2014
2013
Int. J. Softw. Tools Technol. Transf., 2013
Dagstuhl Reports, 2013
Higherorder Program Verification as Satisfiability Modulo Theories with Algebraic Datatypes.
CoRR, 2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Proceedings of the Formal Methods for Dynamical Systems, 2013
Proceedings of the Static Analysis  20th International Symposium, 2013
Proceedings of the CONCUR 2013  Concurrency Theory  24th International Conference, 2013
Proceedings of the Computer Aided Verification  25th International Conference, 2013
Proceedings of the Programming Languages and Systems  11th Asian Symposium, 2013
2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
Proceedings of the Model Checking Software  19th International Workshop, 2012
Proceedings of the Static Analysis  19th International Symposium, 2012
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012
Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012
2011
Commun. ACM, 2011
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011
Transition Invariants and Transition Predicate Abstraction for Program Termination.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Proceedings of the 38th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2011
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011
Proceedings of the Computer Aided Verification  23rd International Conference, 2011
Proceedings of the Computer Aided Verification  23rd International Conference, 2011
Proceedings of the Programming Languages and Systems  9th Asian Symposium, 2011
2010
Theory Pract. Log. Program., 2010
J. Symb. Comput., 2010
CoRR, 2010
Proceedings of the Static Analysis  17th International Symposium, 2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
Proceedings of the Automated Technology for Verification and Analysis, 2010
2009
Formal Methods Syst. Des., 2009
Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009
Proceedings of the Model Checking Software, 2009
Proceedings of the 30th IEEE Symposium on Security and Privacy (S&P 2009), 2009
Proceedings of the 36th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2009
Proceedings of the Practical Aspects of Declarative Languages, 2009
Proceedings of 9th International Conference on Formal Methods in ComputerAided Design, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
Formal Aspects Comput., 2008
Proceedings of the 35th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
2007
ACM Trans. Program. Lang. Syst., 2007
Proceedings of the Verification, 2007
Proceedings of the Static Analysis, 14th International Symposium, 2007
Proceedings of the 34th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2007
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007
2006
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006
Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006
Proceedings of the Theoretical Aspects of Computing, 2006
Proceedings of the Theoretical Aspects of Computing, 2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
2005
Separating Fairness and WellFoundedness for the Analysis of Fair Discrete Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the Static Analysis, 12th International Symposium, 2005
Proceedings of the Ausgezeichnete Informatikdissertationen 2005, 2005
PhD thesis, 2005
2004
Proceedings of the Verification, 2004
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004