Skip navigation
DataSpace
About
Contact
Help
Search
Explore
All Communities & Collections
Astrophysical Sciences
Chemical and Biological Engineering
Chemistry
Civil and Environmental Engineering
Computational Social Science
Department of Geosciences
Department of Slavic Languages and Literatures
Digital Humanities
Economics
Education Research Section
Electrical and Computer Engineering
Faculty Publications
Geophysical Fluid Dynamics Laboratory
Industrial Relations Section
Lewis-Sigler Institute for Integrative Genomics
Liechtenstein Institute on Self-Determination
Mechanical and Aerospace Engineering
Molecular Biology
Music and Arts
Office of Information Technology
Physics
Princeton Neuroscience Institute
Princeton Plasma Physics Laboratory
Princeton School of Public and International Affairs
Princeton University Doctoral Dissertations, 2011-2024
Princeton University Library
Princeton University Masters Theses, 2022-2024
Princeton University Undergraduate Senior Theses, 1924-2023
Psychology
Seeger Center for Hellenic Studies
Sociology
Login
My DataSpace
Search
Search:
All of DataSpace
Astrophysical Sciences
Chemical and Biological Engineering
Chemistry
Civil and Environmental Engineering
Computational Social Science
Department of Geosciences
Department of Slavic Languages and Literatures
Digital Humanities
Economics
Education Research Section
Electrical and Computer Engineering
Faculty Publications
Geophysical Fluid Dynamics Laboratory
Industrial Relations Section
Lewis-Sigler Institute for Integrative Genomics
Liechtenstein Institute on Self-Determination
Mechanical and Aerospace Engineering
Molecular Biology
Music and Arts
Office of Information Technology
Physics
Princeton Neuroscience Institute
Princeton Plasma Physics Laboratory
Princeton School of Public and International Affairs
Princeton University Doctoral Dissertations, 2011-2024
Princeton University Library
Princeton University Masters Theses, 2022-2024
Princeton University Undergraduate Senior Theses, 1924-2023
Psychology
Seeger Center for Hellenic Studies
Sociology
for
Current Filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Reset
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-7 of 7
previous
1
next
Item hits:
Issue Date
Title
Author(s)
2013
Assertions for Debugging Parallel Programs
Schwartz-Narbonne, Daniel
2015
Computation Improves Interactive Symbolic Execution
Dodds, Joey
2017
TrustGuard: A Containment Architecture with Verified Output
Ghosh, Soumyadeep
2016
Computer Network Verification and Management using Constraint Solvers
Zhang, Shuyuan
2018
Network Control Plane Synthesis and Verification
Beckett, Ryan
2020
An Intermediate Language for Network Verification
Giannarakis, Nick
2023
Relational Verification of Distributed Systems via Weak Simulations
Murphy, Timothy Charles
Discover
Author
1
Beckett, Ryan
1
Dodds, Joey
1
Ghosh, Soumyadeep
1
Giannarakis, Nick
1
Murphy, Timothy Charles
1
Schwartz-Narbonne, Daniel
1
Zhang, Shuyuan
Subject
2
Routing
2
Synthesis
1
Assertions
1
Automated Reasoning
1
Computer engineering
1
Computer Network
1
Computer Networks
1
Computer networks
1
Computer Security
1
Concurrency
.
next >
Date issued
1
2023
1
2020
1
2018
1
2017
1
2016
1
2015
1
2013