Luciano Baresi

Yu Zhou, Luciano Baresi, Matteo Rossi: Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata. J. Comput. Sci. Technol. 28(1): 188-202 (2013)

Luciano Baresi, Sam Guinea, Liliana Pasquale: Service-Oriented Dynamic Software Product Lines. IEEE Computer 45(10): 42-48 (2012)

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi: A logic-based semantics for the verification of multi-diagram UML models. ACM SIGSOFT Software Engineering Notes 37(4): 1-8 (2012)

Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos: MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. ECMFA 2012: 340-351

Luciano Baresi, Sam Guinea: Architectural Styles for Adaptive Systems: A Tutorial. SASO 2012: 237-238

Karina Villela, Sholom Cohen, Luciano Baresi, Jaejoon Lee, Klaus Schmid: SCArVeS: services, clouds, and alternative design strategies for variant-rich software systems. SPLC (1) 2012: 291

Luciano Baresi, Nikolaos Georgantas, Kristof Hamann, Valérie Issarny, Winfried Lamersdorf, Andreas Metzger, Barbara Pernici: Emerging Research Themes in Services-Oriented Systems. SRII Global Conference 2012: 333-342

Danilo Ardagna, Luciano Baresi, Sara Comai, Marco Comuzzi, Barbara Pernici: A Service-Based Framework for Flexible Business Processes. IEEE Software 28(2): 61-67 (2011)

Luciano Baresi, Carlo Ghezzi, Luca Mottola: Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens. IEEE Trans. Software Eng. 37(2): 228-246 (2011)

Luciano Baresi, Sam Guinea: Self-Supervising BPEL Processes. IEEE Trans. Software Eng. 37(2): 247-263 (2011)

Luciano Baresi, Liliana Pasquale: Adaptation Goals for Adaptive Service-Oriented Architectures. Relating Software Requirements and Architectures 2011: 161-181

Luciano Baresi, Matteo Miraz: A Component-Oriented Metamodel for the Modernization of Software Applications. ICECCS 2011: 179-187

Luciano Baresi, Sam Guinea: A3: self-adaptation capabilities through groups and coordination. ISEC 2011: 11-20

Luciano Baresi, Jane Cleland-Huang, James Lockerbie, Neil A. M. Maiden, Liliana Pasquale: An introduction to the workshop on requirements for systems, services, and systems of systems. RESS 2011

Xiaoxing Ma, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna, Jian Lu: Version-consistent dynamic reconfiguration of component-based distributed systems. SIGSOFT FSE 2011: 245-255

Asli Zengin, Annapaola Marconi, Luciano Baresi, Marco Pistore: CLAM: Managing cross-layer adaptation in service-based systems. SOCA 2011: 1-8

Karina Villela, Sholom Cohen, Luciano Baresi: SCArVeS: Services, Clouds, and Alternative Design Strategies for Variant-Rich Software Systems. SPLC 2011: 342

Luciano Baresi, Sam Guinea: A-3: An Architectural Style for Coordinating Distributed Components. WICSA 2011: 161-170

Luciano Baresi, Sam Guinea, Olivier Nano, George Spanoudakis: Comprehensive Monitoring of BPEL Processes. IEEE Internet Computing 14(3): 50-57 (2010)

Matteo Miraz, Pier Luca Lanzi, Luciano Baresi: Improving evolutionary testing by means of efficiency enhancement techniques. IEEE Congress on Evolutionary Computation 2010: 1-8

Luciano Baresi, Mauro Caporuscio, Carlo Ghezzi, Sam Guinea: Model-Driven Management of Services. ECOWS 2010: 147-154

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi: Towards the UML-Based Formal Verification of Timed Systems. FMCO 2010: 267-286

Luciano Baresi, Matteo Miraz: TestFul: automatic unit-test generation for Java classes. ICSE (2) 2010: 281-284

Luciano Baresi, Sam Guinea: Mashups with Mashlight. ICSOC 2010: 711-712

Luciano Baresi, Pier Luca Lanzi, Matteo Miraz: TestFul: An Evolutionary Test Approach for Java. ICST 2010: 185-194

Luciano Baresi, Liliana Pasquale: Adaptive Goals for Self-Adaptive Service Compositions. ICWS 2010: 353-360

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi: From Interaction Overview Diagrams to Temporal Logic. MoDELS Workshops 2010: 90-104

Luciano Baresi, Liliana Pasquale, Paola Spoletini: Fuzzy Goals for Requirements-Driven Adaptation. RE 2010: 125-134

Raman Kazhamiakin, Salima Benbernou, Luciano Baresi, Pierluigi Plebani, Maike Uhlig, Olivier Barais: Adaptation of Service-Based Systems. S-CUBE Book 2010: 117-156

Luciano Baresi, Sam Guinea: Consumer Mashups with Mashlight. ServiceWave 2010: 112-123

Luciano Baresi, Carlo Ghezzi: The disappearing boundary between development-time and run-time. FoSER 2010: 17-22

Vahid Rafe, Adel Torkaman Rahmani, Luciano Baresi, Paola Spoletini: Towards automated verification of layered graph transformation specifications. IET Software 3(4): 276-291 (2009)

Luciano Baresi, Piero Fraternali, Geert-Jan Houben: Editorial. J. Web Eng. 8(1): 1-2 (2009)

Wolfgang Theilmann, Luciano Baresi: Multi-level SLAs for Harmonized Management in the Future Internet. Future Internet Assembly 2009: 193-202

Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini: Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. FMOODS/FORTE 2009: 26-40

Matteo Miraz, Pier Luca Lanzi, Luciano Baresi: TestFul: using a hybrid evolutionary algorithm for testing stateful systems. GECCO 2009: 1947-1948

Luciano Baresi, Elisabetta Di Nitto, Sam Guinea, Schahram Dustdar: Multi-dimensional service compositions. ICSE Companion 2009: 323-326

Luciano Baresi, Sam Guinea, Marco Pistore, Michele Trainotti: Dynamo + Astro: An Integrated Approach for BPEL Monitoring. ICWS 2009: 230-237

Luciano Baresi: Activity Diagrams. Encyclopedia of Database Systems 2009: 41-45

Luciano Baresi, Chi-Hung Chi, Jun Suzuki (Eds.): Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings. Lecture Notes in Computer Science 5900, 2009, isbn 978-3-642-10382-7

Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga: Using Graph Transformation Systems to Specify and Verify Data Abstractions. ECEASST 10 (2008)

Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini: An Efficient Solution for Model Checking Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 213(1): 3-21 (2008)

Luciano Baresi, Matteo Miraz, Pierluigi Plebani: A Flexible and Semantic-Aware Publication Infrastructure for Web Services. CAiSE 2008: 435-449

Luciano Baresi: Self-adaptive Web Service Compositions. EDOCW 2008: 343

Luciano Baresi, Sam Guinea, Liliana Pasquale: Integrated and Composable Supervision of BPEL Processes. ICSOC 2008: 614-619

Luciano Baresi, Sam Guinea: A dynamic and reactive approach to the supervision of BPEL processes. ISEC 2008: 39-48

Luciano Baresi, Sam Guinea, Liliana Pasquale: Towards a unified framework for the monitoring and recovery of BPEL processes. TAV-WEB 2008: 15-19

Luciano Baresi, Neil A. M. Maiden, Peter Sawyer: Service-Centric Systems and Requirements Engineering. RE 2008: 305

Luciano Baresi, Sam Guinea, Raman Kazhamiakin, Marco Pistore: An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. ServiceWave 2008: 1-12

Luciano Baresi, Giordano Tamburrelli: Loose Compositions for Autonomic Systems. Software Composition 2008: 165-172

Luciano Baresi, Elisabetta Di Nitto (Eds.): Test and Analysis of Web Services. Springer 2007, isbn 978-3-540-72912-9

Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: Validation of web service compositions. IET Software 1(6): 219-232 (2007)

Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi, Sam Guinea: A framework for the deployment of adaptable web service compositions. Service Oriented Computing and Applications 1(1): 75-91 (2007)

Luciano Baresi, Sandro Morasca: Three empirical studies on estimating the design effort of Web applications. ACM Trans. Softw. Eng. Methodol. 16(4) (2007)

Luciano Baresi, Sam Guinea, Pierluigi Plebani: Policies and Aspects for the Supervision of BPEL Processes. CAiSE 2007: 340-354

Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini: Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE 2007: 247-262

Luciano Baresi, Sam Guinea: Dynamo and Self-Healing BPEL Compositions. ICSE Companion 2007: 69-70

Luciano Baresi, Carlo Ghezzi, Luca Mottola: On Accurate Automatic Verification of Publish-Subscribe Architectures. ICSE 2007: 199-208

K. S. May Chan, Judith Bishop, Johan Steyn, Luciano Baresi, Sam Guinea: A Fault Taxonomy for Web Service Composition. ICSOC Workshops 2007: 363-375

Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: A Timed Extension of WSCoL. ICWS 2007: 663-670

Domenico Bianculli, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, Sam Guinea: A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. Lipari Summer School 2007: 131-160

Luciano Baresi, Andrea Maurino, Stefano Modafferi: Distributed BPEL Processes. SEKE 2007: 692-697

Luciano Baresi, Sam Guinea, Liliana Pasquale: Self-healing BPEL processes with Dynamo and the JBoss rule engine. ESSPE 2007: 11-20

Luciano Baresi, Daniele Braga, Marco Comuzzi, Filippo Pacifici, Pierluigi Plebani: A service-based infrastructure for advanced logistics. IW-SOSWE 2007: 47-53

Luciano Baresi, Giorgio Gerosa, Carlo Ghezzi, Luca Mottola: Playing with time in publish-subscribe using a domain-specific model checker. SAVCBS 2007: 55-62

Luciano Baresi, Elisabetta Di Nitto: Introduction. Test and Analysis of Web Services 2007: 1-7

Luciano Baresi: Web Services and Web 2.0: Married or Fiancés? WSE 2007: 1

Luciano Baresi, Carlo Ghezzi, Sam Guinea: Towards Self-healing Composition of Services. Contributions to Ubiquitous Computing 2007: 27-46

Luciano Baresi, Piero Fraternali, Geert-Jan Houben (Eds.): Web Engineering, 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings. Lecture Notes in Computer Science 4607, Springer 2007, isbn 978-3-540-73596-0

Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi: Toward Open-World Software: Issue and Challenges. IEEE Computer 39(10): 36-43 (2006)

Luciano Baresi, Andrea Maurino, Stefano Modafferi: Towards Distributed BPEL Orchestrations. ECEASST 3 (2006)

Luciano Baresi, Mauro Pezzè: An Introduction to Software Testing. Electr. Notes Theor. Comput. Sci. 148(1): 89-111 (2006)

Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró: Style-based modeling and refinement of service-oriented architectures. Software and System Modeling 5(2): 187-207 (2006)

Luciano Baresi, Paolo Beretta, Roberto Fraccapani, Carlo Ghezzi, Filippo Pacifici: Towards a Model-driven Approach to Develop Applications based on Physical Active Objects. APSEC 2006: 173-182

Luciano Baresi, Carlo Ghezzi, Luca Mottola: Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. FORTE 2006: 131-135

Luciano Baresi, Paola Spoletini: On the Use of Alloy to Analyze Graph Transformation Systems. ICGT 2006: 306-320

Luciano Baresi, Luca Mainetti: W2000 meets J2ME for the Fast Prototyping of Mobile Web Applications. IASTED Conf. on Software Engineering 2006: 59-64

Luciano Baresi, Sam Guinea, Marco Plebani: Business Process Monitoring for Dependability. WADS 2006: 337-361

Luciano Baresi, Sam Guinea: Tutorial: towards dynamic web services. ICSE 2006: 1067-1068

Luciano Baresi, Matteo Miraz: A Distributed Approach for the Federation of Heterogeneous Registries. ICSOC 2006: 240-251

Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi: Towards Open-World Software: Issue and Challenges. SEW 2006: 249-252

Luciano Baresi, Karsten Ehrig, Reiko Heckel: Verification of Model Transformations: A Case Study with BPEL. TGC 2006: 183-199

Luciano Baresi, Reiko Heckel (Eds.): Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings. Lecture Notes in Computer Science 3922, Springer 2006, isbn 3-540-33093-3

Luciano Baresi, Michal Young: Toward Translating Design Constraints to Run-Time Assertions. Electr. Notes Theor. Comput. Sci. 116: 73-84 (2005)

Luciano Baresi, Mauro Pezzè: Petri Nets as Semantic Domain for Diagram Notations. Electr. Notes Theor. Comput. Sci. 127(2): 29-44 (2005)

Luciano Baresi, Schahram Dustdar, Harald Gall, Maristella Matera: Special issue on ubiquitous mobile information and collaboration systems (UMICS). Personal and Ubiquitous Computing 9(5): 261-261 (2005)

Luciano Baresi, Mauro Pezzè: Formal interpreters for diagram notations. ACM Trans. Softw. Eng. Methodol. 14(1): 42-84 (2005)

Luciano Baresi, Mauro Pezzè: From Graph Transformation to Software Engineering and Back. Formal Methods in Software and Systems Modeling 2005: 24-37

Luciano Baresi, Carlo Ghezzi, Antonio Miele, Matteo Miraz, Andrea Naggi, Filippo Pacifici: Hybrid service-oriented architectures: a case-study in the automotive domain. SEM 2005: 62-68

Luciano Baresi, Sam Guinea: An Introduction to Self-Healing Web Services. ICECCS 2005: 4

Luciano Baresi, Sam Guinea: Towards Dynamic Monitoring of WS-BPEL Processes. ICSOC 2005: 269-282

Luciano Baresi, Sam Guinea: Dynamo: Dynamic Monitoring of WS-BPEL Processes. ICSOC 2005: 478-483

Luciano Baresi, Piero Fraternali, Massimo Tisi, Sandro Morasca: Towards Model-Driven Testing of a Web Application Generator. ICWE 2005: 75-86

Luciano Baresi, Elisa Quintarelli: Graph transformation to infer schemata from XML documents. SAC 2005: 642-646

Luciano Baresi, Sebastiano Colazzo, Luca Mainetti: First experiences on constraining consistency and adaptivity of W2000 models. SAC 2005: 1674-1678

Luciano Baresi, Sam Guinea, Pierluigi Plebani: WS-Policy for Service Monitoring. TES 2005: 72-83

Luciano Baresi, Schahram Dustdar, Harald Gall, Maristella Matera (Eds.): Ubiquitous Mobile Information and Collaboration Systems, Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3272, Springer 2005, isbn 3-540-24100-0

Luciano Baresi, Carlo Ghezzi: Validation of Component and Service Federations in Automotive Software Applications. ASWSD 2004: 57-73

Luciano Baresi, Reiko Heckel: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. ICGT 2004: 431-433

Luciano Baresi, Carlo Ghezzi, Sam Guinea: Smart monitors for composed services. ICSOC 2004: 193-202

Luciano Baresi, Andrea Maurino, Stefano Modafferi: Workflow Partitioning in Mobile Information Systems. MOBIS 2004: 93-106

Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró: Style-Based Refinement of Dynamic Software Architectures. WICSA 2004: 155-166

Luciano Baresi, Sara Comai, Schahram Dustdar, Harald Gall, Maristella Matera: UMICS '03 Preface. CAiSE Workshops 2003

Luciano Baresi, Sandro Morasca, Paolo Paolini: Estimating the Design Effort of Web Applications. IEEE METRICS 2003: 62-72

Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró: Modeling and validation of service-oriented architectures: application vs. style. ESEC / SIGSOFT FSE 2003: 68-77

Luciano Baresi, Devis Bianchini, Valeria De Antonellis, Maria Grazia Fugini, Barbara Pernici, Pierluigi Plebani: Context-Aware Composition of E-services. TES 2003: 28-41

Luciano Baresi, Marco Mauri, Mauro Pezzè: PLCTools: Graph Transformation Meets PLC Design. Electr. Notes Theor. Comput. Sci. 72(2): 79 (2002)

Luciano Baresi, Mauro Pezzè: A Toolbox for Automating Visual Software Engineering. FASE 2002: 189-202

Luciano Baresi, Franca Garzotto, Luca Mainetti, Paolo Paolini: Meta-modeling Techniques Meet Web Application Design Tools. FASE 2002: 294-307

Luciano Baresi, Reiko Heckel: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. ICGT 2002: 402-429

Luciano Baresi, Giovanni Denaro, Luca Mainetti, Paolo Paolini: Assertions to better specify the amazon bug. SEKE 2002: 585-592

Luciano Baresi, Sandro Morasca, Paolo Paolini: An Empirical Study on the Design Effort of Web Applications. WISE 2002: 345-354

Luciano Baresi, Mauro Pezzè: Improving UML with Petri nets. Electr. Notes Theor. Comput. Sci. 44(4): 107-119 (2001)

Luciano Baresi, Mauro Pezzè, Gabriele Taentzer: Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001. Electr. Notes Theor. Comput. Sci. 50(3): 325-326 (2001)

Luciano Baresi, Mauro Pezzè: On Formalizing UML with High-Level Petri Nets. Concurrent Object-Oriented Programming and Petri Nets 2001: 276-304

Luciano Baresi, Franca Garzotto, Paolo Paolini: Extending UML for Modeling Web Applications. HICSS 2001

Franca Garzotto, Paolo Paolini, Luciano Baresi: Supporting Reusable Web Design with HDM-Edit. HICSS 2001

Luciano Baresi, Franca Garzotto, Paolo Paolini: From Web Sites to Web Applications: New Issues for Conceptual Modeling. ER (Workshops) 2000: 89-100

Mauro Pezzè, Luciano Baresi: Can Graph Grammars Make Formal Methods More Human? ICALP Satellite Workshops 2000: 387-394

Luciano Baresi, Mauro Pezzè: A Formal Definition of Stuctured Analysis with Programmable Graph Grammars. AGTIVE 1999: 193-208

Luciano Baresi, Fabio Casati, Silvana Castano, Maria Grazia Fugini, Isabelle Mirbel, Barbara Pernici: WIDE workflow development methodology. WACC 1999: 19-28

Luciano Baresi, Mauro Pezzè: Toward Formalizing Structured Analysis. ACM Trans. Softw. Eng. Methodol. 7(1): 80-107 (1998)

Cristiana Bolchini, Luciano Baresi: Software methodologies in VHDL code analysis. Journal of Systems Architecture 44(1): 3-21 (1997)

Luciano Baresi, Manuele Di Paola, Antonio Gargiulo, Mauro Pezzè: LEMMA: a language for easy medical models analysis. CBMS 1997: 244-249

Luciano Baresi, Alessandro Orso, Mauro Pezzè: Introducing Formal Specification Methods in Industrial Practice. ICSE 1997: 56-66

Sergio Bandinelli, Luciano Baresi, Alfonso Fuggetta, Luigi Lavazza: Experiences in the Implementation of a Process-centered Software Engineering Environment Using Object-Oriented Technology. TAPOS 1(2): 115-131 (1995)

Luciano Baresi, Alessandro Orso, Mauro Pezzè: Customizable notations for kernel formalisms. ICECCS 1995: 43-

Sergio Bandinelli, Luciano Baresi, Alfonso Fuggetta, Luigi Lavazza: Requirements and Early Experiences in the Implementation of the SPADE Repository using Object-Oriented Technology. ISOTAS 1993: 511-528

Sergio Bandinelli, Luciano Baresi, Alfonso Fuggetta, Luigi Lavazza: Requirements and Early Experiences in the Implementation of the SPADE Repository. ISPW 1993: 30-32