Publications
30/09/2006
Some papers are copyrighted by either the authors or the publisher. The papers
here provided are for personal use; other uses require the explicit written
permission of the copyright holder. If you have problems downloading any file, please e-mail baresi@elet.polimi.it.
International Journals
- S. Bandinelli, L. Baresi, A. Fuggetta, and L. Lavazza.
Experiences in the Implemenation of a Process-Centered
Software Engineering Environment using Object-Oriented Technology.
Theory and Applications of Object-oriented Systems - John Wiley, vol.
1(2): 115-132, 1995.
- C. Bolchini and L. Baresi.
Software Methodologies in VHDL Code
Analysis. Journal of Systems Architecture - Elsevier Science, (44):
3-21, 1997.
- L. Baresi, F. Consorti, M. Di Paola, A. Gargiulo, and M. Pezzè.
LEMMA: A Language for an Easy Medical Models Analysis.
Journal of Medical Systems - Plenum Publishing Co., vol. 21 (6): 369-388,
1997 (Extended and revised version of the paper presented at CBMS'97).
- L. Baresi and M. Pezzè.
Towards Formalizing Structured Analysis.
ACM Transactions on Software Engineering and Methodology - ACM Press,
vol. 7(1): 80-107, January 1998.
- L. Baresi and M. Pezzè.
Formal Interpreters for Diagram Notations.
ACM Transactions on Software Engineering and Methodology - ACM Press,
vol. 14(1): 42-84, January 2005.
- L. Baresi, R. Heckel, S. Thöne, and D. Varrò.
Style-Based Modeling and Refinement of Service-Oriented Architectures - A graph transformation-based approach. Software and Systems Modeling - Springer-Verlag, Volume 5, Number 2: 187-207, June 2006.
- L. Baresi, E. di Nitto, and C. Ghezzi.
Toward Open-World Software: Issue and Challenges. Computer, IEEE, Volume 39, Number 10: 36-43, October 2006.
Books
- L. Baresi, C. Francalanci, F.A. Schreiber, and L. Tanca.
Progettazione
Integrata di dati e funzioni --- Esercizi svolti e commentati con
i Modelli Entità-Relazioni, Data Flow e Unified Modeling Language
(UML). Esculapio editore. September, 2003.
- L. Baresi, M. Brambilla, C. Cappiello, and P. Plebani.
EUCIP --- Esercitazioni. Tecniche nuove. October, 2005.
- L. Baresi, L. Lavazza, and M. Piaciamore.
Dall'idea al codice con UML 2. Pearson Education Italia. June, 2006.
Edited Proceedings
- L. Baresi, J.J. Lévy, R. Mayr, M. Pezzè, G. Taentzer, and C. Zaroliagis.
Proceedings of the Satellite Workshops of the 28th International Colloquium
on Automata, Languages, and Programming (ICALP). Crete, Greece, July 2001.
- L. Baresi, M. Hinchey, M. Chen and S. Liu.
Proceedings of the IEEE Conference on Engineering Complex Computer Systems.
IEEE-CS, Washington D.C., USA, December 2002.
- G. Santucci, W. Klas, M. Bertolotto, C. Calero, and L. Baresi.
Proceedings of the Fourth International Conference on Web Information Systems Engineering Workshops (WISEW'03).
(Rome, Italy, December 2003). IEEE-CS, September 2004.
- L. Baresi, S. Dustdar, H. Gall, and M. Matera.
Proceedings of the CAiSE Workshop on Ubiquitous Mobile Information and Collaboration Systems (UMICS'04)
(Riga, Latvia, June 2004). Volume 3272 of Lecture Notes in Computer Science, Springer, 2005.
- L. Baresi and R. Heckel.
Proceedings of the 9th International Conference on Fundamental Approaches to Software engineering (FASE'06)
(Vienna, Austria, March 2006). Volume 3922 of Lecture Notes in Computer Science, Springer, 2006.
Edited Special Issues
- L. Baresi, S. Dustdar, H. Gall, and M. Matera.
Ubiquitous Mobile Information and Collaboration Systems
in Personal and Ubiquitous Computing, Springer-Verlag, Volume 9, Issue 5, September 2005.
Contributions to International Books
- L. Baresi, F. Casati, S. Castano, M. Fugini, P. Grefen, I. Mirbel, B. Pernici,
and G. Pozzi.
Workflow Design Methodology. In P. Grefen,
B. Pernici, and G. Sanchez (eds.) Database Support for Workflow Management:
the WIDE Project, 1999, pages 47-94. Kluwer Academic Publishers.
- L. Baresi and M. Pezzè.
On Formalizing UML with High-Level
Petri Nets. In G. Agha and F. De Cindio (eds.) Concurrent Object-Oriented
Programming and Petri Nets (a special volume in the Advances in Petri
Nets series); 2001, pages 271-300. Volume 2001 of Lecture Notes in Computer
Science, Springer-Verlag.
- L. Baresi, C. Ghezzi, and L. Zanolin.
Modeling and Validation of
Publish/Subscribe Architectures. In S. Beydeda and V. Gruhn (eds.)
Testing Commercial-off-the-shelf Components And Systems, pages 273-292, Springer, 2005.
- L. Baresi and M. Pezzè.
From Graph Transformation to Software
Engineering and Back. In H.J. Kreowski et al. (eds.) Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, pages 24-37. Volume 3393 of Lecture Notes in Computer Science, Spriger, 2005.
- L. Baresi, S. Colazzo, L. Mainetti, and S. Morasca.
W2000: A Modeling Notation for
Complex Web Applications. In E. Mendes and N. Mosley (eds.) Web Engineering, pages 335-408, Springer, 2006.
- L. Baresi, C. Ghezzi, and S. Guinea.
Towards Self-healing Compositions of Services. In Bernd J. krämer and Wolfgang A. Halang (eds.) Contributions to Ubiquitous Computing. Volume 42 of Studies in Computational Intellligence, Springer, 2006.
- M. Adorni, F. Arcelli, C. Batini, M. Comerio, F. De Paoli, S. Grega, P. Losi, A. Maurino, C. Raibulet, F. Tisato, D. Ardagna, L. Baresi, C. Cappiello, M. Comuzzi. C. Francalanci, S. Modafferi, and B. Pernici.
The MAIS Approach to Web Service Design In K. Siau (eds.) Advanced Topics in Database Research (volume 5), Idea Group Publishing, 2006.
National Journals
- L. Baresi, S. Carmeli, A. Monti, and M. Pezzè.
Un Approccio Formale ed Eterogeneo per
la Progettazione di Sistemi Ibridi. Automazione e Strumentazione
- The offical journal of ANIPLA (Associazione Nazionale Italiana per L'Automazione),
pages 107-114, December 1997 (in italian).
- L. Baresi, S. Carmeli, A. Monti, and M. Pezzè.
La norma IEC1131-3: Un Approccio Formale.
Automazione e Strumentazione - The offical journal of ANIPLA (Associazione
Nazionale Italiana per L'Automazione), pages 139-145, May 1999 (in italian).
International Conferences and Workshops
- S. Bandinelli, L. Baresi, A. Fuggetta, and L. Lavazza.
Requirements and Early Experiences in the Development
of the SPADE Repository. In Proceedings of the 8th International Software
Process Workshop, pages 30-32, IEEE-CS Press. Wadern (Germany), March 1993.
- S. Bandinelli, L. Baresi, A. Fuggetta, and L. Lavazza.
Requirements and Early Experiences in the Implementation
of the SPADE Repository using Object-Oriented Technology. In Object Technologies
for Advanced Software (First JSSST International Symposium), number 742 of
Lecture Notes in Computer Science, pages 511-528, Springer-Verlag. Kanezawa
(Japan), November 1993.
- A. Alonso, L. Baresi, H. Christensen, and M. Heikkinen.
IDERS: An Integrated Environment for the
Development of Hard Real-Time Systems. In Proceedings of the 7th Euromicro
Workshop on Real-Time Systems, pages 4-10, IEEE-CS Press. Odense (Denmark),
June 1995.
- L. Baresi, A. Orso, and M. Pezzè.
Customizable Notations for Kernel Formalisms.
In Proceedings of the 1st IEEE International Conference on Engineering of
Complex Computer Systems, pages 43-46. IEEE-CS Press. Ft. Lauderdale (USA),
November 1995.
- L. Baresi, C. Bolchini, and D. Sciuto.
Software Methodologies for VHDL Code Static
Analysis based on Flow Graphs. In Proceedings of EURO-DAC'96 with EURO-VHDL'96,
pages 406-411, IEEE-CS Press. Geneva (Switzerland), September 1996.
- L. Baresi, V. Braberman, M. Felder, M. Pezzè, and F. Pieniazek.
A Practical Approach to Formal Design of Real-Time
Systems. In Proceedings of the 1996 IEEE International Conference on Systems,
Man and Cybernetics, pages 1014-1019, IEEE-CS Press. Beijing (China), October
1996.
- L. Baresi, A. Orso, and M. Pezzè.
Introducing Formal Specification Methods in
Industrial Practice. In Proceedings of the 1997 International Conference
on Software Engineering, pages 56-66, ACM Press, Boston (USA), May 1997.
- L. Baresi, M. Di Paola, A. Gargiulo, and M. Pezzè.
LEMMA: A Language for an Easy Medical Models
Analysis. In Proceedings of the 10th IEEE Symposium on Computer-Based
Medical Systems, pages 244-249, IEEE-CS Press. Maribor (Slovenia), June 1997.
- L. Baresi, F. Casati, S. Castano, M. Fugini, I. Mirbel, and B. Pernici
WIDE Workflow Development Methodology.
In Proceedings of International Joint Conference on Work Activities Coordination
and Collaboration. San Francisco (USA), February 1999.
- L. Baresi and M. Pezzè.
A Formal Definition of Structured Analysis with
Programmable Graph Grammars. In Proceedings of AGTIVE'99: Applications
of Graph Transformations with Industrial Relevance, pages 193-208. Lecture
Notes in Computer Science 1779, Rolduc (Olanda), September 999.
- L. Baresi and A. Coen Porisini.
An Approach for Designing and Enacting Distributed
Simulation Environments. In Proceedings of 16th IFIP Word Computer Congress
- Proceedings of Conference on Software: Theory and Practice, pages 637-645.
Beijing (China), August 2000.
- L. Baresi, M. Mauri, A. Monti, and M. Pezzè.
PLCTools: Design, Formal Validation,
and Code Generation for Programmable Controllers. 2000 IEEE International
Conference on Systems, Man, and Cybernetics, pages 2437-2442 vol. 4, Nasville
(USA), October 2000.
- L. Baresi, F. Garzotto, and P. Paolini.
From Web Sites to Web Applications:
New Issues for Conceptual Modeling. In Proceedings of the International
Workshop on The World Wide Web and Conceptual Modeling, co-located with the
19th International Conference on Conceptual Modeling, Salt Lake City (USA),
October 2000.
- L. Baresi, F. Garzotto, and P. Paolini.
Extending UML for Modeling Web Applications.
In Proceedings of the 34th Annual Hawaii International Conference on System
Sciences, pages 1285 -1294, Maui (USA), January 2001.
- F. Garzotto, P. Paolini, and L. Baresi.
Supporting Reusable Web Design with
HDM-Edit. In Proceedings of the 34th Annual Hawaii International Conference
on System Sciences, pages 2783-2792, Maui (USA), January 2001.
- L. Baresi and M. Pezzè.
Improving UML with Petri nets.
In Proceedings of ETAPS2001 Workshop on Uniform Approaches to Graphical Process
Specification Techniques (UniGra), Genova (Italy). Electronic Notes in TCS
- Elsevier Science, 2001.
- L. Baresi, F. Garzotto, L. Mainetti and P. Paolini.
Meta-modeling Techniques Meet
Web Application Design Tools. In Proceedings of 5th International Conference
FASE 2002 (part of ETAPS 2002), pages 294-307. Lecture Notes in Computer Science
2306, Grenoble (Francia), April 2002.
- L. Baresi and M. Pezzè.
A Toolbox for Automating Visual
Software Engineering. In Proceedings of 5th International Conference FASE
2002 (part of ETAPS 2002), pages 189-202. Lecture Notes in Computer Science
2306, Grenoble (Francia), April 2002.
- L. Baresi
Some Hints on Formalizing UML with
Object Petri Nets. In Proccedings of the 6th World Conference on Integrated
Design & Process Technology. Pasadena (USA), June 2002.
- L. Baresi, G. Denaro, L. Mainetti, and P. Paolini.
Assertions to Better Specify the
Amazon Bug In Proceedings of 14th International Conference on Software
Engineeering and Knowledge Engineering. Ischia (Italy), July 2002.
- L. Baresi, F. Garzotto, and M. Maritati.
W2000 as a MOF Metamodel. In Proceedings
of The 6th World Multiconference on Systemics, Cybernetics and Informatics
- Web Engineering track. Orlando (USA), July 2002.
- L. Baresi, M. Mauri, and M. Pezzè.
PLCTools: Graph Transformation Meets PLC Design
Proceedings of Graph-Based Tools (GraBaTs 2002), Barcelona, Spain, October 2002.
- L. Baresi and R. Heckel
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. In Proceedings of the First International
Conference on Graph Transformation (ICGT 2002). October, 2002, Barcelona,
Spain. Lecture Notes in Computer Science, volume 2505, pages 402-429.
- L. Baresi, S. Morasca, and P. Paolini.
An Empirical Study on the Design Effort of Web Applications. In Proceedings of the 3rd International Conference on Web Information System Engineering, pages 345-354. Singapore, 2002. IEEE CS Press.
- L. Baresi, R. Heckel, S. Thöne, and D. Varrò.
Modeling and Analysis of Architectural Styles Based on Graph Transformation. Proceedings of the 6th Workshop on Component-Based Software Engineering, co-located with ICSE 2003.
- L. Baresi, S. Morasca, and P. Paolini.
Estimating the Design Effort of Web Applications. Proceedings of Metrics 2003, pages 62-72. Sidney, Australia, 2003.
- L. Zanolin, C. Ghezzi, and L. Baresi.
An Approach to Model and Validate Publish/Subscribe
Architectures. Proceedings of SAVCBS 2003: Specification and Verification of Component-Based Systems, co-located with ESEC/SIGSOFT FSE 2003 (Technical Report #03-11, Department of Computer Science, Iowa State University), pages 35-41. Helsinki, Finland, 2003.
- L. Baresi, R. Heckel, S. Thöne, and D. Varró.
Modeling and Validation of Service-oriented
Architectures: Application vs. Style. Proceedings of ESEC/SIGSOFT FSE 2003, pages 68-77. Helsinki, Finland, 2003
- L. Baresi, D. Bianchini, V. De Antonellis, M.G. Fugini, B. Pernici, and P. Plebani
Context-aware Composition of E-Services. Proceedings of the 4th VLDB Workshop on Technologies for E-Services (VLDB-TES'03), co-located with VLDB'03. Berlin, Germany, 2003. Lecture Notes in Computer Science, volume 2819, pages 28-41.
- L. Baresi and M. Young.
Toward Translating Design Constraints to Run-Time Assertions. Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004), co-located with ETAPS 2004. Electronic Notes in Theoretical Computer Science, Volume 116, pages 73-84, Elsevier, 2005.
Electronic Notes in Theoretical Computer Science, volume 116, pages 73--84. Elsevier, January 2005.
- L. Baresi, R. Heckel, S. Thöne, and D. Varró.
Style-Based Refinement of Dynamic Software Architectures. Proceedings of the 4th Working IEEE/IFIP Conference on Software Architecture (WICSA 2004), pages 155-166. Oslo, Norway, 2004. IEEE-CS.
- L. Baresi, A. Maurino, S. Modafferi.
Workflow Partitioning in Mobile Information Systems. Proceedings of the
IFIP TC8 Working Conference on Mobile Information Systems (MOBIS 2004),
pages 93-106. September, Oslo, Norway, 2004. Springer Publisher.
- L. Baresi and R. Heckel.
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. In Proceedings of the Second International
Conference on Graph Transformation (ICGT 2004). October, 2004, Rome,
Italy. Lecture Notes in Computer Science, volume 3256, pages 431-433.
- L. Baresi, C. Ghezzi, and S. Guinea.
Smart Monitors for Composed Services.
Proceedings of the 2nd International Conference on Service Oriented Computing. November 2004, New York, USA.
ACM Press, pages 193-202
- L. Baresi, D. Bianchini, F. Daniel, V. De Antonellis, A. Maurino, S. Modafferi, E. Mussi, and B. Pernici
Provisioning of Complex Adaptive Services.
IBM Research report - ICSOC 2004 Proccedings - Short Papers. November 2004, New York, USA.
ACM Press, pages 81-90
- L. Baresi, C. Ghezzi, and S. Guinea.
Towards Self-healing Compositions of Services.
Proceedings of PRISE'04, First Conference on the PRInciples of Software Engineering. November 2004,
Buenos Aires, Argentina, pages 11-20
- L. Baresi and E. Quintarelli.
Graph Transformation to Infer Schemata from XML Documents.
Proceedings of SAC'05, The ACM Symposium on Applied Computing. March 2005, Santa Fe, USA, pages 642-646.
- L. Baresi, S. Colazzo, and L. Mainetti.
Beyond Modeling Notations: Consistency and Adaptability of W2000 Models.
Proceedings of SAC'05, The ACM Symposium on Applied Computing. March 2005, Santa Fe, USA, pages 1674-1678.
- L. Baresi, P. Fraternali, M. Tisi, and S. Morasca.
Towards Model-Driven Testing of a Web Application Generator. Proceedings of the 5th International Conference on Web Engineering ICWE'05). Sydney, Australia, 2005. Lecture Notes in Computer Science, volume 3579, pages 75-86.
- L. Baresi, C. Ghezzi, A. Miele, M. Miraz, A. Naggi, and F. Pacifici.
Hybrid Service Oriented
Architectures: A Case Study in the Automotive Domain. Proceedings of the International Workshop on Software Engineering and Middleware (SEM'05), co-located with ESEC'05. Lisbon, Portugal, 2005, pages 62-68.
- L. Baresi, S. Guinea, and P. Plebani.
WS-Policy for Service Monitoring. Proceedings of the 6th VLDB Workshop on Technologies for E-Services (VLDB-TES'03), co-located with VLDB'05. Throndeim, Norway, 2005. Lecture Notes in Computer Science, volume 3811, pages 72-83.
- L. Baresi and S. Guinea.
Towards Dynamic Monitoring of WS-BPEL Processes. Proceedings of the 3rd International Conference of Service-oriented Computing (ICSOC'05). Amsterdam, The Nederlands, 2005. Lecture Notes in Computer Science, volume 3826, pages 269-282.
- L. Baresi and S. Guinea.
Dynamo: Dynamic Monitoring of WS-BPEL Processes (demo paper). Proceedings of the 3rd International Conference of Service-oriented Computing (ICSOC'05). Amsterdam, The Nederlands, 2005. Lecture Notes in Computer Science, volume 3826, pages 478-483.
- L. Baresi and L. Mainetti.
W2000 meets J2ME for the Fast Prototyping of Mobile Web Applications. Proceedings of the IASTED Conference on Software Engineering, pages 59-64, 2006.
- L. Baresi and M. Pezzè.
An Introduction to Software Testing. Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004). Electronic Notes in Theoretical Computer Science, Volume 148(1), pages 89-111, Elsevier, 2006.
- L. Baresi and C. Ghezzi.
Validation of Component and Service Federations
in Automotive Software Applications. Proceedings of the First Automotive Software Workshop (ASWSD). San Diego, USA, 2004. Lecture Notes in Computer Science, volume 4147, pages 57-73, 2006
- L. Baresi, M. Baumgarten, M. Mulvenna, C. Nugent, K. Curran, P.H. Deussen.
Towards Pervasive Supervision for Autonomic Systems. Proceedings of IEEE Workshop on Distributed Intelligent Systems: Collective Intelligence and Its Applications (DIS'06). Prague, Czech Republic. IEEE-CS, pages 365-370.
- L. Baresi and P. Spoletini.
On the Use of Alloy to Analyze Graph
Transformation Systems. Proceedings of the 3rd International Conference on Graph Transformation (ICGT'06). Natal, Brasil, 2006. Lecture Notes in Computer Science, volume 4178, pages 306-320.
- L. Baresi, C. Ghezzi, and L. Mottola.
Towards Fine-grained Automated Verification of Publish-Subscribe Architectures. Proceedings of the 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE 2006). Paris, France, 2006. Lecture Notes in Computer Science, volume 4229, pages 131-135.
- L. Baresi, P. Beretta, R. Fraccapani, C. Ghezzi, and F. Pacifici.
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects. Proceedings of the 26th Asian Pacific Conference on Software Engineering (APSEC 2006). Bangalore, India, 2006. IEEE-CS, pages 173-182.
- L, Baresi and M. Miraz.
A Distributed Approach for the Federation of
Heterogeneous Registries. Proceedings of the 4th International Conference of Service-oriented Computing (ICSOC'06). Chicago, USA, 2006. Lecture Notes in Computer Science, volume 4294, pages 240-251.
- L. Baresi, K. Ehrig and R. Heckel.
Semantics-preserving Transformation of Behavioural Models. Proceedings of the 2nd Symposium on Trustworthy Global Computing. Lucca, Italy, 2006. To appear.
Project Papers
- Goodstep Team.
The GOODSTEP Project: General Object-Oriented
Database for Software Engineering Processes. In Proceedings of the Workshop
on the Interaction between Databases and Software Engineering Processes, held
in conjunction with the 16th International Conference on Software Engineering,
pages 12-16, IEEE-CS Press. Sorrento (Italy), May 1994.
- Goodstep Team.
The GOODSTEP Project: General Object-Oriented
Database for Software Engineering Processes. In Proceedings of the First
Asia-Pacific Software Engineering Conference, pages 410-419, IEEE-CS Press.
Tokio (Japan), December 1994.
- UWA Consortium.
The UWA Approach to Modeling Ubiquitous Web
Applications. In Proceedings of the 2002 IST Mobile & Wireless Telecommunications
Summit. Thessaloniki (Greece), June 2002.
- UWA Consortium.
Ubiquitous Web Applications. In Proceedings
of e-2002, e-business and e-work. Prague (Czech Republich), October 2002.
- SeCSE Team.
Towards Service-centric
System Engineering. In Proceedings
of e-Challenges 2005. Lubjana (Slovenia), October 2005.
Invited Presentations
- L. Baresi and M. Pezzè.
Can Graph Grammars make Formal Methods more Human?
In Proceedings of the Workshop on Graph Transformation and Visual Modeling
Techniques, co-located with ICALP 2000, and published in ICALP Workshops 2000,
pages 387-394. Geneva (Switzerland), July 2000.
- L. Baresi and M. Pezzè.
Petri Nets as Semantic Domain for Diagram Notations. In Proceedings of the Workshop on Petri Nets and Graph Transformations, co-located with ICGT 2004. Electronic Notes in Theoretical Computer Science, Volume 127(2), pages 29-44, Elsevier, 2005.
National Conferences and Workshops
Ph.D. Thesis
Technical Reports
|
