|
Alessandro Basso et al. |
State-Based Behavior Specification for GCM Systems
|
Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice |
2009 |
inproceedings |
|
|
Alessandro Basso et al. |
Deontic Extension of Deductive Verification of Component Model: Combining Computation Tree Logic and Deontic Logic in Natural Deduction Style Calculus
|
International Indial Conference on Artificial Intelligence |
2009 |
inproceedings |
|
|
Alessandro Basso et al. |
Temporal Specification and Deductive Verification of a Distributed Component Model and Its Environment
|
Workshop on Model-Based Verification & Validation, in conjunction with The Third IEEE International Conference on Secure Software Integration and Reliability Improvement |
2009 |
inproceedings |
|
|
Alessandro Basso et al. |
Behavioural Model of Component-based Grid Environments
|
From Grids To Service and Pervasive Computing |
2008 |
book |
|
|
Alessandro Basso Alexander Bolotov |
Deductive verification of GCM: Deontic Temporal Resolution
|
CoreGRID WP3 Programming model Institute, plenary meeting |
2008 |
inproceedings |
|
|
Alessandro Basso et al. |
Automata-based Formal Specification of Stateful Systems
|
15th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice |
2008 |
inproceedings |
|
|
Alessandro Basso et al. |
Proceedings of the Programming Model Institute Technical meeting 2008
|
TR-0138 |
2008 |
techreport |
|
|
Alessandro Basso et al. |
Dynamic Reconfiguration of GCM components
|
TR-0173 |
2008 |
techreport |
|
|
Alessandro Basso Alexander Bolotov |
Towards GCM Re-Configuration - Extending Specification by Norms
|
Making Grids Work |
2007 |
book |
|
|
Alessandro Basso Alexander Bolotov |
Verification tool - towards an analysis of complexity
|
Automated Reasoning Workshop |
2007 |
inproceedings |
|
|
Alessandro Basso et al. |
Specification and Verification of Reconfiguration Protocols in Grid Component Systems
|
Intelligent Systems |
2006 |
inproceedings |
|
|
Alessandro Basso et al. |
Specification and Verification of Reconfiguration Protocols in Grid Component Systems
|
TR-0042 |
2006 |
techreport |
|
Publications