Leucker Martin

Prof. Dr. rer. nat.

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

    23562 Lübeck

    Germany

  • 1115
    Citations
20052023

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 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 ProceedingsConference 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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-review