Laurie Ricker
Mount Allison University(CA)
Publications by Year
Research Areas
Petri Nets in System Modeling, Formal Methods in Verification, Distributed systems and fault tolerance, Real-Time Systems Scheduling, Security and Verification in Computing
Most-Cited Works
- → DESUMA: A Tool Integrating GIDDES and UMDES(2006)63 cited
- → Distributed state reconstruction for discrete event systems(2002)31 cited
- → Enforcing opacity of regular predicates on modal transition systems(2014)24 cited
- → Mind the gap: Expanding communication options in decentralized discrete-event control(2011)18 cited
- → Opacity with powerful attackers(2018)17 cited
- → Robustness of synchronous communication protocols with delay for decentralized discrete-event control(2014)16 cited
- → Insertion Functions with Memory for Opacity Enforcement(2018)15 cited
- → Enforcing Opacity in Modular Systems(2020)14 cited
- → Distributed Control of Discrete-Event Systems: A First Step(2012)8 cited
- → An Overview of Synchronous Communication for Control of Decentralized Discrete-Event Systems(2012)5 cited