Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jared Roesch
A Metaprogramming Framework for Formal Verification
Proceedings of the ACM on Programming Languages
Related publications
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation
IEEE Transactions on Software Engineering
Software
Formal Framework for Automated Analysis and Verification of Web-Based Applications
Formal Modeling and Verification for MVB
Journal of Applied Mathematics
Applied Mathematics
Eiffel as a Framework for Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Formal Framework for Computational Trust
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Framework for Specifying Concurrent Systems
International Journal of Computer Applications
Formal Verification of Privacy for RFID Systems
Formal Specification and Verification
Formal Semantics and Verification for Feature Modeling
