pith. sign in

Stavros Tripakis

Identifiers

  • name variant Stavros Tripakis 0.60 · backfill

Papers (15)

  1. Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition cs.DC · 2024 · author #4
  2. The Refinement Calculus of Reactive Systems Toolset cs.LO · 2017 · author #3
  3. The Refinement Calculus of Reactive Systems cs.LO · 2017 · author #3
  4. Automated Synthesis of Secure Platform Mappings cs.SE · 2017 · author #3
  5. Type Inference of Simulink Hierarchical Block Diagrams in Isabelle cs.SE · 2016 · author #3
  6. Runtime enforcement of reactive systems using synchronous enforcers cs.FL · 2016 · author #4
  7. Mechanically Proving Determinacy of Hierarchical Block Diagram Translations cs.LO · 2016 · author #3
  8. Learning Moore Machines from Input-Output Traces cs.FL · 2016 · author #2
  9. What's Decidable about Syntax-Guided Synthesis? cs.LO · 2015 · author #4
  10. Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems cs.SE · 2015 · author #2
  11. Translating Hierarchical Block Diagrams into Composite Predicate Transformers cs.SE · 2015 · author #3
  12. Automatic Completion of Distributed Protocols with Symmetry cs.FL · 2015 · author #4
  13. Refinement Calculus of Reactive Systems cs.SE · 2014 · author #2
  14. Synthesizing Finite-state Protocols from Scenarios and Requirements cs.FL · 2014 · author #5
  15. Fault Diagnosis with Dynamic Observers cs.FL · 2010 · author #2

Mentions

  • 1406.6035 #2 · backfill · confidence 0.70 Stavros Tripakis
  • 1402.7150 #5 · backfill · confidence 0.70 Stavros Tripakis
  • 1004.2810 #2 · backfill · confidence 0.70 Stavros Tripakis

Frequent Coauthors