-
1
المؤلفون: Lee Pike, Aritra Sengupta, Martin Schäf, Michael Emmi, Willem Visser, Nicolás Rosner, Ranjit Jhala, Liana Hadarean
المصدر: ESEC/SIGSOFT FSE
مصطلحات موضوعية: business.industry, Software deployment, Computer science, Software security assurance, Scale (chemistry), Code (cryptography), Cloud computing, Software engineering, business, Heuristics, Automaton, Variety (cybernetics)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6508955580adb9376bb9ec5b6581e7fe
https://doi.org/10.1145/3468264.3473934 -
2
المؤلفون: Andrew Gacek, Andy Warfield, Dan Peebles, Brad E. Marshall, Neha Rungta, Chriss Stephens, Cole Schlesinger, Malik Bouchet, Ranjit Jhala, Byron Cook, Anna Druzkina, Bryant Cutler, Liana Hadarean, Carsten Varming
المصدر: ESEC/SIGSOFT FSE
مصطلحات موضوعية: Flexibility (engineering), Cloud computing security, Computer science, business.industry, 020207 software engineering, Access control, Cloud computing, 02 engineering and technology, Formal methods, Computer security, computer.software_genre, 020204 information systems, Satisfiability modulo theories, 0202 electrical engineering, electronic engineering, information engineering, business, computer, Cloud storage, Block (data storage)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f80ccb3115bd7dfa265955048afb0229
https://doi.org/10.1145/3368089.3409728 -
3
المؤلفون: Liana Hadarean
المصدر: ICST
مصطلحات موضوعية: Computer science, business.industry, 020207 software engineering, 02 engineering and technology, Business value, computer.software_genre, Formal methods, Automation, Software, Robustness (computer science), Scalability, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Web service, Software engineering, business, computer, Formal verification
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e2544e86cb914269151eac63ebf8c8ad
https://doi.org/10.1109/icst46399.2020.00009 -
4
المؤلفون: Guy Katz, Clark Barrett, Cesare Tinelli, Andrew Reynolds, Liana Hadarean
المصدر: 2016 Formal Methods in Computer-Aided Design (FMCAD).
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::44edf555d6b801c080e34af28e9700d0
https://doi.org/10.1109/fmcad.2016.7886666 -
5
المؤلفون: Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins
المصدر: Lecture Notes in Computer Science ISBN: 9783662491218
VMCAIمصطلحات موضوعية: Formalism (philosophy of mathematics), Improved performance, Theoretical computer science, 010201 computation theory & mathematics, Computer science, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0102 computer and information sciences, 02 engineering and technology, Propositional calculus, 01 natural sciences, Algorithm
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ef5229596a62581ea36ea84021304d69
https://doi.org/10.1007/978-3-662-49122-5_26 -
6
المؤلفون: Aaron Stump, Liana Hadarean, Cesare Tinelli, Duckki Oe, Andrew Reynolds
المصدر: Formal Methods in System Design. 42:91-118
مصطلحات موضوعية: Flexibility (engineering), Correctness, Theoretical computer science, Computer science, Programming language, Solver, Mathematical proof, computer.software_genre, Theoretical Computer Science, Logical framework, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Hardware and Architecture, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Satisfiability modulo theories, Proof checking, Production (computer science), computer, Software
-
7
المؤلفون: Dejan Jovanović, Clark Barrett, Liana Hadarean, Cesare Tinelli, Kshitij Bansal
المصدر: Computer Aided Verification ISBN: 9783319088662
CAVمصطلحات موضوعية: Reduction (complexity), Eager evaluation, Range (mathematics), Theoretical computer science, Modular arithmetic, Computer science, Conjunctive normal form, Solver, Propositional calculus, Satisfiability
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::521cbcb1e61507c99d802290358a5b0a
https://doi.org/10.1007/978-3-319-08867-9_45 -
8
المؤلفون: Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanović, Tim King, Andrew Reynolds, Cesare Tinelli
المصدر: Computer Aided Verification ISBN: 9783642221095
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3ddc2e61ada16a3247843d5d126cb7c3
https://doi.org/10.1007/978-3-642-22110-1_14