Daniele Strollo

According to our database, Daniele Strollo authored at least 13 papers between 2005 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Model-Driven Development of Long Running Transactions.

Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Event based choreography.

Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo

Sci. Comput. Program., 2010

Refactoring Long Running Transactions: A Case Study.

Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

BPMN Modelling of Services with Dynamically Reconfigurable Transactions.

Laura Bocchi, Roberto Guanciale, Daniele Strollo, Emilio Tuosto

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

2008

Global Coordination Policies for Services.

Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

Debugging Distributed Systems with Causal Nets.

Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Refactoring Long Running Transactions.

Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto

Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008

Checking Correctness of Transactional Behaviors.

Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Event-Based Service Coordination.

Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto

Proceedings of the Concurrency, 2008

2007

Coordination Via Types in an Event-Based Framework.

Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

Event Based Service Coordination over Dynamic and Heterogeneous Networks.

Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo

Proceedings of the Service-Oriented Computing, 2006

JSCL: A Middleware for Service Coordination.

Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

From Theory to Practice in Transactional Composition of Web Services.

Roberto Bruni, Gian-Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005