Amirhossein Vakili
University of British Columbia(CA)University of Waterloo(CA)
Publications by Year
Research Areas
Formal Methods in Verification, Model-Driven Software Engineering Techniques, Logic, programming, and type systems, Software Testing and Debugging Techniques, Advanced Software Engineering Methodologies
Most-Cited Works
- → Temporal Logic Model Checking in Alloy(2012)27 cited
- → Finite Model Finding Using the Logic of Equality with Uninterpreted Functions(2016)9 cited
- → Reducing CTL-live Model Checking to First-Order Logic Validity Checking(2014)7 cited
- Temporal Logic Model Checking as Automated Theorem Proving(2016)
- → Transitive-closure-based model checking (TCMC) in Alloy(2020)7 cited
- → Using model checking to analyze static properties of declarative models(2011)4 cited
- → Verifying CTL-live properties of infinite state models using an SMT solver(2014)3 cited
- → Analyzing temporal properties of abstract models(2011)2 cited
- → Representing hierarchical state machine models in SMT-LIB(2016)2 cited