BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Stavros Tripakis
SearchCollections
Map detail
Stavros Tripakis13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipStavros TripakisAStavros TripakisResearcherRecursive Program Synthesis from Sketches and Mixed-Quantifier PropertiesWRecursive Program Synth...preprint / 2026Fault Diagnosis with Dynamic ObserversWFault Diagnosis with Dy...preprint / 2010Refinement Calculus of Reactive SystemsWRefinement Calculus of ...preprint / 2014Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive SystemsWTowards Compositional F...preprint / 2016Learning Moore Machines from Input-Output TracesWLearning Moore Machines...preprint / 2016Automated Attacker Synthesis for Distributed ProtocolsWAutomated Attacker Synt...preprint / 2022Formal Verification of a Distributed Dynamic Reconfiguration ProtocolWFormal Verification of ...preprint / 2021Adversarial Robustness Verification and Attack Synthesis in Stochastic SystemsWAdversarial Robustness ...preprint / 2022Metrics and methods for robustness evaluation of neural networks with generative modelsWMetrics and methods for...preprint / 2020Translating Hierarchical Block Diagrams into Composite Predicate TransformersWTranslating Hierarchica...preprint / 2015Automatic Completion of Distributed Protocols with SymmetryWAutomatic Completion of...preprint / 2015What's Decidable about Syntax-Guided Synthesis?WWhat's Decidable about ...preprint / 2016
Person12 links

Stavros Tripakis

Researcher

PaperRecursive Program Synthesis from Sketches and Mixed-Quantifier PropertiesAuthorship / preprint / 2026PaperFault Diagnosis with Dynamic ObserversAuthorship / preprint / 2010PaperRefinement Calculus of Reactive SystemsAuthorship / preprint / 2014PaperTowards Compositional Feedback in Non-Deterministic and Non-Input-Receptive SystemsAuthorship / preprint / 2016PaperLearning Moore Machines from Input-Output TracesAuthorship / preprint / 2016PaperAutomated Attacker Synthesis for Distributed ProtocolsAuthorship / preprint / 2022PaperFormal Verification of a Distributed Dynamic Reconfiguration ProtocolAuthorship / preprint / 2021PaperAdversarial Robustness Verification and Attack Synthesis in Stochastic SystemsAuthorship / preprint / 2022

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)