-
1دورية أكاديمية
المؤلفون: Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 223, Iss Proc. ICE 2016, Pp 83-97 (2016)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Eduard Baranov, Simon Bliudze
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 222, Iss Proc. EXPRESS/SOS 2016, Pp 1-14 (2016)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
3دورية أكاديمية
المؤلفون: Eduard Baranov, Simon Bliudze
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 131, Iss Proc. ICE 2013, Pp 20-35 (2013)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
4
المساهمون: UCL - SST/ICTM/INGI - Pôle en ingénierie informatique
مصطلحات موضوعية: Configurable software, 𝑡-wise coverage, Approximation
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9309b0a916d9d3b42cae0eaf8819b8f0
https://hdl.handle.net/2078.1/261824 -
5
المساهمون: Robots coopératifs et adaptés à la présence humaine en environnements dynamiques (CHROMA), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA), Université Catholique de Louvain = Catholic University of Louvain (UCL), Paigwar, Anshul
المصدر: IV 2020 – 31st IEEE Intelligent Vehicles Symposium
IV 2020 – 31st IEEE Intelligent Vehicles Symposium, Oct 2020, Las Vegas, NV, United States. pp.1-7
HALمصطلحات موضوعية: Model checking, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], 0209 industrial biotechnology, Computer science, Stochastic process, Bayesian probability, [INFO.INFO-RB] Computer Science [cs]/Robotics [cs.RO], Probabilistic logic, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], 02 engineering and technology, computer.software_genre, Grid, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], 020901 industrial engineering & automation, [INFO.INFO-CV] Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], 020201 artificial intelligence & image processing, Probabilistic analysis of algorithms, Performance indicator, Data mining, Representation (mathematics), computer
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5e163b676a7c0f708e14e6eb72f74310
https://inria.hal.science/hal-02696444 -
6
المؤلفون: Cassius Puodzius, Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Eduard Baranov, Stefano Sebastio, Jean Quilbeuf, Olivier Decourbe
المساهمون: UCL - SST/ICTM/INGI - Pôle en ingénierie informatique
المصدر: Computers & Security, Vol. 93, no.?, p. 101775 (2020)
مصطلحات موضوعية: SMT solving, General Computer Science, Computer science, business.industry, Supervised learning, 020206 networking & telecommunications, 02 engineering and technology, computer.software_genre, Machine learning, Symbolic execution, Behavior graphs, Satisfiability modulo theories, 0202 electrical engineering, electronic engineering, information engineering, empirical studies, Malware, 020201 artificial intelligence & image processing, Artificial intelligence, Heuristics, business, Law, computer, Classifier (UML), malware classification, symbolic execution
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::60497a5100df58cd44e06407807f15a0
https://hdl.handle.net/2078.1/229941 -
7
المؤلفون: Cemi Ras, Anton Afanasiev, Eduard Baranov
المصدر: Экономика и математические методы. :4-12
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a10637acb2e551221b4943cbc6414c56
https://doi.org/10.31857/s042473880000653-7 -
8
المؤلفون: Eduard Baranov, Anastasia Mavridou, Joseph Sifakis, Simon Bliudze
المصدر: Journal of Logical and Algebraic Methods in Programming. 86:2-29
مصطلحات موضوعية: Theoretical computer science, Logic, Interval temporal logic, Zeroth-order logic, 0102 computer and information sciences, 02 engineering and technology, Intermediate logic, Configuration logics, 01 natural sciences, Component interaction, Theoretical Computer Science, Computer Science::Logic in Computer Science, Architecture styles, 0202 electrical engineering, electronic engineering, information engineering, Autoepistemic logic, Mathematics, BIP, Substructural logic, Classical logic, 020207 software engineering, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Computational Theory and Mathematics, 010201 computation theory & mathematics, Coordination, Dynamic logic (modal logic), T-norm fuzzy logics, Software
-
9
المؤلفون: Simon Bliudze, Eduard Baranov
المساهمون: UCL - SST/ICTM/INGI - Pôle en ingénierie informatique, Inria, Université Catholique de Louvain = Catholic University of Louvain [UCL], Self-adaptation for distributed services and large software systems [SPIRALS], Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL], Université Catholique de Louvain = Catholic University of Louvain (UCL), Self-adaptation for distributed services and large software systems (SPIRALS), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), The contribution of Simon Bliudze to the work presented in this paper has been partially funded by Hauts-de-France regional STaRS programme under the grant agreement № 2019.00170., Université Catholique de Louvain (UCL), Ecole Centrale de Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Ecole Centrale de Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Ecole Centrale de Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)
المصدر: Acta Informatica, (2019)
Acta Informatica
Acta Informatica, 2020, 57, pp.761--800. ⟨10.1007/s00236-019-00337-7⟩
Acta Informatica, Springer Verlag, 2020, 57, pp.761--800. ⟨10.1007/s00236-019-00337-7⟩مصطلحات موضوعية: Computer Networks and Communications, Semantics (computer science), Computer science, 0102 computer and information sciences, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], SOS formats, glue operators, component-based frameworks, BIP, expressiveness, computer.software_genre, 01 natural sciences, Operational semantics, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, Algebraic number, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Hierarchy (mathematics), Programming language, 020207 software engineering, 16. Peace & justice, 010201 computation theory & mathematics, [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], Theory of computation, computer, Software, Information Systems
وصف الملف: application/octet-stream
-
10
المؤلفون: Simon Bliudze, Eduard Baranov
المساهمون: Gebler, Daniel, Peters, Kirstin
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 222, Iss Proc. EXPRESS/SOS 2016, Pp 1-14 (2016)
EXPRESS/SOSمصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer science, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, lcsh:QA75.5-76.95, Computer Science - Software Engineering, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, Computer Science::Symbolic Computation, Algebraic number, Computer Science - Programming Languages, structural operational semantics, BIP, glue operators, lcsh:Mathematics, Order (ring theory), Computer Science::Software Engineering, 020207 software engineering, SOS, lcsh:QA1-939, Logic in Computer Science (cs.LO), Algebra, Software Engineering (cs.SE), expressiveness, Computer Science - Distributed, Parallel, and Cluster Computing, 010201 computation theory & mathematics, Computer Science::Programming Languages, Distributed, Parallel, and Cluster Computing (cs.DC), lcsh:Electronic computers. Computer science, Programming Languages (cs.PL)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::62bed139c61856f4577ab0a49f37c67e
https://doaj.org/article/5fbae2e4606045c1a6c192097c5fca10
Full Text Finder 
Find this article in full text from Springer Verlag.