1. Model Checking;Clarke,2000
2. L. Baresi, R. Heckel, S. Thöne, D. Varró, Modeling and validation of service oriented architectures: Application vs. style. In: Proceedings of the ESEC/FSE 03 European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, ACM Press (2003) 68–77.
3. Loupe: verifying publish-subscribe architectures with a magnifying lens;Baresi;IEEE Transactions on Software Engineering,2011
4. Partial-order reduction for general state exploring algorithms;Bosnacki;International Journal on Software Tools for Technology Transfer (STTT),2009
5. D. Bosnacki, S. Leue, A.L. Lafuente, Partial-order reduction for general state exploring algorithms. In: Proceedings of the Thirteenth International SPIN Workshop on Model Checking Software (SPIN05) (2005).