28 citations · 60 across the 14 of their papers we have counts for
3 papers · 1 filter
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous semantics, allows the construction of systems that are correct-by-design. BIP has been effectively used for th…
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous semantics, allows the construction of systems that are correct-by-design. BIP has been effectively used for th…
Anonymously Analyzing Clinical Datasets
Nafees Qamar, Yilong Yang, Andras Nadas +2
This paper takes on the problem of automatically identifying clinically-relevant patterns in medical datasets without compromising patient privacy. To achieve this goal, we treat d…