Formal methods and testing: why the state-of-the art is not the state-of-the practice

Property specification patterns for finite-state verification

FMSP '98 Proceedings of the second workshop on Formal methods in software practice

Patterns in property specifications for finite-state verification

Proceedings of the 21st international conference on Software engineering

An open-source cryptographic coprocessor

SSYM'00 Proceedings of the 9th conference on USENIX Security Symposium - Volume 9

OCE: an online colaborative editor

ICCCI'12 Proceedings of the 4th international conference on Computational Collective Intelligence: technologies and applications - Volume Part II