Concepedia

Massimo Tivoli

MT

34

Publications

1.2K

Citations

22

H-Index

2001

Active since

Affiliations

University of L'Aquila(Current)

Uppsala University

Chalmers University of Technology

IMT School for Advanced Studies Lucca

Massimo Tivoli is an author at University of L'Aquila specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringSystems EngineeringComputer ScienceSoftware EngineeringSoftware DesignSystem SoftwareSoftware AnalysisFormal MethodsFormal VerificationComputer Architecture

Publications per year

2001–2021

34

Publications

34

Automatic synthesis of behavior protocols for composable web-services

Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione et al. · 2009 · 127 citations · Full text

Web Service Specification, Business Process, Engineering +13

The SAVE approach to component-based development of vehicular systems

Mikael Åkerholm, Jan Carlson, Johan Fredriksson et al. · Journal of Systems and Software · 2006 · 108 citations

Vehicle Communication, Engineering, Connected Car +5

Software Engineering for Self-Adaptive Systems: A Research Roadmap

Betty H. C. Cheng, Jesper Andersson, Basil Becker et al. · Lecture notes in computer science · 2009 · 94 citations · Full text

SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems

Marco Autili, Paola Inverardi, Alfredo Navarra et al. · Proceedings/Proceedings - International Conference on Software Engineering · 2007 · 58 citations

Engineering, Computer Architecture, Software Engineering +23

Deadlock-free software architectures for COM/DCOM Applications

Paola Inverardi, Massimo Tivoli · Journal of Systems and Software · 2003 · 54 citations

Engineering, Program Analysis, Concurrent Programming +10

Rows per page

1–5 of 34