المؤلفون: Mikhail Parfenov, Petr Agruzov, Igor Ilichev, Sergey Bozhko, Aleksandr Shamrai

المصدر: IEEE Photonics Journal, Vol 13, Iss 6, Pp 1-7 (2021)

مصطلحات موضوعية: Integrated optics, optical waveguides, optoelectronic and photonic sensors, photonics, superconducting photodetectors, Applied optics. Photonics, TA1501-1820, Optics. Light, QC350-467

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/9580567/; https://doaj.org/toc/1943-0655

URL الوصول: https://doaj.org/article/9623319ec53d4f1ebe8dfc5db0d3ed20

المؤلفون: Kimaya Bedarkar, Mariam Vardishvili, Sergey Bozhko, Marco Maida, Bjorn B. Brandenburg

المصدر: 2022 IEEE Real-Time Systems Symposium (RTSS).

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b645825d4224cf778545884378072883
https://doi.org/10.1109/rtss55097.2022.00026

المؤلفون: Sergey Bozhko, Filip Marković, Georg von der Brüggen, Björn B. Brandenburg

المصدر: RTSS, IEEE Real-Time Systems Symposium, Taipei, Taiwan, December 5 – 8, 2023

مصطلحات موضوعية: real-time systems, formal methods, probability theory, IID, Coq, pWCET

Relation: https://zenodo.org/communities/eu; https://doi.org/10.5281/zenodo.8407459; https://doi.org/10.5281/zenodo.8414267; oai:zenodo.org:8414267

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

المؤلفون: Marco Maida and Sergey Bozhko and Björn B. Brandenburg, Maida, Marco, Bozhko, Sergey, Brandenburg, Björn B.

مصطلحات الفهرس: hard real-time systems, response-time analysis, uniprocessor, Coq, Prosa, fixed priority, EDF, preemptive, non-preemptive, verification, Article, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.1.7
Is Part Of DARTS, Volume 8, Issue 1, Special Issue of the 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)

المؤلفون: Marco Maida and Sergey Bozhko and Björn B. Brandenburg, Maida, Marco, Bozhko, Sergey, Brandenburg, Björn B.

مصطلحات الفهرس: hard real-time systems, response-time analysis, uniprocessor, Coq, Prosa, fixed priority, EDF, preemptive, non-preemptive, verification, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2022.19
Is Part Of LIPIcs, Volume 231, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)

المؤلفون: Tobias Blaß, Daniel Casini, Sergey Bozhko, Björn B. Brandenburg

المصدر: IEEE 42nd Real-Time Systems Symposium
2021 IEEE Real-Time Systems Symposium (RTSS)

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e6afbc1fee6f82ac77f559d989928efa
https://hdl.handle.net/21.11116/0000-000A-14BE-A21.11116/0000-000A-14C0-6

المؤلفون: Sergey Bozhko, Georg von der Bruggen, Bjorn B. Brandenburg

المصدر: 2021 IEEE Real-Time Systems Symposium (RTSS)
IEEE 42nd Real-Time Systems Symposium

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

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

المؤلفون: Arpan Gujarati, Sergey Bozhko, Bjorn B. Brandenburg

المصدر: RTAS
IEEE Real-Time and Embedded Technology and Applications Symposium

مصطلحات موضوعية: Ethernet, 021110 strategic, defence & security studies, Design space exploration, Computer science, Distributed computing, Reliability (computer networking), 0211 other engineering and technologies, Fault tolerance, 02 engineering and technology, Fault (power engineering), Network topology, Consistency (database systems), 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Protocol (object-oriented programming)

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1cc487fa9db9179be3248887ff2a0f5d
https://doi.org/10.1109/rtas48715.2020.00012

المؤلفون: Sergey Bozhko and Björn B. Brandenburg, Bozhko, Sergey, Brandenburg, Björn B.

مصطلحات الفهرس: hard real-time systems, response-time analysis, uniprocessor, busy window, fixed priority, EDF, verification, Coq, Prosa, preemptive, non-preemptive, limited-preemptive, Article, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.1.3
Is Part Of DARTS, Volume 6, Issue 1, Special Issue of the 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)

المؤلفون: Sergey Bozhko and Björn B. Brandenburg, Bozhko, Sergey, Brandenburg, Björn B.

مصطلحات الفهرس: hard real-time systems, response-time analysis, uniprocessor, busy window, fixed priority, EDF, verification, Coq, Prosa, preemptive, non-preemptive, limited-preemptive, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.22
Is Part Of LIPIcs, Volume 165, 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)

المؤلفون: Semyon Grigorev, Sergey Bozhko, Leyla Khatbullina

المصدر: Logic, Language, Information, and Computation ISBN: 9783662595329
WoLLIC

مصطلحات موضوعية: Correctness, Constructive proof, Intersection (set theory), Computer science, Context-free language, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Regular language, Closure (mathematics), 010201 computation theory & mathematics, Formal language, 0202 electrical engineering, electronic engineering, information engineering, Calculus, 020201 artificial intelligence & image processing, Formal verification

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::41fc436983b9121677317ee34aa8629e
https://doi.org/10.1007/978-3-662-59533-6_17

المؤلفون: Maida, Marco, Bozhko, Sergey, Brandenburg, Björn B.

المساهمون: Marco Maida and Sergey Bozhko and Björn B. Brandenburg

مصطلحات موضوعية: hard real-time systems, response-time analysis, uniprocessor, Coq, Prosa, fixed priority, EDF, preemptive, non-preemptive, verification

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

Relation: Is Part Of LIPIcs, Volume 231, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2022.19

الاتاحة: https://doi.org/10.4230/LIPIcs.ECRTS.2022.19
https://nbn-resolving.org/urn:nbn:de:0030-drops-163363
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2022.19

المؤلفون: Maida, Marco, Bozhko, Sergey, Brandenburg, Björn B.

المساهمون: Marco Maida and Sergey Bozhko and Björn B. Brandenburg

مصطلحات موضوعية: hard real-time systems, response-time analysis, uniprocessor, Coq, Prosa, fixed priority, EDF, preemptive, non-preemptive, verification

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

Relation: Is Part Of DARTS, Volume 8, Issue 1, Special Issue of the 34th Euromicro Conference on Real-Time Systems (ECRTS 2022); https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.1.7

الاتاحة: https://doi.org/10.4230/DARTS.8.1.7
https://nbn-resolving.org/urn:nbn:de:0030-drops-165038
https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.1.7

المؤلفون: Bozhko, Sergey, Brandenburg, Björn B.

المساهمون: Sergey Bozhko and Björn B. Brandenburg

مصطلحات موضوعية: hard real-time systems, response-time analysis, uniprocessor, busy window, fixed priority, EDF, verification, Coq, Prosa, preemptive, non-preemptive, limited-preemptive

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

Relation: Is Part Of LIPIcs, Volume 165, 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.22

الاتاحة: https://doi.org/10.4230/LIPIcs.ECRTS.2020.22
https://nbn-resolving.org/urn:nbn:de:0030-drops-123850
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.22

المؤلفون: Bozhko, Sergey, Brandenburg, Björn B.

المساهمون: Sergey Bozhko and Björn B. Brandenburg

مصطلحات موضوعية: hard real-time systems, response-time analysis, uniprocessor, busy window, fixed priority, EDF, verification, Coq, Prosa, preemptive, non-preemptive, limited-preemptive

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

Relation: Is Part Of DARTS, Volume 6, Issue 1, Special Issue of the 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020); https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.1.3

الاتاحة: https://doi.org/10.4230/DARTS.6.1.3
https://nbn-resolving.org/urn:nbn:de:0030-drops-123930
https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.1.3