Symbolic synthesis of masking fault-tolerant distributed programs (Q1938357): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00446-011-0139-3
+Normal rank
@@ Property / OpenAlex ID @@
+W1983791345
@@ Property / OpenAlex ID: W1983791345 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249561
@@ Property / cites work: Q4249561 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of discrete-event controllers based on the signal environment
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769596
@@ Property / cites work: Q2769596 / rank @@
+Normal rank
@@ Property / cites work @@
+NuSMV: A new symbolic model checker
@@ Property / cites work: NuSMV: A new symbolic model checker / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736872
@@ Property / cites work: Q4736872 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771062
@@ Property / cites work: Q2771062 / rank @@
+Normal rank
@@ Property / cites work @@
+Automating the addition of fault tolerance with discrete controller synthesis
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766635
@@ Property / cites work: Q2766635 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Supervisory Control of Discrete Event Dynamical Systems
+Normal rank
@@ Property / cites work @@
+The Byzantine Generals Problem
@@ Property / cites work: The Byzantine Generals Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Decentralized control and coordination of discrete-event systems with partial observation
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Think globally, act locally: decentralized supervisory control
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of strategies in infinite games
@@ Property / cites work: On the synthesis of strategies in infinite games / rank @@
+Normal rank
@@ Property / cites work @@
+Fault Diagnosis for Timed Automata
@@ Property / cites work: Fault Diagnosis for Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable problems of decentralized observation and control on regular languages
+Normal rank
@@ Property / cites work @@
+Q4493880
@@ Property / cites work: Q4493880 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications
+Normal rank