8 citations · 19 across the 12 of their papers we have counts for
5 papers · 1 filter
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…
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…
Symbolic Implementation of Connectors in BIP
Mohamad Jaber, Ananda Basu, Simon Bliudze
BIP is a component framework for constructing systems by superposing three layers of modeling: Behavior, Interaction, and Priority. Behavior is represented by labeled transition sy…