Profiller

Andrey Rybalchenko

Microsoft Research

microsoft.com üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 7432

Software Verification Network Verification Constraint Solving

Benjamin F Jones

Amazon Web Services

amazon.com üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 2980

formal methods decision procedures network verification representation theory astroparticle physics

Luis Pedrosa

INESC-ID, Instituto Superior Técnico, University of Lisbon

tecnico.ulisboa.pt üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 2802

System and Networking Program analysis and verification Network verification Distributed systems Software Networking

Simon Knight

University of South Australia/Sony Interactive Entertainment

Alıntılanma sayısı: 1983

Network Configuration Network Design Network Verification Design Patterns Complexity Reduction

George Parisis

Professor of Computer Networks, University of Sussex

sussex.ac.uk üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 1188

network protocol design network management network verification opportunistic networks information-centric networks

Bingchuan Tian

Alibaba Cloud

alibaba-inc.com üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 533

Programmable Networks Network Verification Intent-Based Networking

Tim Alberdingk Thijm

Formal Verification Engineer, Apple

cs.princeton.edu üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 386

programming languages network verification

You Li

Northwestern University

u.northwestern.edu üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 202

Formal Verification Network Verification Electronic Design Automation Hardware Security

Siva Kesava Reddy Kakarla

Senior Researcher at Microsoft Research

microsoft.com üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 182

Computer Networks Network Verification Formal Methods

Kuan-Yen Chou

University of Illinois Urbana-Champaign

illinois.edu üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 117

network verification formal methods SDN software engineering program analysis

1 - 10