Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Amelia Bădică
FSP and FLTL Framework for Specification and Verification of Middle-Agents
International Journal of Applied Mathematics and Computer Science
Engineering
Computer Science
Applied Mathematics
A New Path Generalization Algorithm for HTML Wrapper Induction
Related publications
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation
IEEE Transactions on Software Engineering
Software
Towards a Verification Framework for Communicating Rational Agents
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Specification and Verification
Formal Specification and Verification of CRDTs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Combining CSP and B for Specification and Property Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Specification and Verification of Dynamic Parametrized Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
MetAcsl: Specification and Verification of High-Level Properties
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
High-Level Frameworks for the Specification and Verification of Scheduling Problems
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Dynamic Access Control Policies: Specification and Verification
Computer Journal
Computer Science
