Prodotti

Da D-ASAP.
Versione del 26 mag 2010 alle 14:07 di Pelliccione (Discussione | contributi)

(diff) ← Versione meno recente | Versione attuale (diff) | Versione più recente → (diff)

Pubblicazioni

  1. P. Asirelli, M.H. ter Beek, A. Fantechi, and S. Gnesi, "Deontic Logics for Modeling Behavioural Variability". Proc. of the 3rd Int. Work. on Variability Modelling of Software-intensive Systems, 2009
  2. J. Almeida, V. Almeida, D. Ardagna, I. Cunha, C. Francalanci, M. Trubian. Joint Admission Control and Resource Allocation in Virtualized Servers. Journal of Parallel and Distributed Computing, Elsevier A. To appear.
  3. D. Ardagna, C. Ghezzi, R. Mirandola, "Model Driven QoS Analyses of Composed Web Services". Proc. of ServiceWave 2008, LNCS 5377, 2008
  4. D. Ardagna, C. Ghezzi, R. Mirandola, "Rethinking the use of models in software architecture". Proc. of the Int. Conf. on Software Architectures (QoSA), LNCS 5281, Oct. 2008
  5. D. Ardagna, M. Tanelli, M. Lovera, L. Zhang. Black-box Performance Models for Virtualized Web Service Applications . Proceedings of the 1st Joint WOSP/SIPEW International Conference on Performance Engineering. WOSP/SIPEW2010. ACM DL. To appear.
  6. D. Bianculli, W. Binder, L. Drago, C. Ghezzi, "ReMAN: A pro-active reputation management infrastructure for composite web services". Proc. of the 31st Int. Conf. on Soft. Eng., May 2009
  7. C.Bartolini, A.Bertolino, S.Elbaum and E.Marchetti, "Whitening SOA Testing". Proc. 7th joint meeting of the European Soft. Eng. Conf. and the ACM SIGSOFT Symp. on the Foundations of Soft. Eng., Aug. 2009
  8. M.H. ter Beek, A. Bucchiarone, and S. Gnesi, "Dynamic Software Architecture Development: Towards an Automated Process". Proc. of the 35th EUROMICRO Conf. on Soft. Eng. and Advanced Applications, 2009
  9. L. Baresi, D. Bianculli, S. Guinea, P. Spoletini. "Keep it small, keep it real: Efficient run-time verification of web service compositions". Proc. of IFIP Int. Conf. on Formal Techniques for Distributed Systems, LNCS 5522, Jun. 2009
  10. Bartolini, A. Bertolino, E. Marchetti, A. Polini "WS-TAXI: a WSDL-based testing tool for Web Services". Int. Conf. on Soft. Testing, Verification and Validation 2009
  11. M.H. ter Beek, G.P. Faconti, M. Massink, P.A. Palanque and M. Winckler, "Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach". Proc. of the 12th IFIP TC 13 Int. Conf. on Human-Computer Interaction, LNCS 5726, 2009
  12. L. Baresi, S. Guinea, R. Kazhamiakin, M. Pistore, "An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations". ServiceWave 2008, LNCS 5377, 2008
  13. M.H. ter Beek, S. Gnesi, C. Montangero, and L. Semini, "Detecting Policy Conflicts by Model Checking UML State Machines". Feature Interactions in Soft. and Communication Systems X, 2009
  14. D. Bianculli, C. Ghezzi, C. Pautasso, "Embedding continuous lifelong verification in service life cycles". Proc. of Principles of Eng. Service Oriented Systems, May 2009
  15. Bertolino, P.Inverardi, P.Pelliccione and M.Tivoli, "Automatic synthesis of behavior protocols for composable web-services". Proc. 7th joint meeting of the European Soft. Eng. Conf. and the ACM SIGSOFT Symp. on the Foundations of Soft. Eng., Aug. 2009
  16. M.H. ter Beek, F. Mazzanti, and S. Gnesi, "CMC-UMC: A Framework for the Verification of Abstract Service-Oriented Properties". Proc. of the 24th Annual ACM Symp. on Applied Computing, 2009
  17. Bertolino, A. Polini "SOA test governance: enabling service integration testing across organization and technology borders". Proc. of the Int. Conf. on Soft. Testing, Verification and Validation Workshops, Apr. 2009
  18. Antonio Bucchiarone, Hartmut Ehrig, Claudia Ermel, Olga Runge and Patrizio Pelliccione, Formal Analysis and Veri cation of Self-Healing Systems, in: Fundamental Approaches to Software Engineering (FASE 2010), Sringer-Verlag Berlin Heidelberg, 2010
  19. A. Bucchiarone, P. Pelliccione, C. Vattani, O. Runge, "Self-Repairing Systems Modeling and Verification using AGG". Proc. of the Joint Working IEEE/IFIP Conf. on Soft. Architecture and European Conf. on Soft. Architecture, Sep. 2009
  20. V. Cardellini, E. Casalicchio, V. Grassi, F. Lo Presti, R. Mirandola, "QoS-driven Runtime Adaptation of Service Oriented Architectures". Joint 12th European Soft. Eng. Conf. and 17th ACM SIGSOFT Symp. on the Foundations of Soft. Eng., Aug. 2009
  21. V. Cardellini, E. Casalicchio, V. Grassi, F. Lo Presti, R. Mirandola, "A Scalable Approach to QoS-Aware Self-Adaption in Service-oriented Architectures". Proc. of the Sixth Int. ICST Conf. on Heterogeneous Networking for Quality, Reliability, Security and Robustness, Nov. 2009
  22. V. Cardellini, E. Casalicchio, V. Grassi, F. Lo Presti, R. Mirandola, "Towards QoS aware self-adaptation in service oriented systems". Architecting Dependable Systems 6, LNCS 5835, 2010
  23. S. Casolari, M. Colajanni, F. Lo Presti, "Runtime state change detector of computer system resources under non stationary conditions", Proc 17th IEEE.ACM Int. Symp. on Modelling, Analysis and Simulation of Comp. and Tel. Systems, Sep. 2009
  24. V. Cortellessa, A. Di Marco, R. Eramo, A. Pierantonio, C. Trubiani, "Approaching the model-driven generation of feedback to remove software performance flaws". Proc. of 35th EUROMICRO Confence on Soft. Eng. and Advanced Applications, Aug. 2009
  25. E. Casalicchio, E. Galli, "Metrics and Statistical Measures to Quantify Critical Infrastructure Interdependencies". 2nd IFIP WG 11.10 Int. Conf. on Critical Infrastructure Protection, Mar. 2008
  26. Luca Cavallaro, Elisabetta Di Nitto, Patrizio Pelliccione, Matteo Pradella, and Massimo Tivoli, Synthesizing adapters for conversational web-services from their WSDL interface, in: Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010), Copyright 2010 ACM, 2010
  27. A. Cisternino, V. Gervasi, E. Boerger, "On the Essence of Web Applications", submitted to ASM, Alloy, B and Z Conf., 2010
  28. Carioni A, Gargantini A, Riccobene E., Scandurra P., "A Scenario-Based Validation Language for ASMs". First Int. Conf. ASM, Alloy, B and Z Conf., LNCS 5238, 2008
  29. B.H.C. Cheng, R. de Lemos, H. Giese, et al. "Software Engineering for Self-Adaptive Systems: A Research Road Map". Soft. Eng. for Self-Adaptive Systems, LNCS 5525, 2009
  30. G. Cugola, M. Migliavacca, "A Context and Content-Based Routing Protocol for Mobile Sensor Networks", Proc. of the 6th Eur. Conf. on Wireless Sensor Networks, Feb. 2009
  31. G. Cugola, A. Margara, "RACED: an Adaptive Middleware for Complex Event Detection", Proc. of the 8th Workshop on Adaptive and Reflective Middl., 2009
  32. E. Casalicchio, D.A. Menascé, V. Dubey, L. Silvestri, "Optimal service selection heuristics in service oriented architectures". Proc. of 3rd Int. Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, Nov 2009
  33. G. Cugola, A. Margara, M. Migliavacca, "Context-Aware Publish-Subscribe: Model, Implementation, and Evaluation", Proc. of the IEEE Symp. on Computers and Communications, July 2009
  34. Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione and Alfonso Pierantonio, Developing next generation ADLs through MDE techniques, in: 32nd International Conference on Software Engineering (ICSE 2010), Cape Town - South Africa, 2010
  35. I. Epifani, C. Ghezzi, R. Mirandola, G. Tamburrelli, "Model Evolution by Run-Time Adaptation". Proc. of the 31st Int. Conf. on Soft. Eng., May 2009
  36. G. Fraser, A. Gargantini, "An Evaluation of Specification Based Test Generation Techniques using Model Checkers". Testing: Academic and Industrial Conf. - Practice and Research Techniques, 2009
  37. G. Fraser, A. Gargantini, "Experiments on the Test Case Length in Specification Based Test Case Generation". Proc. of the 4th Int. Workshop on the Automation of Soft. Test, May 2009
  38. G. Fraser, A. Gargantini, "An Evaluation of Model Checkers for Specification Based Test Case Generation". Proc. of the IEEE Int. Conf. on Soft. Testing Verification and Validation, Apr 2009
  39. C. A. Furia, M. Pradella, M. Rossi, "Practical Automated Partial Verification of Multi-Paradigm Real-Time Models". Proc. of the Int. Conf. on Formal Eng. Methods, LNCS 5256, Nov 2008
  40. C. A. Furia, P. Spoletini, "Practical Efficient Modular Linear-Time Model-Checking", Proc. of the Int. Symp. on Automated Technology for Verification and Analysis (ATVA 2008), LNCS 5311, Nov 2008
  41. S. Gallotti, C. Ghezzi, R. Mirandola, and G. Tamburrelli, "Quality Prediction of Service Compositions through Probabilistic Model Checking". Proc. of the Int. Conf. on Soft. Architectures, LNCS 5281, 2008
  42. C. Ghezzi, A. Mocci, M. Monga, "Synthesizing Intensional Behavior Models by Graph Transformation", In Proc. of the 31st Int. Conf. on Soft. Eng., May 2009
  43. Grassi V., Mirandola R., Randazzo E., "Model-Driven Assessment of QoS-Aware Self-Adaptation". Soft. Eng. for Self-Adaptive Systems, LNCS 5525, 2009
  44. Gargantini A, Riccobene E., Scandurra P., "Model-Driven Language Engineering: The ASMETA Case Study". Proc. 3rd Int. Conf. on Soft. Eng. Advances, 2008
  45. Gargantini A, Riccobene E., Scandurra P., "Ten reasons to metamodel ASMs". RIGOROUS METHODS FOR SOFTWARE CONSTRUCTION. LNCS 5115, 2008
  46. Gargantini A, Riccobene E., Scandurra P., "A Metamodel-based Language and a Simulation Engine for ASMs". JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 14(12), 2008
  47. A. Gargantini, E. Riccobene, P. Scandurra, "Integrating Formal Methods with Model-driven Engineering". Proc. of the 4th Int. Conf. on Soft. Eng. Advances, Sep 2009
  48. A. Gargantini, Riccobene E., P. Scandurra, "A semantic framework for metamodel-based languages". AUTOMATED SOFT. ENG., 16(3-4), 2009
  49. Gargantini A, Riccobene E., Scandurra P (2009). Integrating Formal Methods with Model-Driven Engineering. Proc. of Fourth Int. Conf. on Software Engineering Advances (ICSEA'09), p. 86-92 ISBN 978-0-7695-3777-1/09 2009 IEEE.
  50. C. Ghezzi, G. Tamburrelli, "Reasoning on Non Functional Requirements for Integrated Services", Proc. of the 17th Int. Conf. on Requirements Engineering, Sep 2009
  51. P. Inverardi, P. Pelliccione, M. Tivoli, "Towards An Assume-Guarantee Theory for Adaptable Systems". ICSE Workshop on Soft. Eng. for Adaptive and Self-Managing Systems, 2009
  52. Ivano Malavolta, Providing support for creating next generation software architecture languages, in: ACM Student Reseach Competition, Poster session at ICSE 2010, 2010
  53. I. Malavolta, H. Muccini, P. Pelliccione, and D. Tamburri, "Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies". IEEE Trans. on Soft. Eng. Apr 2009
  54. M. Pradella, A. Morzenti, P. San Pietro, "Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking". Proc. of the IEEE/ACM Int. Conf. on Automated Soft. Eng., Sep 2008
  55. M. Pradella, A. Morzenti, P. San Pietro, "Benchmarking Model- and Satisfiability-Checking on bi-infinite time". Proc. of the 5th Int. Colloquium on Theoretical Aspects of Comp., Sep 2008
  56. S. Pacifici, M. Rossi, "Towards a Formal Model of Autonomic Services based on SelfLets". Proc. of Principles of Eng. Service Oriented Systems, May 2009
  57. Riccobene E., Scandurra P. "Weaving executability into UML class models at PIM level". Proc. of First Europ. Workshop on Behaviour Modelling in Model Driven Architecture, 2009
  58. R. Spalazzese, P. Inverardi, V. Issarny, "Towards a Formalization of Mediating Connectors for on the Fly Interoperability”. Proc. of the Joint Working IEEE/IFIP Conf. on Soft. Architecture and Europ. Conf. on Soft. Architecture, Sep 2009
  59. R. Spalazzese, "Towards Mediator Connectors for Application level Interoperability". ESEC/FSE Doctoral Symp. 2009
  60. A. Sulova, "Model Driven Software Development con Eclipse, StatechartUMC". 4th Italian Workshop on Eclipse Technologies, 2009

Rapporti Tecnici

  1. P. Arcaini, A. Gargantini, Riccobene E., "AsmetaSMV: a model checker for AsmetaL models". TR 120, DTI Dept., University of Milan
  2. Bertolino, G. Deangelis, A. Polini "Service On-line Testing Considered Useful". TR submitted for publication
  3. Bertolino, F. Lonetti and E. Marchetti, "Systematic XACML request generation for testing purposes". TR submitted for publication.
  4. A. Gargantini, Riccobene E., P. Scandurra. "A precise and executable semantics of the SystemC UML profile by the meta-hooking approach". TR 110, DTI Dept., University of Milan
  5. Gargantini A, Riccobene E., Scandurra P. "LEMP: a Language Engineering Model-driven Process". TR 124, DTI Dept., University of Milan
  6. E. Boerger, A. Cisternino, V. Gervasi, "An executable formal specification of ECMAScript". TR Università di Pisa, 2009
  7. E. Boerger, A. Cisternino, V. Gervasi, "Name Spaces and Ambient Concept for Modularizing Abstract State Machines", TR Università di Pisa, 2009

Software

Dually. http://sourceforge.net/projects/dually/files/ e http://dually.di.univaq.it/

ASMETA. http://asmeta.sourceforge.net/