Characterization of Temporal Property Classes

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

Formal Methods in System Design

Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids

Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]

Safety and liveness properties for real traces and a direct translation from LTL to monoids

Formal and natural computing

Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties

ICISS '08 Proceedings of the 4th International Conference on Information Systems Security

Enforcement monitoring wrt. the safety-progress classification of properties: NOTE: ACM has found that the authors of this paper failed to cite a work they previously published with much identical content entitled Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. Published in December 2008 in the Springer LNCS series for the ICISS 2008 conference DOI= http://dx.doi.org/10.1007/978-3-540-89862-7_3

Proceedings of the 2009 ACM symposium on Applied Computing

Toward the formal verification of a unification system

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Toward the formal verification of a unification system

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics - Special issue on cybernetics and cognitive informatics

More testable properties

ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems

You should better enforce than verify

RV'10 Proceedings of the First international conference on Runtime verification

Runtime enforcement monitors: composition, synthesis, and enforcement abilities

Formal Methods in System Design

Deeper connections between LTL and alternating automata

CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata

An asymptotically correct finite path semantics for LTL

LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning

Enforceable security policies revisited

POST'12 Proceedings of the First international conference on Principles of Security and Trust

On Topological Hierarchies of Temporal Properties

Fundamenta Informaticae

Enforceable Security Policies Revisited

ACM Transactions on Information and System Security (TISSEC)

Iterative enforcement by suppression: Towards practical enforcement theories

Journal of Computer Security - ARSPA-WITS'10