المؤلفون: Elliot K. Kolodner, Sivan Tal, Dimosthenis Kyriazis, Dalit Naor, Miriam Allalouf, Lucia Bonelli, Albert Eckert, Erik Elmroth, Spyridon V. Gogouvitis, Danny Harnik, Francisco Hern, C. Jaeger, Ewnetu Bayuh Lakew, Jose Manuel Lopez, Mirko Lorenz, Alberto Messina, Ra Shulman, Roman Talyansky, Athanasios Voulodimos, Yaron Wolfsthal

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://users.ntua.gr/spyrosg/publications/CloudCom2011.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.302.151; http://users.ntua.gr/spyrosg/publications/CloudCom2011.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.302.151
http://users.ntua.gr/spyrosg/publications/CloudCom2011.pdf

المؤلفون: Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/new/special_issue.ps.

مصطلحات موضوعية: model checking, formal verication, formal methods

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.1779; http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/new/special_issue.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.1779
http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/new/special_issue.ps

المؤلفون: Sharon Barner, Shoham Ben-david, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/PF_FME02.ps.

مصطلحات موضوعية: Model checking, hardware debugging, hardware exploration

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.7495; http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/PF_FME02.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.7495
http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/PF_FME02.ps

المؤلفون: Shoham Ben-david, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/pathfinder.ps.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.6460; http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/pathfinder.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.6460
http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/pathfinder.ps

المؤلفون: Yael Abarbanel-vinov, Neta Aizenbud-reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-haham

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.research.ibm.com/pics/verification/ps/separate_figures.ps.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.6705; http://www.research.ibm.com/pics/verification/ps/separate_figures.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.6705
http://www.research.ibm.com/pics/verification/ps/separate_figures.ps

المؤلفون: Gil Ratzaby, Shmuel Ur, Yaron Wolfsthal

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/submit-short.ps.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.4856; http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/submit-short.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.4856
http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/submit-short.ps

المؤلفون: Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/checkers.ps.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.9941; http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/checkers.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.9941
http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/checkers.ps

المؤلفون: Daniel Geist Monica, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/fmcad3.ps.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.8765; http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/fmcad3.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.8765
http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/fmcad3.ps

المؤلفون: Yaron Wolfsthal, The Quill Document Editing

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.ubc.ca/local/reading/proceedings/spe91-95/spe/./vol21/issue6/spe034yw.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.9193; http://www.cs.ubc.ca/local/reading/proceedings/spe91-95/spe/./vol21/issue6/spe034yw.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.9193
http://www.cs.ubc.ca/local/reading/proceedings/spe91-95/spe/./vol21/issue6/spe034yw.pdf

المؤلفون: BRUNEO, Dario, Thomas Fritz, Sharon Keidar Barner, Philipp Leitner, LONGO, FRANCESCO, Clarissa Marquezan, Andreas Metzger, Klaus Pohl, PULIAFITO, Antonio, Danny Raz, Andreas Roth, Eliot Salant, Itai Segall, VILLARI, Massimo, Yaron Wolfsthal, Chris Woods

المساهمون: Bruneo, Dario, Thomas, Fritz, Sharon Keidar, Barner, Philipp, Leitner, Longo, Francesco, Clarissa, Marquezan, Andreas, Metzger, Klaus, Pohl, Puliafito, Antonio, Danny, Raz, Andreas, Roth, Eliot, Salant, Itai, Segall, Villari, Massimo, Yaron, Wolfsthal, Chris, Woods

مصطلحات موضوعية: Cloud Computing, DevOp, Coordinated Adap- tation, Feedback Driven Development

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/9781479942770; ispartofbook:2014 IEEE Symposium on Computers and Communications (ISCC); IEEE Symposium on Computers and Communications (ISCC); firstpage:1; lastpage:6; numberofpages:6; http://hdl.handle.net/11570/2858968; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84908149098

الاتاحة: http://hdl.handle.net/11570/2858968
https://doi.org/10.1109/ISCC.2014.6912638

المؤلفون: Yaron Wolfsthal, Bar Haim, Christopher Meenan, Eitan Menahem

المصدر: IUI Companion

مصطلحات موضوعية: Cloud computing security, Computer science, business.industry, 020208 electrical & electronic engineering, Dashboard (business), Insider threat, 020206 networking & telecommunications, 02 engineering and technology, Directory, Computer security, computer.software_genre, Asset (computer security), Security information and event management, Analytics, 0202 electrical engineering, electronic engineering, information engineering, Human-computer interaction in information security, business, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5d53cc5e0d4547e97dff226f2b2443f6
https://doi.org/10.1145/3030024.3038264

المؤلفون: Benny Rochwerger, Constantino Vázquez, David Breitgand, David Hadas, Philippe Massonet, Eliezer Levy, Alex Galis, Ignacio M. Llorente, Rubén S. Montero, Yaron Wolfsthal, Kenneth Nagin, Lars Larsson, Fermín Galán, VILLARI, Massimo

المساهمون: Benny, Rochwerger, Constantino, Vázquez, David, Breitgand, David, Hada, Villari, Massimo, Philippe, Massonet, Eliezer, Levy, Alex, Gali, Ignacio M., Llorente, Rubén S., Montero, Yaron, Wolfsthal, Kenneth, Nagin, Lars, Larsson, Fermín, Galán

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/9780470887998; info:eu-repo/semantics/altIdentifier/isbn/9780470940105; ispartofbook:Cloud Computing; firstpage:391; lastpage:411; numberofpages:21; http://hdl.handle.net/11570/2610968; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-79955788614; http://dx.doi.org/10.1002/9780470940105.ch15

الاتاحة: http://hdl.handle.net/11570/2610968
https://doi.org/10.1002/9780470940105.ch15

المؤلفون: Shoham Ben-David, Cindy Eisner, Yaron Wolfsthal, Daniel Geist

المصدر: Formal Methods in System Design. 22:101-108

مصطلحات موضوعية: Model checking, Point (typography), Computer science, business.industry, Formal equivalence checking, Formal methods, Theoretical Computer Science, Hardware and Architecture, Formal specification, IBM, Software engineering, business, Formal verification, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ceadb4e1c0a99df15e5b419170cb2284
https://doi.org/10.1023/a:1022905120346

المؤلفون: Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Irit Shitsevalov, Cindy Eisner, Iris Reuveni, Tali Yatzkar-Haham, Yaron Wolfsthal, Ilan Beer, Daniel Geist, Tamir Heyman, Eran Rippel

المصدر: Formal Methods in System Design. 19:35-44

مصطلحات موضوعية: Model checking, High-level verification, Functional verification, Programming language, Computer science, business.industry, Runtime verification, Formal equivalence checking, computer.software_genre, Formal methods, Theoretical Computer Science, Intelligent verification, Hardware and Architecture, Software deployment, Verification and validation of computer simulation models, Verification, Software engineering, business, Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION, computer, Formal verification, Software, Software verification

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::22163b2a577ba0e8eb2e52412bf3819e
https://doi.org/10.1023/a:1011219209077

المؤلفون: Yaron Wolfsthal, Dario Bruneo, Massimo Villari, Clarissa Cassales Marquezan, Antonio Puliafito, Chris Woods, Andreas Metzger, Philipp Leitner, Andreas Roth, Itai Segall, Danny Raz, Eliot Salant, Sharon Keidar-Barner, Thomas Fritz, Klaus Pohl, Francesco Longo

المساهمون: University of Zurich, Bruneo, Dario

المصدر: ISCC

مصطلحات موضوعية: DevOps, Cloud management, 10009 Department of Informatics, Computer science, business.industry, Distributed computing, Feedback Driven Development, Coordinated Adap- tation, Cloud computing, 000 Computer science, knowledge & systems, Cloud Computing, 1712 Software, Analytics, Cloud testing, 1705 Computer Networks and Communications, 1706 Computer Science Applications, Capital cost, 1711 Signal Processing, business, Software engineering, 2600 General Mathematics, Agile software development

وصف الملف: Bruneo_et_al_CloudWave.pdf - application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0095816bf762ad22eaba63dff56dea3e
http://hdl.handle.net/11570/2858968

المؤلفون: Massimo Villari, Francesco Longo, Eliot Salant, Dario Bruneo, Yaron Wolfsthal, Antonio Puliafito

المصدر: INCoS

مصطلحات موضوعية: Service (business), Future Internet, business.industry, Computer science, Data management, media_common.quotation_subject, Context (language use), Cloud computing, Cloud, data management, adaptation, Data science, World Wide Web, Order (business), The Internet, Quality (business), Adaptation (computer science), business, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::16501c4fa9e814b98975b8a82ae2aa06
http://hdl.handle.net/11570/2857968

المؤلفون: Michel Cezon, Yaron Wolfsthal

Resource Type: eBook.

الموضوعات: Software engineering, Electronic data processing—Management, Computer networks, Application software, Information storage and retrieval systems, Artificial intelligence

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / System Administration / Storage & Retrieval, COMPUTERS / Management Information Systems, COMPUTERS / Networking / General

المؤلفون: A.K. Chandra, Barry K. Rosen, M. Mullen, Daniel Geist, J. Yoon, I. Nair, Vijay S. Iyengar, R. Armoni, Yaron Wolfsthal, D. Jameson, R. Jawalekar

المصدر: IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 3:188-200

مصطلحات موضوعية: Computer science, Programming language, media_common.quotation_subject, System testing, Process design, Symbolic execution, computer.software_genre, Debugging, Software bug, Hardware and Architecture, Graph (abstract data type), Electrical and Electronic Engineering, Engineering design process, computer, Software, Natural language, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6af2daaa4cc478a4b413c31dd8d1591b
https://doi.org/10.1109/92.386220

المؤلفون: Dimosthenis Kyriazis, Miriam Allalouf, Francisco Guevara Hernández, Elliot K. Kolodner, Athanasios Voulodimos, Lucia Bonelli, Mirko Lorenz, Alexandra Shulman-Peleg, Erik Elmroth, Per Brand, Albert Eckert, José Manuel López López, Danny Harnik, Dalit Naor, Sivan Tal, Michael C. Jaeger, Spyridon V. Gogouvitis, Yaron Wolfsthal, Alberto Messina, Roman Talyansky, Ewnetu Bayuh Lakew

المصدر: CloudCom

مصطلحات موضوعية: business.industry, Computer science, Quality of service, Scalability, Cloud computing, Fault tolerance, Web service, Computer security, computer.software_genre, business, computer, Cloud storage, Live migration

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::bf4c4fc3ac1f4b134b372273a021d5d3
https://doi.org/10.1109/cloudcom.2011.55

المؤلفون: Benny, Rochwerger, Constantino, Vázquez, David, Breitgand, David, Hadas, Villari, Massimo, Philippe, Massonet, Eliezer, Levy, Alex, Galis, Llorente, Ignacio M., Montero, Rubén S., Yaron, Wolfsthal, Kenneth, Nagin, Lars, Larsson, Fermín, Galán

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3978::f05ce8bde5b11efa7a4f6179cd8a8c88
http://hdl.handle.net/11570/2610968