Search for persons
X
?
2023 20th Annual International Conference on Privacy, Security and Trust (PST) ,
3
Protection against Ransomware in Industrial Control Systems..:
, In:
?
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems ,
4
Model-checking legal contracts with SymboleoPC:
, In:
?
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems ,
5
Symboleo2SC : from legal contract specifications to smar..:
, In:
?
Silicon Valley Cybersecurity Conference; Communications in Computer and Information Science ,
7
BIOT: A Blockchain-Based IoT Platform for Distributed Energ..:
, In:
?
Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future; Lecture Notes in Computer Science ,
8
Social Requirements Models for Services:
, In:
?
2020 IEEE 28th International Requirements Engineering Conference (RE) ,
9
Towards the Specification and Verification of Legal Contrac..:
, In:
?
2020 IEEE 28th International Requirements Engineering Conference (RE) ,
10
Symboleo: Towards a Specification Language for Legal Contra..:
, In:
?
Conceptual Modeling; Lecture Notes in Computer Science ,
11