1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2011★ 1 cited
A Dynamic Algebraic Specification for Social Networks
Katerina Ksystra, Konstantinos Barlas, Nikolaos Triantafyllou +1
With the help of the Internet, social networks have grown rapidly. This has increased security requirements. We present a formalization of social networks as composite behavioral o…
cs.SE2011
Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking
Konstantinos Barlas, George Koletsos, Petros Stefaneas
The adoption of algebraic specification/formal method techniques by the networks' research community is happening slowly but steadily. We work towards a software environment that c…