default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLuciano Baresi
Person information
- affiliation: Polytechnic University of Milan, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j47]Andreas Metzger, Clément Quinton, Zoltán Ádám Mann
, Luciano Baresi, Klaus Pohl:
Realizing self-adaptive systems via online reinforcement learning and feature-model-guided exploration. Computing 106(4): 1251-1272 (2024)- [j46]Luciano Baresi, Giovanni Quattrocchi, Nicholas Rasi:
A qualitative and quantitative analysis of container engines. J. Syst. Softw. 210: 111965 (2024) - [j45]Luciano Baresi, Davide Yi Xian Hu, Giovanni Quattrocchi, Luca Terracciano:
NEPTUNE: A Comprehensive Framework for Managing Serverless Functions at the Edge. ACM Trans. Auton. Adapt. Syst. 19(1): 7:1-7:32 (2024) - [j44]Giovanni Quattrocchi, Emilio Incerto, Riccardo Pinciroli, Catia Trubiani, Luciano Baresi:
Autoscaling Solutions for Cloud Applications Under Dynamic Workloads. IEEE Trans. Serv. Comput. 17(3): 804-820 (2024) - [c178]Luciano Baresi, Massimiliano Di Penta, Giovanni Quattrocchi, Damian Andrew Tamburri:
How have iOS Development Technologies Changed over Time? A Study in Open-Source. MOBILESoft@ICSE 2024: 33-42 - [e12]Luciano Baresi, Xiaoxing Ma, Liliana Pasquale:
Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2024, Lisbon, Portugal, April 15-16, 2024. ACM 2024 [contents] - [i13]Luciano Baresi, Giovanni Quattrocchi, Inacio Gaspar Ticongolo:
Dependency-aware Resource Allocation for Serverless Functions at the Edge. CoRR abs/2401.01025 (2024) - [i12]Luciano Baresi, Davide Yi Xian Hu, Andrea Stocco, Paolo Tonella:
Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models. CoRR abs/2409.13661 (2024) - 2023
- [j43]Luciano Baresi, Giovanni Quattrocchi, Nicholas Rasi:
Open Challenges in Federated Machine Learning. IEEE Internet Comput. 27(2): 20-27 (2023) - [j42]Luciano Baresi, Tommaso Dolci, Giovanni Quattrocchi, Nicholas Rasi:
A multi-faceted analysis of the performance variability of virtual machines. Softw. Pract. Exp. 53(11): 2067-2091 (2023) - [c177]Luciano Baresi, Damian A. Tamburri:
Architecting Artificial Intelligence for Autonomous Cars: The OpenPilot Framework. ECSA 2023: 189-204 - [c176]Luciano Baresi, Giovanni Quattrocchi, Damian A. Tamburri:
2nd International Workshop on the Foundations of Infrastructure Specification and Testing : FIST 2023. ICSA-C 2023: 317 - [c175]Inacio Gaspar Ticongolo, Luciano Baresi, Giovanni Quattrocchi:
Advanced Serverless Edge Computing. ICSOC Workshops 2023: 285-291 - [c174]Luciano Baresi, Giovanni Quattrocchi, Inacio Gaspar Ticongolo:
Dependency-Aware Resource Allocation for Serverless Functions at the Edge. ICSOC (1) 2023: 347-362 - [c173]Luciano Baresi, Chiara Criscuolo, Carlo Ghezzi:
Understanding Fairness Requirements for ML-based Software. RE 2023: 341-346 - [i11]Luciano Baresi, Giovanni Quattrocchi, Nicholas Rasi:
A Qualitative and Quantitative Analysis of Container Engines. CoRR abs/2303.04080 (2023) - [i10]Luciano Baresi, Tommaso Dolci, Giovanni Quattrocchi, Nicholas Rasi:
A Multi-faceted Analysis of the Performance Variability of Virtual Machines. CoRR abs/2309.11959 (2023) - 2022
- [j41]Andreas Christoforou, Andreas S. Andreou, Martin Garriga, Luciano Baresi:
Adopting microservice architecture: A decision support model based on genetically evolved multi-layer FCM. Appl. Soft Comput. 114: 108066 (2022) - [j40]Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi, Luciano Baresi:
On How Bit-Vector Logic Can Help Verify LTL-Based Specifications. IEEE Trans. Software Eng. 48(4): 1154-1168 (2022) - [c172]Luciano Baresi, Giovanni Quattrocchi:
Training and Serving Machine Learning Models at Scale. ICSOC 2022: 669-683 - [c171]Luciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri, Luca Terracciano:
A declarative modelling framework for the deployment and management of blockchain applications. MoDELS 2022: 311-321 - [c170]Luciano Baresi, Davide Yi Xian Hu, Giovanni Quattrocchi, Luca Terracciano:
NEPTUNE: Network- and GPU-aware Management of Serverless Functions at the Edge. SEAMS 2022: 144-155 - [i9]Luciano Baresi, Davide Yi Xian Hu, Giovanni Quattrocchi, Luca Terracciano:
NEPTUNE: Network- and GPU-aware Management of Serverless Functions at the Edge. CoRR abs/2205.04320 (2022) - [i8]Luciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri, Luca Terracciano:
A Declarative Modelling Framework for the Deployment and Management of Blockchain Applications. CoRR abs/2209.05092 (2022) - [i7]Luciano Baresi, Giovanni Quattrocchi:
Training and Serving Machine Learning Models at Scale. CoRR abs/2211.05516 (2022) - [i6]Luciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri:
Microservice Architecture Practices and Experience: a Focused Look on Docker Configuration Files. CoRR abs/2212.03107 (2022) - 2021
- [j39]Clément Quinton, Michael Vierhauser, Rick Rabiser, Luciano Baresi, Paul Grünbacher, Christian Schuhmayer:
Evolution in dynamic software product lines. J. Softw. Evol. Process. 33(2) (2021) - [j38]Luciano Baresi, William G. Griswold, Grace A. Lewis, Marco Autili, Ivano Malavolta, Christine Julien:
Trends and Challenges for Software Engineering in the Mobile Domain. IEEE Softw. 38(1): 88-96 (2021) - [j37]Luciano Baresi, Alberto Leva, Giovanni Quattrocchi:
Fine-Grained Dynamic Resource Allocation for Big-Data Applications. IEEE Trans. Software Eng. 47(8): 1668-1682 (2021) - [c169]Luciano Baresi, Giovanni Quattrocchi, Nicholas Rasi:
Resource Management for TensorFlow Inference. ICSOC 2021: 238-253 - [c168]Luciano Baresi, Davide Yi Xian Hu, Giovanni Quattrocchi, Luca Terracciano:
KOSMOS: Vertical and Horizontal Resource Autoscaling for Kubernetes. ICSOC 2021: 821-829 - [c167]Luciano Baresi, Kostandin Caushi:
IDEA: Runtime Collection of Android Data. ISSRE Workshops 2021: 137-143 - [c166]Andreas Metzger, Clément Quinton, Zoltán Ádám Mann, Luciano Baresi, Klaus Pohl:
Feature-Modell-geführtes Online Reinforcement Learning für Selbst-adaptive Systeme. Software Engineering 2021: 75-76 - [c165]Luciano Baresi, Giovanni Quattrocchi, Nicholas Rasi:
Federated Machine Learning as a Self-Adaptive Problem. SEAMS@ICSE 2021: 41-47 - 2020
- [j36]Luciano Baresi, Marcello M. Bersani, Francesco Marconi, Giovanni Quattrocchi, Matteo Rossi:
Using formal verification to evaluate the execution time of Spark applications. Formal Aspects Comput. 32(1): 33-70 (2020) - [j35]Christos Tsigkanos, Martin Garriga, Luciano Baresi, Carlo Ghezzi:
Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems. ACM Trans. Internet Techn. 20(2): 17:1-17:23 (2020) - [c164]Luciano Baresi, Giovanni Quattrocchi:
COCOS: A Scalable Architecture for Containerized Heterogeneous Systems. ICSA 2020: 103-113 - [c163]Andreas Metzger, Clément Quinton, Zoltán Ádám Mann, Luciano Baresi, Klaus Pohl:
Feature Model-Guided Online Reinforcement Learning for Self-Adaptive Services. ICSOC 2020: 269-286 - [c162]Luciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri, Willem-Jan van den Heuvel:
Automated Quality Assessment of Incident Tickets for Smart Service Continuity. ICSOC 2020: 492-499 - [c161]Luciano Baresi, Giovanni Quattrocchi:
A Simulation-based Comparison between Industrial Autoscaling Solutions and COCOS for Cloud Applications. ICWS 2020: 94-101 - [p9]Luciano Baresi, Martin Garriga:
Microservices: The Evolution and Extinction of Web Services? Microservices, Science and Engineering 2020: 3-28 - [i5]Christos Tsigkanos, Martin Garriga, Luciano Baresi, Carlo Ghezzi:
Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things. CoRR abs/2004.11428 (2020)
2010 – 2019
- 2019
- [j34]Luciano Baresi, Danilo Filgueira Mendonça, Martin Garriga, Sam Guinea, Giovanni Quattrocchi:
A Unified Model for the Mobile-Edge-Cloud Continuum. ACM Trans. Internet Techn. 19(2): 29:1-29:21 (2019) - [c160]Luciano Baresi, Danilo Filgueira Mendonça:
Towards a Serverless Platform for Edge Computing. ICFC 2019: 1-10 - [c159]Luciano Baresi, Danilo Filgueira Mendonça, Giovanni Quattrocchi:
PAPS: A Framework for Decentralized Self-management at the Edge. ICSOC 2019: 508-522 - [c158]Luciano Baresi, Giovanni Denaro, Giovanni Quattrocchi:
Big-Data Applications as Self-Adaptive Systems of Systems. ISSRE Workshops 2019: 155-162 - [c157]Luciano Baresi, Giovanni Denaro, Giovanni Quattrocchi:
Symbolic execution-driven extraction of the parallel execution plans of Spark applications. ESEC/SIGSOFT FSE 2019: 246-256 - [i4]Andreas Metzger, Clément Quinton, Zoltán Ádám Mann, Luciano Baresi, Klaus Pohl:
Feature-Model-Guided Online Learning for Self-Adaptive Systems. CoRR abs/1907.09158 (2019) - 2018
- [j33]Konstantin Rubinov, Luciano Baresi:
What Are We Missing When Testing Our Android Apps? Computer 51(4): 60-68 (2018) - [j32]Giovanni Meroni, Luciano Baresi, Marco Montali, Pierluigi Plebani:
Multi-party business process compliance monitoring through IoT-enabled artifacts. Inf. Syst. 73: 61-78 (2018) - [c156]Andreas Christoforou, Andreas S. Andreou, Luciano Baresi, Michael P. Papazoglou:
DevOps-Based Software Engineering for the Cloud. ESOCC Workshops 2018: 226-232 - [c155]Luciano Baresi, Giovanni Quattrocchi:
Towards Vertically Scalable Spark Applications. Euro-Par Workshops 2018: 106-118 - [c154]Luciano Baresi, Anita Imani, Cristina Frà, Massimo Valla:
LIQDROID: towards seamlessly distributed Android applications. MOBILESoft@ICSE 2018: 166-175 - [c153]Luciano Baresi, Mersedeh Sadeghi, Massimo Valla:
TDeX: A Description Model for Heterogeneous Smart Devices and GUI Generation. iThings/GreenCom/CPSCom/SmartData 2018: 97-104 - [c152]Francesco Marconi, Giovanni Quattrocchi, Luciano Baresi, Marcello M. Bersani, Matteo Rossi:
On the Timed Analysis of Big-Data Applications. NFM 2018: 315-332 - [c151]Rick Rabiser, Sam Guinea, Michael Vierhauser, Luciano Baresi, Paul Grünbacher:
A comparison framework for runtime monitoring approaches (journal-first abstract). SANER 2018: 472 - [r2]Luciano Baresi:
Activity Diagrams. Encyclopedia of Database Systems (2nd ed.) 2018 - 2017
- [j31]Luciano Baresi, Márcio Eduardo Delamaro, Paulo Augusto Nardi:
Test oracles for simulink-like models. Autom. Softw. Eng. 24(2): 369-391 (2017) - [j30]Rick Rabiser, Sam Guinea, Michael Vierhauser, Luciano Baresi, Paul Grünbacher:
A comparison framework for runtime monitoring approaches. J. Syst. Softw. 125: 309-321 (2017) - [j29]Luciano Baresi, Angelo Morzenti, Alfredo Motta, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi:
A Logic-Based Approach for the Verification of UML Timed Models. ACM Trans. Softw. Eng. Methodol. 26(2): 7:1-7:47 (2017) - [j28]Luciano Baresi, Carlo Ghezzi, Xiaoxing Ma, Valerio Panzica La Manna:
Efficient Dynamic Updates of Distributed Components Through Version Consistency. IEEE Trans. Software Eng. 43(4): 340-358 (2017) - [c150]Luciano Baresi, Claudio Di Ciccio, Jan Mendling, Giovanni Meroni, Pierluigi Plebani:
mArtifact: an Artifact-driven Process Monitoring Platform. BPM (Demos) 2017 - [c149]Luciano Baresi, Martin Garriga, Alan De Renzis:
Microservices Identification Through Interface Analysis. ESOCC 2017: 19-33 - [c148]Luciano Baresi, Danilo Filgueira Mendonça, Martin Garriga:
Empowering Low-Latency Applications Through a Serverless Edge Computing Architecture. ESOCC 2017: 196-210 - [c147]Luciano Baresi, Naser Derakhshan, Sam Guinea, Francesco Arenella:
MAGNET: A middleware for the proximal interaction of devices based on Wi-Fi direct. ICC 2017: 1-7 - [c146]Andreas Christoforou, Martin Garriga, Andreas S. Andreou, Luciano Baresi:
Supporting the Decision of Migrating to Microservices Through Multi-layer Fuzzy Cognitive Maps. ICSOC 2017: 471-480 - [c145]Jesper Andersson, Rafael Capilla, Luciano Baresi, Holger Eichelberger:
10th International Workshop on Dynamic Software Product Lines (DSPL'17): Adaptive Systems through Runtime Variability. SPLC (A) 2017: 246 - 2016
- [j27]Danilo Filgueira Mendonça, Genaína Nunes Rodrigues, Raian Ali, Vander Alves, Luciano Baresi:
GODA: A goal-oriented requirements engineering framework for runtime dependability analysis. Inf. Softw. Technol. 80: 245-264 (2016) - [j26]Luciano Baresi, Matteo Miraz, Pierluigi Plebani:
A distributed architecture for efficient Web service discovery. Serv. Oriented Comput. Appl. 10(1): 1-17 (2016) - [c144]Luciano Baresi, Giovanni Meroni, Pierluigi Plebani:
On Handling Business Process Anomalies through Artifact-based Modeling. CAiSE Forum 2016: 9-16 - [c143]Luciano Baresi, Giovanni Meroni, Pierluigi Plebani:
Using the Guard-Stage-Milestone Notation for Monitoring BPMN-based Processes. BMMDS/EMMSAD 2016: 18-33 - [c142]Henry Muccini, K. Eric Harper, Robert Heinrich, Jan Bosch, Noël Plouzeau, Olaf Zimmermann, Luciano Baresi, Vittorio Cortellessa:
Welcome Message from the Chairs of WICSA, QoSA and CBSE. CBSE 2016: vii-viii - [c141]Amir Molzam Sharifloo, Andreas Metzger, Clément Quinton, Luciano Baresi, Klaus Pohl:
Learning and evolution in dynamic software product lines. SEAMS@ICSE 2016: 158-164 - [c140]Luciano Baresi, Sam Guinea, Danilo Filgueira Mendonça:
A3Droid: A framework for developing distributed crowdsensing. PerCom Workshops 2016: 1-6 - [c139]Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi:
How bit-vector logic can help improve the verification of LTL specifications over infinite domains. SAC 2016: 1666-1673 - [c138]Luciano Baresi, Sam Guinea, Alberto Leva, Giovanni Quattrocchi:
A discrete-time feedback controller for containerized cloud applications. SIGSOFT FSE 2016: 217-228 - [c137]Maryam Ehsanpour, Luciano Baresi, Matteo Rossi, Ernesto Damiani:
Analysis of Energy-Efficient Buildings through Simulation and Formal Methods. SIMPDA 2016: 113-119 - [c136]Luciano Baresi, Sam Guinea, Giovanni Quattrocchi, Damian A. Tamburri:
MicroCloud: A Container-Based Solution for Efficient Resource Management in the Cloud. SmartCloud 2016: 218-223 - [c135]Luciano Baresi, Naser Derakhshan, Sam Guinea:
WiDiSi: A Wi-Fi direct simulator. WCNC 2016: 1-7 - 2015
- [j25]Luciano Baresi, Luca Mottola, Schahram Dustdar:
Building Software for the Internet of Things. IEEE Internet Comput. 19(2): 6-8 (2015) - [j24]Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi:
Formal verification and validation of embedded systems: the UML-based MADES approach. Softw. Syst. Model. 14(1): 343-363 (2015) - [c134]Luciano Baresi, Giovanni Meroni, Pierluigi Plebani:
A GSM-based Approach for Monitoring Cross-Organization Business Processes Using Smart Objects. Business Process Management Workshops 2015: 389-400 - [c133]Luciano Baresi, Adnan Shahzada:
An Architecture-Centric Approach for Dynamic Smart Spaces. ECSA 2015: 277-284 - [c132]Vinícius Pereira, Luciano Baresi, Márcio Eduardo Delamaro:
Mapping Formal Results Back to UML Semi-formal Model. ICEIS (2) 2015: 320-329 - [c131]Luciano Baresi, Clément Quinton:
Dynamically Evolving the Structural Variability of Dynamic Software Product Lines. SEAMS@ICSE 2015: 57-63 - [c130]Luciano Baresi, Laurent-Walter Goix, Sam Guinea, Valerio Panzica La Manna, Jacopo Aliprandi, Dario Archetti:
SPF: A Middleware for Social Interaction in Mobile Proximity Environments. ICSE (2) 2015: 79-88 - [c129]Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi:
Efficient Scalable Verification of LTL Specifications. ICSE (1) 2015: 711-721 - [c128]Luciano Baresi, Tim Menzies, Andreas Metzger, Thomas Zimmermann:
1st International Workshop on Big Data Software Engineering (BIGDSE 2015). ICSE (2) 2015: 965-966 - [c127]Luciano Baresi, Sam Guinea, Giovanni Quattrocchi:
Distributed Coordinated Adaptation of Cloud-Based Applications. SEFM Workshops 2015: 215-227 - [c126]Luciano Baresi, Sam Guinea:
Event-Based Monitoring of Service-Oriented Smart Spaces (Invited Paper). SOCA 2015: 123-130 - [c125]Clément Quinton, Rick Rabiser, Michael Vierhauser, Paul Grünbacher, Luciano Baresi:
Evolution in dynamic software product lines: challenges and perspectives. SPLC 2015: 126-130 - [e11]Matteo Baldoni, Luciano Baresi, Mehdi Dastani:
Engineering Multi-Agent Systems - Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers. Lecture Notes in Computer Science 9318, Springer 2015, ISBN 978-3-319-26183-6 [contents] - [e10]Luciano Baresi, Tim Menzies, Andreas Metzger, Thomas Zimmermann:
1st IEEE/ACM International Workshop on Big Data Software Engineering, BIGDSE 2015, Florence, Italy, May 23, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7025-7 [contents] - 2014
- [j23]Luciano Baresi, Hausi A. Müller:
Introduction to the Special Section on Best Papers from SEAMS 2012. ACM Trans. Auton. Adapt. Syst. 8(4): 16:1 (2014) - [c124]Filippo Seracini, Massimiliano Menarini, Ingolf Krueger, Luciano Baresi, Sam Guinea, Giovanni Quattrocchi:
A Comprehensive Resource Management Solution for Web-based Systems. ICAC 2014: 233-239 - [c123]Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi:
Flexible modular formalization of UML sequence diagrams. FormaliSE 2014: 10-16 - [c122]Luciano Baresi:
Self-adaptive systems, services, and product lines. SPLC 2014: 2-4 - [c121]Luciano Baresi, Sam Guinea, Adnan Shahzada:
Short paper: Harmonizing heterogeneous components in SeSaMe. WF-IoT 2014: 197-198 - [c120]Luciano Baresi, Sam Guinea, Valerio Panzica La Manna:
Consistent Runtime Evolution of Service-Based Business Processes. WICSA 2014: 77-86 - [p8]Luciano Baresi, Domenico Bianculli, Sam Guinea:
Cloud-Based Systems Need Multi-Level Management. Advanced Web Services 2014: 579-603 - [i3]Sven Apel, Joanne M. Atlee, Luciano Baresi, Pamela Zave:
Feature Interactions: The Next Generation (Dagstuhl Seminar 14281). Dagstuhl Reports 4(7): 1-24 (2014) - 2013
- [j22]Luciano Baresi, Carlo Ghezzi:
A journey through SMScom: self-managing situational computing. Comput. Sci. Res. Dev. 28(4): 267-277 (2013) - [j21]Yu Zhou, Luciano Baresi, Matteo Rossi:
Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata. J. Comput. Sci. Technol. 28(1): 188-202 (2013) - [c119]Luciano Baresi, Sam Guinea, Adnan Shahzada:
SeSaMe: Towards a Semantic Self Adaptive Middleware for Smart Spaces. EMAS@AAMAS 2013: 1-18 - [c118]Luciano Baresi, Annapaola Marconi, Marco Pistore, Adina Sirbu:
Corrective Evolution of Adaptable Process Models. BMMDS/EMMSAD 2013: 214-229 - [c117]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:
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems 2013: 3-30 - [c116]Bradley R. Schmerl, Jesper Andersson, Thomas Vogel, Myra B. Cohen, Cecília M. F. Rubira, Yuriy Brun, Alessandra Gorla, Franco Zambonelli, Luciano Baresi:
Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2013: 64-89 - [c115]Luciano Baresi, Sam Guinea:
Event-Based Multi-level Service Monitoring. ICWS 2013: 83-90 - [c114]Luciano Baresi, Gianluca Ripa, Liliana Pasquale:
IRET: Requirements for service platforms. RE 2013: 336-337 - [c113]Paulo Augusto Nardi, Márcio Eduardo Delamaro, Luciano Baresi:
Specifying automated oracles for Simulink models. RTCSA 2013: 330-333 - [c112]Luciano Baresi, Sam Guinea, Panteha Saeedi:
Self-managing Overlays for Infrastructure-less Networks. SASO 2013: 81-90 - [c111]Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, Moshe Y. Vardi:
A publication culture in software engineering (panel). ESEC/SIGSOFT FSE 2013: 19-23 - [p7]Luciano Baresi, Sam Guinea, Panteha Saeedi:
Achieving Self-adaptation through Dynamic Group Management. Assurances for Self-Adaptive Systems 2013: 214-239 - [e9]