المؤلفون: Abate, Alessandro, Edwards, Alec, Giacobbe, Mirco, Punchihewa, Hashan, Roy, Diptarko

المساهمون: Alessandro Abate and Alec Edwards and Mirco Giacobbe and Hashan Punchihewa and Diptarko Roy

مصطلحات موضوعية: Data-driven Verification, Quantitative Verification, Probabilistic Programs, Stochastic Dynamical Models, Counterexample-guided Inductive Synthesis, Neural Networks

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

Relation: Is Part Of LIPIcs, Volume 279, 34th International Conference on Concurrency Theory (CONCUR 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.22

الاتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2023.22
https://nbn-resolving.org/urn:nbn:de:0030-drops-190162
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.22

المؤلفون: Konstantin Chukharev, Daniil Chivilikhin

المصدر: IEEE Access, Vol 10, Pp 131592-131610 (2022)

مصطلحات موضوعية: Control system synthesis, inference algorithms, Boolean satisfiability, counterexampleguided inductive synthesis, formal verification, model checking, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/9984658/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/09e48c8ad43a4aedb9787177b4c548e1

المؤلفون: Vazquez-Chanlatte, Marcell J, Ghosh, Shromona, Raman, Vasumathi, Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A

المصدر: IFAC-PapersOnLine. 51(16)

مصطلحات موضوعية: Controller Synthesis, Robust Control, Counter-Example Guided Inductive Synthesis

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

URL الوصول: https://escholarship.org/uc/item/79q8h364

المؤلفون: Konstantin Chukharev, Dmitrii Suvorov, Daniil Chivilikhin, Valeriy Vyatkin

المصدر: IEEE Access, Vol 8, Pp 207485-207498 (2020)

مصطلحات موضوعية: Control system synthesis, inference algorithms, Boolean satisfiability, counterexample-guided inductive synthesis, formal verification, model checking, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/9257351/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/11460be617d04f31a2ac81556b3302db

المؤلفون: Kirill Krinkin, Alexander Vodyaho, Igor Kulikov, Nataly Zhukova

المصدر: Applied Sciences; Volume 11; Issue 14; Pages: 6251

مصطلحات موضوعية: knowledge graph, deductive synthesis, adaptive synthesis, multilevel object model, inductive synthesis, object state prediction, statistical data, telecommunication network policy, monitoring data

جغرافية الموضوع: agris

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

Relation: Mechanical Engineering; https://dx.doi.org/10.3390/app11146251

الاتاحة: https://doi.org/10.3390/app11146251

المؤلفون: Iannopollo, Antonio

مصطلحات موضوعية: Computer science, assume guarantee contracts, counterexample-guided inductive synthesis, decomposition, linear temporal logic, oracle-guided inductive synthesis, refinement

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

URL الوصول: https://escholarship.org/uc/item/0xx972bn

المؤلفون: Iannopollo, Antonio, Tripakis, Stavros, Sangiovanni-Vincentelli, Alberto

المساهمون: University of California Berkeley, Helsinki Institute for Information Technology (HIIT), Department of Computer Science, Aalto-yliopisto, Aalto University

مصطلحات موضوعية: Assume-guarantee contracts, Component libraries, Counterexample-guided inductive synthesis, Linear temporal logic, Platform-based design

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

Relation: Science of Computer Programming; Volume 171; Iannopollo , A , Tripakis , S & Sangiovanni-Vincentelli , A 2019 , ' Constrained synthesis from component libraries ' , Science of Computer Programming , vol. 171 , pp. 21-41 . https://doi.org/10.1016/j.scico.2018.10.003; PURE UUID: 65dbe876-50c0-4430-a4d0-09ebb09e2165; PURE ITEMURL: https://research.aalto.fi/en/publications/65dbe876-50c0-4430-a4d0-09ebb09e2165; PURE LINK: http://www.scopus.com/inward/record.url?scp=85056592250&partnerID=8YFLogxK; PURE FILEURL: https://research.aalto.fi/files/30173594/SCI_Iannopollo_Tripakis_Constrained_Synthesis_CSCL_SCP_journal_revision2.pdf; https://aaltodoc.aalto.fi/handle/123456789/35082; URN:NBN:fi:aalto-201812106097

الاتاحة: https://aaltodoc.aalto.fi/handle/123456789/35082
https://doi.org/10.1016/j.scico.2018.10.003

المؤلفون: Paçacı, Görkem, 1986

المساهمون: Hamfelt, Andreas, Professor, Pettorossi, Alberto, Professor

مصطلحات موضوعية: Programming, Syntax, Logic Programming, Combilog, CombInduce, Prolog, Variable-free, Point-free, Tacit, Compositional Relational Programming, Combinatory Logic, Predicate-Functor Logic, Program Synthesis, Meta-interpreters, Meta-interpretative Synthesis, Decompositional Synthesis, Inductive Synthesis, Inductive Logic Programming, Usability, Cognitive Dimensions of Notations, Visual Variables, Usability testing, Programming Language usability, Empirical evidence, Informationssystem, Information Systems

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-317084
https://uu.diva-portal.org/smash/get/diva2:1080366/FULLTEXT01.pdf
https://uu.diva-portal.org/smash/get/diva2:1080366/PREVIEW01.jpg

المؤلفون: LE, Xuan-Bach D., CHU, Duc-Hiep, LO, David, LE GOUES, Claire, VISSER, Willem

المصدر: Research Collection School Of Computing and Information Systems

مصطلحات موضوعية: Inductive synthesis, Program repair, Programming by examples, Symbolic execution, Software Engineering

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

Relation: https://ink.library.smu.edu.sg/sis_research/3917; https://ink.library.smu.edu.sg/context/sis_research/article/4919/viewcontent/s3.pdf

الاتاحة: https://ink.library.smu.edu.sg/sis_research/3917
https://doi.org/10.1145/3106237.3106309
https://ink.library.smu.edu.sg/context/sis_research/article/4919/viewcontent/s3.pdf

المؤلفون: Ahmed, Daniele, Peruffo, Andrea, Abate, Alessandro

المصدر: Tools and Algorithms for the Construction and Analysis of Systems

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, inductive synthesis, counter-example guided synthesis, FOS: Electrical engineering, electronic engineering, information engineering, Systems and Control (eess.SY), Electrical Engineering and Systems Science - Systems and Control, automated synthesis, Article, Machine Learning (cs.LG), Logic in Computer Science (cs.LO), Lyapunov functions

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f3da940b3f0be66d4030d34b0e46a7cc
http://europepmc.org/articles/PMC7439753

المؤلفون: Huang, Kangjing, Qiu, Xiaokang

مصطلحات موضوعية: Program synthesis, Libraries, Java, Counterexample-guided inductive synthesis, Program sketching

Relation: https://zenodo.org/communities/sas-2022; https://doi.org/10.5281/zenodo.7009050; https://doi.org/10.5281/zenodo.7009051; oai:zenodo.org:7009051

الاتاحة: https://doi.org/10.5281/zenodo.7009051

المؤلفون: Mukund Raghothaman, Mayur Naik, Jonathan Mendelson, David Zhao, Bernhard Scholz

المصدر: Proceedings of the ACM on Programming Languages. 4:1-27

مصطلحات موضوعية: Inductive synthesis, Scale (ratio), Programming language, Computer science, Efficient algorithm, Suite, 020207 software engineering, 02 engineering and technology, Solver, computer.software_genre, Datalog, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Safety, Risk, Reliability and Quality, Boolean satisfiability problem, computer, Software, Program synthesis, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5367cd6d802c8919ad66d67d1b584393
https://doi.org/10.1145/3371130

المؤلفون: Kříž, Ondřej

المساهمون: Češka, Milan, Holík, Lukáš

مصطلحات موضوعية: Markovské rozhodovací procesy s částečným pozorováním, induktivní syntéza, časově omezené ceny, Partially observable Markov decision processes, inductive synthesis, discounted reward properties

وصف الملف: application/pdf; text/html

Relation: KŘÍŽ, O. Optimalizace induktivní syntézy kontrolérů pro POMDP s časově omezenými cenami [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.; 148661; https://hdl.handle.net/11012/246889

الاتاحة: https://hdl.handle.net/11012/246889

المؤلفون: Touloujian, Hovsep (author)

المساهمون: Mazo, M. (mentor), Coppola, R. (mentor), Delft University of Technology (degree granting institution)

مصطلحات موضوعية: Li-Ion Batteries, Data-Driven Control, Formal Methods, Formal Verification, Reinforcement Learning, Counterexample-Guided Inductive Synthesis

Relation: http://resolver.tudelft.nl/uuid:b987a8db-00ad-41da-8217-d8b9f3a5e8f3

الاتاحة: http://resolver.tudelft.nl/uuid:b987a8db-00ad-41da-8217-d8b9f3a5e8f3

المؤلفون: Sebastian Junges, Joost-Pieter Katoen, Milan Češka, Simon Stupinsky, Roman Andriushchenko

المصدر: Cham, Switzerland : Springer, Lecture notes in computer science 12759, Theoretical Computer Science and General Issues 856-869 (2021). doi:10.1007/978-3-030-81685-8_40
Computer-Aided Verification : 33rd International Conference, CAV 2021 : Virtual Event July 20-23, 2021 : Proceedings / Alexandra Silva, Alexandra and K. Rustan M. Leino (Eds.).-Part I
Computer-Aided Verification : 33rd International Conference, CAV 2021 : Virtual Event July 20-23, 2021 : Proceedings / Alexandra Silva, Alexandra and K. Rustan M. Leino (Eds.).-Part I33. International Conference on Computer-Aided Verification, CAV 2021, online, 2021-07-20-2021-07-23
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Computer Aided Verification
Computer Aided Verification ISBN: 9783030816841
CAV (1)

مصطلحات موضوعية: Inductive synthesis, business.industry, Computer science, Probabilistic logic, 020207 software engineering, 02 engineering and technology, Machine learning, computer.software_genre, Sketch, Conjunction (grammar), 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Temporal logic, Artificial intelligence, business, computer, Protocol (object-oriented programming), Probabilistic model checking

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1323f0be089ea74e29ab36b377616132

المؤلفون: Gilles Barthe, Juan Manuel, Crespo Sumit, Gulwani César Kunz, Mark Marron

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

المصدر: http://software.imdea.org/~jmcrespo/docs/PPOPP2013.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification, D.3.4 [Programming Lan- guages, Processors-Optimization, C.1.1 [Single Data Stream Ar- chitectures, VLIW architectures Keywords Program Vectorization, Program Synthesis, Deductive Synthesis, Inductive Synthesis, Relational Program Verification

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.650.4864; http://software.imdea.org/~jmcrespo/docs/PPOPP2013.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.650.4864
http://software.imdea.org/~jmcrespo/docs/PPOPP2013.pdf

المؤلفون: Sumit Gulwani

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

المصدر: http://research.microsoft.com/users/sumitg/pubs/synasc12.pdf.

مصطلحات موضوعية: Inductive Synthesis, End User Programming, Intelligent Tutoring Systems, Domain Specific Languages, Programming By Example

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.3240; http://research.microsoft.com/users/sumitg/pubs/synasc12.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.3240
http://research.microsoft.com/users/sumitg/pubs/synasc12.pdf

المؤلفون: Xinyu Wang, Isil Dillig, Yuepeng Wang

المصدر: Proceedings of the ACM on Programming Languages. 2:1-27

مصطلحات موضوعية: FOS: Computer and information sciences, Inductive synthesis, Computer Science - Programming Languages, Theoretical computer science, Computer science, String (computer science), Version space, 020207 software engineering, Inversion (meteorology), 02 engineering and technology, DUAL (cognitive architecture), Space (commercial competition), 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Safety, Risk, Reliability and Quality, Encoder, Software, Program synthesis, Programming Languages (cs.PL)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f3c3f01dbe0d1d3a38bf02b772be02a4
https://doi.org/10.1145/3276525

المؤلفون: Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv

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

المصدر: http://www.cs.umass.edu/%7Eimmerman/pub/synthesis.pdf.

مصطلحات موضوعية: Transformational Programming, Finite Differencing, High Level Program, Inductive Synthesis

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.136; http://www.cs.umass.edu/%7Eimmerman/pub/synthesis.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.136
http://www.cs.umass.edu/%7Eimmerman/pub/synthesis.pdf

المؤلفون: Stavros Tripakis, Antonio Iannopollo, Alberto Sangiovanni-Vincentelli

المساهمون: University of California Berkeley, Helsinki Institute for Information Technology (HIIT), Department of Computer Science, Aalto-yliopisto, Aalto University

مصطلحات موضوعية: Inductive synthesis, ta113, Theoretical computer science, Computer science, Linear temporal logic, Undecidable problem, Decidability, Bounded function, Assume-guarantee contracts, Platform-based design, Scalability, A priori and a posteriori, Component libraries, Software, Counterexample-guided inductive synthesis

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8cb3a41fcc436e66d07590118efe4e59
https://aaltodoc.aalto.fi/handle/123456789/35082