Martin Leucker

Research output

Research output per year 2005 2011 2012 2014 2018 2021 2024

• 45 Conference contribution
• 14 Journal articles
• 8 Conference Papers
• 2 Anthologies
• 8 More
  • 2 Conference proceedings
  • 2 Editorial
  • 2 Other
  • 1 Conference Articles in Journals
  • 1 Scientific review articles

Research output per year

Research output per year

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

  • food spoilage 100%
  • foil 95%
  • fluorescence 56%
  • fluorescence emission spectroscopy 48%
  • freshness 45%
• 2022

  Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Challenges and Solutions

  Petersen, E., Potdevin, Y., Mohammadi, E., Zidowitz, S., Breyer, S., Nowotka, D., Henn, S., Pechmann, L., Leucker, M., Rostalski, P. & Herzog, C., 2022, In: IEEE Access. 10, p. 58375-58418 44 p.

  Research output: Journal Articles › Journal articles › Research › peer-review

  • Medicine 100%
  • Machine learning 73%
  • Learning systems 50%
  • Transparency 34%
  • Uncertainty 20%
  2 Citations (Scopus)
• 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

• Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search.

  Barbot, B., Bollig, B., Finkel, A., Haddad, S., Khmelnitsky, I., Leucker, M., Neider, D., Roy, R. & Ye, L., 2021, p. 113-129.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Context free grammars 100%
  • Recurrent neural networks 77%
  • Learning algorithms 62%
  • Context free languages 37%
  • Problem-Based Learning 28%

• Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

  Bartocci, E. (ed.), Falcone, Y. (ed.) & Leucker, M. (ed.), 2021, Springer. (Lecture Notes in Computer Science)(Formal Methods in Outer Space)

  Research output: Books/Anthologies/Proceedings/Theses › Anthologies › peer-review

• Preface.

  Leucker, M. & Colombo, C., 2021, In: Int. J. Softw. Tools Technol. Transf.. 23, 2, p. 155-156 2 p., 2.

  Research output: Journal Articles › Journal articles › Research › peer-review

• Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.

  Khmelnitsky, I., Neider, D., Roy, R., Xie, X., Barbot, B., Bollig, B., Finkel, A., Haddad, S., Leucker, M. & Ye, L., 2021, p. 364-380.

  Research output: Contribution to conference › Conference Papers › peer-review

• Responsible and Regulatory Conform Machine Learning for Medicine - A Survey of Technical Challenges and Solutions

  Petersen, E., Potdevin, Y., Mohammadi, E., Zidowitz, S., Breyer, S., Nowotka, D., Henn, S., Pechmann, L., Leucker, M., Rostalski, P. & Herzog, C., 2021, arXiv.

  Research output: Other contribution › Other › Research

• 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

  • Formal verification 100%
  • Machine learning 62%
  • Neural networks 51%
  • Formal specification 33%
  • Recurrent neural networks 29%

• KI-SIGS: Artificial Intelligence for the Northern German Health Ecosystem

  Fischer, S., Leucker, M., Lüth, C., Martinetz, T., Mildner, R., Nowotka, D. & Steinicke, F., 01.2020, In: Digitale Welt. 4, 1, p. 49-54 6 p.

  Research output: Journal Articles › Journal articles › Research › 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

  • Temporal logic 100%
  • Surface mount technology 99%

• Runtime verification of real-time event streams under non-synchronized arrival

  Leucker, M., Sánchez, C., Scheffel, T., Schmitz, M. & Schramm, A., 01.06.2020, In: Software Quality Journal. 28, 2, p. 745-787 43 p.

  Research output: Journal Articles › Journal articles › Research › peer-review

  • Specification languages 100%
  • Specifications 56%
  • Transducers 41%
  • Agglomeration 37%
  • Clocks 37%
  1 Citation (Scopus)
• 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

  • networking 100%
  • European Union 79%
  • monitoring 44%

• Preface to special issue: ICTAC 2015

  Leucker, M., Pérez, J. A., Rueda, C. & Valencia, F. D., 01.01.2019, In: Mathematical Structures in Computer Science. 29, 1, p. 1-2 2 p.

  Research output: Journal Articles › Editorial

• 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

  • Specification languages 100%
  • Macros 79%
  • Acoustic waves 68%
  • Specifications 56%

• 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

  Extended device profiles and testing procedures for the approval process of integrated medical devices using the IEEE 11073 communication standard

  Janß, A., Thorn, J., Schmitz, M., Mildner, A., Dell'Anna-Pudlik, J., Leucker, M. & Radermacher, K., 23.02.2018, In: Biomedizinische Technik. 63, 1, p. 95-103 9 p.

  Research output: Journal Articles › Journal articles › Research › peer-review

  • Equipment and Supplies 100%
  • Operating Rooms 85%
  • Certification 24%
  • Risk Management 22%
  • Education 13%
  9 Citations (Scopus)

• Non-intrusive runtime verification within a system-on-chip

  Rufino, J., Casimiro, A., Lange, F. D., Leucker, M., Scheffel, T., Schmitz, M. & Thoma, D., 12.2018, In: Ada User Journal. 39, 4, p. 296-299 4 p.

  Research output: Journal Articles › Journal articles › Research › peer-review

  • System-on-chip 100%
  • Computer hardware description languages 51%
  • Specification languages 28%
  • Monitoring 27%

• 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

  • System-on-chip 100%
  • Embedded systems 90%
  • Observability 54%
  • Field programmable gate arrays (FPGA) 40%

• OR.NET - Secure dynamic networks in the operating room and clinic

  Golatowski, F., Janss, A., Leucker, M. & Neumuth, T., 23.02.2018, In: Biomedizinische Technik. 63, 1, p. 1-3 3 p.

  Research output: Journal Articles › Scientific review articles › Research

  3 Citations (Scopus)

• 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

  • Blockchain 100%

• 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

  • Specification languages 100%
  • Monitoring 98%
  • Agglomeration 75%
  • Clocks 74%
  • Statistics 65%

• 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

  • Specification languages 100%
  • Computability and decidability 29%
  • Statistics 16%
  • Monitoring 12%
• 2017

  ClonoCalc and ClonoPlot: Immune repertoire analysis from raw files to publication figures with graphical user interface

  Fähnrich, A., Krebbel, M., Decker, N., Leucker, M., Lange, F. D., Kalies, K. & Möller, S., 11.03.2017, In: BMC Bioinformatics. 18, 1, 164.

  Research output: Journal Articles › Journal articles › Research › peer-review

  • Publications 100%
  • High-Throughput Nucleotide Sequencing 77%
  • B-Lymphocytes 61%
  • Software 60%
  • Animals 60%
  5 Citations (Scopus)

• 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

  • Metadata 100%
  • Information management 93%
  • Industry 88%
  • Specifications 65%
  • Monitoring 56%

• 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

  • Computability and decidability 100%
  • Temporal logic 86%
  • Model checking 77%

• 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

  • Specifications 100%
  • Monitoring 87%
  • System-on-chip 78%
  • Field programmable gate arrays (FPGA) 63%
  • Computer hardware 45%

• 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

  • Temporal logic 100%
  • Specification languages 32%
  • Specifications 18%
• 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

  • Explosions 100%
  • Model checking 56%
  • Experiments 18%

• Integration of Runtime Verification into Metamodeling

  Macias, F., Scheffel, T., Schmitz, M., Wang, R., Leucker, M., Rutle, A. & Stolz, V., 01.11.2016, p. 1-3. 3 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Modeling languages 100%
  • Specifications 38%
  • Embedded systems 27%
  • Large scale systems 25%
  • Semantics 20%

• Konzept zur IT-Ausstattung an Lübecker Schulen

  Leucker, M., Stümpel, A., Wolf, D. & Huber, D., 01.10.2016, 88 p.

  Research output: Other contribution › Other › Research

• Monitoring modulo theories

  Decker, N., Leucker, M. & Thoma, D., 01.04.2016, In: International Journal on Software Tools for Technology Transfer. 18, 2, p. 205-225 21 p.

  Research output: Journal Articles › Journal articles › Research › peer-review

  • Temporal logic 100%
  • Surface mount technology 66%
  • Monitoring 47%
  • Specifications 18%
  10 Citations (Scopus)

• 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

  • Model checking 100%
  • Static analysis 98%
  • Dynamic analysis 85%
  • Specifications 12%

• 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

  • Biomedical equipment 100%
  • Network protocols 62%
  • Software engineering 37%
  • Specifications 29%
  • IEEE Standards 24%
  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

  • Vehicle routing 100%
  • Electric vehicles 39%
  • Internet 29%

• 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

  • Model checking 100%

• Proceedings, Student Conference 2015, Medical Engineering Science

  Buzug, T. M., Brinkmann, R., Gehring, H., Handels, H., Heinrich, M. P., Hellbrück, H., Hübner, C., Hüttmann, G., Klein, S., Koch, M., Leucker, M., Lüdtke-Buzug, K., Maehle, E., Martinetz, T., Mertins, A., Modersitzki, J., Paulsen, H., Rahmanzadeh, R., Reinholz, F., Rostalski, P., & 9 othersSchmidt, C., Schweikard, A., Vogel, A., Wehrig, S., Birngruber, R., Gutsmann, T., Scharfschwerdt, M., Debbeler, C. & Kaethner, C., 01.07.2015, Lübeck: Infinite Science Publishing. 222 p. (Student Conference on Medical Engineering Science)

  Research output: Books/Anthologies/Proceedings/Theses › Conference proceedings › Research

  • Students 100%
  • Photoacoustic effect 84%
  • Lasers 81%
  • Optical tomography 74%
  • Endoscopy 66%

• Secured SOA for the Safe Interconnection of Medical Devices (Position Paper)

  Leucker, M. & Schmitz, M., 01.03.2015, In: CEUR Workshop Proceedings. 1337, p. 11-14 4 p.

  Research output: Journal Articles › Conference Articles in Journals › Research › peer-review

  • Biomedical equipment 100%
  • Service oriented architecture (SOA) 97%

• Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE

  Busshaus, T. B., Fischer, S., Kühn, F., Leucker, M., Schmitz, M. & Mildner, A., 01.05.2015, p. 243-248. 6 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente textendash Technologietransfer im CMSSE

  Busshaus, T., Fischer, S., Kühn, F., Leucker, M., Mildner, A. & Schmitz, M., 01.03.2015, p. 1-6. 6 p.

  Research output: Contribution to conference › Conference Papers › peer-review
• 2014

  A robust class of data languages and an application to learning

  Bollig, B., Habermehl, P., Leucker, M. & Monmege, B., 29.12.2014, In: Logical Methods in Computer Science. 10, 4, p. 1-23 23 p.

  Research output: Journal Articles › Journal articles › Research › peer-review

  • Network protocols 100%
  • Ad hoc networks 71%
  • Learning algorithms 60%
  3 Citations (Scopus)

• CeLiM: Centralized Runtime Monitoring of Lithium-Ion Battery Packs

  Sachenbacher, M., Blankenburg, M. & Leucker, M., 01.09.2014, p. 1-6. 6 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Battery Pack 100%
  • Lithium-ion batteries 89%
  • Energy storage 48%
  • Monitoring 46%
  • Battery management systems 36%

• 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

  • Biomedical equipment 100%
  • Surgery 62%

• 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

  • Explosions 100%
  • Model checking 56%
  • Experiments 18%

• 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

  • Cost functions 100%
  • Electric vehicles 98%
  • Energy efficiency 86%

• Guest editors' preface to special issue on interval temporal logics

  Moszkowski, B., Guelev, D. & Leucker, M., 01.01.2014, In: Annals of Mathematics and Artificial Intelligence. 71, 1-3, p. 1-9 9 p.

  Research output: Journal Articles › Editorial

  • logic 100%
  • editor 77%
  • artificial intelligence 29%
  • computer science 26%
  • Italy 24%

• 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

  • Learning algorithms 100%
  • Problem-Based Learning 92%
  • Data storage equipment 48%
  • Petri nets 39%

• 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

  • Temporal logic 100%
  • Surface mount technology 66%
  • Monitoring 47%