Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jay Ligatti
A Theory of Runtime Enforcement, With Results
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Composing Expressive Runtime Security Policies
ACM Transactions on Software Engineering and Methodology
Software
Related publications
Testing Real-Time Systems With Runtime Enforcement
IEEE Design and Test
Hardware
Electronic Engineering
Electrical
Architecture
Software
Runtime Enforcement of Timed Properties Revisited
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Runtime Enforcement of Web Service Message Contracts With Data
IEEE Transactions on Services Computing
Information Systems
Computer Networks
Hardware
Communications
Computer Science Applications
Management
Architecture
Runtime Enforcement of Reactive Systems Using Synchronous Enforcers
The Economic Theory of Public Enforcement of Law
Environmental Enforcement Networks: Theory, Practice and Potential
Runtime Verification With Particle Filtering
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Results of Mediation and Cross-Border Enforcement of Mediation Agreements
ERA Forum
Law
International Relations
Political Science
Political Theory Today: Results of a National Survey
PS - Political Science and Politics
Sociology
Political Science
