Victor Yodaiken

Publication Activity (10 Years)

Years Active: 1990-2022
Publications (10 Years): 9

Top Topics

Systems Development

Total Quality Management

Automata Theory

Computer Software

Top Venues

Publications

Victor Yodaiken
Standard Automata Theory and Process Algebra. CoRR (2022)
Victor Yodaiken
Understanding Paxos and other distributed consensus algorithms. CoRR (2022)
Victor Yodaiken
How ISO C became unusable for operating systems development. CoRR (2022)
Victor Yodaiken
How ISO C became unusable for operating systems development. PLOS@SOSP (2021)
Victor Yodaiken
Parametric equations for temporal style assertions. CoRR (2016)
Victor Yodaiken
State equations for discrete state systems. CoRR (2016)
Victor Yodaiken
Defining and composing big state machines. CoRR (2015)
Victor Yodaiken
Folding a Tree into a Map. CoRR (2015)
Victor Yodaiken
Practical State Machines for Computer Software and Engineering. CoRR (2015)
Victor Yodaiken
State machine models of timing and circuit design CoRR (2010)
Victor Yodaiken
Primitive Recursion and State Machines CoRR (2009)
Victor Yodaiken, Cort Dougan
Active semantically aware hard real-time security hypervisors. CSIIRW (2008)
Victor Yodaiken
State and history in operating systems CoRR (2008)
Victor Yodaiken
The meaning of concurrent programs CoRR (2008)
Victor Yodaiken
New frontiers for embedded computing. VLSI Design (2004)
Cort Dougan, Paul Mackerras, Victor Yodaiken
Optimizing the Idle Task and Other MMU Tricks. OSDI (1999)
Victor Yodaiken, Krithi Ramamritham
Verification of a Reliable Net Protocol. FTRTFT (1992)
Victor Yodaiken
Modal Functions for Concise Definition of State Machines and Products. Inf. Process. Lett. 40 (2) (1991)
Victor Yodaiken
The Algebraic Feedback Product of Automata. CAV (1990)
Victor Yodaiken
The Algebraic Feedback Product of Automata. A State Machine Based Model of Concurrent Systems. CAV (DIMACS/AMS volume) (1990)
Victor Yodaiken
A Logic-Free Method for Modular Composition of Specifications. ICCI (1990)
Victor Yodaiken, Krithi Ramamritham
Specifying and Verifying a Real-Time Priority Queue with Modal Algebra. RTSS (1990)