10 citations · 32 across the 26 of their papers we have counts for
3 papers · 1 filter
The Refinement Calculus of Reactive Systems Toolset
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
We present the Refinement Calculus of Reactive Systems Toolset, an environment for compositional modeling and reasoning about reactive systems, built on top of Isabelle, Simulink,…
The Refinement Calculus of Reactive Systems
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
The Refinement Calculus of Reactive Systems (RCRS) is a compositional formal framework for modeling and reasoning about reactive systems. RCRS provides a language which allows to d…
Automated Synthesis of Secure Platform Mappings
Eunsuk Kang, Stephane Lafortune, Stavros Tripakis
System development often involves decisions about how a high-level design is to be implemented using primitives from a low-level platform. Certain decisions, however, may introduce…