LARA - Laboratory for Automated Reasoning and Analysis

Publication Type

• Conference Papers (109)
• Reports (78)
• Journal Articles (25)
• Student Projects (20)
• Theses (17)
• Talks (2)
• Working Papers (1)

Lab

• LARA (252)
• DCL (7)
• NSL (2)
• DATA (1)
• IC (1)
• ICLAB (1)
• LAMP (1)
• MTC (1)
• PARSA (1)

Show more

Publication Year

• 2024 (5)
• 2023 (9)
• 2022 (9)
• 2021 (2)
• 2020 (3)
• 2019 (5)
• 2018 (1)
• 2017 (14)
• 2016 (8)
• 2015 (17)
• 2014 (9)
• 2013 (21)
• 2012 (19)
• 2011 (18)
• 2010 (24)
• 2009 (14)
• 2008 (12)
• 2007 (10)
• 2006 (6)
• 2005 (10)
• 2004 (12)
• 2003 (8)
• 2002 (3)
• 2001 (7)
• 2000 (4)
• 1996 (1)
• 1993 (1)

Show more

Journal

• Acm Sigplan Notices (8)
• Lecture Notes in Computer Science (3)
• Verification, Model Checking and Abstract Interpretation (3)
• Verification, Model Checking, And Abstract Interpretation (3)
• Formal Methods In System Design (2)
• Scala'16: Proceedings Of The 2016 7Th Acm Sigplan Symposium On Scala (2)
• Verification, Model Checking, and Abstract Interpretation (2)
• XIV Conference on Applied Mathematics "PRIM", Palić (2)
• 10th Annual International Static Analysis Symposium (1)
• 14th Conference on Interactive Theorem Proving (1)
• 14th International Conference on Compiler Construction (tool demo) (1)
• 2013 Formal Methods In Computer-Aided Design (Fmcad) (1)
• 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (1)
• 35th International Conference on Computer Aided Verification (1)
• 3rd Panhellenic Logic Symposium (1)
• 4th International Conference on Aspect-Oriented Software Development (1)
• 5th International Conference, VSTTE 2013 (1)
• Acm Computing Surveys (1)
• Acm Sigplan Notices (POPL) (1)
• ACM Transactions on Computer Systems (1)
• ACM Transactions on Programming Languages and Systems (1)
• Archive of Formal Proofs (1)
• ATVA 2012: Automated Technology for Verification and Analysis (1)
• Automata, Languages, And Programming (Icalp 2014), Pt I (1)
• Automated Deduction - Cada-23 (1)
• Automated Deduction – CADE-20 (1)
• Automated Deduction – CADE-21 (1)
• Automated Deduction - Cade-25 (1)
• Communications Biology (1)
• Communications of the ACM (1)
• Computer Science Logic (1)
• Computing (1)
• CSL 2008: Computer Science Logic (1)
• Eighteenth Annual IEEE Symposium on Logic in Computer Science (1)
• Electronic Proceedings in Theoretical Computer Science (1)
• Electronics Letters (1)
• Fifth International Workshop on Termination (1)
• FM 2012: Formal Methods (1)
• Formal Methods in System Design (1)
• Foundations of Software Science and Computation Structures (FOSSACS) (1)
• Frontiers Of Combining Systems, Frocos 2015 (1)
• FSE '10 Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering (1)
• Fundamenta Informaticae (1)
• ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (1)
• IEEE Transactions on Software Engineering (1)
• IFM 2010: Integrated Formal Methods (1)
• INFORMATICA, Institute of Mathematics and Informatics, Vilnius (1)
• Information And Software Technology (1)
• International conference on Verified Software: Theories, Tools, Experiments (VSTTE, IFIP Working Group 2.3 Conference) (1)
• International Journal on Software Tools for Technology Transfer (1)
• International Static Analysis Symposium (1)
• International Workshop on Software Verification and Validation (1)
• Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (1)
• Journal of Automated Reasoning (1)
• Journal Of Logical And Algebraic Methods In Programming (1)
• Languages and Compilers for Parallel Computing. LCPC 2001 (1)
• Logic-Based Program Synthesis And Transformation (Lopstr 2014) (1)
• Monterey Workshop on Software Engineering Tools: Compatibility and Integration (1)
• NASA Formal Method (1)
• Nasa Formal Methods (Nfm 2015) (1)
• NSF Next Generation Software Workshop (1)
• OOPSLA 2015: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (1)
• PLDI '08: Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation (1)
• PLDI '09: Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (1)
• PLDI '10: Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation (1)
• PLDI '13: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (1)
• Plos Computational Biology (1)
• POPL 12: Proceedings Of The 39Th Annual Acm Sigplan-Sigact Symposium On Principles Of Programming Languages (1)
• POPL 2014 (1)
• POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (1)
• Proc. Int. Conf. Verification, Model Checking, and Abstract Interpratation (1)
• Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation (1)
• Proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation (1)
• Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software (1)
• Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022 (1)
• Proceedings of the 22nd International Conference on Computer-Aided Verification (CAV) (1)
• Proceedings of the 29th Annual ACM Symposium on Principles of Programming Languages (1)
• Proceedings Of The 41St Acm Sigplan Conference On Programming Language Design And Implementation (Pldi '20) (1)
• Proceedings of the 4th Workshop on Scala - SCALA '13 (1)
• Proceedings of the 5th International Joint Conference on Automated Reasoning (1)
• Proceedings of the 6th ACM SIGPLAN Symposium on Scala - SCALA 2015 (1)
• Proceedings of the 7th International Symposium on Frontiers of Combining Systems (1)
• Proceedings of the 9th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) (1)
• Proceedings of the ACM on Programming Languages (1)
• Proceedings of the Conference on Computed-Aided Verification (CAV) (1)
• Proceedings of the International Conference on Computer Aided Verification (1)
• Proceedings of the Petnica Science Center Seminar '93 (1)
• Revise Selected Papers of the 7th International Workshop on Runtime Verification (1)
• Runtime Verification (1)
• RV 2012: Runtime Verification (1)
• Science Of Computer Programming (1)
• SIGMOD '13: Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data (1)
• SIGPLAN Notices (1)
• Sixth International Conference on Formal Engineering Methods (1)
• Static Analysis (1)
• Theoretical Aspects of Computer Science with practical application (1)
• Theoretical Computer Science. ICTCS 2001 (1)
• TLDI '09: Proceedings of the 4th international workshop on Types in language design and implementationJ (1)
• Verification, Model Checking, and Abstract Interpretation. VMCAI 2008 (1)
• Verification, Model Checking, And Abstract Interpretation (Vmcai 2015) (1)
• Verification, Model Checking, And Abstract Interpretation, Vmcai 2024, Pt I (1)
• Workshop on Abstract Interpretation of Object-Oriented Languages (1)
• Workshop on Automated Verification of Infinite-State Systems (1)
• Workshop on Heap Abstraction and Verification (collocated with ETAPS) (1)
• Workshop on Workshop on Runtime Verification (collocated with AOSD) (1)

Show more