Publications
146 Entries
2020
-
Quantitative Characterization of Reconfigurable Transistor Logic Gates. , 2020, In: IEEE access. 8, p. 112598-112614, 17 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
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. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 36:1-36:17Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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. (eds.). Research Publishing Services, p. 4843-4850Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
SWITSS: Computing small witnessing subsystems , 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020. Ivrii, A. & Strichman, O. (eds.). TU Wien Academic Press, p. 236-244, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
2019
-
Configuration of Inter-Process Communication with Probabilistic Model Checking , 1 Dec 2019, In: International Journal on Software Tools for Technology Transfer. 21, 6, p. 651-666, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
NEMESYS - A showcase of data oriented near memory graph processing , 25 Jun 2019, SIGMOD '19: Proceedings of the 2019 International Conference on Management of Data. Association for Computing Machinery (ACM), New York, p. 1945-1948, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy- Efficient Computing , Jan 2019, In: Proceedings of the IEEE. 107, 1, p. 204-231, 28 p., 8565890Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
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 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
-
Breaking the Limits of Redundancy Systems Analysis , 2019, Proceedings of the 29th European Safety and Reliability Conference (ESREL). Beer, M. & Zio, E. (eds.). Research Publishing Services, p. 2317-2324, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Compositional Feature-Oriented Systems , 2019, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Proceedings. Ölveczky, P. C. & Salaün, G. (eds.). Springer-Verlag, p. 162-180, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution