AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Corneliu Popeea

Corneliu Popeea

Technische Universität München - Munich / Germany
Others
AD Scientific Index ID: 1781707
Technical University of Munich
person_outline Corneliu Popeea's MOST POPULAR ARTICLES
1-) Synthesizing Software Verifiers from Proof Rules Proc. of the 33rd ACM SIGPLAN Conference on Programming Language Design and …, 2012
2-) Solving existentially quantified horn clauses International Conference on Computer Aided Verification, 869-882, 2013
3-) Predicate abstraction and refinement for verifying multi-threaded programs Proceedings of the 38th annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2011
4-) A constraint-based approach to solving games on infinite graphs Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
5-) HSF (C): A Software Verifier based on Horn Clauses