نتائج البحث - "Institut für Simulations- und Softwaretechnik"

1

Robust, expressive, and quantitative linear temporal logics: Pick any two for free

المؤلفون: Daniel Neider, Martin Zimmermann, Alexander Weinert

المصدر: Information and Computation
GandALF
EPTCS 305, 2019, pp. 1-16
Electronic Proceedings in Theoretical Computer Science, Vol 305, Iss Proc. GandALF 2019, Pp 1-16 (2019)

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theoretical computer science, Institut für Simulations- und Softwaretechnik, Logic in computer science, Computer science, Formal Languages and Automata Theory (cs.FL), Mathematische Logik, Computer Science - Formal Languages and Automata Theory, lcsh:QA75.5-76.95, Theoretical Computer Science, Verteilte Systeme und Komponentensoftware, Linear temporal logic, Robustness (computer science), Isolation (database systems), Robustness, Reactive system, Dynamic logic (digital electronics), lcsh:Mathematics, Expressiveness, Specification language, Temporal Logics, lcsh:QA1-939, Quantitative Logics, Computer Science Applications, Logic in Computer Science (cs.LO), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Computational Theory and Mathematics, Verifikation, lcsh:Electronic computers. Computer science, Information Systems, Hardware_LOGICDESIGN

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cd1eb26c14b6f9a9d8769a92d64df6b1
https://doi.org/10.1016/j.ic.2021.104810

2

From LTL to rLTL monitoring: improved monitorability through robust semantics

المؤلفون: Martin Zimmermann, Corto Mascle, Daniel Neider, Maximilian Schwenger, Alexander Weinert, Paulo Tabuada

المساهمون: Ames, Aaron, Seshia, Sanjit A, Deshmukh, Jyotirmoy

المصدر: Formal methods in system design, vol 59, iss 1-3
Mascle, C, Neider, D, Schwenger, M, Tabuada, P, Weinert, A & Zimmermann, M 2022, ' From LTL to rLTL monitoring: improved monitorability through robust semantics ', Formal Methods in System Design, vol. 59, no. 1-3, pp. 170-204 . https://doi.org/10.1007/s10703-022-00398-4
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
HSCC
Formal Methods in System Design

مصطلحات موضوعية: FOS: Computer and information sciences, 030213 general clinical medicine, 0209 industrial biotechnology, Computer Science - Logic in Computer Science, Electrical & Electronic Engineering, Institut für Simulations- und Softwaretechnik, Property (philosophy), Theoretical computer science, Monitoring, Formal Languages and Automata Theory (cs.FL), Computer science, Semantics (computer science), Computer Science - Formal Languages and Automata Theory, 02 engineering and technology, Temporallogik, Theoretical Computer Science, Verteilte Systeme und Komponentensoftware, Computer Software, 03 medical and health sciences, 020901 industrial engineering & automation, 0302 clinical medicine, Linear temporal logic, Realizability, Truth value, Robustheit, Runtime Monitoring Robust Linear Temporal Logic, Computation Theory and Mathematics, Logic in Computer Science (cs.LO), Automaton, Prefix, Range (mathematics), Hardware and Architecture, Runtime monitoring, Distributed Computing, Software, Robust Linear Temporal Logic