| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Luciano Baresi, Sam Guinea |
Self-Supervising BPEL Processes.  |
IEEE Trans. Software Eng.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Carlo Ghezzi, Luca Mottola |
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens. |
IEEE Trans. Software Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Danilo Ardagna, Luciano Baresi, Sara Comai, Marco Comuzzi, Barbara Pernici |
A Service-Based Framework for Flexible Business Processes. |
IEEE Software |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Liliana Pasquale |
Adaptation Goals for Adaptive Service-Oriented Architectures. |
Relating Software Requirements and Architectures |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Karina Villela, Sholom Cohen, Luciano Baresi |
SCArVeS: Services, Clouds, and Alternative Design Strategies for Variant-Rich Software Systems. |
SPLC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Sam Guinea |
A3: self-adaptation capabilities through groups and coordination. |
ISEC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Matteo Miraz |
A Component-Oriented Metamodel for the Modernization of Software Applications. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Asli Zengin, Annapaola Marconi, Luciano Baresi, Marco Pistore |
CLAM: Managing cross-layer adaptation in service-based systems. |
SOCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxing Ma, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna, Jian Lu |
Version-consistent dynamic reconfiguration of component-based distributed systems. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Sam Guinea, Olivier Nano, George Spanoudakis |
Comprehensive Monitoring of BPEL Processes. |
IEEE Internet Computing |
2010 |
DBLP DOI BibTeX RDF |
Assertion checkers, assertion languages, performance, Software Engineering, Software Engineering, Design Tools and Techniques, Software/Software Engineering, Software/Software Engineering, Software/Program Verification, Distributed/Internet based software engineering tools and techniques |
| 1 | Luciano Baresi, Pier Luca Lanzi, Matteo Miraz |
TestFul: An Evolutionary Test Approach for Java. |
ICST |
2010 |
DBLP DOI BibTeX RDF |
Stateful Systems, Evolutionary Algorithms, Multi-Objective Optimization, Test Generation, Object-Oriented Paradigm |
| 1 | Luciano Baresi, Mauro Caporuscio, Carlo Ghezzi, Sam Guinea |
Model-Driven Management of Services. |
ECOWS |
2010 |
DBLP DOI BibTeX RDF |
management, performance measures, model-driven engineering, distributed/Internet based software engineering tools and techniques, quality analysis and evaluation |
| 1 | Luciano Baresi, Sam Guinea |
Consumer Mashups with Mashlight. |
ServiceWave |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Raman Kazhamiakin, Salima Benbernou, Luciano Baresi, Pierluigi Plebani, Maike Uhlig, Olivier Barais |
Adaptation of Service-Based Systems. |
S-CUBE Book |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Miraz, Pier Luca Lanzi, Luciano Baresi |
Improving evolutionary testing by means of efficiency enhancement techniques. |
IEEE Congress on Evolutionary Computation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi |
Towards the UML-Based Formal Verification of Timed Systems. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Sam Guinea |
Mashups with Mashlight. |
ICSOC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Liliana Pasquale, Paola Spoletini |
Fuzzy Goals for Requirements-Driven Adaptation. |
RE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi |
From Interaction Overview Diagrams to Temporal Logic. |
MoDELS Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Matteo Miraz |
TestFul: automatic unit-test generation for Java classes. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
Java classes, test generation, search-based testing |
| 1 | Luciano Baresi, Carlo Ghezzi |
The disappearing boundary between development-time and run-time. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Liliana Pasquale |
Adaptive Goals for Self-Adaptive Service Compositions. |
ICWS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vahid Rafe, Adel Torkaman Rahmani, Luciano Baresi, Paola Spoletini |
Towards automated verification of layered graph transformation specifications. |
IET Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Piero Fraternali, Geert-Jan Houben |
Editorial. |
J. Web Eng. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Luciano Baresi |
Activity Diagrams. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Miraz, Pier Luca Lanzi, Luciano Baresi |
TestFul: using a hybrid evolutionary algorithm for testing stateful systems. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
stateful systems, evolutionary algorithms, multi-objective optimization, test generation, object-oriented paradigm |
| 1 | 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 |
ICSOC/ServiceWave |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Elisabetta Di Nitto, Sam Guinea, Schahram Dustdar |
Multi-dimensional service compositions. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Sam Guinea, Marco Pistore, Michele Trainotti |
Dynamo + Astro: An Integrated Approach for BPEL Monitoring. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Theilmann, Luciano Baresi |
Multi-level SLAs for Harmonized Management in the Future Internet. |
Future Internet Assembly |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga |
Using Graph Transformation Systems to Specify and Verify Data Abstractions. |
ECEASST |
2008 |
DBLP BibTeX RDF |
|
| 1 | Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini |
An Efficient Solution for Model Checking Graph Transformation Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Sam Guinea |
A dynamic and reactive approach to the supervision of BPEL processes. |
ISEC |
2008 |
DBLP DOI BibTeX RDF |
web services, aspect oriented programming, monitoring, BPEL, recovery, supervision |
| 1 | Luciano Baresi, Sam Guinea, Liliana Pasquale |
Towards a unified framework for the monitoring and recovery of BPEL processes. |
TAV-WEB |
2008 |
DBLP DOI BibTeX RDF |
quality of service, web services, monitoring, BPEL, recovery |
| 1 | Luciano Baresi, Sam Guinea, Raman Kazhamiakin, Marco Pistore |
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. |
ServiceWave |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Giordano Tamburrelli |
Loose Compositions for Autonomic Systems. |
Software Composition |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Matteo Miraz, Pierluigi Plebani |
A Flexible and Semantic-Aware Publication Infrastructure for Web Services. |
CAiSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Sam Guinea, Liliana Pasquale |
Integrated and Composable Supervision of BPEL Processes. |
ICSOC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi |
Self-adaptive Web Service Compositions. |
EDOCW |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Neil A. M. Maiden, Peter Sawyer |
Service-Centric Systems and Requirements Engineering. |
RE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini |
Validation of web service compositions. |
IET Software |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Sandro Morasca |
Three empirical studies on estimating the design effort of Web applications. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
W2000, empirical study, effort estimation, Web application design |
| 1 | Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi, Sam Guinea |
A framework for the deployment of adaptable web service compositions. |
Service Oriented Computing and Applications |
2007 |
DBLP DOI BibTeX RDF |
Distributed registries, Web services, Monitoring, BPEL, Dynamic compositions |
| 1 | Luciano Baresi, Carlo Ghezzi, Sam Guinea |
Towards Self-healing Composition of Services. |
Contributions to Ubiquitous Computing |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini |
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Sam Guinea, Pierluigi Plebani |
Policies and Aspects for the Supervision of BPEL Processes. |
CAiSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Piero Fraternali, Geert-Jan Houben (eds.) |
Web Engineering, 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings |
ICWE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Luciano Baresi, Elisabetta Di Nitto |
Introduction. |
Test and Analysis of Web Services |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Elisabetta Di Nitto (eds.) |
Test and Analysis of Web Services |
Test and Analysis of Web Services |
2007 |
DBLP BibTeX RDF |
|
| 1 | K. S. May Chan, Judith Bishop, Johan Steyn, Luciano Baresi, Sam Guinea |
A Fault Taxonomy for Web Service Composition. |
ICSOC Workshops |
2007 |
DBLP DOI BibTeX RDF |
fault taxonomy, Web services, service composition, self-healing |
| 1 | Luciano Baresi |
Web Services and Web 2.0: Married or Fiancés? |
WSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Andrea Maurino, Stefano Modafferi |
Distributed BPEL Processes. |
SEKE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Luciano Baresi, Sam Guinea |
Dynamo and Self-Healing BPEL Compositions. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Carlo Ghezzi, Luca Mottola |
On Accurate Automatic Verification of Publish-Subscribe Architectures. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Daniele Braga, Marco Comuzzi, Filippo Pacifici, Pierluigi Plebani |
A service-based infrastructure for advanced logistics. |
IW-SOSWE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Sam Guinea, Liliana Pasquale |
Self-healing BPEL processes with Dynamo and the JBoss rule engine. |
ESSPE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Giorgio Gerosa, Carlo Ghezzi, Luca Mottola |
Playing with time in publish-subscribe using a domain-specific model checker. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
modeling, model checking, time, distributed architectures, publish-subscribe |
| 1 | Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini |
A Timed Extension of WSCoL. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Andrea Maurino, Stefano Modafferi |
Towards Distributed BPEL Orchestrations. |
ECEASST |
2006 |
DBLP BibTeX RDF |
|
| 1 | Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró |
Style-based modeling and refinement of service-oriented architectures. |
Software and System Modeling |
2006 |
DBLP DOI BibTeX RDF |
Architecture refinement, Service-oriented architecture, Graph transformation, Architectural style |
| 1 | Luciano Baresi, Mauro Pezzè |
An Introduction to Software Testing. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi |
Toward Open-World Software: Issue and Challenges. |
IEEE Computer |
2006 |
DBLP DOI BibTeX RDF |
open-world software, web services, software engineering, grid computing, autonomic computing, polymorphism, middleware systems |
| 1 | Luciano Baresi, Carlo Ghezzi, Luca Mottola |
Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Paola Spoletini |
On the Use of Alloy to Analyze Graph Transformation Systems. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Luca Mainetti |
W2000 meets J2ME for the Fast Prototyping of Mobile Web Applications. |
IASTED Conf. on Software Engineering |
2006 |
DBLP BibTeX RDF |
|
| 1 | Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi |
Towards Open-World Software: Issue and Challenges. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Matteo Miraz |
A Distributed Approach for the Federation of Heterogeneous Registries. |
ICSOC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
FASE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Luciano Baresi, Karsten Ehrig, Reiko Heckel |
Verification of Model Transformations: A Case Study with BPEL. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Sam Guinea, Marco Plebani |
Business Process Monitoring for Dependability. |
WADS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Sam Guinea |
Tutorial: towards dynamic web services. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Schahram Dustdar, Harald Gall, Maristella Matera |
Special issue on ubiquitous mobile information and collaboration systems (UMICS). |
Personal and Ubiquitous Computing |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Mauro Pezzè |
Petri Nets as Semantic Domain for Diagram Notations. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Michal Young |
Toward Translating Design Constraints to Run-Time Assertions. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Mauro Pezzè |
Formal interpreters for diagram notations. |
ACM Trans. Softw. Eng. Methodol. |
2005 |
DBLP DOI BibTeX RDF |
Semi-formal notations, semantics, graph transformation, high-level Petri nets |
| 1 | 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 |
UMICS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Luciano Baresi, Piero Fraternali, Massimo Tisi, Sandro Morasca |
Towards Model-Driven Testing of a Web Application Generator. |
ICWE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Sebastiano Colazzo, Luca Mainetti |
First experiences on constraining consistency and adaptivity of W2000 models. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
web applications, meta-modeling, graph transformation |
| 1 | Luciano Baresi, Elisa Quintarelli |
Graph transformation to infer schemata from XML documents. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
XML, graph transformation, semistructured data, DTD |
| 1 | Luciano Baresi, Sam Guinea |
Towards Dynamic Monitoring of WS-BPEL Processes. |
ICSOC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Sam Guinea |
Dynamo: Dynamic Monitoring of WS-BPEL Processes. |
ICSOC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Mauro Pezzè |
From Graph Transformation to Software Engineering and Back. |
Formal Methods in Software and Systems Modeling |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Sam Guinea, Pierluigi Plebani |
WS-Policy for Service Monitoring. |
TES |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Sam Guinea |
An Introduction to Self-Healing Web Services. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Reiko Heckel |
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Carlo Ghezzi |
Validation of Component and Service Federations in Automotive Software Applications. |
ASWSD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró |
Style-Based Refinement of Dynamic Software Architectures. |
WICSA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Carlo Ghezzi, Sam Guinea |
Smart monitors for composed services. |
ICSOC |
2004 |
DBLP DOI BibTeX RDF |
pre- and post-conditions, xlinkIt, quality of service, web services, monitoring, composition, exception handling, BPEL, NET, functional requirements |
| 1 | Luciano Baresi, Andrea Maurino, Stefano Modafferi |
Workflow Partitioning in Mobile Information Systems. |
MOBIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Luciano Baresi, Sandro Morasca, Paolo Paolini |
Estimating the Design Effort of Web Applications. |
IEEE METRICS |
2003 |
DBLP DOI BibTeX RDF |
W2000, Empirical Study, Effort Estimation, Web Application Design |
| 1 | Luciano Baresi, Sara Comai, Schahram Dustdar, Harald Gall, Maristella Matera |
UMICS '03 Preface. |
CAiSE Workshops |
2003 |
DBLP BibTeX RDF |
|
| 1 | Luciano Baresi, Devis Bianchini, Valeria De Antonellis, Maria Grazia Fugini, Barbara Pernici, Pierluigi Plebani |
Context-Aware Composition of E-services. |
TES |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró |
Modeling and validation of service-oriented architectures: application vs. style. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
modeling middleware platforms, model checking, service-oriented architectures, architectural style, graph transformation system |
| 1 | Luciano Baresi, Marco Mauri, Mauro Pezzè |
PLCTools: Graph Transformation Meets PLC Design. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Reiko Heckel |
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")