Rozier, Kristin Yvonne

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Rozier, Kristin Yvonne
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Rozier-2023-Developing an Open-Source, State-of-the-Art Symbolic Model-Ch...-vor.pdf.jpgRozier, Kristin Yvonne ; Shankar, Natarajan ; Tinelli, Cesare ; Vardi, Moshe Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research CommunityInproceedings Konferenzbeitrag Oct-2023

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 41 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Pastva-2023-Binary decision diagrams on modern hardware-vor.pdf.jpgPastva, Samuel ; Henzinger, Thomas A. Binary decision diagrams on modern hardwareInproceedings Oct-2023
2Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf.jpgNadel, Alexander ; Rozier, Kristin Yvonne Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023Proceedings Tagungsband Oct-2023
3Wu-2023-Lightweight Online Learning for Sets of Related Problems in Autom...-vor.pdf.jpgWu, Haoze ; Hahn, Christopher ; Lonsing, Florian Matthias ; Mann, Makai ; Ramanujan, Raghuram ; Barrett, Clark Lightweight Online Learning for Sets of Related Problems in Automated ReasoningInproceedings Konferenzbeitrag Oct-2023
4Li-2023-Local Search For SMT On Linear and Multilinear Real Arithmetic-vor.pdf.jpgLi, Bohan ; Cai, Shaowei Local Search For SMT On Linear and Multilinear Real ArithmeticInproceedings Konferenzbeitrag Oct-2023
5Froleyks-2023-BIG Backbones-vor.pdf.jpgFroleyks, Nils ; Yu, Emily ; Biere, Armin BIG BackbonesInproceedings Konferenzbeitrag Oct-2023
6Mohamed-2023-A Procedure for SyGuS Solution Fitting via Matching and Rewr...-vor.pdf.jpgMohamed, Abdalrhman ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule DiscoveryInproceedings Oct-2023
7Zhou-2023-Mariposa Measuring SMT Instability in Automated Program Verific...-vor.pdf.jpgZhou, Yi ; Bosamiya, Jay ; Takashima, Yoshiki ; Li, Jessica G. ; Heule, Marijn ; Parno, Bryan Mariposa: Measuring SMT Instability in Automated Program VerificationInproceedings Konferenzbeitrag Oct-2023
8Dong-2023-Formal Verification of Correctness and Information Flow Securit...-vor.pdf.jpgDong, Ning ; Guanciale, Roberto ; Dam, Mads ; Lööw, Andreas Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined ProcessorInproceedings Konferenzbeitrag Oct-2023
9Elsaleh-2023-DelBugV Delta-Debugging Neural Network Verifiers-vor.pdf.jpgElsaleh, Raya ; Katz, Guy DelBugV: Delta-Debugging Neural Network VerifiersInproceedings Konferenzbeitrag Oct-2023
10Thakkar-2023-Data-Driven Learning of Strong Conjunctive Invariants-vor.pdf.jpgThakkar, Arkesh H. ; D’Souza, Deepak Data-Driven Learning of Strong Conjunctive InvariantsInproceedings Konferenzbeitrag Oct-2023
11Meng-2023-Towards a Correct-by-Construction Design of Integrated Modular ...-vor.pdf.jpgMeng, Baoluo ; Debnath,Joyanta ; Varanasi, Sarat Chandra ; Manolios, Emmanuel ; Durling, Michael ; Paul, Saswata ; Prince, Daniel ; Alsabbagh, Saif ; Haadsma, Richard ; McMillan, Craig ; Zhang, Chi ; Oates, Tim Towards a Correct-by-Construction Design of Integrated Modular AvionicsInproceedings Konferenzbeitrag Oct-2023
12Tafese-2023-Btor2MLIR A Format for Hardware Verification-vor.pdf.jpgTafese, Joseph ; Gurfinkel, Arie ; Garcia-Contreras, Isabel Btor2MLIR: A Format for Hardware VerificationInproceedings Konferenzbeitrag Oct-2023
13Taylor-2023-Cycle and Commute Rare-Event Probability Verification for Che...-vor.pdf.jpgTaylor, Landon ; Israelsen, Bryant ; Zhang, Zhen Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction NetworksInproceedings Konferenzbeitrag Oct-2023
14Yu-2023-Towards Compositional Hardware Model Checking Certification-vor.pdf.jpgYu, Emily ; Froleyks, Nils ; Biere, Armin ; Heljanko, Keijo Towards Compositional Hardware Model Checking CertificationInproceedings Konferenzbeitrag Oct-2023
15Wilson-2023-Partitioning Strategies for Distributed SMT Solving-vor.pdf.jpgWilson, Amalee ; Noetzli, Andres ; Reynolds, Andrew ; Cook, Byron ; Tinelli, Cesare ; Barrett, Clark Partitioning Strategies for Distributed SMT SolvingInproceedings Konferenzbeitrag Oct-2023
16Zhang-2023-Fortis A Tool for Analysis and Repair of Robust Software Systems-vor.pdf.jpgZhang, Changjian ; Dardik, Ian ; Meira-Góes, Rômulo ; Garlan, David ; Kang, Eusnuk Fortis: A Tool for Analysis and Repair of Robust Software SystemsInproceedings Konferenzbeitrag Oct-2023
17Saxena-2023-MediK Towards Safe Guideline-based Clinical Decision Support-vor.pdf.jpgSaxena, Manasvi ; Song, Shuang ; Sha, Lui MediK: Towards Safe Guideline-based Clinical Decision SupportInproceedings Konferenzbeitrag Oct-2023
18Larraz-2023-CRV An Automated Resiliency Reasoner for System Design Models-vor.pdf.jpgLarraz, Daniel ; Lorch, Robert ; Yahyazadeh, Moosa ; Arif, M. Fareed ; Chowdhury, Omar ; Tinelli, Cesare CRV: An Automated Resiliency Reasoner for System Design ModelsInproceedings Konferenzbeitrag Oct-2023
19Qin-2023-Conformance Testing for Stochastic Cyber-Physical Systems-vor.pdf.jpgQin, Xin ; Hashemi, Navid ; Lindemann, Lars ; Deshmukh, Jyotirmoy V. Conformance Testing for Stochastic Cyber-Physical SystemsInproceedings Konferenzbeitrag Oct-2023
20Ryan-2023-Sylvia Countering the Path Explosion Problem in the Symbolic Ex...-vor.pdf.jpgRyan, Kaki ; Sturton, Cynthia Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware DesignsInproceedings Konferenzbeitrag Oct-2023