自分のプロフィールを作成
オープン アクセス
すべて表示2 件の論文
2 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa Cruz確認したメール アドレス: alumni.stanford.edu
- Krishnendu ChatterjeeProfessor, IST Austria確認したメール アドレス: ist.ac.at
- Marco FaellaUniversità di Napoli "Federico II", Italy確認したメール アドレス: unina.it
- B. Thomas AdlerFacebook, Inc.確認したメール アドレス: alumni.caltech.edu
- Rupak MajumdarMPI for Software Systems確認したメール アドレス: mpi-sws.org
- Zvonimir RakamaricAmazon Web Services (AWS)確認したメール アドレス: amazon.com
- Falk HowarTU Dortmund確認したメール アドレス: tu-dortmund.de
- Malte IsbernerRed Hat確認したメール アドレス: redhat.com
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of Twente確認したメール アドレス: utwente.nl
- Temesghen KahsaiPrincipal Applied Scientist @ Amazon確認したメール アドレス: amazon.com
- Kasper Søe LuckowAmazon Web Services確認したメール アドレス: amazon.com
- Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.確認したメール アドレス: nvidia.com
- axel legayUCLouvain確認したメール アドレス: uclouvain.be
- Leandro Dias da SilvaUniversidade Federal de Alagoas確認したメール アドレス: ic.ufal.br
- Misty DaviesNASA Ames Research Center確認したメール アドレス: nasa.gov
- Corina PasareanuCMU/NASA Ames確認したメール アドレス: nasa.gov
- Cesar SanchezResearch Professor, IMDEA Software Institute確認したメール アドレス: imdea.org
- Alex ZamfirescuIndependent Researcher確認したメール アドレス: ascinc.com