Institute of Software Engineering and Programming Languages

Research output

Research Output per year 1996 2003 2004 2005 2007 2008 2012 2014 2016 2018 2024

• 746 Citations
• 95 Conference Papers
• 87 Conference contribution
• 52 Journal articles
• 15 Bachelor Theses
• 39 More
  • 14 Master Theses
  • 8 Anthologies
  • 4 Conference proceedings
  • 4 Other
  • 2 Chapter
  • 2 Editorial
  • 1 Books
  • 1 Special Journal Issues
  • 1 Conference Articles in Journals
  • 1 Scientific review articles
  • 1 Doctoral Theses

Research Output per year

Research Output per year

Search results

• 2017

  Möglichkeiten und Grenzen der parallelen Berechnung von Kerneln

  Lassota, A. A., 2017

  Research output: Published Theses › Master Theses

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

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

  • Service 100%
  • Ultrasound 33%
  • Formal Specification 33%

• 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

  • Program 50%
  • Language 50%
  • Computing 50%
  • Computer Hardware 50%
  • Program Execution 50%

• 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

• SMT-based Flat Model-Checking for LTL with Counting

  Pirogov, A., 15.09.2017, 85 p.

  Research output: Published Theses › Master Theses

  • Program 33%
• 2016

  Algorithmisches Zeichnen von Automaten.

  Henke, G., 2016

  Research output: Published Theses › Bachelor Theses

• 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

  • Complexity 33%

• 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, p. 121-125 5 p. 7797712. (IEEE Proceedings).

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

  • Patient 100%
  • Family 100%
  • User Interface 25%
  • Service 12%
  • Workflow 12%

• Effizienter Leerheitstest pro Zustand auf Buch-Automaten

  Kallwies, H., 2016

  Research output: Published Theses › Bachelor Theses

• 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

  • Language 50%
  • Context 25%
  • Software 25%
  • Software System 25%
  • User 25%

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

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

  • Code Generation 100%
  • Unification 33%

• 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

  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

  • Dynamic Analysis 100%
  • Analysis Technique 20%
  • Static Program Analysis 20%

• On Freeze LTL with Ordered Attributes

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

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

  • Complexity 50%

• 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. (eds.). Berlin: Springer Verlag, Vol. 9636. p. 868-884 17 p. (Lecture Notes in Computer Science; vol. 9636).

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

  • Algorithms 100%
  • Software System 25%

• 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

  • Connectivity 25%
  • Service 25%
  • Application Area 25%
  • Interface Specification 25%
  5 Citations (Scopus)

• Vierwertige Timed-Linear-Temporal-Logic

  Bierschenk, M., 2016

  Research output: Published Theses › Bachelor Theses
• 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

  • Context 100%
  • Algorithms 20%
  • Approximation (Algorithm) 20%

• An Algorithmic Toolbox to Facilitate the Genetic Finite Automata Based Approach for Negative Selection

  Pott, C., 2015

  Research output: Published Theses › Bachelor Theses

• 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 100%
  • Context 33%

• Extending Freeze LTL on Multi-Attributed Data Words with Quantifiers

  Pirogov, A., 2015

  Research output: Published Theses › Bachelor Theses

• From 2-Ways Nondeterministic Büchi Automata to Alternating Büchi Automata

  Kabelitz, M., 2015

  Research output: Published Theses › Bachelor Theses

• Graph-basierte Wasserzeichen für Software

  Buss, K.-D., 2015

  Research output: Published Theses › Bachelor Theses

• Minimierung symbolischer nichtdeterministischer Büchi-Automaten

  Thorn, J., 2015

  Research output: Published Theses › Master Theses

• 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 others, Schmidt, 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

  • Student 100%
  • Evaluation 100%
  • Analysis 40%
  • Optical Coherence Tomography 40%
  • Multichannel 40%

• Runetime Verification Logics for Object-Oriented Real-Time Systems

  Mende, T., 2015

  Research output: Published Theses › Master Theses

• 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

• 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

  • Language 100%
  • ad-hoc network 11%
  • Learning Algorithm 11%
  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

  • Accident Prevention 50%
  • Failure (Mechanical) 50%
  • Real Data 50%
  • Diagnosis 50%

• 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

  • Legal Requirement 100%

• Chronic blockade of angiotensin AT₁ receptors improves cardinal symptoms of metabolic syndrome in diet-induced obesity in rats

  Müller-Fielitz, H., Hübel, N., Mildner, M., Vogt, F. M., Barkhausen, J. & Raasch, W., 01.02.2014, In: British Journal of Pharmacology. 171, 3, p. 746-760 15 p.

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

  • Symptom 100%
  • Angiotensin II Receptor Type 1 100%
  • Fatty Acid 14%
  • Triacylglycerol 14%
  • Murine 14%
  17 Citations (Scopus)

• 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

  • Complexity 33%

• 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

• Entwicklung eines SAT-Solvers.

  Harder, J., 2014

  Research output: Published Theses › Bachelor Theses

• Entwurf und Implementierung eines Algorithmus zur Berechnung einer Pfadzerlegung von kubischen Graphen.

  Lassota, K., 2014

  Research output: Published Theses › Master Theses

• 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

  • Temporal 100%
  • Theory 22%
  • Measure 12%
  • Selection 12%
  • Periodicals 11%

• High ω-3:ω-6 fatty acids ratio increases fatty acid binding protein 4 and extracellular secretory phospholipase A2IIa in human ectopic endometrial cells

  Khanaki, K., Sadeghi, M. R., Akhondi, M. M., Darabi, M., Mehdizadeh, A., Shabani, M., Rahimipour, A. & Nouri, M., 01.11.2014, In: Iranian Journal of Reproductive Medicine. 12, 11, p. 755-764 10 p.

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

  • Fatty Acid 100%
  • Secretory Phospholipase A2 62%
  • Cell Culture 12%
  • Inflammatory Disease 12%
  • Antiinflammatory Activity 12%
  3 Citations (Scopus)

• 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

  • Language 21%
  • Learning Algorithm 21%
  • Algorithms 7%

• Logiken für verteilte Laufzeitverfikation.

  Scheffel, T., 2014

  Research output: Published Theses › Master Theses

• 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

  • Procedure 100%
  • Hospital 100%
  • Device 100%
  • Operating Room 100%

• 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

  • Analysis 100%
  • Networking 20%
  • Operating Room 20%

• 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

• Proceedings, Student Conference 2014, Medical Engineering Science

  Buzug, T. M., Birngruber, R., Botterweck, H., Brinkmann, R., Gehring, H., Handels, H., Hellbrück, H., Hübner, C., Hüttmann, G., Klein, S., Koch, M., Leucker, M., Linz, N., Mamlouk, A. M., Martinetz, T., Mertins, A., Müller, S., Nestler, B., Paulsen, H. & Ryschka, M. & 3 others, Schulz, A.-P., Schweikard, A. & Rahmanzadeh, R., 25.02.2014, Lübeck: Grin Verlag. 296 p. (Student Conference on Medical Engineering Science)

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

  • University 66%
  • Students 66%

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

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

  • Web Service 100%
  • Ultrasound 50%

• STL: Combining Stream-based and Temporal Logics.

  Tils, E. V., 2014

  Research output: Published Theses › Master Theses

• 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, p. 52-61 10 p. (IEEE Proceedings).

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

  • Robot 20%