Marco Pradelli

According to our database, Marco Pradelli authored at least 3 papers between 2008 and 2012.

Collaborative distances:

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

2012

Modularity and Part-Whole Compositionality for Computing the State Semantics of Statecharts.

Luca Pazzi, Marco Pradelli

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2010

Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method.

Luca Pazzi, Matteo Interlandi, Marco Pradelli

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2008

A State-Based Systemic View of Behavior for Safe Medical Computer Applications.

Luca Pazzi, Marco Pradelli

Proceedings of the Twenty-First IEEE International Symposium on Computer-Based Medical Systems, 2008