MPI-SWS Germany

  1. Home
  2. search page
  3. affiliation

MPI-SWS Germany

국가: Germany
주요 연구 분야: Verification
주요 키워드: #neural #software #testing
주요 저자:
#Derek Dreyer #Robbert Krebbers #Michael Sammler #Rodolphe Lepigre #Deepak Garg

📄 기관 상세정보

출판수10
총 인용수108
평균 인용수10.80
저자 수38
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (10건)

Sound Mixed Fixed-Point Quantization of Neural Networks
저자: Debasmita Lohar , Clothilde Jeangoudoux , Anastasia Volkova , Eva Darulova
키워드: #neural #challenging #optimization #optimizes #automated
파트: Verification | 연도: 2023
Context-bounded verification of thread pools
저자: Pascal Baumann , Rupak Majumdar , Ramanathan S Thinniyam , Georg Zetzsche
키워드: #pooling #automata #programming #workers #multithreaded
파트: Verification | 연도: 2022
BFF: foundational and automated verification of bitfield-manipulating programs
저자: Derek Dreyer , Fengmin Zhu , Michael Sammler , Rodolphe Lepigre , Deepak Garg
키워드: #computing #automation #solvers #hypervisor #toolchain
파트: Verification | 연도: 2022
Input splitting for cloud-based static application security testing platforms
저자: Martin Schäf , Maria Christakis , Thomas Cottenier , Antonio Filieri , Linghui Luo , Muhammad Numair Mansur , Lee Pike , Nicolás Rosner , Aritra Sengupta , Willem Visser
키워드: #algorithms #challenging #security #complexity #dataflow
파트: Verification | 연도: 2022
Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing
저자: Hasan Ferit Enişer , Timo P Gros , Valentin Wüstholz , Jörg Hoffmann , Maria Christakis
키워드: #intelligence #learning #neural #software #testing
파트: Verification | 연도: 2022
Interval constraint-based mutation testing of numerical specifications
저자: Clothilde Jeangoudoux , Eva Darulova , Christoph Quirin Lauter
키워드: #testing #tests #mutation #arithmetic #magneto
파트: Verification | 연도: 2021
Transfinite step-indexing for termination
저자: Derek Dreyer , Simon Spies , Neelakantan R Krishnaswami
키워드: #useful #javascript #compositional #asynchronous #wisdom
파트: Verification | 연도: 2021
RefinedC: automating the foundational verification of C code with refined ownership types
저자: Robbert Krebbers , Derek Dreyer , Michael Sammler , Rodolphe Lepigre , Deepak Garg , Kayvan Memarian
키워드: #challenge #software #difficulty #refinement #typing
파트: Verification | 연도: 2021
Transfinite Iris: resolving an existential dilemma of step-indexed separation logic
저자: Simon Spies , Lennard Gäher , Daniel Gratzer , Joseph Tassarotti , Robbert Krebbers , Derek Dreyer , Lars Birkedal
키워드: #modular #logic #inability #proving #reasoning
파트: Verification | 연도: 2021
Context-bounded verification of liveness properties for multithreaded shared-memory programs
저자: Pascal Baumann , Rupak Majumdar , Ramanathan S Thinniyam , Georg Zetzsche
키워드: #starvation #starved #pushdown #2expspace #decidability
파트: Verification | 연도: 2021