8 citations · 19 across the 12 of their papers we have counts for
12 papers
SAT-Based Extraction of Behavioural Models for Java Libraries with Collections
Larisa Safina, Simon Bliudze
Behavioural models are a valuable tool for software verification, testing, monitoring, publishing etc. However, they are rarely provided by the software developers and have to be e…
Robust Software Development for University-Built Satellites
Anton B. Ivanov, Simon Bliudze
Satellites and other complex systems now become more and more software dependent. Even nanosatellites have complexity that can be compared to scientific instruments launched to Mar…
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design
Simon Bliudze, Saddek Bensalem
This volume contains the proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2018), held on the 15th of April, 2018 in Thessalonik…
Coordination of Dynamic Software Components with JavaBIP
Anastasia Mavridou, Valentin Rutz, Simon Bliudze
JavaBIP allows the coordination of software components by clearly separating the functional and coordination aspects of the system behavior. JavaBIP implements the principles of th…
Architecture Diagrams: A Graphical Language for Architecture Style Specification
Anastasia Mavridou, Eduard Baranov, Simon Bliudze +1
Architecture styles characterise families of architectures sharing common characteristics. We have recently proposed configuration logics for architecture style specification. In t…
A Note on the Expressiveness of BIP
Eduard Baranov, Simon Bliudze
We extend our previous algebraic formalisation of the notion of component-based framework in order to formally define two forms, strong and weak, of the notion of full expressivene…