Marco Pradelli

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

State Transition

Logical Framework

Top Venues

Publications

Luca Pazzi, Marco Pradelli
Modularity and Part-Whole Compositionality for Computing the State Semantics of Statecharts. ACSD (2012)
Luca Pazzi, Matteo Interlandi, Marco Pradelli
Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method. HASE (2010)
Luca Pazzi, Marco Pradelli
A State-Based Systemic View of Behavior for Safe Medical Computer Applications. CBMS (2008)