-
1دورية أكاديمية
المؤلفون: Veena Krish, Nicola Paoletti, Scott A. Smolka, Amir Rahmati
المصدر: IEEE Access, Vol 11, Pp 4992-5003 (2023)
مصطلحات موضوعية: Medical device security, signal-injection attacks, Pareto-optimal attacks, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
المصدر: IEEE Access, Vol 8, Pp 180825-180843 (2020)
مصطلحات موضوعية: Formal controller synthesis, parameter synthesis, probabilistic guarantees, safety verification, sampled-data nonlinear systems, satisfiability modulo theories, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
3دورية أكاديمية
المصدر: Logical Methods in Computer Science, Vol Volume 11, Issue 3 (2015)
مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
4
المؤلفون: Hongkai Chen, Scott A. Smolka, Nicola Paoletti, Shan Lin
المصدر: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8aaffe5f5bb2ac44248438146db31724
https://doi.org/10.1145/3575870.3587119 -
5
المساهمون: Bortolussi, L., Cairoli, F., Paoletti, N., Smolka, S. A., Stoller, S. D.
المصدر: International Journal on Software Tools for Technology Transfer. 23:615-640
مصطلحات موضوعية: 0209 industrial biotechnology, Computer science, Bayesian inference, Bayesian probability, Predictive monitoring, Word error rate, 02 engineering and technology, Machine learning, computer.software_genre, 020901 industrial engineering & automation, Reachability, Frequentist inference, 0202 electrical engineering, electronic engineering, information engineering, Hybrid automata reachability, Hyperparameter, business.industry, 020207 software engineering, Runtime verification, Neural network, Hybrid system, Theory of computation, Benchmark (computing), Conformal prediction, Artificial intelligence, business, computer, Neural networks, Software, Information Systems
وصف الملف: ELETTRONICO
-
6
المؤلفون: Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller
المصدر: Runtime Verification ISBN: 9783031171956
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b88943e64927326c7b750a2ad7550d39
https://doi.org/10.1007/978-3-031-17196-3_6 -
7
المصدر: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8ed17d7d1aadb25711dd690d6fef7502
https://doi.org/10.1007/978-3-031-19759-8_7 -
8
المؤلفون: Usama Mehmood, Sanaz Sheikhi, Stanley Bak, Scott A. Smolka, Scott D. Stoller
المصدر: Lecture Notes in Computer Science ISBN: 9783031067723
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::377f7692511954cebc2eacf4876cdc2c
https://doi.org/10.1007/978-3-031-06773-0_12 -
9
المؤلفون: Hongkai Chen, Shan Lin, Scott A. Smolka, Nicola Paoletti
المصدر: Lecture Notes in Computer Science ISBN: 9783031158384
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7953477619c8635f81c8504927b42a0f
https://doi.org/10.1007/978-3-031-15839-1_7 -
10
المؤلفون: Shenghsun Cho, Richard DeFrancisco, Michael Ferdman, Scott A. Smolka
المصدر: International Journal on Software Tools for Technology Transfer. 22:583-599
مصطلحات موضوعية: Model checking, Computer science, business.industry, Swarm behaviour, Cloud computing, Parallel computing, Nondeterministic algorithm, Shared memory, SIMD, Field-programmable gate array, business, Queue, Software, Information Systems