435 citations · 840 across the 65 of their papers we have counts for
3 papers · 1 filter
Towards a Formalism-Based Toolkit for Automotive Applications
Rainer Gmehlich, Katrin Grau, Alexei Iliasov +3
The success of a number of projects has been shown to be significantly improved by the use of a formalism. However, there remains an open issue: to what extent can a development pr…
Social Networks and Collective Intelligence: A Return to the Agora
Manuel Mazzara, Luca Biselli, Pier Paolo Greco +4
Nowadays, acquisition of trustable information is increasingly important in both professional and private contexts. However, establishing what information is trustable and what is…
Issues about the Adoption of Formal Methods for Dependable Composition of Web Services
Manuel Mazzara, Michele Ciavotta
Web Services provide interoperable mechanisms for describing, locating and invoking services over the Internet; composition further enables to build complex services out of simpler…