Maurizio Sebastianis

Publications

Citations

H-Index

2005

Active since

Affiliations

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"(Current)

Maurizio Sebastianis is an author at Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" specializing in system software, formal methods, and systems engineering.

Top concepts

DesignEngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareFormal VerificationSystems EngineeringSoftware EngineeringIndustrial Informatics

Publications per year

2005–2008

Publications

Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach

Yudistira Asnar, Rocco Moretti, Maurizio Sebastianis et al. · 2008 · 31 citations

Risk Model Validation, Risk Metric, Risk Analysis +20

Model Checking Publish/Subscribe Notification for thinkteam®

Maurice H. ter Beek, Mieke Massink, Diego Latella et al. · Electronic Notes in Theoretical Computer Science · 2005 · 13 citations · Full text

Software Maintenance, Engineering, Verification +24

A case study on the automated verification of groupware protocols

Maurice H. ter Beek, Mieke Massink, Diego Latella et al. · 2005 · 13 citations

Engineering, Verification, Computer-aided Verification +28

Rows per page

1–3 of 3