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