Martin Leucker

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

Multi-agent Simulation of Intelligent Energy Regulation in Vehicle-to-Grid

Ali, A. T., Schrills, T., Schuldei, A., Stellbrink, L., Calero Valdez, A., Leucker, M. & Franke, T., 14.05.2024, Multi-Agent-Based Simulation XXIV. Nardin, L. G. & Mehryar, S. (eds.). Cham: Springer Nature Switzerland, p. 160-172 13 p.

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

2023

A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management

Ali, A. T., Leucker, M., Schuldei, A., Stellbrink, L. & Sachenbacher, M., 07.09.2023, Multi-Agent Systems. Malvone, V. & Murano, A. (eds.). Cham: Springer Nature Switzerland, p. 295-311 17 p.

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

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

Martin Leucker

Research output

Search results