BibTeX records: Victor Yodaiken

download as .bib file

@article{DBLP:journals/corr/abs-2201-07845,
  author       = {Victor Yodaiken},
  title        = {How {ISO} {C} became unusable for operating systems development},
  journal      = {CoRR},
  volume       = {abs/2201.07845},
  year         = {2022},
  url          = {https://arxiv.org/abs/2201.07845},
  eprinttype    = {arXiv},
  eprint       = {2201.07845},
  timestamp    = {Tue, 01 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2201-07845.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2202-06348,
  author       = {Victor Yodaiken},
  title        = {Understanding Paxos and other distributed consensus algorithms},
  journal      = {CoRR},
  volume       = {abs/2202.06348},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.06348},
  eprinttype    = {arXiv},
  eprint       = {2202.06348},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-06348.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2205-03515,
  author       = {Victor Yodaiken},
  title        = {Standard Automata Theory and Process Algebra},
  journal      = {CoRR},
  volume       = {abs/2205.03515},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2205.03515},
  doi          = {10.48550/ARXIV.2205.03515},
  eprinttype    = {arXiv},
  eprint       = {2205.03515},
  timestamp    = {Wed, 11 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-03515.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sosp/Yodaiken21,
  author       = {Victor Yodaiken},
  title        = {How {ISO} {C} became unusable for operating systems development},
  booktitle    = {{PLOS} '21: Proceedings of the 11th Workshop on Programming Languages
                  and Operating Systems, Virtual Event, Germany, October 25, 2021},
  pages        = {84--90},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477113.3487274},
  doi          = {10.1145/3477113.3487274},
  timestamp    = {Thu, 04 Nov 2021 15:56:24 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/Yodaiken21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/Yodaiken16,
  author       = {Victor Yodaiken},
  title        = {State equations for discrete state systems},
  journal      = {CoRR},
  volume       = {abs/1608.01712},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.01712},
  eprinttype    = {arXiv},
  eprint       = {1608.01712},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Yodaiken16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/Yodaiken16a,
  author       = {Victor Yodaiken},
  title        = {Parametric equations for temporal style assertions},
  journal      = {CoRR},
  volume       = {abs/1612.01630},
  year         = {2016},
  url          = {http://arxiv.org/abs/1612.01630},
  eprinttype    = {arXiv},
  eprint       = {1612.01630},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Yodaiken16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/Yodaiken15,
  author       = {Victor Yodaiken},
  title        = {Defining and composing big state machines},
  journal      = {CoRR},
  volume       = {abs/1501.00507},
  year         = {2015},
  url          = {http://arxiv.org/abs/1501.00507},
  eprinttype    = {arXiv},
  eprint       = {1501.00507},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Yodaiken15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/Yodaiken15a,
  author       = {Victor Yodaiken},
  title        = {Folding a Tree into a Map},
  journal      = {CoRR},
  volume       = {abs/1509.07694},
  year         = {2015},
  url          = {http://arxiv.org/abs/1509.07694},
  eprinttype    = {arXiv},
  eprint       = {1509.07694},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Yodaiken15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1003-0522,
  author       = {Victor Yodaiken},
  title        = {State machine models of timing and circuit design},
  journal      = {CoRR},
  volume       = {abs/1003.0522},
  year         = {2010},
  url          = {http://arxiv.org/abs/1003.0522},
  eprinttype    = {arXiv},
  eprint       = {1003.0522},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1003-0522.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0907-4169,
  author       = {Victor Yodaiken},
  title        = {Primitive Recursion and State Machines},
  journal      = {CoRR},
  volume       = {abs/0907.4169},
  year         = {2009},
  url          = {http://arxiv.org/abs/0907.4169},
  eprinttype    = {arXiv},
  eprint       = {0907.4169},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0907-4169.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csiirw/YodaikenD08,
  author       = {Victor Yodaiken and
                  Cort Dougan},
  editor       = {Frederick T. Sheldon and
                  Axel W. Krings and
                  Robert K. Abercrombie and
                  Ali Mili},
  title        = {Active semantically aware hard real-time security hypervisors},
  booktitle    = {Proceedings of the 4th annual workshop on Cyber security and information
                  intelligence research - developing strategies to meet the cyber security
                  and information intelligence challenges ahead, {CSIIRW} '08, Oak Ridge,
                  Tennessee, USA, May 12-14, 2008},
  pages        = {24:1--24:3},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1413140.1413168},
  doi          = {10.1145/1413140.1413168},
  timestamp    = {Wed, 31 Jan 2024 20:36:02 +0100},
  biburl       = {https://dblp.org/rec/conf/csiirw/YodaikenD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0805-2749,
  author       = {Victor Yodaiken},
  title        = {State and history in operating systems},
  journal      = {CoRR},
  volume       = {abs/0805.2749},
  year         = {2008},
  url          = {http://arxiv.org/abs/0805.2749},
  eprinttype    = {arXiv},
  eprint       = {0805.2749},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0805-2749.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0810-1316,
  author       = {Victor Yodaiken},
  title        = {The meaning of concurrent programs},
  journal      = {CoRR},
  volume       = {abs/0810.1316},
  year         = {2008},
  url          = {http://arxiv.org/abs/0810.1316},
  eprinttype    = {arXiv},
  eprint       = {0810.1316},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0810-1316.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/necs2005/YodaikenSH05,
  author       = {Victor Yodaiken and
                  Matt Sherer and
                  Edgar Hilton},
  editor       = {Dimitrios Hristu{-}Varsakelis and
                  William S. Levine},
  title        = {Control Loops in RTLinux},
  booktitle    = {Handbook of Networked and Embedded Control Systems},
  pages        = {471--490},
  publisher    = {Birkh{\"{a}}user},
  year         = {2005},
  timestamp    = {Thu, 21 Jul 2005 14:19:27 +0200},
  biburl       = {https://dblp.org/rec/books/sp/necs2005/YodaikenSH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vlsid/Yodaiken04,
  author       = {Victor Yodaiken},
  title        = {New frontiers for embedded computing},
  booktitle    = {17th International Conference on {VLSI} Design {(VLSI} Design 2004),
                  with the 3rd International Conference on Embedded Systems Design,
                  5-9 January 2004, Mumbai, India},
  pages        = {249},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICVD.2004.1260932},
  doi          = {10.1109/ICVD.2004.1260932},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vlsid/Yodaiken04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/osdi/DouganMY99,
  author       = {Cort Dougan and
                  Paul Mackerras and
                  Victor Yodaiken},
  editor       = {Margo I. Seltzer and
                  Paul J. Leach},
  title        = {Optimizing the Idle Task and Other {MMU} Tricks},
  booktitle    = {Proceedings of the Third {USENIX} Symposium on Operating Systems Design
                  and Implementation (OSDI), New Orleans, Louisiana, USA, February 22-25,
                  1999},
  pages        = {229--237},
  publisher    = {{USENIX} Association},
  year         = {1999},
  url          = {https://dl.acm.org/citation.cfm?id=296833},
  timestamp    = {Wed, 28 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/osdi/DouganMY99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftrtft/YodaikenR92,
  author       = {Victor Yodaiken and
                  Krithi Ramamritham},
  editor       = {Jan Vytopil},
  title        = {Verification of a Reliable Net Protocol},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {193--215},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_11},
  doi          = {10.1007/3-540-55092-5\_11},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/YodaikenR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ipl/Yodaiken91,
  author       = {Victor Yodaiken},
  title        = {Modal Functions for Concise Definition of State Machines and Products},
  journal      = {Inf. Process. Lett.},
  volume       = {40},
  number       = {2},
  pages        = {65--72},
  year         = {1991},
  url          = {https://doi.org/10.1016/0020-0190(91)90011-6},
  doi          = {10.1016/0020-0190(91)90011-6},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/Yodaiken91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Yodaiken90,
  author       = {Victor Yodaiken},
  editor       = {Edmund M. Clarke and
                  Robert P. Kurshan},
  title        = {The Algebraic Feedback Product of Automata},
  booktitle    = {Computer Aided Verification, 2nd International Workshop, {CAV} '90,
                  New Brunswick, NJ, USA, June 18-21, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {531},
  pages        = {263--271},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0023740},
  doi          = {10.1007/BFB0023740},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Yodaiken90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dimacs/Yodaiken90,
  author       = {Victor Yodaiken},
  editor       = {Edmund M. Clarke and
                  Robert P. Kurshan},
  title        = {The Algebraic Feedback Product of Automata. {A} State Machine Based
                  Model of Concurrent Systems},
  booktitle    = {Computer-Aided Verification, Proceedings of a {DIMACS} Workshop 1990,
                  New Brunswick, New Jersey, USA, June 18-21, 1990},
  series       = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume       = {3},
  pages        = {591--614},
  publisher    = {{DIMACS/AMS}},
  year         = {1990},
  url          = {https://doi.org/10.1090/dimacs/003/37},
  doi          = {10.1090/DIMACS/003/37},
  timestamp    = {Mon, 22 May 2023 16:07:35 +0200},
  biburl       = {https://dblp.org/rec/conf/dimacs/Yodaiken90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icci/Yodaiken90,
  author       = {Victor Yodaiken},
  editor       = {Selim G. Akl and
                  Frantisek Fiala and
                  Waldemar W. Koczkodaj},
  title        = {A Logic-Free Method for Modular Composition of Specifications},
  booktitle    = {Advances in Computing and Information - ICCI'90, International Conference
                  on Computing and Information, Niagara Falls, Canada, May 23-26, 1990,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {468},
  pages        = {196--205},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53504-7\_76},
  doi          = {10.1007/3-540-53504-7\_76},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/icci/Yodaiken90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtss/YodaikenR90,
  author       = {Victor Yodaiken and
                  Krithi Ramamritham},
  title        = {Specifying and Verifying a Real-Time Priority Queue with Modal Algebra},
  booktitle    = {Proceedings of the Real-Time Systems Symposium - 1990, Lake Buena
                  Vista, Florida, USA, December 1990},
  pages        = {300--310},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/REAL.1990.128761},
  doi          = {10.1109/REAL.1990.128761},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/YodaikenR90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.