Many Random Walks Are Faster Than One von ALON, NOGA, AVIN, CHEN, KOUCKÝ, MICHAL, KOZMA, GADY, LOTKER, ZVI, TUTTLE, MARK R.

Volltext

Model checking boot code from AWS data centers von Cook, Byron, Khazem, Kareem, Kroening, Daniel, Tasiran, Serdar, Tautschnig, Michael, Tuttle, Mark R.

Volltext

Code‐level model checking in the software development workflow at Amazon Web Services von Chong, Nathan, Cook, Byron, Eidelman, Jonathan, Kallas, Konstantinos, Khazem, Kareem, Monteiro, Felipe R., Schwartz‐Narbonne, Daniel, Tasiran, Serdar, Tautschnig, Michael, Tuttle, Mark R.

Volltext

A game of timing and visibility von Lotker, Zvi, Patt-Shamir, Boaz, Tuttle, Mark R.

Volltext

Tight bounds for k -set agreement von CHAUDHURI, SOMA, HERLIHY, MAURICE, LYNCH, NANCY A, TUTTLE, MARK R

Volltext

Collaborate with Strangers to Find Own Preferences von Awerbuch, Baruch, Azar, Yossi, Lotker, Zvi, Patt-Shamir, Boaz, Tuttle, Mark R.

Volltext

Knowledge, probability, and adversaries von HELPERN, J. Y, TUTTLE, M. R

Volltext

Time-constrained automata von Merritt, Michael, Modugno, Francesmary, Tuttle, Mark R.

Volltext

Wait-free implementations in message-passing systems von Chaudhuri, Soma, Herlihy, Maurice, Tuttle, Mark R.

Volltext

Common knowledge and consistent simultaneous coordination von Neiger, Gil, Tuttle, Mark R.

Volltext

Tight bounds for kappa-set agreement von Chaudhuri, Soma, Herlihy, Maurice, Lynch, Nancy A, Tuttle, Mark R

Volltext

Timing Games and Shared Memory von Lotker, Zvi, Patt-Shamir, Boaz, Tuttle, Mark R.

Volltext

Going with the Flow: Parameterized Verification Using Message Flows von Talupur, M., Tuttle, M.R.

Volltext bestellen

Fast increment registers von Chaudhuri, Soma, Tuttle, Mark R.

Volltext

Protocol Proof Checking Simplified with SMT von Tuttle, M. R., Goel, A.

Volltext bestellen

Programming simultaneous actions using common knowledge von Moses, Yoram, Tuttle, Mark R.

Volltext

Code-Level Model Checking in the Software Development Workflow -- Replication Package von Chong, Nathan, Cook, Byron, Eidelman, Jonathan, Kallas, Konstantinos, Khazem, Kareem, Monteiro, Felipe R., Schwartz-Narbonne, Daniel, Tasiran, Serdar, Tautschnig, Michael, Tuttle, Mark R.

Volltext bestellen

AUTOMATED SOFTWARE VERIFICATION SERVICE von TASIRAN, Serdar, COOK, John Byron, VARMING, Carsten, RUNGTA, Neha, MCLAUGHLIN, Sean, HORTALA, Juan Rodriguez, TUTTLE, Mark R, NEDIC, Andrea, TAUTSCHNIG, Michael

Volltext bestellen

AUTOMATED SOFTWARE VERIFICATION SERVICE von Nedic, Andrea, Tuttle, Mark R, Tasiran, Serdar, Cook, John Byron, Hortala, Juan Rodriguez, Tautschnig, Michael, McLaughlin, Sean, Rungta, Neha, Varming, Carsten

Volltext bestellen

Verifying Correctness of Transactional Memories von Cohen, Ariel, O'Leary, John W., Pnueli, Amir, Tuttle, Mark R., Zuck, Lenore D.

Volltext bestellen