Institut für Softwaretechnik und Programmiersprachen

Filter
Konferenzbeitrag

Suchergebnisse

  • 2024

    Detection of spoiled food along the supply chain with novel sensors for packed food

    Altmann, A., Khodaygani, M., Leucker, M., Schell, C. & Rahmanzadeh, R., 2024, Photonic Technologies in Plant and Agricultural Science. Heinemann, D. & Polder, G. (Hrsg.). SPIE, Band 12879. S. 1287906 1 S.

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 2023

    Fluorescence based detection of gaseous food spoilage indicators

    Altmann, A., Khodaygani, M., Leucker, M., Schell, C. & Rahmanzadeh, R., 2023, Translational Biophotonics: Diagnostics and Therapeutics III. Huang, Z. & Lilge, L. D. (Hrsg.). SPIE, Band 12627. S. 126270I

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag

  • 2021

    AI-Lab - An Ecosystem for Managing AI projects

    Leucker, M. & Ostanina, M., 2021, INFORMATIK 2021: Managing Artificial Intelligence. Giffen, B. V., Koehler, J., Brenner, W. & Albayrak, C. A. (Hrsg.).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Timed Dyadic Deontic Logic.

    Kharraz, K. Y., Leucker, M. & Schneider, G., 2021, JURIX. S. 197-204 8 S.

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 2020

    Formal verification of neural networks?

    Leucker, M., 19.11.2020, SBMF 2020: Formal Methods: Foundations and Applications. Carvalho, G. & Stolz, V. (Hrsg.). Springer, Cham, Band 12475 LNCS. S. 3-7 5 S. (Lecture Notes in Computer Science; Band 12475 LNCS).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Real-time MTL with durations as SMT with applications to schedulability analysis.

    Pedro, A. D. M., Leucker, M., Pereira, D. & Pinto, J. S., 2020, TASE. S. 49-56 8 S.

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 2019

    COST action IC1402 runtime verification beyond monitoring

    Colombo, C., Falcone, Y., Leucker, M., Reger, G., Sanchez, C., Schneider, G. & Stolz, V., 08.11.2019, RV 2018: Runtime Verification. Colombo, C. & Leucker, M. (Hrsg.). Springer, Cham, Band 11237. S. 18-26 9 S. (Lecture Notes in Computer Science; Band 11237).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Error-resistant scaling of three-dimensional nanoscale shapes on the basis of DNA-tiles

    Bende, P., Lau, F-L. & Fischer, S., 25.09.2019, NANOCOM '19: Proceedings of the Sixth Annual ACM International Conference on Nanoscale Computing and Communication. Association for Computing Machinery, S. 1–6 6 S. 3345460

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 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. (Hrsg.). Springer, Cham, Band 11237. S. 43-63 21 S. (Lecture Notes in Computer Science; Band 11237).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 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, S. 86-92 7 S. 8914094

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 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. (Hrsg.). Springer, Cham, Band 11757 LNCS. S. 273-291 19 S. (Lecture Notes in Computer Science; Band 11757 LNCS).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Test und Fehlersuche in komplexen Autonomen Systemen

    Preusser, T., Schulz, A., Weiss, A., Heininger, M., Leucker, M., Schmitz, M., Scheffel, T. & Thoma, D., 18.09.2019, Echtzeit 2019. Unger, H. (Hrsg.). Springer Vieweg, Wiesbaden, S. 33-42 10 S. (Informatik aktuell).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 2018

    Online Analysis of Debug Trace Data for Embedded Systems

    Decker, N., Dreyer, B., Gottschling, P., Hochberger, C., Lange, A., Leucker, M., Scheffel, T., Wegener, S. & Weiss, A., 19.04.2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, Band 2018-January. S. 851-856 6 S. (IEEE Proceedings).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Reliable smart contracts: State-of-the-art, applications, challenges and future directions

    Sánchez, C., Schneider, G. & Leucker, M., 30.10.2018, ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. Margaria, T. & Steffen, B. (Hrsg.). Springer, Cham, Band 11247 LNCS. S. 275-279 5 S. (Lecture Notes in Computer Science; Band 11247 LNCS).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • TeSSLa: Runtime Verification of Non-synchronized Real-Time Streams

    Leucker, M., Sánchez, C., Scheffel, T., Schmitz, M. & Schramm, A., 09.04.2018, SAC '18 Proceedings of the 33rd Annual ACM Symposium on Applied Computing. ACM, S. 1925-1933 9 S. (Proceedings of the ACM Symposium on Applied Computing).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 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. (Hrsg.). Springer, Cham, Band 11254 LNCS. S. 144-162 19 S. (Lecture Notes in Computer Science ; Band 11254 LNCS).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 2017

    COEMS - open traces from the industry

    Jakvsi'c, S., Leucker, M., Li, D. & Stolz, V., 14.12.2017, RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools. Reger, G. & Havelund, K. (Hrsg.). EasyChair, Band 3. S. 96-105 10 S. (Kalpa Publications in Computing).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 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, Band 85. S. 29:1--29:17 17 S. (Leibniz International Proceedings in Informatics, LIPIcs; Band 85).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 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, S. 8648-8653 6 S. (Conference of the IEEE Industrial Electronics Society).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems

    Decker, N., Gottschling, P., Hochberger, C., Leucker, M., Scheffel, T., Schmitz, M. & Weiss, A., 11.11.2017, Formal Methods: Foundations and Applications . Fiadeiro, J. & Cavalheiro, S. (Hrsg.). Cham: Springer Verlag, Band 10623. S. 179-196 18 S. (Lecture Notes in Computer Science; Band 10623).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Runtime verification for linear-time temporal logic

    Leucker, M., 06.04.2017, SETSS 2016: Engineering Trustworthy Software Systems. P. Bowen, J., Liu, Z. & Zhang, Z. (Hrsg.). Springer, Cham, Band 10215 LNCS. S. 151-194 44 S. (Lecture Notes in Computer Science; Band 10215 LNCS).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 2016

    A primer on counterexample guided abstraction refinement of product-line behavioural models

    Cordy, M., Dawagne, B., Heymans, P., Legay, A., Leucker, M. & Schobbens, P. Y., 2016, Software Engineering-Konferenz, SE 2016. Gesellschaft für Informatik e.V., Band P252. S. 79-80 2 S. (Lecture Notes in Informatics).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Dynamic Remote Control through Service Orchestration of Point-of-Care and Surgical Devices based on IEEE 11073 SDC

    Kasparick, M., Schmitz, M., Golatowski, F. & Timmermann, D., 27.12.2016, 2016 IEEE Healthcare Innovation Point-Of-Care Technologies Conference (HI-POCT). IEEE, S. 121-125 5 S. 7797712. (IEEE Proceedings).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Integration of Runtime Verification into Metamodeling for Simulation and Code Generation

    Macias, F., Scheffel, T., Schmitz, M. & Wang, R., 20.09.2016, Runtime Verification . Falcone, Y. & Sanchez, C. (Hrsg.). Cham: Springer Verlag, Band 10012. S. 454-461 8 S. (Lecture Notes in Computer Science; Band 10012 ).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • On combinations of static and dynamic analysis – Panel introduction

    Leucker, M., 05.10.2016, ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Margaria, T. & Steffen, B. (Hrsg.). Springer, Cham, Band 9952 LNCS. S. 515-516 2 S. (Lecture Notes in Computer Science; Band 9952 LNCS).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • On Freeze LTL with Ordered Attributes

    Decker, N. & Thoma, D., 01.01.2016, Foundations of Software Science and Computation Structures. Berlin: Springer Verlag, Band 9634. S. 269-284 16 S. ( Lecture Notes in Computer Science; Band 9634).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 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. (Hrsg.). Berlin: Springer Verlag, Band 9636. S. 868-884 17 S. (Lecture Notes in Computer Science; Band 9636).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Runtime verification for interconnected medical devices

    Leucker, M., Schmitz, M. & à Tellinghusen, D., 05.10.2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications . Steffen, B. & Margaria, T. (Hrsg.). Cham: Springer Verlag, Band 9953. S. 380-387 8 S. (Lecture Notes in Computer Science ; Band 9953 LNCS).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

    5 Zitate (Scopus)
  • 2015

    Abstract Routing Models and Abstractions in the Context of Vehicle Routing

    Schönfelder, R. & Leucker, M., 25.06.2015, Computational Sustainability Track. Wooldridge, M. & Yang, Q. (Hrsg.). International Joint Conferences on Artificial Intelligence Organization, Band 2015-January. S. 2639-2645 7 S. (IJCAI Proceedings; Band 2015-January).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • A New Refinement Strategy for CEGAR-Based Industrial Model Checking

    Leucker, M., Markin, G. & Neuhäußer, M. R., 28.11.2015, Hardware and Software: Verification and Testing. Piterman, N. (Hrsg.). Cham: Springer Verlag, Band 9434. S. 155-170 16 S. (Lecture Notes in Computer Science ; Band 9434).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 2014

    Challenges for the Dynamic Interconnection of Medical Devices

    Leucker, M., 01.10.2014, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications . Margaria, T. & Steffen, B. (Hrsg.). Berlin: Springer Verlag, Band LNCS 8803. S. 387-390 4 S. (Lecture Notes in Computer Science; Band LNCS 8803).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Counterexample guided abstraction refinement of product-line behavioural models

    Cordy, M., Heymans, P., Legay, A., Schobbens, P. Y., Dawagne, B. & Leucker, M., 16.11.2014, FSE 2014 Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. ACM, Band 16-21-November-2014. S. 190-201 12 S. (Foundations of Software Engineering).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Efficient Profile Routing for Electric Vehicles

    Schönfelder, R., Leucker, M. & Walther, S., 01.09.2014, Internet of Vehicles – Technologies and Services . Cham: Springer Verlag, Band LNCS 8662. S. 21-30 10 S. (Lecture Notes in Computer Science; Band LNCS 8662).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 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, Band 8489 LNCS. S. 130-149 20 S. (Lecture Notes in Computer Science; Band 8489 LNCS).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 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, Band 8413. S. 341-356 16 S. (Lecture Notes in Computer Science; Band 8413).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • OR.NET: Safe Interconnection of Medical Devices

    Kühn, F. & Leucker, M., 01.08.2014, Foundations of Health Information Engineering and Systems. Gibbons, J. & MacCaull, W. (Hrsg.). Berlin, Heidelberg: Springer Berlin Heidelberg, Band 8315. S. 188-198 11 S. (Lecture Notes in Computer Science ; Band 8315).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices

    Kühn, F., Leucker, M. & Mildner, A., 01.04.2014, 5th Workshop on Medical Cyber-Physical Systems. Turau, V., Kwiatkowska, M., Mangharam, R. & Weyer, C. (Hrsg.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Band 36. S. 133-136 4 S. (OpenAccess Series in Informatics (OASIcs)).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 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. (Hrsg.). Berlin: Springer Verlag, Band LNCS 8704. S. 497-511 15 S. (Lecture Notes in Computer Science ; Band LNCS 8704).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 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, S. 235-244 10 S. ( International Symposium on Software Reliability Engineering).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Three-Valued Asynchronous Distributed Runtime Verification

    Scheffel, T. & Schmitz, M., 01.10.2014, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE). IEEE, S. 52-61 10 S. (IEEE Proceedings).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 2013

    A Fresh Approach to Learning Register Automata

    Bollig, B., Habermehl, P., Leucker, M. & Monmege, B., 19.09.2013, Developments in Language Theory . Berlin: Springer Verlag, Band LNCS 7907. S. 118-130 13 S. (Lecture Notes in Computer Science ; Band LNCS 7907).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Impartiality and Anticipation for Monitoring of Visibly Context-free Properties

    Decker, N., Leucker, M. & Thoma, D., 18.11.2013, Runtime Verification. Berlin: Springer Verlag, Band LNCS 8174. S. 183-200 18 S. (Lecture Notes in Computer Science; Band LNCS 8174).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • jUnitRV - Adding Runtime Verification to jUnit

    Decker, N., Leucker, M. & Thoma, D., 09.09.2013, NASA Formal Methods. Brat, G., Rungta, N. & Venet, A. (Hrsg.). Berlin: Springer Verlag, Band LNCS 7871. S. 459-464 6 S. ( Lecture Notes in Computer Science ; Band LNCS 7871).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Runtime verification and reflection for wireless sensor networks

    Fischer, S. & Leucker, M., 01.05.2013, 2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA). San Francisco, CA, USA: IEEE, S. 35-36 2 S. (Software Engineering for Sensor Network Applications (SESENA)).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Sliding between model checking and runtime verification

    Leucker, M., 30.01.2013, Runtime Verification . Qadeer, S. & Tasiran, S. (Hrsg.). Berlin: Springer Verlag, Band LNCS 7687. S. 82-87 6 S. (Lecture Notes in Computer Science; Band LNCS 7687).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 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. (Hrsg.). PART 1 Aufl. Berlin: Springer Verlag, Band 7609 LNCS. S. 131-145 15 S. (Lecture Notes in Computer Science; Band 7609 LNCS).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Approaches for Mastering Change

    Schaefer, I., Lochau, M. & Leucker, M., 07.11.2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change . Margaria, T. & Steffen, B. (Hrsg.). PART 1 Aufl. Berlin: Springer Verlag, Band 7609 LNCS. S. 127-130 4 S. (Lecture Notes in Computer Science; Band 7609 LNCS).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Frequency Linear-time Temporal Logic

    Bollig, B., Decker, N. & Leucker, M., 05.10.2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering. IEEE, S. 85-92 8 S. 6269631. (IEEE Proceedings).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Learning Minimal Deterministic Automata from Inexperienced Teachers

    Leucker, M. & Neider, D., 07.11.2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change . Margaria, T. & Steffen, B. (Hrsg.). PART 1 Aufl. Berlin: Springer Verlag, Band 7609 LNCS. S. 524-538 15 S. (Lecture Notes in Computer Science; Band 7609 LNCS).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Teaching Runtime Verification

    Leucker, M., 23.05.2012, Runtime Verification. Khurshid, S. & Sen, K. (Hrsg.). Berlin: Springer Verlag, Band 7186 LNCS. S. 34-48 15 S. (Lecture Notes in Computer Science; Band 7186 LNCS).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung