Skip to main content


Export 30 results:
Sort by: Author Title [ Type  (Asc)] Year
Filters: First Letter Of Last Name is F  [Clear All Filters]
Book Chapter
De Filippo, A., M. Lombardi, M. Milano, and A. Borghetti, "Robust Optimization for Virtual Power Plants", AI*IA 2017 Advances in Artificial Intelligence: XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings, Cham, Springer International Publishing, pp. 17–30, 2017. Abstract
Euzenat, J., and A. Montanari, "Time granularity", Handbook of Temporal Reasoning in AI, vol. 1: Elsevier Science, 2004.
Amnell, T., G. Behrmann, J. Bengtsson, P. R. D'argenio, A. David, A. Fehnker, T. Hune, B. Jeannet, K. G. Larsen, M. O. Möller, et al., "UPPAAL: Now, Next, and Future", Modeling and Verification of Parallel Processes: Springer, pp. 99-124, 2001.
Conference Paper
Sahai, A., V. Machiraju, M. Sayal, L. J. Jin, and F. Casati, "Automated SLA Monitoring for Web Services", Proceedings of the 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2002), vol. 2506: Springer, pp. 28-41, 2002.
Bragaglia, S., F. Chesani, E. Fry, P. Mello, M. Montali, and D. Sottara, "Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems", RuleML America, vol. LNCS 7018, Ft. Lauderdale, FL, Florida, USA, Springer, pp. 267-281, 2011.
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.
Colombetti, M., N. Fornara, and M. Verdicchio, "A Social Approach to Communication in Multiagent Systems", Proceedings of the First International Workshop on {D}eclarative {A}gent {L}anguages and {T}echnologies (DALT2004), vol. 2990: Springer, pp. 191-220, 2004.
Gastin, P., and D.Oddoux, "Fast LTL to Büchi Automata Translation}", {P}roceedings of the 13th {I}nternational {C}onference on {C}omputer {A}ided {V}erification ({CAV}'01), vol. 2102: Springer, pp. 53-65, 2001.
Ponnekanti, S. R., and A. Fox, "Interoperability Among Independently Evolving Web Services", Proceedings of the 5th ACM/IFIP/USENIX International Conference on Middleware (Middleware '04): Springer, pp. 331-351, 2004.
Foster, H., S. Uchitel, J. Magee, and J. Kramer, "Model-based Verification of Web Service Composition", Proceedings of 18th IEEE International Conference on Automated Software Engineering (ASE), pp. 152-161, 2003.
Fornara, N., and M. Colombetti, "Operational Specification of a Commitment-Based Agent Communication Language", Proceedings of the First International Joint Conference on Autonomous Agents {&} Multiagent Systems (AAMAS 2002): ACM Press, pp. 535-542, 2002.
Roman, D., and M. Kifer, "Semantic Web Service Choreography: Contracting and Enactment", Proceedings of the 7th International Semantic Web Conference (ISWC 2008), vol. 5318: Springer, pp. 550-566, 2008.
Schonenberg, H., R. Mans, N. Russell, N. Mulyar, and W. Aalst, "Towards a Taxonomy of Process Flexibility", Proceedings of the Forum at the CAiSE'08 Conference, vol. 344, pp. 81-84, 2008.
Förster, A., G. Engels, T. Schattkowsky, and R. van der Straeten, "Verification of Business Process Quality Constraints Based on Visual Process Patterns", First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007): IEEE Computer Society, pp. 197-208, 2007.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "Web Service contracting: Specification and Reasoning with SCIFF", Proceedings of the 4th European Semantic Web Conference (ESWC'07), vol. 4519: Springer, pp. 68-83, 2007.
Conference Proceedings
Chesani, F., A. Galassi, P. Mello, and G. Trisolini, "A Game-Based Competition as Instrument for Teaching Artificial Intelligence", AI*IA 2017 Advances in Artificial Intelligence: XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings, vol. 10640, Bari, Italy, Springer International Publishing, pp. 72–84, 11/2017. Abstract
Journal Article
Rouached, M., W. Fdhila, and C. Godart, "A Semantical Framework to Engineering WSBPEL Processes", Information Systems and E-Business Management, vol. 7, no. 2, pp. 223-250, 2008.
Fisher, M., C. Dixon, and M. Peim, "Clausal Remporal Resolution", ACM Transactions on Computational Logic, vol. 2, no. 1, pp. 12-56, 2001.
Peleg, M., S. Tu, J. Bury, P. Ciccarese, N. Jones, J. Fox, R. A. Greenes, R. Hall, P. D. Johnson, N. Jones, et al., "Comparing Computer-Interpretable Guideline Models: A Case-Study Approach", Journal of the American Medical Informatics Association, vol. 10, no. 1, pp. 52-68, 2003.