40 citations · 185 across the 7 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.SE2022★ 5 cited
Towards Automatic Model Completion: from Requirements to SysML State Machines
Maria Stella de Biase, Stefano Marrone, Angelo Palladino
Even if model-driven techniques have been enabled the centrality of the models in automated development processes, the majority of the industrial settings does not embrace such a p…
cs.CR2022★ 1 cited
Model-Driven Engineering for Formal Verification and Security Testing of Authentication Protocols
Mariapia Raimondo, Stefano Marrone, Angelo Palladino
Even if the verification of authentication protocols can be achieved by means of formal analysis, the modelling of such an activity is an error-prone task due to the lack of automa…