Research Output per year
Research Output per year
- 16 results
Search results
-
2019
Hardware-based runtime verification with embedded tracing units and stream processing
Convent, L., Hungerecker, S., Scheffel, T., Schmitz, M., Thoma, D. & Weiss, A., 08.11.2019, RV 2018: Runtime Verification. Colombo, C. & Leucker, M. (eds.). Springer, Cham, Vol. 11237. p. 43-63 21 p. (Lecture Notes in Computer Science; vol. 11237).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
Non-intrusive MC/DC measurement based on traces
Ahishakiye, F., Jaksic, S., Lange, F. D., Schmitz, M., Stolz, V. & Thoma, D., 07.2019, 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, p. 86-92 7 p. 8914094Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
Runtime Verification for Timed Event Streams with Partial Information
Leucker, M., Sánchez, C., Scheffel, T., Schmitz, M. & Thoma, D., 01.10.2019, RV 2019: Runtime Verification . Finkbeiner, B. & Mariani, L. (eds.). Springer, Cham, Vol. 11757 LNCS. p. 273-291 19 p. (Lecture Notes in Computer Science; vol. 11757 LNCS).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
Test und Fehlersuche in komplexen Autonomen Systemen
Translated title of the contribution :Test and debugging in complex autonomous systems Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
2018
TeSSLa: Temporal stream-based specification language
Convent, L., Hungerecker, S., Leucker, M., Scheffel, T., Schmitz, M. & Thoma, D., 24.10.2018, SBMF 2018: Formal Methods: Foundations and Applications. Massoni, T. & Mousavi, M. R. (eds.). Springer, Cham, Vol. 11254 LNCS. p. 144-162 19 p. (Lecture Notes in Computer Science ; vol. 11254 LNCS).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
2017
Model-Checking Counting Temporal Logics on Flat Structures
Decker, N., Habermehl, P., Leucker, M., Sangnier, A. & Thoma, D., 01.08.2017, 28th International Conference on Concurrency Theory (CONCUR 2017). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 85. p. 29:1--29:17 17 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 85).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
Monitoring as a Service for Networked Medical Cyber-Physical Systems
Kühn, F., Thoma, D., Labitzke, D. & Fischer, S., 01.05.2017, IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society. Beijing, China: IEEE Computer Society, p. 8648-8653 6 p. (Conference of the IEEE Industrial Electronics Society).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
2016
On Freeze LTL with Ordered Attributes
Decker, N. & Thoma, D., 01.01.2016, Foundations of Software Science and Computation Structures. Berlin: Springer Verlag, Vol. 9634. p. 269-284 16 p. ( Lecture Notes in Computer Science; vol. 9634).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
Runtime Monitoring with Union-Find Structures
Decker, N., Harder, J., Scheffel, T., Schmitz, M. & Thoma, D., 09.04.2016, Tools and Algorithms for the Construction and Analysis of Systems . Raskin , J.-F. & Chechik , M. (eds.). Berlin: Springer Verlag, Vol. 9636. p. 868-884 17 p. (Lecture Notes in Computer Science; vol. 9636).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
2014
Learning Transparent Data Automata
Decker, N., Habermehl, P., Leucker, M. & Thoma, D., 01.06.2014, Application and Theory of Petri Nets and Concurrency . Cham: Springer Verlag, Vol. 8489 LNCS. p. 130-149 20 p. (Lecture Notes in Computer Science; vol. 8489 LNCS).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
Monitoring Modulo Theories
Decker, N., Leucker, M. & Thoma, D., 01.04.2014, Tools and Algorithms for the Construction and Analysis of Systems . Berlin: Springer Verlag, Vol. 8413. p. 341-356 16 p. (Lecture Notes in Computer Science; vol. 8413).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
Ordered Navigation on Multi-attributed Data Words
Decker, N., Habermehl, P., Leucker, M. & Thoma, D., 01.09.2014, CONCUR 2014 – Concurrency Theory. Baldan, P. & Gorla, D. (eds.). Berlin: Springer Verlag, Vol. LNCS 8704. p. 497-511 15 p. (Lecture Notes in Computer Science ; vol. LNCS 8704).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
Runtime Verification of Web Services for Interconnected Medical Devices
Decker, N., Kühn, F. & Thoma, D., 01.11.2014, 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014. Naples, Italy: IEEE Computer Society, p. 235-244 10 p. ( International Symposium on Software Reliability Engineering).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
2013
Impartiality and Anticipation for Monitoring of Visibly Context-free Properties
Decker, N., Leucker, M. & Thoma, D., 18.11.2013, Runtime Verification. Berlin: Springer Verlag, Vol. LNCS 8174. p. 183-200 18 p. (Lecture Notes in Computer Science; vol. LNCS 8174).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
jUnitRV - Adding Runtime Verification to jUnit
Decker, N., Leucker, M. & Thoma, D., 09.09.2013, NASA Formal Methods. Brat, G., Rungta, N. & Venet, A. (eds.). Berlin: Springer Verlag, Vol. LNCS 7871. p. 459-464 6 p. ( Lecture Notes in Computer Science ; vol. LNCS 7871).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
2012
A Formal Approach to Software Product Families
Leucker, M. & Thoma, D., 07.11.2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change . Margaria, T. & Steffen, B. (eds.). PART 1 ed. Berlin: Springer Verlag, Vol. 7609 LNCS. p. 131-145 15 p. (Lecture Notes in Computer Science; vol. 7609 LNCS).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review