Publikationen
146 Einträge
2020
-
Quantitative Characterization of Reconfigurable Transistor Logic Gates. , 2020, in: IEEE access. 8, S. 112598-112614, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Reachability in Dynamical Systems with Rounding , 2020, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020). Saxena, N. & Simon, S. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, S. 36:1-36:17Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis , 2020, e-proceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference (ESREL2020 PSAM15). Baraldi, P., Di Maio, F. & Zio, E. (Hrsg.). Research Publishing Services, S. 4843-4850Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
SWITSS: Computing small witnessing subsystems , 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020. Ivrii, A. & Strichman, O. (Hrsg.). TU Wien Academic Press, S. 236-244, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
2019
-
Configuration of Inter-Process Communication with Probabilistic Model Checking , 1 Dez. 2019, in: International Journal on Software Tools for Technology Transfer. 21, 6, S. 651-666, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
NEMESYS - A showcase of data oriented near memory graph processing , 25 Juni 2019, SIGMOD '19: Proceedings of the 2019 International Conference on Management of Data. Association for Computing Machinery (ACM), New York, S. 1945-1948, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy- Efficient Computing , Jan. 2019, in: Proceedings of the IEEE. 107, 1, S. 204-231, 28 S., 8565890Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
46th International Colloquium on Automata, Languages, and Programming: ICALP 2019, July 9-12, 2019, Patras, Greece , 2019, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2186 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
-
Breaking the Limits of Redundancy Systems Analysis , 2019, Proceedings of the 29th European Safety and Reliability Conference (ESREL). Beer, M. & Zio, E. (Hrsg.). Research Publishing Services, S. 2317-2324, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Compositional Feature-Oriented Systems , 2019, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Proceedings. Ölveczky, P. C. & Salaün, G. (Hrsg.). Springer-Verlag, S. 162-180, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband