6 citations · 6 across the 1 of their papers we have counts for
2 papers
cs.SE2015★ 6 cited
Using a Machine Learning Approach to Implement and Evaluate Product Line Features
Davide Bacciu, Stefania Gnesi, Laura Semini
Bike-sharing systems are a means of smart transportation in urban environments with the benefit of a positive impact on urban mobility. In this paper we are interested in studying…
cs.LO2003
Distributed States Temporal Logic
Carlo Montangero, Laura Semini
We introduce a temporal logic to reason on global applications in an asynchronous setting. First, we define the Distributed States Logic (DSL), a modal logic for localities that em…