RICES: reasoning about information consistency across enterprise solutions

Model checking and abstraction

ACM Transactions on Programming Languages and Systems (TOPLAS)

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software

The role of formal techniques: past, current and future or how did software get so reliable without proof? (extended abstract)

Proceedings of the 18th international conference on Software engineering

Completeness and Consistency in Hierarchical State-Based Requirements

IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)

The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice

Authentication in distributed systems

Distributed systems (2nd Ed.)

Concurrency: state models & Java programs

Concurrency: state models & Java programs

Essential COM

Essential COM

Designing Applications with MSMQ: Message Queuing for Developers

Designing Applications with MSMQ: Message Queuing for Developers

Competing on Internet Time: Lessons from Netscape and Its Battle with Microsoft

Competing on Internet Time: Lessons from Netscape and Its Battle with Microsoft

POSD-a notation for presenting complex systems of processes

ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems

Evolvable real-time C3 systems

ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems

Laws for Dynamic Systems

ICSR '98 Proceedings of the 5th International Conference on Software Reuse