Institut für Softwaretechnik und Programmiersprachen

Publikationen

Publikationen pro Jahr 1996 2003 2004 2005 2007 2008 2012 2014 2016 2018 2025

• 746 Scopus-Zitationen
• 95 Konferenzpapiere
• 89 Konferenzbeitrag
• 54 Zeitschriftenaufsätze
• 15 Bachelorarbeiten
• 39 Mehr
  • 14 Masterarbeiten
  • 8 Anthologien
  • 4 Konferenzbände und -dokumentationen
  • 4 Andere
  • 2 Kapitel
  • 2 Leitartikel
  • 1 Bücher
  • 1 Besondere Zeitschrifteneditionen/Sonderausgaben
  • 1 Konferenzaufsätze in Fachzeitschriften
  • 1 Übersichtsarbeiten
  • 1 Dissertationen

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 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. (Hrsg.). SPIE, Band 12879. S. 1287906 1 S.

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

• 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. (Hrsg.). Cham: Springer Nature Switzerland, S. 160-172 13 S.

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung
• 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. (Hrsg.). Cham: Springer Nature Switzerland, S. 295-311 17 S.

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

• 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. (Hrsg.). SPIE, Band 12627. S. 126270I

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag

  • Fluorescence Spectroscopy 100%
  • Freshness 100%
  • Food Spoilage 100%
  • Spoilage 50%
  • Food Waste 50%
• 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. (Hrsg.).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

• Timed Dyadic Deontic Logic.

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

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung
• 2020

  Formal verification of neural networks?

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

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Learning System 100%
  • Machine Learning 100%
  • Formal Verification 100%
  • Software System 33%
  • Recurrent Neural Network 33%

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

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Temporal Logic 100%
  • Schedulability Analysis 100%
  • Satisfiability Problem 50%
  • Timing Constraint 50%
• 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. (Hrsg.). Springer, Cham, Band 11237. S. 18-26 9 S. (Lecture Notes in Computer Science; Band 11237).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • runtime verification 100%
  • European Country 50%

• Error-resistant scaling of three-dimensional nanoscale shapes on the basis of DNA-tiles

  Bende, P., Lau, F.-L. & Fischer, S., 25.09.2019, NANOCOM '19: Proceedings of the Sixth Annual ACM International Conference on Nanoscale Computing and Communication. Association for Computing Machinery, S. 1–6 6 S. 3345460

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Reducing Error 100%
  • Sufficient Supply 100%
  • Basic Building Block 100%
  • Nanoscale 100%
  • Self Assembly 100%

• Hardware-based runtime verification with embedded tracing units and stream processing

  Convent, L., Hungerecker, S., Scheffel, T., Schmitz, M., Thoma, D. & Weiss, A., 08.11.2019, RV 2018: Runtime Verification. Colombo, C. & Leucker, M. (Hrsg.). Springer, Cham, Band 11237. S. 43-63 21 S. (Lecture Notes in Computer Science; Band 11237).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Computer Hardware 100%
  • runtime verification 100%
  • Control Flow 100%
  • Stream Processing 100%
  • Multicore Processor 66%

• Non-intrusive MC/DC measurement based on traces

  Ahishakiye, F., Jaksic, S., Lange, F. D., Schmitz, M., Stolz, V. & Thoma, D., 07.2019, 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, S. 86-92 7 S. 8914094

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Intel Processor 100%
  • Modern Processor 50%
  • Execution Trace 50%
  • Address Instruction 50%
  • Recompilation 50%

• 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. (Hrsg.). Springer, Cham, Band 11757 LNCS. S. 273-291 19 S. (Lecture Notes in Computer Science; Band 11757 LNCS).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • runtime verification 100%
  • Input-Stream 28%
  • Specification Language 14%
  • Execution Trace 14%

• Test und Fehlersuche in komplexen Autonomen Systemen

  Preusser, T., Schulz, A., Weiss, A., Heininger, M., Leucker, M., Schmitz, M., Scheffel, T. & Thoma, D., 18.09.2019, Echtzeit 2019. Unger, H. (Hrsg.). Springer Vieweg, Wiesbaden, S. 33-42 10 S. (Informatik aktuell).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung
• 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, Band 2018-January. S. 851-856 6 S. (IEEE Proceedings).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Online Analysis 100%
  • System-on-Chip 100%
  • Computational Power 50%
  • Multicore System 50%
  • Individual Core 50%

• 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. (Hrsg.). Springer, Cham, Band 11247 LNCS. S. 275-279 5 S. (Lecture Notes in Computer Science; Band 11247 LNCS).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Future Direction 100%
  • State-of-the-Art Application 100%
  • Smart Contract 100%
  • Blockchain 60%
  • Undesired Effect 20%

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

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • runtime verification 100%
  • Specification Language 50%
  • Online Evaluation 50%
  • Concurrent System 50%
  • Report Component 50%

• 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. (Hrsg.). Springer, Cham, Band 11254 LNCS. S. 144-162 19 S. (Lecture Notes in Computer Science ; Band 11254 LNCS).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Specification Language 100%
  • runtime verification 100%
  • Program Trace 50%
  • Input-Stream 25%
  • Timed Automaton 25%
• 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. (Hrsg.). EasyChair, Band 3. S. 96-105 10 S. (Kalpa Publications in Computing).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • runtime verification 100%
  • Scientific Data 50%
  • Data Management 50%
  • Multicore System 50%
  • Metadata Management 50%

• 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, Band 85. S. 29:1--29:17 17 S. (Leibniz International Proceedings in Informatics, LIPIcs; Band 85).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Temporal Logic 100%
  • Model Checking 100%
  • Decision Procedure 50%
  • Kripke Structure 50%
  • Computation Tree 50%

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

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Medical Cyber-Physical Systems 100%
  • Device Communication 33%
  • Formal Specification 33%
  • Deployment Process 33%
  • Formal Verification 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. (Hrsg.). Cham: Springer Verlag, Band 10623. S. 179-196 18 S. (Lecture Notes in Computer Science; Band 10623).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Multicore System 100%
  • Computer Hardware 50%
  • Multicore 50%
  • runtime verification 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. (Hrsg.). Springer, Cham, Band 10215 LNCS. S. 151-194 44 S. (Lecture Notes in Computer Science; Band 10215 LNCS).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • runtime verification 100%
  • Specification Language 25%
• 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., Band P252. S. 79-80 2 S. (Lecture Notes in Informatics).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Model Checking Problem 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, S. 121-125 5 S. 7797712. (IEEE Proceedings).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • User Interface 100%
  • Surgical Device 100%
  • Operation Room 100%
  • Service Orchestration 100%
  • Remote Control 100%

• 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. (Hrsg.). Cham: Springer Verlag, Band 10012. S. 454-461 8 S. (Lecture Notes in Computer Science; Band 10012 ).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • runtime verification 100%
  • Code Generation 100%
  • Metamodeling 100%
  • Model Transformation 33%
  • Domain-Specific Modeling Language 33%

• 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. (Hrsg.). Springer, Cham, Band 9952 LNCS. S. 515-516 2 S. (Lecture Notes in Computer Science; Band 9952 LNCS).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Model Checking 100%
  • Dynamic Analysis 100%
  • runtime verification 80%
  • 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, Band 9634. S. 269-284 16 S. ( Lecture Notes in Computer Science; Band 9634).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Data-Value 100%
  • Dependency Relation 100%
  • Satisfiability Problem 50%
  • Temporal Logic 50%
  • Complexity Class 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. (Hrsg.). Berlin: Springer Verlag, Band 9636. S. 868-884 17 S. (Lecture Notes in Computer Science; Band 9636).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Software System 100%
  • Individual Object 100%
  • Data Structure 100%
  • runtime verification 100%
  • Monitoring Tool 100%

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

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • runtime verification 100%
  • Communication Protocol 100%
  • Software Development Kit 50%
  • Application Area 25%
  • Device Communication 25%
  5 Zitate (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. (Hrsg.). International Joint Conferences on Artificial Intelligence Organization, Band 2015-January. S. 2639-2645 7 S. (IJCAI Proceedings; Band 2015-January).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Approximation (Algorithm) 20%

• 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. (Hrsg.). Cham: Springer Verlag, Band 9434. S. 155-170 16 S. (Lecture Notes in Computer Science ; Band 9434).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Refinement Strategy 100%
  • Model Checking 100%
  • Interpolants 66%
  • Critical System 33%
  • Bit Vector 33%
• 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. (Hrsg.). Berlin: Springer Verlag, Band LNCS 8803. S. 387-390 4 S. (Lecture Notes in Computer Science; Band LNCS 8803).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Safety Critical Systems 100%
  • Integration Test 100%
  • Legal Requirement 100%

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

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Model Checking Problem 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, Band LNCS 8662. S. 21-30 10 S. (Lecture Notes in Computer Science; Band LNCS 8662).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Energy Efficiency 33%

• 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, Band 8489 LNCS. S. 130-149 20 S. (Lecture Notes in Computer Science; Band 8489 LNCS).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Automaton 100%
  • Learning Algorithm 21%
  • Subclasses 7%

• 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, Band 8413. S. 341-356 16 S. (Lecture Notes in Computer Science; Band 8413).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Temporal Logic 100%
  • runtime verification 50%

• 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. (Hrsg.). Berlin, Heidelberg: Springer Berlin Heidelberg, Band 8315. S. 188-198 11 S. (Lecture Notes in Computer Science ; Band 8315).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Operating Room 100%
  • Integration Test 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. (Hrsg.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Band 36. S. 133-136 4 S. (OpenAccess Series in Informatics (OASIcs)).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Operating Room 100%

• 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. (Hrsg.). Berlin: Springer Verlag, Band LNCS 8704. S. 497-511 15 S. (Lecture Notes in Computer Science ; Band LNCS 8704).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Data-Value 100%
  • Automaton 66%
  • Temporal Logic 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, S. 235-244 10 S. ( International Symposium on Software Reliability Engineering).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Web Service 100%
  • runtime verification 100%
  • Presented Framework 50%
  • Safety Critical Systems 50%
  • Case Study 50%

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

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Temporal Logic 100%
  • runtime verification 100%
  • Robot 20%
• 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, Band LNCS 7907. S. 118-130 13 S. (Lecture Notes in Computer Science ; Band LNCS 7907).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Automaton 100%
  • Learning Algorithm 25%
  • ad-hoc network 12%
  • Data-Value 12%
  • Model Checking Problem 12%

• Impartiality and Anticipation for Monitoring of Visibly Context-free Properties

  Decker, N., Leucker, M. & Thoma, D., 18.11.2013, Runtime Verification. Berlin: Springer Verlag, Band LNCS 8174. S. 183-200 18 S. (Lecture Notes in Computer Science; Band LNCS 8174).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Automaton 100%
  • Software System 50%
  • Temporal Logic 50%
  • Decision Procedure 50%

• jUnitRV - Adding Runtime Verification to jUnit

  Decker, N., Leucker, M. & Thoma, D., 09.09.2013, NASA Formal Methods. Brat, G., Rungta, N. & Venet, A. (Hrsg.). Berlin: Springer Verlag, Band LNCS 7871. S. 459-464 6 S. ( Lecture Notes in Computer Science ; Band LNCS 7871).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • runtime verification 100%
  • Annotation 50%
  • Execution Path 50%

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

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • runtime verification 100%

• Sliding between model checking and runtime verification

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

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Model Checking 100%
  • runtime verification 100%
• 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. (Hrsg.). PART 1 Aufl. Berlin: Springer Verlag, Band 7609 LNCS. S. 131-145 15 S. (Lecture Notes in Computer Science; Band 7609 LNCS).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Model Checking 100%
  • Software Product 100%
  • Software System 50%
  • Kripke Structure 50%

• 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. (Hrsg.). PART 1 Aufl. Berlin: Springer Verlag, Band 7609 LNCS. S. 127-130 4 S. (Lecture Notes in Computer Science; Band 7609 LNCS).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Software System 100%
  • System Development 33%
  • Computing Power 33%
  • Internal Structure 33%
  • Temporal Evolution 33%

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

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Satisfiability Problem 33%