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

Luciano Baresi Vis

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

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

Coauthor Index

1Valeria De Antonellis [24]
2Sergio Bandinelli [1] [2] [3]
3Paolo Beretta [59]
4Devis Bianchini [24]
5Domenico Bianculli [62] [68] [70] [91]
6Judith Bishop [71]
7Cristiana Bolchini [5]
8Daniele Braga [69]
9Fabio Casati [9]
10Silvana Castano [9]
11K. S. May Chan [71]
12Sebastiano Colazzo [40]
13Sara Comai [27]
14Marco Comuzzi [69]
15Giovanni Denaro [20]
16Schahram Dustdar [27] [33] [46] [89]
17Karsten Ehrig [52]
18Roberto Fraccapani [59]
19Piero Fraternali [41] [77]
20Alfonso Fuggetta [1] [2] [3]
21Maria Grazia Fugini (Mariagrazia Fugini) [9] [24]
22Harald Gall [27] [33] [46]
23Antonio Gargiulo [7]
24Franca Garzotto [12] [15] [16] [22]
25Giorgio Gerosa [67]
26Carlo Ghezzi [30] [32] [38] [48] [53] [58] [59] [61] [62] [65] [67] [68] [70] [73] [74] [80]
27Sam Guinea [30] [37] [42] [43] [44] [51] [55] [61] [62] [65] [68] [70] [71] [72] [75] [76] [81] [83] [85] [86] [89] [91]
28Fei He [74]
29Reiko Heckel [21] [26] [28] [31] [47] [52] [60]
30Geert-Jan Houben [77]
31Raman Kazhamiakin [83]
32Pier Luca Lanzi [90]
33Luigi Lavazza [1] [2] [3]
34Neil A. M. Maiden [84]
35Luca Mainetti [20] [22] [40] [57]
36Maristella Matera [27] [33] [46]
37Marco Mauri [18]
38Andrea Maurino [29] [50] [66]
39Antonio Miele [38]
40Matteo Miraz [38] [54] [87] [90]
41Isabelle Mirbel [9]
42Andrea Mocci [80]
43Stefano Modafferi [29] [50] [66]
44Mattia Monga [80]
45Sandro Morasca [19] [25] [41] [63]
46Luca Mottola [58] [67] [73]
47Andrea Naggi [38]
48Elisabetta Di Nitto [48] [53] [61] [64] [78] [89]
49Alessandro Orso [4] [6]
50Filippo Pacifici [38] [59] [69]
51Manuele Di Paola [7]
52Paolo Paolini [12] [15] [16] [19] [20] [22] [25]
53Liliana Pasquale [75] [81] [86]
54Barbara Pernici [9] [24]
55Mauro Pezzè [4] [6] [7] [8] [10] [11] [13] [14] [17] [18] [23] [34] [36] [45] [49]
56Marco Pistore [83]
57Marco Plebani [51]
58Pierluigi Plebani [24] [37] [69] [76] [87]
59Elisa Quintarelli [39]
60Vahid Rafe [79]
61Adel Torkaman Rahmani [79]
62Peter Sawyer [84]
63Paola Spoletini [56] [62] [68] [70] [74] [79] [91]
64Johan Steyn [71]
65Gabriele Taentzer [13]
66Giordano Tamburrelli [82]
67Sebastian Thöne [26] [28] [47]
68Massimo Tisi [41]
69Dániel Varró [26] [28] [47]
70Michal Young [35]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)