Luciano Baresi

276 papers A* 6A 37B 26C 9Misc 4Journal 60Unranked 114

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Stability-Aware Reinforcement Learning for Robust Class Integration Test Order Generation. AAAI Yanru Ding, Yanmei Zhang, Guan Yuan, Shujuan Jiang, Wei Dai, Luciano Baresi
2025	—	`conf`	A Quantum Formulation for Clustering Edge Topologies. QSW Simone Reale, Elisabetta Di Nitto, Giovanni Quattrocchi, Luciano Baresi
2025	B	`conf`	Architecting Federated Learning Systems: A Requirement-Driven Approach. ECSA Luciano Baresi, Livia Lestingi, Iyad Wehbe
2025	J	`jnl`	Can LLMs Generate User Stories and Assess Their Quality? CoRR Giovanni Quattrocchi, Liliana Pasquale, Paola Spoletini, Luciano Baresi
2025	—	`conf`	DILLEMA: Diffusion and Large Language Models for Multi-Modal Augmentation. DeepTest Luciano Baresi, Davide Yi Xian Hu, Muhammad Irfan Mas'udi, Giovanni Quattrocchi
2025	J	`jnl`	DILLEMA: Diffusion and Large Language Models for Multi-Modal Augmentation. CoRR Luciano Baresi, Davide Yi Xian Hu, Muhammad Irfan Mas'udi, Giovanni Quattrocchi
2025	—	`conf`	Dynamic Resource Allocation for Deadline-Constrained Neural Network Training. SEAMS@ICSE Luciano Baresi, Marco Garlini, Giovanni Quattrocchi
2025	A*	`conf`	Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models. ICSE Luciano Baresi, Davide Yi Xian Hu, Andrea Stocco, Paolo Tonella
2025	A	`conf`	Federated Learning for Cross-Dataset Generalization in Litter Detection. ECAI Luciano Baresi, Simone Bianco, Livia Lestingi, Iyad Wehbe
2025	A	`conf`	Optimizing Class Integration Testing with Criticality-Driven Test Order Generation. SANER Yanru Ding, Yanmei Zhang, Guan Yuan, Shujuan Jiang, Wei Dai, Luciano Baresi
2025	—	`conf`	Students' Perception of ChatGPT in Software Engineering: Lessons Learned from Five Courses. CSEE&T Luciano Baresi, Andrea De Lucia, Antinisca Di Marco, Massimiliano Di Penta, Davide Di Ruscio, Leonardo Mariani, Daniela Micucci, Fabio Palomba, Maria Teresa Rossi, Fiorella Zampetti
2024	A*	`conf`	A Conceptual Framework for Quality Assurance of LLM-based Socio-critical Systems. ASE Luciano Baresi, Matteo Camilli, Tommaso Dolci, Giovanni Quattrocchi
2024	J	`jnl`	A qualitative and quantitative analysis of container engines. J. Syst. Softw. Luciano Baresi, Giovanni Quattrocchi, Nicholas Rasi
2024	J	`jnl`	Autoscaling Solutions for Cloud Applications Under Dynamic Workloads. IEEE Trans. Serv. Comput. Giovanni Quattrocchi, Emilio Incerto, Riccardo Pinciroli, Catia Trubiani, Luciano Baresi
2024	B	`conf`	COBOL: COmmunity-Based Organized Littering. SEAA Luciano Baresi, Simone Bianco, Amleto Di Salle, Ludovico Iovino, Leonardo Mariani, Daniela Micucci, Luciana Brasil Rebelo dos Santos, Maria Teresa Rossi, Raimondo Schettini
2024	J	`jnl`	Dependency-aware Resource Allocation for Serverless Functions at the Edge. CoRR Luciano Baresi, Giovanni Quattrocchi, Inacio Gaspar Ticongolo
2024	J	`jnl`	Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models. CoRR Luciano Baresi, Davide Yi Xian Hu, Andrea Stocco, Paolo Tonella
2024	—	`conf`	Efficient and Dependency-Aware Placement of Serverless Functions on Edge Infrastructures. ICSOC (1) Luciano Baresi, Giovanni Quattrocchi, Inacio Gaspar Ticongolo
2024	—	`conf`	How have iOS Development Technologies Changed over Time? A Study in Open-Source. MOBILESoft@ICSE Luciano Baresi, Massimiliano Di Penta, Giovanni Quattrocchi, Damian Andrew Tamburri
2024	Misc	`conf`	On Assessing Heterogeneity Management Solutions in Federated Learning Systems. UCC Luciano Baresi, Tommaso Dolci, Iyad Wehbe
2024	—	`ed.`	Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2024, Lisbon, Portugal, April 15-16, 2024 SEAMS@ICSE Luciano Baresi, Xiaoxing Ma, Liliana Pasquale
2024	J	`jnl`	Realizing self-adaptive systems via online reinforcement learning and feature-model-guided exploration. Computing Andreas Metzger, Clément Quinton, Zoltán Ádám Mann, Luciano Baresi, Klaus Pohl
2023	—	`conf`	2 ICSA-C Luciano Baresi, Giovanni Quattrocchi, Damian A. Tamburri
2023	J	`jnl`	A Multi-faceted Analysis of the Performance Variability of Virtual Machines. CoRR Luciano Baresi, Tommaso Dolci, Giovanni Quattrocchi, Nicholas Rasi
2023	J	`jnl`	A Qualitative and Quantitative Analysis of Container Engines. CoRR Luciano Baresi, Giovanni Quattrocchi, Nicholas Rasi
2023	J	`jnl`	A multi-faceted analysis of the performance variability of virtual machines. Softw. Pract. Exp. Luciano Baresi, Tommaso Dolci, Giovanni Quattrocchi, Nicholas Rasi
2023	—	`conf`	Advanced Serverless Edge Computing. ICSOC Workshops Inacio Gaspar Ticongolo, Luciano Baresi, Giovanni Quattrocchi
2023	B	`conf`	Architecting Artificial Intelligence for Autonomous Cars: The OpenPilot Framework. ECSA Luciano Baresi, Damian A. Tamburri
2023	—	`conf`	Dependency-Aware Resource Allocation for Serverless Functions at the Edge. ICSOC (1) Luciano Baresi, Giovanni Quattrocchi, Inacio Gaspar Ticongolo
2023	J	`jnl`	Open Challenges in Federated Machine Learning. IEEE Internet Comput. Luciano Baresi, Giovanni Quattrocchi, Nicholas Rasi
2023	A	`conf`	Understanding Fairness Requirements for ML-based Software. RE Luciano Baresi, Chiara Criscuolo, Carlo Ghezzi
2022	J	`jnl`	A Declarative Modelling Framework for the Deployment and Management of Blockchain Applications. CoRR Luciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri, Luca Terracciano
2022	A	`conf`	A declarative modelling framework for the deployment and management of blockchain applications. MoDELS Luciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri, Luca Terracciano
2022	J	`jnl`	Adopting microservice architecture: A decision support model based on genetically evolved multi-layer FCM. Appl. Soft Comput. Andreas Christoforou, Andreas S. Andreou, Martin Garriga, Luciano Baresi
2022	J	`jnl`	Microservice Architecture Practices and Experience: a Focused Look on Docker Configuration Files. CoRR Luciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri
2022	A	`conf`	NEPTUNE: Network- and GPU-aware Management of Serverless Functions at the Edge. SEAMS Luciano Baresi, Davide Yi Xian Hu, Giovanni Quattrocchi, Luca Terracciano
2022	J	`jnl`	NEPTUNE: Network- and GPU-aware Management of Serverless Functions at the Edge. CoRR Luciano Baresi, Davide Yi Xian Hu, Giovanni Quattrocchi, Luca Terracciano
2022	J	`jnl`	On How Bit-Vector Logic Can Help Verify LTL-Based Specifications. IEEE Trans. Software Eng. Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi, Luciano Baresi
2022	A	`conf`	Training and Serving Machine Learning Models at Scale. ICSOC Luciano Baresi, Giovanni Quattrocchi
2022	J	`jnl`	Training and Serving Machine Learning Models at Scale. CoRR Luciano Baresi, Giovanni Quattrocchi
2021	J	`jnl`	Evolution in dynamic software product lines. J. Softw. Evol. Process. Clément Quinton, Michael Vierhauser, Rick Rabiser, Luciano Baresi, Paul Grünbacher, Christian Schuhmayer
2021	C	`conf`	Feature-Modell-geführtes Online Reinforcement Learning für Selbst-adaptive Systeme. Software Engineering Andreas Metzger, Clément Quinton, Zoltán Ádám Mann, Luciano Baresi, Klaus Pohl
2021	—	`conf`	Federated Machine Learning as a Self-Adaptive Problem. SEAMS@ICSE Luciano Baresi, Giovanni Quattrocchi, Nicholas Rasi
2021	J	`jnl`	Fine-Grained Dynamic Resource Allocation for Big-Data Applications. IEEE Trans. Software Eng. Luciano Baresi, Alberto Leva, Giovanni Quattrocchi
2021	—	`conf`	IDEA: Runtime Collection of Android Data. ISSRE Workshops Luciano Baresi, Kostandin Caushi
2021	A	`conf`	KOSMOS: Vertical and Horizontal Resource Autoscaling for Kubernetes. ICSOC Luciano Baresi, Davide Yi Xian Hu, Giovanni Quattrocchi, Luca Terracciano
2021	A	`conf`	Resource Management for TensorFlow Inference. ICSOC Luciano Baresi, Giovanni Quattrocchi, Nicholas Rasi
2021	J	`jnl`	Trends and Challenges for Software Engineering in the Mobile Domain. IEEE Softw. Luciano Baresi, William G. Griswold, Grace A. Lewis, Marco Autili, Ivano Malavolta, Christine Julien
2020	A	`conf`	A Simulation-based Comparison between Industrial Autoscaling Solutions and COCOS for Cloud Applications. ICWS Luciano Baresi, Giovanni Quattrocchi
2020	A	`conf`	Automated Quality Assessment of Incident Tickets for Smart Service Continuity. ICSOC Luciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri, Willem-Jan van den Heuvel
2020	A	`conf`	COCOS: A Scalable Architecture for Containerized Heterogeneous Systems. ICSA Luciano Baresi, Giovanni Quattrocchi
2020	J	`jnl`	Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems. ACM Trans. Internet Techn. Christos Tsigkanos, Martin Garriga, Luciano Baresi, Carlo Ghezzi
2020	J	`jnl`	Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things. CoRR Christos Tsigkanos, Martin Garriga, Luciano Baresi, Carlo Ghezzi
2020	A	`conf`	Feature Model-Guided Online Reinforcement Learning for Self-Adaptive Services. ICSOC Andreas Metzger, Clément Quinton, Zoltán Ádám Mann, Luciano Baresi, Klaus Pohl
2020	—	`ch.`	Microservices: The Evolution and Extinction of Web Services? Microservices, Science and Engineering Luciano Baresi, Martin Garriga
2020	J	`jnl`	Using formal verification to evaluate the execution time of Spark applications. Formal Aspects Comput. Luciano Baresi, Marcello M. Bersani, Francesco Marconi, Giovanni Quattrocchi, Matteo Rossi
2019	J	`jnl`	A Unified Model for the Mobile-Edge-Cloud Continuum. ACM Trans. Internet Techn. Luciano Baresi, Danilo Filgueira Mendonça, Martin Garriga, Sam Guinea, Giovanni Quattrocchi
2019	—	`conf`	Big-Data Applications as Self-Adaptive Systems of Systems. ISSRE Workshops Luciano Baresi, Giovanni Denaro, Giovanni Quattrocchi
2019	J	`jnl`	Feature-Model-Guided Online Learning for Self-Adaptive Systems. CoRR Andreas Metzger, Clément Quinton, Zoltán Ádám Mann, Luciano Baresi, Klaus Pohl
2019	A	`conf`	PAPS: A Framework for Decentralized Self-management at the Edge. ICSOC Luciano Baresi, Danilo Filgueira Mendonça, Giovanni Quattrocchi
2019	—	`conf`	Symbolic execution-driven extraction of the parallel execution plans of Spark applications. ESEC/SIGSOFT FSE Luciano Baresi, Giovanni Denaro, Giovanni Quattrocchi
2019	—	`conf`	Towards a Serverless Platform for Edge Computing. ICFC Luciano Baresi, Danilo Filgueira Mendonça
2018	A	`conf`	A comparison framework for runtime monitoring approaches (journal-first abstract). SANER Rick Rabiser, Sam Guinea, Michael Vierhauser, Luciano Baresi, Paul Grünbacher
2018	—	`ch.`	Activity Diagrams. Encyclopedia of Database Systems (2nd ed.) Luciano Baresi
2018	—	`conf`	DevOps-Based Software Engineering for the Cloud. ESOCC Workshops Andreas Christoforou, Andreas S. Andreou, Luciano Baresi, Michael P. Papazoglou
2018	—	`conf`	LIQDROID: towards seamlessly distributed Android applications. MOBILESoft@ICSE Luciano Baresi, Anita Imani, Cristina Frà, Massimo Valla
2018	J	`jnl`	Multi-party business process compliance monitoring through IoT-enabled artifacts. Inf. Syst. Giovanni Meroni, Luciano Baresi, Marco Montali, Pierluigi Plebani
2018	—	`conf`	On the Timed Analysis of Big-Data Applications. NFM Francesco Marconi, Giovanni Quattrocchi, Luciano Baresi, Marcello M. Bersani, Matteo Rossi
2018	—	`conf`	TDeX: A Description Model for Heterogeneous Smart Devices and GUI Generation. iThings/GreenCom/CPSCom/SmartData Luciano Baresi, Mersedeh Sadeghi, Massimo Valla
2018	—	`conf`	Towards Vertically Scalable Spark Applications. Euro-Par Workshops Luciano Baresi, Giovanni Quattrocchi
2018	J	`jnl`	What Are We Missing When Testing Our Android Apps? Computer Konstantin Rubinov, Luciano Baresi
2017	—	`conf`	10th International Workshop on Dynamic Software Product Lines (DSPL'17): Adaptive Systems through Runtime Variability. SPLC (A) Jesper Andersson, Rafael Capilla, Luciano Baresi, Holger Eichelberger
2017	J	`jnl`	A Logic-Based Approach for the Verification of UML Timed Models. ACM Trans. Softw. Eng. Methodol. Luciano Baresi, Angelo Morzenti, Alfredo Motta, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi
2017	J	`jnl`	A comparison framework for runtime monitoring approaches. J. Syst. Softw. Rick Rabiser, Sam Guinea, Michael Vierhauser, Luciano Baresi, Paul Grünbacher
2017	J	`jnl`	Efficient Dynamic Updates of Distributed Components Through Version Consistency. IEEE Trans. Software Eng. Luciano Baresi, Carlo Ghezzi, Xiaoxing Ma, Valerio Panzica La Manna
2017	—	`conf`	Empowering Low-Latency Applications Through a Serverless Edge Computing Architecture. ESOCC Luciano Baresi, Danilo Filgueira Mendonça, Martin Garriga
2017	—	`conf`	MAGNET: A middleware for the proximal interaction of devices based on Wi-Fi direct. ICC Luciano Baresi, Naser Derakhshan, Sam Guinea, Francesco Arenella
2017	—	`conf`	Microservices Identification Through Interface Analysis. ESOCC Luciano Baresi, Martin Garriga, Alan De Renzis
2017	A	`conf`	Supporting the Decision of Migrating to Microservices Through Multi-layer Fuzzy Cognitive Maps. ICSOC Andreas Christoforou, Martin Garriga, Andreas S. Andreou, Luciano Baresi
2017	J	`jnl`	Test oracles for simulink-like models. Autom. Softw. Eng. Luciano Baresi, Márcio Eduardo Delamaro, Paulo Augusto Nardi
2017	—	`conf`	mArtifact: an Artifact-driven Process Monitoring Platform. BPM (Demos) Luciano Baresi, Claudio Di Ciccio, Jan Mendling, Giovanni Meroni, Pierluigi Plebani
2016	—	`conf`	A discrete-time feedback controller for containerized cloud applications. SIGSOFT FSE Luciano Baresi, Sam Guinea, Alberto Leva, Giovanni Quattrocchi
2016	J	`jnl`	A distributed architecture for efficient Web service discovery. Serv. Oriented Comput. Appl. Luciano Baresi, Matteo Miraz, Pierluigi Plebani
2016	—	`conf`	A3Droid: A framework for developing distributed crowdsensing. PerCom Workshops Luciano Baresi, Sam Guinea, Danilo Filgueira Mendonça
2016	—	`conf`	Analysis of Energy-Efficient Buildings through Simulation and Formal Methods. SIMPDA Maryam Ehsanpour, Luciano Baresi, Matteo Rossi, Ernesto Damiani
2016	J	`jnl`	GODA: A goal-oriented requirements engineering framework for runtime dependability analysis. Inf. Softw. Technol. Danilo Filgueira Mendonça, Genaína Nunes Rodrigues, Raian Ali, Vander Alves, Luciano Baresi
2016	Misc	`conf`	How bit-vector logic can help improve the verification of LTL specifications over infinite domains. SAC Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi
2016	—	`conf`	Learning and evolution in dynamic software product lines. SEAMS@ICSE Amir Molzam Sharifloo, Andreas Metzger, Clément Quinton, Luciano Baresi, Klaus Pohl
2016	—	`conf`	MicroCloud: A Container-Based Solution for Efficient Resource Management in the Cloud. SmartCloud Luciano Baresi, Sam Guinea, Giovanni Quattrocchi, Damian A. Tamburri
2016	—	`conf`	On Handling Business Process Anomalies through Artifact-based Modeling. CAiSE Forum Luciano Baresi, Giovanni Meroni, Pierluigi Plebani
2016	—	`conf`	Using the Guard-Stage-Milestone Notation for Monitoring BPMN-based Processes. BMMDS/EMMSAD Luciano Baresi, Giovanni Meroni, Pierluigi Plebani
2016	—	`conf`	Welcome Message from the Chairs of WICSA, QoSA and CBSE. CBSE Henry Muccini, K. Eric Harper, Robert Heinrich, Jan Bosch, Noël Plouzeau, Olaf Zimmermann, Luciano Baresi, Vittorio Cortellessa
2016	B	`conf`	WiDiSi: A Wi-Fi direct simulator. WCNC Luciano Baresi, Naser Derakhshan, Sam Guinea
2015	—	`ed.`	1st IEEE/ACM International Workshop on Big Data Software Engineering, BIGDSE 2015, Florence, Italy, May 23, 2015 BIGDSE@ICSE 2015 Luciano Baresi, Tim Menzies, Andreas Metzger, Thomas Zimmermann
2015	—	`conf`	1st International Workshop on Big Data Software Engineering (BIGDSE 2015). ICSE (2) Luciano Baresi, Tim Menzies, Andreas Metzger, Thomas Zimmermann
2015	—	`conf`	A GSM-based Approach for Monitoring Cross-Organization Business Processes Using Smart Objects. Business Process Management Workshops Luciano Baresi, Giovanni Meroni, Pierluigi Plebani
2015	B	`conf`	An Architecture-Centric Approach for Dynamic Smart Spaces. ECSA Luciano Baresi, Adnan Shahzada
2015	J	`jnl`	Building Software for the Internet of Things. IEEE Internet Comput. Luciano Baresi, Luca Mottola, Schahram Dustdar
2015	—	`conf`	Distributed Coordinated Adaptation of Cloud-Based Applications. SEFM Workshops Luciano Baresi, Sam Guinea, Giovanni Quattrocchi
2015	—	`conf`	Dynamically Evolving the Structural Variability of Dynamic Software Product Lines. SEAMS@ICSE Luciano Baresi, Clément Quinton
2015	—	`conf`	Efficient Scalable Verification of LTL Specifications. ICSE (1) Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi
2015	—	`ed.`	Engineering Multi-Agent Systems - Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers EMAS@AAMAS Matteo Baldoni, Luciano Baresi, Mehdi Dastani
2015	—	`conf`	Event-Based Monitoring of Service-Oriented Smart Spaces (Invited Paper). SOCA Luciano Baresi, Sam Guinea
2015	B	`conf`	Evolution in dynamic software product lines: challenges and perspectives. SPLC Clément Quinton, Rick Rabiser, Michael Vierhauser, Paul Grünbacher, Luciano Baresi
2015	J	`jnl`	Formal verification and validation of embedded systems: the UML-based MADES approach. Softw. Syst. Model. Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi
2015	—	`conf`	Mapping Formal Results Back to UML Semi-formal Model. ICEIS (2) Vinícius Pereira, Luciano Baresi, Márcio Eduardo Delamaro
2015	—	`conf`	SPF: A Middleware for Social Interaction in Mobile Proximity Environments. ICSE (2) Luciano Baresi, Laurent-Walter Goix, Sam Guinea, Valerio Panzica La Manna, Jacopo Aliprandi, Dario Archetti
2014	—	`conf`	A Comprehensive Resource Management Solution for Web-based Systems. ICAC Filippo Seracini, Massimiliano Menarini, Ingolf Krueger, Luciano Baresi, Sam Guinea, Giovanni Quattrocchi
2014	—	`ch.`	Cloud-Based Systems Need Multi-Level Management. Advanced Web Services Luciano Baresi, Domenico Bianculli, Sam Guinea
2014	—	`conf`	Consistent Runtime Evolution of Service-Based Business Processes. WICSA Luciano Baresi, Sam Guinea, Valerio Panzica La Manna
2014	J	`jnl`	Feature Interactions: The Next Generation (Dagstuhl Seminar 14281). Dagstuhl Reports Sven Apel, Joanne M. Atlee, Luciano Baresi, Pamela Zave
2014	—	`conf`	Flexible modular formalization of UML sequence diagrams. FormaliSE Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi
2014	J	`jnl`	Introduction to the Special Section on Best Papers from SEAMS 2012. ACM Trans. Auton. Adapt. Syst. Luciano Baresi, Hausi A. Müller
2014	B	`conf`	Self-adaptive systems, services, and product lines. SPLC Luciano Baresi
2014	—	`conf`	Short paper: Harmonizing heterogeneous components in SeSaMe. WF-IoT Luciano Baresi, Sam Guinea, Adnan Shahzada
2013	J	`jnl`	A journey through SMScom: self-managing situational computing. Comput. Sci. Res. Dev. Luciano Baresi, Carlo Ghezzi
2013	—	`conf`	A publication culture in software engineering (panel). ESEC/SIGSOFT FSE Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, Moshe Y. Vardi
2013	—	`ch.`	Achieving Self-adaptation through Dynamic Group Management. Assurances for Self-Adaptive Systems Luciano Baresi, Sam Guinea, Panteha Saeedi
2013	—	`conf`	Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems Bradley R. Schmerl, Jesper Andersson, Thomas Vogel, Myra B. Cohen, Cecília M. F. Rubira, Yuriy Brun, Alessandra Gorla, Franco Zambonelli, Luciano Baresi
2013	—	`conf`	Corrective Evolution of Adaptable Process Models. BMMDS/EMMSAD Luciano Baresi, Annapaola Marconi, Marco Pistore, Adina Sirbu
2013	J	`jnl`	Customizing Service Platforms (Dagstuhl Seminar 13171). Dagstuhl Reports Luciano Baresi, Andreas Rummler, Klaus Schmid
2013	A	`conf`	Event-Based Multi-level Service Monitoring. ICWS Luciano Baresi, Sam Guinea
2013	A	`conf`	IRET: Requirements for service platforms. RE Luciano Baresi, Gianluca Ripa, Liliana Pasquale
2013	—	`ed.`	Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013 ESEC/SIGSOFT FSE Bertrand Meyer, Luciano Baresi, Mira Mezini
2013	—	`conf`	SeSaMe: Towards a Semantic Self Adaptive Middleware for Smart Spaces. EMAS@AAMAS Luciano Baresi, Sam Guinea, Adnan Shahzada
2013	—	`conf`	Self-managing Overlays for Infrastructure-less Networks. SASO Luciano Baresi, Sam Guinea, Panteha Saeedi
2013	—	`conf`	Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Danny Weyns, Luciano Baresi, Nelly Bencomo, Yuriy Brun, Javier Cámara, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cecília M. F. Rubira, Éric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Franco Zambonelli
2013	B	`conf`	Specifying automated oracles for Simulink models. RTCSA Paulo Augusto Nardi, Márcio Eduardo Delamaro, Luciano Baresi
2013	J	`jnl`	Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata. J. Comput. Sci. Technol. Yu Zhou, Luciano Baresi, Matteo Rossi
2012	A	`ed.`	7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2012, Zurich, Switzerland, June 4-5, 2012 SEAMS Hausi A. Müller, Luciano Baresi
2012	J	`jnl`	A logic-based semantics for the verification of multi-diagram UML models. ACM SIGSOFT Softw. Eng. Notes Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi
2012	—	`conf`	Architectural Styles for Adaptive Systems: A Tutorial. SASO Luciano Baresi, Sam Guinea
2012	—	`conf`	Emerging Research Themes in Services-Oriented Systems. SRII Global Conference Luciano Baresi, Nikolaos Georgantas, Kristof Hamann, Valérie Issarny, Winfried Lamersdorf, Andreas Metzger, Barbara Pernici
2012	C	`conf`	Flexible logic-based Co-simulation of Modelica models. INDIN Luciano Baresi, Gianni Ferretti, Alberto Leva, Matteo Rossi
2012	—	`conf`	Green Move: Towards next generation sustainable smartphone-based vehicle sharing. SustainIT Giovanni Alli, Luciano Baresi, Andrea G. Bianchessi, Gianpaolo Cugola, Alessandro Margara, Angelo Morzenti, Carlo Ongini, Emanuele Panigati, Matteo Rossi, S. Rotondi, Sergio M. Savaresi, Fabio Alberto Schreiber, Alessandro Sivieri, Letizia Tanca, Edoardo G. Vannutelli Depoli
2012	B	`conf`	MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. ECMFA Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos
2012	—	`conf`	SCArVeS: services, clouds, and alternative design strategies for variant-rich software systems. SPLC (1) Karina Villela, Sholom Cohen, Luciano Baresi, Jaejoon Lee, Klaus Schmid
2012	J	`jnl`	Service-Oriented Dynamic Software Product Lines. Computer Luciano Baresi, Sam Guinea, Liliana Pasquale
2011	B	`conf`	A Component-Oriented Metamodel for the Modernization of Software Applications. ICECCS Luciano Baresi, Matteo Miraz
2011	J	`jnl`	A Service-Based Framework for Flexible Business Processes. IEEE Softw. Danilo Ardagna, Luciano Baresi, Sara Comai, Marco Comuzzi, Barbara Pernici
2011	—	`conf`	A-3: An Architectural Style for Coordinating Distributed Components. WICSA Luciano Baresi, Sam Guinea
2011	—	`conf`	A3: self-adaptation capabilities through groups and coordination. ISEC Luciano Baresi, Sam Guinea
2011	—	`ch.`	Adaptation Goals for Adaptive Service-Oriented Architectures. Relating Software Requirements and Architectures Luciano Baresi, Liliana Pasquale
2011	—	`conf`	An introduction to the workshop on requirements for systems, services, and systems of systems. RESS Luciano Baresi, Jane Cleland-Huang, James Lockerbie, Neil A. M. Maiden, Liliana Pasquale
2011	—	`conf`	CLAM: Managing cross-layer adaptation in service-based systems. SOCA Asli Zengin, Annapaola Marconi, Luciano Baresi, Marco Pistore
2011	J	`jnl`	Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens. IEEE Trans. Software Eng. Luciano Baresi, Carlo Ghezzi, Luca Mottola
2011	B	`conf`	SCArVeS: Services, Clouds, and Alternative Design Strategies for Variant-Rich Software Systems. SPLC Karina Villela, Sholom Cohen, Luciano Baresi
2011	J	`jnl`	Self-Supervising BPEL Processes. IEEE Trans. Software Eng. Luciano Baresi, Sam Guinea
2011	—	`conf`	Towards Adaptive Systems through Requirements@Runtime. [email protected] Liliana Pasquale, Luciano Baresi, Bashar Nuseibeh
2011	—	`conf`	Version-consistent dynamic reconfiguration of component-based distributed systems. SIGSOFT FSE Xiaoxing Ma, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna, Jian Lu
2010	A	`conf`	A roadmap towards sustainable self-aware service systems. SEAMS Schahram Dustdar, Christoph Dorn, Fei Li, Luciano Baresi, Giacomo Cabri, Cesare Pautasso, Franco Zambonelli
2010	—	`ch.`	Adaptation of Service-Based Systems. S-CUBE Book Raman Kazhamiakin, Salima Benbernou, Luciano Baresi, Pierluigi Plebani, Maike Uhlig, Olivier Barais
2010	A	`conf`	Adaptive Goals for Self-Adaptive Service Compositions. ICWS Luciano Baresi, Liliana Pasquale
2010	—	`conf`	Anquiro: enabling efficient static verification of sensor network software. SESENA@ICSE Luca Mottola, Thiemo Voigt, Fredrik Österlind, Joakim Eriksson, Luciano Baresi, Carlo Ghezzi
2010	J	`jnl`	Comprehensive Monitoring of BPEL Processes. IEEE Internet Comput. Luciano Baresi, Sam Guinea, Olivier Nano, George Spanoudakis
2010	—	`conf`	Consumer Mashups with Mashlight. ServiceWave Luciano Baresi, Sam Guinea
2010	—	`conf`	From Interaction Overview Diagrams to Temporal Logic. MoDELS (Workshops) Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi
2010	A	`conf`	Fuzzy Goals for Requirements-Driven Adaptation. RE Luciano Baresi, Liliana Pasquale, Paola Spoletini
2010	B	`conf`	Improving evolutionary testing by means of efficiency enhancement techniques. IEEE Congress on Evolutionary Computation Matteo Miraz, Pier Luca Lanzi, Luciano Baresi
2010	A	`conf`	Live goals for adaptive service compositions. SEAMS Luciano Baresi, Liliana Pasquale
2010	A	`conf`	Mashups with Mashlight. ICSOC Luciano Baresi, Sam Guinea
2010	—	`conf`	Model-Driven Management of Services. ECOWS Luciano Baresi, Mauro Caporuscio, Carlo Ghezzi, Sam Guinea
2010	—	`conf`	Software Engineering Processes for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems Jesper Andersson, Luciano Baresi, Nelly Bencomo, Rogério de Lemos, Alessandra Gorla, Paola Inverardi, Thomas Vogel
2010	—	`conf`	Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke
2010	—	`conf`	Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Bradley R. Schmerl, Dennis B. Smith, João Pedro Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke
2010	A	`conf`	TestFul: An Evolutionary Test Approach for Java. ICST Luciano Baresi, Pier Luca Lanzi, Matteo Miraz
2010	—	`conf`	TestFul: automatic unit-test generation for Java classes. ICSE (2) Luciano Baresi, Matteo Miraz
2010	—	`ch.`	The CASCADAS Framework for Autonomic Communications. Autonomic Communication Luciano Baresi, Antonio Di Ferdinando, Antonio Manzalini, Franco Zambonelli
2010	—	`conf`	The disappearing boundary between development-time and run-time. FoSER Luciano Baresi, Carlo Ghezzi
2010	—	`conf`	Towards the UML-Based Formal Verification of Timed Systems. FMCO Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi
2009	—	`ch.`	Activity Diagrams. Encyclopedia of Database Systems Luciano Baresi
2009	A	`conf`	Dynamo + Astro: An Integrated Approach for BPEL Monitoring. ICWS Luciano Baresi, Sam Guinea, Marco Pistore, Michele Trainotti
2009	J	`jnl`	Editorial. J. Web Eng. Luciano Baresi, Piero Fraternali, Geert-Jan Houben
2009	—	`conf`	Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. FMOODS/FORTE Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini
2009	—	`conf`	Multi-dimensional service compositions. ICSE Companion Luciano Baresi, Elisabetta Di Nitto, Sam Guinea, Schahram Dustdar
2009	—	`conf`	Multi-level SLAs for Harmonized Management in the Future Internet. Future Internet Assembly Wolfgang Theilmann, Luciano Baresi
2009	—	`ed.`	Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings ICSOC/ServiceWave Luciano Baresi, Chi-Hung Chi, Jun Suzuki
2009	A	`conf`	TestFul: using a hybrid evolutionary algorithm for testing stateful systems. GECCO Matteo Miraz, Pier Luca Lanzi, Luciano Baresi
2009	J	`jnl`	Towards automated verification of layered graph transformation specifications. IET Softw. Vahid Rafe, Adel Torkaman Rahmani, Luciano Baresi, Paola Spoletini
2008	A	`conf`	A Flexible and Semantic-Aware Publication Infrastructure for Web Services. CAiSE Luciano Baresi, Matteo Miraz, Pierluigi Plebani
2008	—	`conf`	A dynamic and reactive approach to the supervision of BPEL processes. ISEC Luciano Baresi, Sam Guinea
2008	—	`conf`	An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. ServiceWave Luciano Baresi, Sam Guinea, Raman Kazhamiakin, Marco Pistore
2008	A	`conf`	Integrated and Composable Supervision of BPEL Processes. ICSOC Luciano Baresi, Sam Guinea, Liliana Pasquale
2008	A	`conf`	Loose Compositions for Autonomic Systems. SC Luciano Baresi, Giordano Tamburrelli
2008	—	`conf`	Self-adaptive Web Service Compositions. EDOCW Luciano Baresi
2008	A	`conf`	Service-Centric Systems and Requirements Engineering. RE Luciano Baresi, Neil A. M. Maiden, Peter Sawyer
2008	—	`conf`	Towards a unified framework for the monitoring and recovery of BPEL processes. TAV-WEB Luciano Baresi, Sam Guinea, Liliana Pasquale
2008	A	`conf`	Towards decentralized self-adaptive component-based systems. SEAMS Luciano Baresi, Sam Guinea, Giordano Tamburrelli
2008	J	`jnl`	Using Graph Transformation Systems to Specify and Verify Data Abstractions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga
2007	—	`conf`	A Fault Taxonomy for Web Service Composition. ICSOC Workshops K. S. May Chan, Judith Bishop, Johan Steyn, Luciano Baresi, Sam Guinea
2007	—	`conf`	A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. Lipari Summer School Domenico Bianculli, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, Sam Guinea
2007	A	`conf`	A Timed Extension of WSCoL. ICWS Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini
2007	J	`jnl`	A framework for the deployment of adaptable web service compositions. Serv. Oriented Comput. Appl. Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi, Sam Guinea
2007	—	`conf`	A service-based infrastructure for advanced logistics. IW-SOSWE Luciano Baresi, Daniele Braga, Marco Comuzzi, Filippo Pacifici, Pierluigi Plebani
2007	—	`conf`	An Efficient Solution for Model Checking Graph Transformation Systems. GT-VC@CONCUR Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini
2007	C	`conf`	Distributed BPEL Processes. SEKE Luciano Baresi, Andrea Maurino, Stefano Modafferi
2007	—	`conf`	Dynamo and Self-Healing BPEL Compositions. ICSE Companion Luciano Baresi, Sam Guinea
2007	C	`conf`	Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini
2007	—	`ch.`	Introduction. Test and Analysis of Web Services Luciano Baresi, Elisabetta Di Nitto
2007	A*	`conf`	On Accurate Automatic Verification of Publish-Subscribe Architectures. ICSE Luciano Baresi, Carlo Ghezzi, Luca Mottola
2007	—	`conf`	Playing with time in publish-subscribe using a domain-specific model checker. SAVCBS Luciano Baresi, Giorgio Gerosa, Carlo Ghezzi, Luca Mottola
2007	A	`conf`	Policies and Aspects for the Supervision of BPEL Processes. CAiSE Luciano Baresi, Sam Guinea, Pierluigi Plebani
2007	—	`conf`	Self-healing BPEL processes with Dynamo and the JBoss rule engine. ESSPE Luciano Baresi, Sam Guinea, Liliana Pasquale
2007	—	`book`	Test and Analysis of Web Services Test and Analysis of Web Services Luciano Baresi, Elisabetta Di Nitto
2007	J	`jnl`	Three empirical studies on estimating the design effort of Web applications. ACM Trans. Softw. Eng. Methodol. Luciano Baresi, Sandro Morasca
2007	—	`ch.`	Towards Self-healing Composition of Services. Contributions to Ubiquitous Computing Luciano Baresi, Carlo Ghezzi, Sam Guinea
2007	J	`jnl`	Validation of web service compositions. IET Softw. Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini
2007	B	`ed.`	Web Engineering, 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings ICWE Luciano Baresi, Piero Fraternali, Geert-Jan Houben
2007	—	`conf`	Web Services and Web 2.0: Married or Fiancés? WSE Luciano Baresi
2006	A	`conf`	A Distributed Approach for the Federation of Heterogeneous Registries. ICSOC Luciano Baresi, Matteo Miraz
2006	B	`conf`	Business Process Monitoring for Dependability. WADS Luciano Baresi, Sam Guinea, Marco Plebani
2006	B	`ed.`	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 Luciano Baresi, Reiko Heckel
2006	B	`conf`	On the Use of Alloy to Analyze Graph Transformation Systems. ICGT Luciano Baresi, Paola Spoletini
2006	J	`jnl`	Style-based modeling and refinement of service-oriented architectures. Softw. Syst. Model. Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró
2006	J	`jnl`	Toward Open-World Software: Issue and Challenges. Computer Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi
2006	J	`jnl`	Towards Distributed BPEL Orchestrations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Luciano Baresi, Andrea Maurino, Stefano Modafferi
2006	C	`conf`	Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. FORTE Luciano Baresi, Carlo Ghezzi, Luca Mottola
2006	C	`conf`	Towards Open-World Software: Issue and Challenges. SEW Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi
2006	C	`conf`	Towards a Model-driven Approach to Develop Applications based on Physical Active Objects. APSEC Luciano Baresi, Paolo Beretta, Roberto Fraccapani, Carlo Ghezzi, Filippo Pacifici
2006	A*	`conf`	Tutorial: towards dynamic web services. ICSE Luciano Baresi, Sam Guinea
2006	—	`conf`	Verification of Model Transformations: A Case Study with BPEL. TGC Luciano Baresi, Karsten Ehrig, Reiko Heckel
2006	—	`conf`	W2000 meets J2ME for the Fast Prototyping of Mobile Web Applications. IASTED Conf. on Software Engineering Luciano Baresi, Luca Mainetti
2006	—	`ch.`	W2000: A Modelling Notation for Complex Web Applications. Web Engineering Luciano Baresi, Sebastiano Colazzo, Luca Mainetti, Sandro Morasca
2005	B	`conf`	An Introduction to Self-Healing Web Services. ICECCS Luciano Baresi, Sam Guinea
2005	A	`conf`	Dynamo: Dynamic Monitoring of WS-BPEL Processes. ICSOC Luciano Baresi, Sam Guinea
2005	Misc	`conf`	First experiences on constraining consistency and adaptivity of W2000 models. SAC Luciano Baresi, Sebastiano Colazzo, Luca Mainetti
2005	J	`jnl`	Formal interpreters for diagram notations. ACM Trans. Softw. Eng. Methodol. Luciano Baresi, Mauro Pezzè
2005	—	`conf`	From Graph Transformation to Software Engineering and Back. Formal Methods in Software and Systems Modeling Luciano Baresi, Mauro Pezzè
2005	Misc	`conf`	Graph transformation to infer schemata from XML documents. SAC Luciano Baresi, Elisa Quintarelli
2005	—	`conf`	Hybrid service-oriented architectures: a case-study in the automotive domain. SEM Luciano Baresi, Carlo Ghezzi, Antonio Miele, Matteo Miraz, Andrea Naggi, Filippo Pacifici
2005	J	`jnl`	Special issue on ubiquitous mobile information and collaboration systems (UMICS). Pers. Ubiquitous Comput. Luciano Baresi, Schahram Dustdar, Harald C. Gall, Maristella Matera
2005	C	`conf`	The MAIS approach to web service design. EMMSAD Marzia Adorni, Francesca Arcelli, Danilo Ardagna, Luciano Baresi, Carlo Batini, Cinzia Cappiello, Marco Comerio, Marco Comuzzi, Flavio De Paoli, Chiara Francalanci, Paolo Losi, Simone Grega, Andrea Maurino, Stefano Modafferi, Barbara Pernici, Claudia Raibulet, Francesco Tisato
2005	A	`conf`	Towards Dynamic Monitoring of WS-BPEL Processes. ICSOC Luciano Baresi, Sam Guinea
2005	B	`conf`	Towards Model-Driven Testing of a Web Application Generator. ICWE Luciano Baresi, Piero Fraternali, Massimo Tisi, Sandro Morasca
2005	—	`ed.`	Ubiquitous Mobile Information and Collaboration Systems, Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers UMICS Luciano Baresi, Schahram Dustdar, Harald C. Gall, Maristella Matera
2005	—	`conf`	WS-Policy for Service Monitoring. TES Luciano Baresi, Sam Guinea, Pierluigi Plebani
2004	—	`conf`	An Introduction to Software Testing. FoVMT Luciano Baresi, Mauro Pezzè
2004	—	`conf`	Petri Nets as Semantic Domain for Diagram Notations. PNGT@ICGT Luciano Baresi, Mauro Pezzè
2004	A	`conf`	Smart monitors for composed services. ICSOC Luciano Baresi, Carlo Ghezzi, Sam Guinea
2004	—	`conf`	Style-Based Refinement of Dynamic Software Architectures. WICSA Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró
2004	—	`conf`	Toward Translating Design Constraints to Run-Time Assertions. TACoS Luciano Baresi, Michal Young
2004	B	`conf`	Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. ICGT Luciano Baresi, Reiko Heckel
2004	—	`conf`	Validation of Component and Service Federations in Automotive Software Applications. ASWSD Luciano Baresi, Carlo Ghezzi
2004	—	`conf`	Workflow Partitioning in Mobile Information Systems. MOBIS Luciano Baresi, Andrea Maurino, Stefano Modafferi
2003	—	`ed.`	4th International Conference on Web Information Systems Engineering Workshops, WISE 2003 Workshops, Rome, Italy, December 13, 2003 WISE Workshops Giuseppe Santucci, Wolfgang Klas, Michela Bertolotto, Coral Calero, Luciano Baresi
2003	—	`conf`	Context-Aware Composition of E-services. TES Luciano Baresi, Devis Bianchini, Valeria De Antonellis, Maria Grazia Fugini, Barbara Pernici, Pierluigi Plebani
2003	—	`conf`	Estimating the Design Effort of Web Applications. IEEE METRICS Luciano Baresi, Sandro Morasca, Paolo Paolini
2003	—	`conf`	Modeling and validation of service-oriented architectures: application vs. style. ESEC / SIGSOFT FSE Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró
2003	—	`conf`	UMICS '03 Preface. CAiSE Workshops Luciano Baresi, Sara Comai, Schahram Dustdar, Harald C. Gall, Maristella Matera
2002	B	`conf`	A Toolbox for Automating Visual Software Engineering. FASE Luciano Baresi, Mauro Pezzè
2002	B	`conf`	An Empirical Study on the Design Effort of Web Applications. WISE Luciano Baresi, Sandro Morasca, Paolo Paolini
2002	C	`conf`	Assertions to better specify the amazon bug. SEKE Luciano Baresi, Giovanni Denaro, Luca Mainetti, Paolo Paolini
2002	B	`conf`	Meta-modeling Techniques Meet Web Application Design Tools. FASE Luciano Baresi, Franca Garzotto, Luca Mainetti, Paolo Paolini
2002	—	`conf`	PLCTools: Graph Transformation Meets PLC Design. GraBaTs Luciano Baresi, Marco Mauri, Mauro Pezzè
2002	B	`conf`	Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. ICGT Luciano Baresi, Reiko Heckel
2001	—	`conf`	Extending UML for Modeling Web Applications. HICSS Luciano Baresi, Franca Garzotto, Paolo Paolini
2001	—	`conf`	Improving UML with Petri nets. UNIGRA Luciano Baresi, Mauro Pezzè
2001	—	`ed.`	International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT 2001, Satellite Workshop of ICALP 2001, Crete, Greece, July 12-13, 2001 GT-VMT@ICALP Luciano Baresi, Mauro Pezzè, Gabriele Taentzer
2001	—	`conf`	Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001. GT-VMT@ICALP Luciano Baresi, Mauro Pezzè, Gabriele Taentzer
2001	—	`conf`	On Formalizing UML with High-Level Petri Nets. Concurrent Object-Oriented Programming and Petri Nets Luciano Baresi, Mauro Pezzè
2001	—	`conf`	Supporting Reusable Web Design with HDM-Edit. HICSS Franca Garzotto, Paolo Paolini, Luciano Baresi
2000	—	`conf`	Can Graph Grammars Make Formal Methods More Human? ICALP Satellite Workshops Mauro Pezzè, Luciano Baresi
2000	—	`conf`	From Web Sites to Web Applications: New Issues for Conceptual Modeling. ER (Workshops) Luciano Baresi, Franca Garzotto, Paolo Paolini
2000	B	`conf`	PLCTOOLS: design, formal validation, and code generation for programmable controllers. SMC Luciano Baresi, Marco Mauri, Antonello Monti, Mauro Pezzè
1999	—	`conf`	A Formal Definition of Stuctured Analysis with Programmable Graph Grammars. AGTIVE Luciano Baresi, Mauro Pezzè
1999	—	`conf`	WIDE workflow development methodology. WACC Luciano Baresi, Fabio Casati, Silvana Castano, Maria Grazia Fugini, Isabelle Mirbel, Barbara Pernici
1998	J	`jnl`	Toward Formalizing Structured Analysis. ACM Trans. Softw. Eng. Methodol. Luciano Baresi, Mauro Pezzè
1997	A*	`conf`	Introducing Formal Specification Methods in Industrial Practice. ICSE Luciano Baresi, Alessandro Orso, Mauro Pezzè
1997	B	`conf`	LEMMA: a language for easy medical models analysis. CBMS Luciano Baresi, Manuele Di Paola, Antonio Gargiulo, Mauro Pezzè
1997	J	`jnl`	Software methodologies in VHDL code analysis. J. Syst. Archit. Cristiana Bolchini, Luciano Baresi
1996	—	`conf`	Software methodologies for VHDL code static analysis based on flow graphs. EURO-DAC Donatella Sciuto, Luciano Baresi, Cristiana Bolchini
1995	B	`conf`	Customizable notations for kernel formalisms. ICECCS Luciano Baresi, Alessandro Orso, Mauro Pezzè
1995	J	`jnl`	Experiences in the Implementation of a Process-centered Software Engineering Environment Using Object-Oriented Technology. Theory Pract. Object Syst. Sergio Bandinelli, Luciano Baresi, Alfonso Fuggetta, Luigi Lavazza
1995	—	`conf`	IDERS: an integrated environment for the development of hard real-time systems. RTS Alejandro Alonso, Hanne Christensen, Luciano Baresi, Marko Heikkinen
1993	—	`conf`	Requirements and Early Experiences in the Implementation of the SPADE Repository using Object-Oriented Technology. ISOTAS Sergio Bandinelli, Luciano Baresi, Alfonso Fuggetta, Luigi Lavazza
1993	—	`conf`	Requirements and Early Experiences in the Implementation of the SPADE Repository. ISPW Sergio Bandinelli, Luciano Baresi, Alfonso Fuggetta, Luigi Lavazza