Victor Yodaiken

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