Interleaving set temporal logic
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
A simple approach to specifying concurrent systems
Communications of the ACM
A generic model for representing design methods
ICSE '89 Proceedings of the 11th international conference on Software engineering
Implementing fault-tolerant services using the state machine approach: a tutorial
ACM Computing Surveys (CSUR)
Paradigms for process interaction in distributed programs
ACM Computing Surveys (CSUR)
Tool support for multiple viewpoints
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Efficient logic variables for distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Information and System Security (TISSEC)
IEEE Transactions on Software Engineering
Discovering, Displaying and Agreeing Semantics in an Environment of Conflicts
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
A Language-Based Approach to Security
Informatics - 10 Years Back. 10 Years Ahead.
Concurrent common knowledge: defining agreement for asynchronous systems
Distributed Computing
On the expressiveness and complexity of randomization in finite state monitors
Journal of the ACM (JACM)
Journal of Computer Security - 7th International Workshop on Issues in the Theory of Security (WITS'07)
Monitoring off-the-shelf components
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Enforceable security policies revisited
POST'12 Proceedings of the First international conference on Principles of Security and Trust
Survey: Linear Temporal Logic Symbolic Model Checking
Computer Science Review
Proceedings of the 18th ACM symposium on Access control models and technologies
Enforceable Security Policies Revisited
ACM Transactions on Information and System Security (TISSEC)
| Hi-index | 0.02 |