No photo of Martin Leucker

View Scopus Profile

Martin Leucker

Prof. Dr. rer. nat.

  • Ratzeburger Allee 160, Gebäude 64, 1. OG, Raum 43

    23562 Lübeck

    Germany

Calculated based on number of publications stored in Pure and citations from PlumX
20052024

Research activity per year

Filter
Conference contribution

Search results

  • 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. (eds.). SPIE, Vol. 12879. p. 1287906 1 p.

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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. (eds.). SPIE, Vol. 12627. p. 126270I

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution

  • 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. (eds.).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Timed Dyadic Deontic Logic.

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

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 2020

    Formal verification of neural networks?

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

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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. p. 49-56 8 p.

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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. (eds.). Springer, Cham, Vol. 11237. p. 18-26 9 p. (Lecture Notes in Computer Science; vol. 11237).

    Research 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 systemsPreusser, T., Schulz, A., Weiss, A., Heininger, M., Leucker, M., Schmitz, M., Scheffel, T. & Thoma, D., 18.09.2019, Echtzeit 2019. Unger, H. (ed.). Springer Vieweg, Wiesbaden, p. 33-42 10 p. (Informatik aktuell).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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, Vol. 2018-January. p. 851-856 6 p. (IEEE Proceedings).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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. (eds.). Springer, Cham, Vol. 11247 LNCS. p. 275-279 5 p. (Lecture Notes in Computer Science; vol. 11247 LNCS).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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, p. 1925-1933 9 p. (Proceedings of the ACM Symposium on Applied Computing).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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

    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. (eds.). EasyChair, Vol. 3. p. 96-105 10 p. (Kalpa Publications in Computing).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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

  • 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. (eds.). Cham: Springer Verlag, Vol. 10623. p. 179-196 18 p. (Lecture Notes in Computer Science; vol. 10623).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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. (eds.). Springer, Cham, Vol. 10215 LNCS. p. 151-194 44 p. (Lecture Notes in Computer Science; vol. 10215 LNCS).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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., Vol. P252. p. 79-80 2 p. (Lecture Notes in Informatics).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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. (eds.). Springer, Cham, Vol. 9952 LNCS. p. 515-516 2 p. (Lecture Notes in Computer Science; vol. 9952 LNCS).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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. (eds.). Cham: Springer Verlag, Vol. 9953. p. 380-387 8 p. (Lecture Notes in Computer Science ; vol. 9953 LNCS).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

    5 Citations (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. (eds.). International Joint Conferences on Artificial Intelligence Organization, Vol. 2015-January. p. 2639-2645 7 p. (IJCAI Proceedings; vol. 2015-January).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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. (ed.). Cham: Springer Verlag, Vol. 9434. p. 155-170 16 p. (Lecture Notes in Computer Science ; vol. 9434).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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. (eds.). Berlin: Springer Verlag, Vol. LNCS 8803. p. 387-390 4 p. (Lecture Notes in Computer Science; vol. LNCS 8803).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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, Vol. 16-21-November-2014. p. 190-201 12 p. (Foundations of Software Engineering).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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, Vol. LNCS 8662. p. 21-30 10 p. (Lecture Notes in Computer Science; vol. LNCS 8662).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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

  • 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. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, Vol. 8315. p. 188-198 11 p. (Lecture Notes in Computer Science ; vol. 8315).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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. (eds.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 36. p. 133-136 4 p. (OpenAccess Series in Informatics (OASIcs)).

    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

  • 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, Vol. LNCS 7907. p. 118-130 13 p. (Lecture Notes in Computer Science ; vol. LNCS 7907).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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

  • 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, p. 35-36 2 p. (Software Engineering for Sensor Network Applications (SESENA)).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Sliding between model checking and runtime verification

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

    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

  • 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. (eds.). PART 1 ed. Berlin: Springer Verlag, Vol. 7609 LNCS. p. 127-130 4 p. (Lecture Notes in Computer Science; vol. 7609 LNCS).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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, p. 85-92 8 p. 6269631. (IEEE Proceedings).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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. (eds.). PART 1 ed. Berlin: Springer Verlag, Vol. 7609 LNCS. p. 524-538 15 p. (Lecture Notes in Computer Science; vol. 7609 LNCS).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Teaching Runtime Verification

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

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 2011

    An event pattern language for runtime monitoring based on AOP

    Zhang, X., Leucker, M. & Dong, W., 01.12.2011, 2011 International Conference for Internet Technology and Secured Transactions. 978-1-4577-0884-8: IEEE, p. 744-751 8 p. 6148431. (IEEE Proceedings).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Efficient Energy-Optimal Routing for Electric Vehicles

    Sachenbacher, M., Leucker, M., Artmeier, A. & Haselmayr, J., 02.11.2011, AAAI'11 Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence. AAAI Press, Vol. 2. p. 1402-1407 6 p. (Proceedings of the National Conference on Artificial Intelligence).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)

    Benavides, D., Leucker, M., Becker, M., Rabiser, R., Villela, K. & Wong, P. Y. H., 19.10.2011, 2011 15th International Software Product Line Conference. IEEE, p. 336-336 1 p. 6030077. (IEEE Proceedings).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Security Goals Assurance Based on Software Active Monitoring

    Zhao, C., Dong, W., Leucker, M. & Qi, Z., 23.09.2011, 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement. IEEE, p. 70-79 10 p. 5992005. (IEEE Proceedings).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • The Theory and Practice of SALT

    Bauer, A. & Leucker, M., 26.04.2011, NASA Formal Methods. Bobaru, M., Havelund, K., Holzmann, G. & Joshi, R. (eds.). Berlin: Springer Verlag, Vol. 6617 LNCS . p. 13-40 28 p. (Lecture Notes in Computer Science ; vol. 6617 LNCS ).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review