Home

Biblio

Export 3 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is M. Sebastianis  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
C
ter Beek, M. H., M. Massink, D. Latella, S. Gnesi, A. Forghieri, and M. Sebastianis, "A Case Study on the Automated Verification of Groupware Protocols", {Proceedings of the 27th International Conference on Software Engineering (ICSE 2005)}: ACM, pp. 596-603, 2005.
Chesani, F., P. Mello, M. Montali, F. Riguzzi, M. Sebastianis, and S. Storari, "Checking Compliance of Execution Traces to Business Rules", {Proceedings of BPM 2008 Workshops. Revised Papers}, vol. 17: Springer, pp. 134-145, 2009.
Montali, M., P. Mello, F. Chesani, F. Riguzzi, S. Storari, and M. Sebastianis, "Compliance Checking of Execution Traces to Business Rules: an Approach Based on Logic Programming", 23-esimo Convegno Italiano di Logica Computazionale (CILC 2008), 2008.