Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Hobor, Aquinas - School of Computing, National University of Singapore
Multimodal Separation Logic for Reasoning About Operational Semantics
Barriers in Concurrent Separation Logic Aquinas Hobor and Cristian Gherghina
A Theory of Termination via Indirection Robert Dockins
A Fresh Look at Separation Algebras and Share Accounting
Oracle Semantics Aquinas Hobor
Comparing Semantic and Syntactic Methods in Mechanized Proof Frameworks
Aquinas Hobor Research Statement I am interested in improving software reliability through specification and verification techniques.
A Logical Mix of Approximation and Separation Aquinas Hobor1
Introducing Logic and Formal Methods with Coq Martin Henz and Aquinas Hobor
Verifying Time Bounds for General Function Pointers Robert Dockins1,
Improving the Compositionality of Separation Algebras Aquinas Hobor
1 Program verification We have covered a number of general topics so far in the course: propositional
1 Recursively defining collections by rules We often want to define a collection of objects by a series of recursive rules1
A Specification Logic for Termination Reasoning Ton-Chanh Le, Cristian Gherghina, Aquinas Hobor, and Wei-Ngan Chin
BARRIERS IN CONCURRENT SEPARATION LOGIC: NOW WITH TOOL SUPPORT!
