Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Laurie Ricker
Enforcing Opacity of Regular Predicates on Modal Transition Systems
Discrete Event Dynamic Systems: Theory and Applications
Control
Electronic Engineering
Systems Engineering
Simulation
Electrical
Modeling
Related publications
Understanding and Enforcing Opacity
Opacity Generalised to Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Quantitative Modal Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Exploring Inconsistencies Between Modal Transition Systems
Software and Systems Modeling
Modeling
Software
Simulation
Parametric and Quantitative Extensions of Modal Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Opacity, Transition, and Design Research
Cuadernos del Centro de Estudios de Diseño y Comunicación
On the Regular Implementability of nD Systems
Systems and Control Letters
Control
Systems Engineering
Mechanical Engineering
Electronic Engineering
Electrical
Computer Science
Enforcing Spatial Constraints for Mobile RBAC Systems
Enforcing Safety of Cyberphysical Systems Using Flatness and Abstraction
ACM SIGBED Review
Engineering
Computer Science
