2008 | ||
---|---|---|
85 | EE | Luciano Baresi, Matteo Miraz, Pierluigi Plebani: A Flexible and Semantic-Aware Publication Infrastructure for Web Services. CAiSE 2008: 435-449 |
84 | EE | Luciano Baresi, Sam Guinea, Liliana Pasquale: Integrated and Composable Supervision of BPEL Processes. ICSOC 2008: 614-619 |
83 | EE | Luciano Baresi, Sam Guinea: A dynamic and reactive approach to the supervision of BPEL processes. ISEC 2008: 39-48 |
82 | EE | Luciano Baresi, Neil A. M. Maiden, Peter Sawyer: Service-Centric Systems and Requirements Engineering. RE 2008: 305 |
81 | EE | Luciano Baresi, Sam Guinea, Raman Kazhamiakin, Marco Pistore: An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. ServiceWave 2008: 1-12 |
80 | EE | Luciano Baresi, Giordano Tamburrelli: Loose Compositions for Autonomic Systems. Software Composition 2008: 165-172 |
79 | EE | Luciano Baresi, Sam Guinea, Liliana Pasquale: Towards a unified framework for the monitoring and recovery of BPEL processes. TAV-WEB 2008: 15-19 |
78 | EE | Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga: Using Graph Transformation Systems to Specify and Verify Data Abstractions. ECEASST 10: (2008) |
77 | EE | 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) |
2007 | ||
76 | Luciano Baresi, Elisabetta Di Nitto: Test and Analysis of Web Services Springer 2007 | |
75 | Luciano Baresi, Piero Fraternali, Geert-Jan Houben: Web Engineering, 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings Springer 2007 | |
74 | EE | Luciano Baresi, Sam Guinea, Pierluigi Plebani: Policies and Aspects for the Supervision of BPEL Processes. CAiSE 2007: 340-354 |
73 | EE | Luciano Baresi, Sam Guinea, Liliana Pasquale: Self-healing BPEL processes with Dynamo and the JBoss rule engine. ESSPE 2007: 11-20 |
72 | EE | Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini: Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE 2007: 247-262 |
71 | EE | Luciano Baresi, Carlo Ghezzi, Luca Mottola: On Accurate Automatic Verification of Publish-Subscribe Architectures. ICSE 2007: 199-208 |
70 | EE | Luciano Baresi, Sam Guinea: Dynamo and Self-Healing BPEL Compositions. ICSE Companion 2007: 69-70 |
69 | EE | K. S. May Chan, Judith Bishop, Johan Steyn, Luciano Baresi, Sam Guinea: A Fault Taxonomy for Web Service Composition. ICSOC Workshops 2007: 363-375 |
68 | EE | Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: A Timed Extension of WSCoL. ICWS 2007: 663-670 |
67 | EE | Luciano Baresi, Daniele Braga, Marco Comuzzi, Filippo Pacifici, Pierluigi Plebani: A service-based infrastructure for advanced logistics. IW-SOSWE 2007: 47-53 |
66 | EE | 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 |
65 | EE | Luciano Baresi, Giorgio Gerosa, Carlo Ghezzi, Luca Mottola: Playing with time in publish-subscribe using a domain-specific model checker. SAVCBS 2007: 55-62 |
64 | Luciano Baresi, Andrea Maurino, Stefano Modafferi: Distributed BPEL Processes. SEKE 2007: 692-697 | |
63 | EE | Luciano Baresi, Carlo Ghezzi, Sam Guinea: Towards Self-healing Composition of Services. Contributions to Ubiquitous Computing 2007: 27-46 |
62 | EE | Luciano Baresi, Elisabetta Di Nitto: Introduction. Test and Analysis of Web Services 2007: 1-7 |
61 | EE | Luciano Baresi, Sandro Morasca: Three empirical studies on estimating the design effort of Web applications. ACM Trans. Softw. Eng. Methodol. 16(4): (2007) |
60 | EE | 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) |
2006 | ||
59 | Luciano Baresi, Reiko Heckel: 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 Springer 2006 | |
58 | EE | 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 |
57 | EE | Luciano Baresi, Carlo Ghezzi, Luca Mottola: Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. FORTE 2006: 131-135 |
56 | Luciano Baresi, Luca Mainetti: W2000 meets J2ME for the Fast Prototyping of Mobile Web Applications. IASTED Conf. on Software Engineering 2006: 59-64 | |
55 | EE | Luciano Baresi, Paola Spoletini: On the Use of Alloy to Analyze Graph Transformation Systems. ICGT 2006: 306-320 |
54 | EE | Luciano Baresi, Sam Guinea: Tutorial: towards dynamic web services. ICSE 2006: 1067-1068 |
53 | EE | Luciano Baresi, Matteo Miraz: A Distributed Approach for the Federation of Heterogeneous Registries. ICSOC 2006: 240-251 |
52 | EE | Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi: Towards Open-World Software: Issue and Challenges. SEW 2006: 249-252 |
51 | EE | Luciano Baresi, Karsten Ehrig, Reiko Heckel: Verification of Model Transformations: A Case Study with BPEL. TGC 2006: 183-199 |
50 | EE | Luciano Baresi, Sam Guinea, Marco Plebani: Business Process Monitoring for Dependability. WADS 2006: 337-361 |
49 | EE | Luciano Baresi, Andrea Maurino, Stefano Modafferi: Towards Distributed BPEL Orchestrations. ECEASST 3: (2006) |
48 | EE | Luciano Baresi, Mauro Pezzè: An Introduction to Software Testing. Electr. Notes Theor. Comput. Sci. 148(1): 89-111 (2006) |
47 | EE | Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi: Toward Open-World Software: Issue and Challenges. IEEE Computer 39(10): 36-43 (2006) |
46 | EE | 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) |
2005 | ||
45 | Luciano Baresi, Schahram Dustdar, Harald Gall, Maristella Matera: Ubiquitous Mobile Information and Collaboration Systems, Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers Springer 2005 | |
44 | EE | Luciano Baresi, Mauro Pezzè: From Graph Transformation to Software Engineering and Back. Formal Methods in Software and Systems Modeling 2005: 24-37 |
43 | EE | Luciano Baresi, Sam Guinea: An Introduction to Self-Healing Web Services. ICECCS 2005: 4 |
42 | EE | Luciano Baresi, Sam Guinea: Towards Dynamic Monitoring of WS-BPEL Processes. ICSOC 2005: 269-282 |
41 | EE | Luciano Baresi, Sam Guinea: Dynamo: Dynamic Monitoring of WS-BPEL Processes. ICSOC 2005: 478-483 |
40 | EE | Luciano Baresi, Piero Fraternali, Massimo Tisi, Sandro Morasca: Towards Model-Driven Testing of a Web Application Generator. ICWE 2005: 75-86 |
39 | EE | Luciano Baresi, Sebastiano Colazzo, Luca Mainetti: First experiences on constraining consistency and adaptivity of W2000 models. SAC 2005: 1674-1678 |
38 | EE | Luciano Baresi, Elisa Quintarelli: Graph transformation to infer schemata from XML documents. SAC 2005: 642-646 |
37 | EE | 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 |
36 | EE | Luciano Baresi, Sam Guinea, Pierluigi Plebani: WS-Policy for Service Monitoring. TES 2005: 72-83 |
35 | EE | Luciano Baresi, Mauro Pezzè: Formal interpreters for diagram notations. ACM Trans. Softw. Eng. Methodol. 14(1): 42-84 (2005) |
34 | EE | Luciano Baresi, Michal Young: Toward Translating Design Constraints to Run-Time Assertions. Electr. Notes Theor. Comput. Sci. 116: 73-84 (2005) |
33 | EE | Luciano Baresi, Mauro Pezzè: Petri Nets as Semantic Domain for Diagram Notations. Electr. Notes Theor. Comput. Sci. 127(2): 29-44 (2005) |
32 | EE | 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) |
2004 | ||
31 | EE | Luciano Baresi, Carlo Ghezzi: Validation of Component and Service Federations in Automotive Software Applications. ASWSD 2004: 57-73 |
30 | EE | Luciano Baresi, Reiko Heckel: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. ICGT 2004: 431-433 |
29 | EE | Luciano Baresi, Carlo Ghezzi, Sam Guinea: Smart monitors for composed services. ICSOC 2004: 193-202 |
28 | Luciano Baresi, Andrea Maurino, Stefano Modafferi: Workflow Partitioning in Mobile Information Systems. MOBIS 2004: 93-106 | |
27 | EE | Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró: Style-Based Refinement of Dynamic Software Architectures. WICSA 2004: 155-166 |
2003 | ||
26 | EE | Luciano Baresi, Sara Comai, Schahram Dustdar, Harald Gall, Maristella Matera: UMICS '03 Preface. CAiSE Workshops 2003 |
25 | EE | 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 |
24 | EE | Luciano Baresi, Sandro Morasca, Paolo Paolini: Estimating the Design Effort of Web Applications. IEEE METRICS 2003: 62-72 |
23 | EE | Luciano Baresi, Devis Bianchini, Valeria De Antonellis, Maria Grazia Fugini, Barbara Pernici, Pierluigi Plebani: Context-Aware Composition of E-services. TES 2003: 28-41 |
2002 | ||
22 | EE | Luciano Baresi, Mauro Pezzè: A Toolbox for Automating Visual Software Engineering. FASE 2002: 189-202 |
21 | EE | Luciano Baresi, Franca Garzotto, Luca Mainetti, Paolo Paolini: Meta-modeling Techniques Meet Web Application Design Tools. FASE 2002: 294-307 |
20 | EE | Luciano Baresi, Reiko Heckel: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. ICGT 2002: 402-429 |
19 | EE | Luciano Baresi, Giovanni Denaro, Luca Mainetti, Paolo Paolini: Assertions to better specify the amazon bug. SEKE 2002: 585-592 |
18 | EE | Luciano Baresi, Sandro Morasca, Paolo Paolini: An Empirical Study on the Design Effort of Web Applications. WISE 2002: 345-354 |
17 | EE | Luciano Baresi, Marco Mauri, Mauro Pezzè: PLCTools: Graph Transformation Meets PLC Design. Electr. Notes Theor. Comput. Sci. 72(2): (2002) |
2001 | ||
16 | EE | Luciano Baresi, Mauro Pezzè: On Formalizing UML with High-Level Petri Nets. Concurrent Object-Oriented Programming and Petri Nets 2001: 276-304 |
15 | EE | Luciano Baresi, Franca Garzotto, Paolo Paolini: Extending UML for Modeling Web Applications. HICSS 2001 |
14 | EE | Franca Garzotto, Paolo Paolini, Luciano Baresi: Supporting Reusable Web Design with HDM-Edit. HICSS 2001 |
13 | EE | Luciano Baresi, Mauro Pezzè: Improving UML with Petri nets. Electr. Notes Theor. Comput. Sci. 44(4): (2001) |
12 | EE | Luciano Baresi, Mauro Pezzè, Gabriele Taentzer: Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001. Electr. Notes Theor. Comput. Sci. 50(3): (2001) |
2000 | ||
11 | EE | Luciano Baresi, Franca Garzotto, Paolo Paolini: From Web Sites to Web Applications: New Issues for Conceptual Modeling. ER (Workshops) 2000: 89-100 |
10 | Mauro Pezzè, Luciano Baresi: Can Graph Grammars Make Formal Methods More Human? ICALP Satellite Workshops 2000: 387-394 | |
1999 | ||
9 | EE | Luciano Baresi, Mauro Pezzè: A Formal Definition of Stuctured Analysis with Programmable Graph Grammars. AGTIVE 1999: 193-208 |
8 | EE | Luciano Baresi, Fabio Casati, Silvana Castano, Maria Grazia Fugini, Isabelle Mirbel, Barbara Pernici: WIDE workflow development methodology. WACC 1999: 19-28 |
1998 | ||
7 | EE | Luciano Baresi, Mauro Pezzè: Toward Formalizing Structured Analysis. ACM Trans. Softw. Eng. Methodol. 7(1): 80-107 (1998) |
1997 | ||
6 | EE | Luciano Baresi, Manuele Di Paola, Antonio Gargiulo, Mauro Pezzè: LEMMA: a language for easy medical models analysis. CBMS 1997: 244-249 |
5 | EE | Luciano Baresi, Alessandro Orso, Mauro Pezzè: Introducing Formal Specification Methods in Industrial Practice. ICSE 1997: 56-66 |
1995 | ||
4 | EE | Luciano Baresi, Alessandro Orso, Mauro Pezzè: Customizable notations for kernel formalisms. ICECCS 1995: 43- |
3 | 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) | |
1993 | ||
2 | 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 | |
1 | Sergio Bandinelli, Luciano Baresi, Alfonso Fuggetta, Luigi Lavazza: Requirements and Early Experiences in the Implementation of the SPADE Repository. ISPW 1993: 30-32 |