dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Luciano Baresi Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Matteo Miraz: A Component-Oriented Metamodel for the Modernization of Software Applications. ICECCS 2011: 179-187
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea: A3: self-adaptation capabilities through groups and coordination. ISEC 2011: 11-20
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano 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
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaoxing 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
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAsli Zengin, Annapaola Marconi, Luciano Baresi, Marco Pistore: CLAM: Managing cross-layer adaptation in service-based systems. SOCA 2011: 1-8
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarina Villela, Sholom Cohen, Luciano Baresi: SCArVeS: Services, Clouds, and Alternative Design Strategies for Variant-Rich Software Systems. SPLC 2011: 342
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Liliana Pasquale: Adaptation Goals for Adaptive Service-Oriented Architectures. Relating Software Requirements and Architectures 2011: 161-181
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanilo Ardagna, Luciano Baresi, Sara Comai, Marco Comuzzi, Barbara Pernici: A Service-Based Framework for Flexible Business Processes. IEEE Software 28(2): 61-67 (2011)
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Carlo Ghezzi, Luca Mottola: Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens. IEEE Trans. Software Eng. 37(2): 228-246 (2011)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea: Self-Supervising BPEL Processes. IEEE Trans. Software Eng. 37(2): 247-263 (2011)
2010
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Mauro Caporuscio, Carlo Ghezzi, Sam Guinea: Model-Driven Management of Services. ECOWS 2010: 147-154
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi: Towards the UML-Based Formal Verification of Timed Systems. FMCO 2010: 267-286
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Carlo Ghezzi: The disappearing boundary between development-time and run-time. FoSER 2010: 17-22
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Matteo Miraz: TestFul: automatic unit-test generation for Java classes. ICSE (2) 2010: 281-284
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea: Mashups with Mashlight. ICSOC 2010: 711-712
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Pier Luca Lanzi, Matteo Miraz: TestFul: An Evolutionary Test Approach for Java. ICST 2010: 185-194
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Liliana Pasquale: Adaptive Goals for Self-Adaptive Service Compositions. ICWS 2010: 353-360
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Miraz, Pier Luca Lanzi, Luciano Baresi: Improving evolutionary testing by means of efficiency enhancement techniques. IEEE Congress on Evolutionary Computation 2010: 1-8
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi: From Interaction Overview Diagrams to Temporal Logic. MoDELS Workshops 2010: 90-104
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Liliana Pasquale, Paola Spoletini: Fuzzy Goals for Requirements-Driven Adaptation. RE 2010: 125-134
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaman Kazhamiakin, Salima Benbernou, Luciano Baresi, Pierluigi Plebani, Maike Uhlig, Olivier Barais: Adaptation of Service-Based Systems. S-CUBE Book 2010: 117-156
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea: Consumer Mashups with Mashlight. ServiceWave 2010: 112-123
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea, Olivier Nano, George Spanoudakis: Comprehensive Monitoring of BPEL Processes. IEEE Internet Computing 14(3): 50-57 (2010)
2009
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Chi-Hung Chi, Jun Suzuki: Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings ICSOC/ServiceWave 2009
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano 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
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Theilmann, Luciano Baresi: Multi-level SLAs for Harmonized Management in the Future Internet. Future Internet Assembly 2009: 193-202
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Miraz, Pier Luca Lanzi, Luciano Baresi: TestFul: using a hybrid evolutionary algorithm for testing stateful systems. GECCO 2009: 1947-1948
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Elisabetta Di Nitto, Sam Guinea, Schahram Dustdar: Multi-dimensional service compositions. ICSE Companion 2009: 323-326
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea, Marco Pistore, Michele Trainotti: Dynamo + Astro: An Integrated Approach for BPEL Monitoring. ICWS 2009: 230-237
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi: Activity Diagrams. Encyclopedia of Database Systems 2009: 41-45
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVahid Rafe, Adel Torkaman Rahmani, Luciano Baresi, Paola Spoletini: Towards automated verification of layered graph transformation specifications. IET Software 3(4): 276-291 (2009)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Piero Fraternali, Geert-Jan Houben: Editorial. J. Web Eng. 8(1): 1-2 (2009)
2008
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Matteo Miraz, Pierluigi Plebani: A Flexible and Semantic-Aware Publication Infrastructure for Web Services. CAiSE 2008: 435-449
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi: Self-adaptive Web Service Compositions. EDOCW 2008: 343
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea, Liliana Pasquale: Integrated and Composable Supervision of BPEL Processes. ICSOC 2008: 614-619
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea: A dynamic and reactive approach to the supervision of BPEL processes. ISEC 2008: 39-48
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Neil A. M. Maiden, Peter Sawyer: Service-Centric Systems and Requirements Engineering. RE 2008: 305
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea, Raman Kazhamiakin, Marco Pistore: An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. ServiceWave 2008: 1-12
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Giordano Tamburrelli: Loose Compositions for Autonomic Systems. Software Composition 2008: 165-172
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea, Liliana Pasquale: Towards a unified framework for the monitoring and recovery of BPEL processes. TAV-WEB 2008: 15-19
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga: Using Graph Transformation Systems to Specify and Verify Data Abstractions. ECEASST 10: (2008)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano 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
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Elisabetta Di Nitto: Test and Analysis of Web Services Springer 2007
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Piero Fraternali, Geert-Jan Houben: Web Engineering, 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings Springer 2007
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea, Pierluigi Plebani: Policies and Aspects for the Supervision of BPEL Processes. CAiSE 2007: 340-354
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea, Liliana Pasquale: Self-healing BPEL processes with Dynamo and the JBoss rule engine. ESSPE 2007: 11-20
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini: Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE 2007: 247-262
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Carlo Ghezzi, Luca Mottola: On Accurate Automatic Verification of Publish-Subscribe Architectures. ICSE 2007: 199-208
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea: Dynamo and Self-Healing BPEL Compositions. ICSE Companion 2007: 69-70
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. S. May Chan, Judith Bishop, Johan Steyn, Luciano Baresi, Sam Guinea: A Fault Taxonomy for Web Service Composition. ICSOC Workshops 2007: 363-375
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: A Timed Extension of WSCoL. ICWS 2007: 663-670
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Daniele Braga, Marco Comuzzi, Filippo Pacifici, Pierluigi Plebani: A service-based infrastructure for advanced logistics. IW-SOSWE 2007: 47-53
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDomenico 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
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Giorgio Gerosa, Carlo Ghezzi, Luca Mottola: Playing with time in publish-subscribe using a domain-specific model checker. SAVCBS 2007: 55-62
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Andrea Maurino, Stefano Modafferi: Distributed BPEL Processes. SEKE 2007: 692-697
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi: Web Services and Web 2.0: Married or Fiancés? WSE 2007: 1
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Carlo Ghezzi, Sam Guinea: Towards Self-healing Composition of Services. Contributions to Ubiquitous Computing 2007: 27-46
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Elisabetta Di Nitto: Introduction. Test and Analysis of Web Services 2007: 1-7
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sandro Morasca: Three empirical studies on estimating the design effort of Web applications. ACM Trans. Softw. Eng. Methodol. 16(4): (2007)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: Validation of web service compositions. IET Software 1(6): 219-232 (2007)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano 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
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano 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
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano 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
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Carlo Ghezzi, Luca Mottola: Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. FORTE 2006: 131-135
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Luca Mainetti: W2000 meets J2ME for the Fast Prototyping of Mobile Web Applications. IASTED Conf. on Software Engineering 2006: 59-64
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Paola Spoletini: On the Use of Alloy to Analyze Graph Transformation Systems. ICGT 2006: 306-320
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea: Tutorial: towards dynamic web services. ICSE 2006: 1067-1068
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Matteo Miraz: A Distributed Approach for the Federation of Heterogeneous Registries. ICSOC 2006: 240-251
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi: Towards Open-World Software: Issue and Challenges. SEW 2006: 249-252
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Karsten Ehrig, Reiko Heckel: Verification of Model Transformations: A Case Study with BPEL. TGC 2006: 183-199
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea, Marco Plebani: Business Process Monitoring for Dependability. WADS 2006: 337-361
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Andrea Maurino, Stefano Modafferi: Towards Distributed BPEL Orchestrations. ECEASST 3: (2006)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Mauro Pezzè: An Introduction to Software Testing. Electr. Notes Theor. Comput. Sci. 148(1): 89-111 (2006)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi: Toward Open-World Software: Issue and Challenges. IEEE Computer 39(10): 36-43 (2006)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano 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
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Mauro Pezzè: From Graph Transformation to Software Engineering and Back. Formal Methods in Software and Systems Modeling 2005: 24-37
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea: An Introduction to Self-Healing Web Services. ICECCS 2005: 4
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea: Towards Dynamic Monitoring of WS-BPEL Processes. ICSOC 2005: 269-282
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea: Dynamo: Dynamic Monitoring of WS-BPEL Processes. ICSOC 2005: 478-483
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Piero Fraternali, Massimo Tisi, Sandro Morasca: Towards Model-Driven Testing of a Web Application Generator. ICWE 2005: 75-86
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sebastiano Colazzo, Luca Mainetti: First experiences on constraining consistency and adaptivity of W2000 models. SAC 2005: 1674-1678
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Elisa Quintarelli: Graph transformation to infer schemata from XML documents. SAC 2005: 642-646
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano 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
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sam Guinea, Pierluigi Plebani: WS-Policy for Service Monitoring. TES 2005: 72-83
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Mauro Pezzè: Formal interpreters for diagram notations. ACM Trans. Softw. Eng. Methodol. 14(1): 42-84 (2005)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Michal Young: Toward Translating Design Constraints to Run-Time Assertions. Electr. Notes Theor. Comput. Sci. 116: 73-84 (2005)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Mauro Pezzè: Petri Nets as Semantic Domain for Diagram Notations. Electr. Notes Theor. Comput. Sci. 127(2): 29-44 (2005)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano 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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Carlo Ghezzi: Validation of Component and Service Federations in Automotive Software Applications. ASWSD 2004: 57-73
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Reiko Heckel: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. ICGT 2004: 431-433
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Carlo Ghezzi, Sam Guinea: Smart monitors for composed services. ICSOC 2004: 193-202
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Andrea Maurino, Stefano Modafferi: Workflow Partitioning in Mobile Information Systems. MOBIS 2004: 93-106
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró: Style-Based Refinement of Dynamic Software Architectures. WICSA 2004: 155-166
2003
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sara Comai, Schahram Dustdar, Harald Gall, Maristella Matera: UMICS '03 Preface. CAiSE Workshops 2003
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sandro Morasca, Paolo Paolini: Estimating the Design Effort of Web Applications. IEEE METRICS 2003: 62-72
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Devis Bianchini, Valeria De Antonellis, Maria Grazia Fugini, Barbara Pernici, Pierluigi Plebani: Context-Aware Composition of E-services. TES 2003: 28-41
2002
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Mauro Pezzè: A Toolbox for Automating Visual Software Engineering. FASE 2002: 189-202
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Franca Garzotto, Luca Mainetti, Paolo Paolini: Meta-modeling Techniques Meet Web Application Design Tools. FASE 2002: 294-307
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Reiko Heckel: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. ICGT 2002: 402-429
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Giovanni Denaro, Luca Mainetti, Paolo Paolini: Assertions to better specify the amazon bug. SEKE 2002: 585-592
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Sandro Morasca, Paolo Paolini: An Empirical Study on the Design Effort of Web Applications. WISE 2002: 345-354
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Marco Mauri, Mauro Pezzè: PLCTools: Graph Transformation Meets PLC Design. Electr. Notes Theor. Comput. Sci. 72(2): 79 (2002)
2001
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Mauro Pezzè: On Formalizing UML with High-Level Petri Nets. Concurrent Object-Oriented Programming and Petri Nets 2001: 276-304
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Franca Garzotto, Paolo Paolini: Extending UML for Modeling Web Applications. HICSS 2001
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranca Garzotto, Paolo Paolini, Luciano Baresi: Supporting Reusable Web Design with HDM-Edit. HICSS 2001
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Mauro Pezzè: Improving UML with Petri nets. Electr. Notes Theor. Comput. Sci. 44(4): 107-119 (2001)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano 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)
2000
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Franca Garzotto, Paolo Paolini: From Web Sites to Web Applications: New Issues for Conceptual Modeling. ER (Workshops) 2000: 89-100
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Pezzè, Luciano Baresi: Can Graph Grammars Make Formal Methods More Human? ICALP Satellite Workshops 2000: 387-394
1999
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Mauro Pezzè: A Formal Definition of Stuctured Analysis with Programmable Graph Grammars. AGTIVE 1999: 193-208
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Fabio Casati, Silvana Castano, Maria Grazia Fugini, Isabelle Mirbel, Barbara Pernici: WIDE workflow development methodology. WACC 1999: 19-28
1998
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Mauro Pezzè: Toward Formalizing Structured Analysis. ACM Trans. Softw. Eng. Methodol. 7(1): 80-107 (1998)
1997
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Manuele Di Paola, Antonio Gargiulo, Mauro Pezzè: LEMMA: a language for easy medical models analysis. CBMS 1997: 244-249
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Alessandro Orso, Mauro Pezzè: Introducing Formal Specification Methods in Industrial Practice. ICSE 1997: 56-66
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristiana Bolchini, Luciano Baresi: Software methodologies in VHDL code analysis. Journal of Systems Architecture 44(1): 3-21 (1997)
1995
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Alessandro Orso, Mauro Pezzè: Customizable notations for kernel formalisms. ICECCS 1995: 43-
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Bandinelli, Luciano Baresi, Alfonso Fuggetta, Luigi Lavazza: Requirements and Early Experiences in the Implementation of the SPADE Repository. ISPW 1993: 30-32

Coauthor Index

1Valeria De Antonellis [24]
2Danilo Ardagna [114]
3Sergio Bandinelli [1] [2] [3]
4Olivier Barais [101]
5Salima Benbernou [101]
6Paolo Beretta [59]
7Devis Bianchini [24]
8Domenico Bianculli [62] [69] [71] [97]
9Judith Bishop (Judith Mary Bishop, Judy M. Bishop) [72]
10Cristiana Bolchini [5]
11Daniele Braga [70]
12Mauro Caporuscio [111]
13Fabio Casati [9]
14Silvana Castano [9]
15K. S. May Chan [72]
16Chi-Hung Chi [98]
17Jane Cleland-Huang [119]
18Sholom Cohen [116]
19Sebastiano Colazzo [40]
20Sara Comai [27] [114]
21Marco Comuzzi [70] [114]
22Giovanni Denaro [20]
23Schahram Dustdar [27] [33] [46] [94]
24Karsten Ehrig [52]
25Roberto Fraccapani [59]
26Piero Fraternali [41] [78] [90]
27Alfonso Fuggetta [1] [2] [3]
28Maria Grazia Fugini (Mariagrazia Fugini) [9] [24]
29Harald C. Gall (Harald Gall) [27] [33] [46]
30Antonio Gargiulo [7]
31Franca Garzotto [12] [15] [16] [22]
32Giorgio Gerosa [68]
33Carlo Ghezzi [30] [32] [38] [48] [53] [58] [59] [61] [62] [65] [68] [69] [71] [74] [75] [81] [109] [111] [113] [118]
34Sam Guinea [30] [37] [42] [43] [44] [51] [55] [61] [62] [65] [69] [71] [72] [73] [76] [77] [82] [84] [86] [87] [93] [94] [97] [99] [100] [107] [111] [112] [120]
35Fei He [75]
36Reiko Heckel [21] [26] [28] [31] [47] [52] [60]
37Geert-Jan Houben [78] [90]
38Raman Kazhamiakin [84] [101]
39Pier Luca Lanzi [95] [104] [106]
40Luigi Lavazza [1] [2] [3]
41James Lockerbie [119]
42Jian Lu (Jian Lü) [118]
43Xiaoxing Ma [118]
44Neil A. M. Maiden [85] [119]
45Luca Mainetti [20] [22] [40] [57]
46Valerio Panzica La Manna [118]
47Annapaola Marconi [117]
48Maristella Matera [27] [33] [46]
49Marco Mauri [18]
50Andrea Maurino [29] [50] [67]
51Antonio Miele [38]
52Matteo Miraz [38] [54] [89] [95] [104] [106] [108] [121]
53Isabelle Mirbel [9]
54Andrea Mocci [81]
55Stefano Modafferi [29] [50] [67]
56Mattia Monga [81]
57Sandro Morasca [19] [25] [41] [63]
58Angelo Morzenti [103] [110]
59Alfredo Motta [103] [110]
60Luca Mottola [58] [68] [74] [113]
61Andrea Naggi [38]
62Olivier Nano [99]
63Elisabetta Di Nitto [48] [53] [61] [64] [79] [94]
64Alessandro Orso [4] [6]
65Filippo Pacifici [38] [59] [70]
66Manuele Di Paola [7]
67Paolo Paolini [12] [15] [16] [19] [20] [22] [25]
68Liliana Pasquale [76] [82] [87] [102] [105] [115] [119]
69Barbara Pernici [9] [24] [114]
70Mauro Pezzè [4] [6] [7] [8] [10] [11] [13] [14] [17] [18] [23] [34] [36] [45] [49]
71Marco Pistore [84] [93] [117]
72Marco Plebani [51]
73Pierluigi Plebani [24] [37] [70] [77] [89] [101]
74Elisa Quintarelli [39]
75Vahid Rafe [80] [91]
76Adel Torkaman Rahmani (Adel Rahmani) [80] [91]
77Matteo Rossi [103] [110]
78Peter Sawyer (Pete Sawyer) [85]
79George Spanoudakis [99]
80Paola Spoletini [56] [62] [69] [71] [75] [80] [91] [97] [102]
81Johan Steyn [72]
82Jun Suzuki [98]
83Gabriele Taentzer [13]
84Giordano Tamburrelli [83]
85Wolfgang Theilmann [96]
86Sebastian Thöne [26] [28] [47]
87Massimo Tisi [41]
88Michele Trainotti [93]
89Maike Uhlig [101]
90Dániel Varró [26] [28] [47]
91Karina Villela [116]
92Michal Young [35]
93Asli Zengin [117]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page