Davide D'Aprile

According to our database, Davide D'Aprile authored at least 5 papers between 2004 and 2011.

Collaborative distances:

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

2011

Verifying Compliance of Business Processes with Temporal Answer Sets.

Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010

Verifying Business Process Compliance by Reasoning about Actions.

Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré

Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

2007

From Time Petri Nets to Timed Automata: An Untimed Approach.

Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006

Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools.

Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2004

CSL Model Checking for the GreatSPN Tool.

Davide D'Aprile, Susanna Donatelli, Jeremy Sproston

Proceedings of the Computer and Information Sciences, 2004