Victor Yodaiken

According to our database, Victor Yodaiken authored at least 22 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

State Machines for Large Scale Computer Software and Systems.

Victor Yodaiken

Formal Aspects Comput., June, 2024

2022

Standard Automata Theory and Process Algebra.

Victor Yodaiken

CoRR, 2022

Understanding Paxos and other distributed consensus algorithms.

Victor Yodaiken

CoRR, 2022

2021

How ISO C became unusable for operating systems development.

Victor Yodaiken

Proceedings of the PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, 2021

2016

Parametric equations for temporal style assertions.

Victor Yodaiken

CoRR, 2016

State equations for discrete state systems.

Victor Yodaiken

CoRR, 2016

2015

Folding a Tree into a Map.

Victor Yodaiken

CoRR, 2015

Defining and composing big state machines.

Victor Yodaiken

CoRR, 2015

2010

State machine models of timing and circuit design

Victor Yodaiken

CoRR, 2010

2009

Primitive Recursion and State Machines

Victor Yodaiken

CoRR, 2009

2008

The meaning of concurrent programs

Victor Yodaiken

CoRR, 2008

State and history in operating systems

Victor Yodaiken

CoRR, 2008

Active semantically aware hard real-time security hypervisors.

Victor Yodaiken, Cort Dougan

Proceedings of the 4th annual workshop on Cyber security and information intelligence research, 2008

2005

Control Loops in RTLinux.

Victor Yodaiken, Matt Sherer, Edgar Hilton

Proceedings of the Handbook of Networked and Embedded Control Systems, 2005

2004

New frontiers for embedded computing.

Victor Yodaiken

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

1999

Optimizing the Idle Task and Other MMU Tricks.

Cort Dougan, Paul Mackerras, Victor Yodaiken

Proceedings of the Third USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1999

1992

Verification of a Reliable Net Protocol.

Victor Yodaiken, Krithi Ramamritham

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

1991

Modal Functions for Concise Definition of State Machines and Products.

Victor Yodaiken

Inf. Process. Lett., 1991

1990

Specifying and Verifying a Real-Time Priority Queue with Modal Algebra.

Victor Yodaiken, Krithi Ramamritham

Proceedings of the Real-Time Systems Symposium, 1990

A Logic-Free Method for Modular Composition of Specifications.

Victor Yodaiken

Proceedings of the Advances in Computing and Information, 1990

The Algebraic Feedback Product of Automata. A State Machine Based Model of Concurrent Systems.

Victor Yodaiken

Proceedings of the Computer-Aided Verification, 1990

The Algebraic Feedback Product of Automata.

Victor Yodaiken

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990