


default search action
Martin Leucker
Person information
- affiliation: University of Lübeck, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [c138]Martin Leucker
:
The AI Act and Some Implications for Developing AI-Based Systems. The Combined Power of Research, Education, and Dissemination 2025: 202-214 - 2024
- [j30]Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy:
Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise. Log. Methods Comput. Sci. 20(1) (2024) - [c137]Morten Haahr Kristensen, Alberto Bonizzi, Cláudio Gomes, Simon Thrane Hansen, Carlos Ignacio Isasa Martin, Hannes Iven, Eduard Kamburjan, Peter Gorm Larsen, Martin Leucker, Prasad Talasila, Valdemar Trøjgård Tang, Stefano Tonetta, Lars Bernd Vosteen, Thomas Wright:
Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. ACSOS-C 2024: 121-127 - [c136]José Ignacio Requeno
, Elena Gómez-Martínez, Hannes Kallwies, Melanie Haustein, Martin Leucker, Volker Stolz, Patrick Stünkel:
Runtime Verification of Timed Petri Nets. PNSE@Petri Nets 2024: 122-131 - [c135]Raik Hipler
, Hannes Kallwies
, Martin Leucker
, César Sánchez
:
General Anticipatory Runtime Verification. CAV (2) 2024: 133-155 - [c134]Aliyu Tanko Ali
, Andreas Schuldei
, Martin Sachenbacher
, Martin Leucker
:
Simulation-based Analysis of Car-sharing Electrification in Schleswig-Holstein, Germany. COMPASS 2024: 97-106 - [c133]Elaheh Hosseinkhani, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Lars Bernd Vosteen:
A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies. DX 2024: 2:1-2:15 - [c132]Alexander Weiss, Albert Schulz, Martin Heininger, Martin Sachenbacher, Martin Leucker:
Achieving Complete Structural Test Coverage in Embedded Systems Using Trace-Based Monitoring (Short Paper). DX 2024: 19:1-19:12 - [c131]John S. Fitzgerald
, Cláudio Gomes, Einar Broch Johnsen
, Eduard Kamburjan
, Martin Leucker
, Jim Woodcock
:
Digital Twin Engineering. ISoLA (5) 2024: 3-8 - [c130]Karam Younes Kharraz, Gerardo Schneider, Martin Leucker:
On Conflicts and Satisfiability in Metric Timed Normative Logics. JURIX 2024: 308-313 - [c129]Manuel Caldeira, Hannes Kallwies
, Martin Leucker
, Daniel Thoma:
Adding State to Stream Runtime Verification. RV 2024: 163-173 - 2023
- [j29]Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie
, Benoît Barbot
, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye:
Analysis of recurrent neural networks via property-directed verification of surrogate models. Int. J. Softw. Tools Technol. Transf. 25(3): 341-354 (2023) - [j28]Philipp Bende, Olga Vovk, David Caraveo, Ludwig Pechmann
, Martin Leucker:
A Case Study on Data Protection for a Cloud- and AI-Based Homecare Medical Device. Trans. Petri Nets Other Model. Concurr. 17: 138-161 (2023) - [c128]Aliyu Tanko Ali
, Martin Leucker
, Andreas Schuldei
, Leonard Stellbrink
, Martin Sachenbacher
:
A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management. EUMAS 2023: 295-311 - [c127]Martin Leucker, Martin Sachenbacher, Lars Bernd Vosteen:
Digital Twin for Rescue Missions - a Case Study. FMDT@FM 2023 - [c126]Daniel Thoma, Martin Sachenbacher, Martin Leucker, Aliyu Tanko Ali:
A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab. FMDT@FM 2023 - [c125]Karam Younes Kharraz
, Shaun Azzopardi
, Gerardo Schneider
, Martin Leucker
:
Synchronous Agents, Verification, and Blame - A Deontic View. ICTAC 2023: 332-350 - [c124]Marian Johannes Begemann, Hannes Kallwies
, Martin Leucker
, Malte Schmitz
:
TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. ICTAC 2023: 388-398 - [c123]Aliyu Tanko Ali
, Tim Schrills
, Andreas Schuldei
, Leonard Stellbrink
, André Calero Valdez
, Martin Leucker
, Thomas Franke
:
Multi-agent Simulation of Intelligent Energy Regulation in Vehicle-to-Grid. MABS 2023: 160-172 - [c122]Hannes Kallwies
, Martin Leucker
, César Sánchez
:
General Anticipatory Monitoring for Temporal Logics on Finite Traces. RV 2023: 106-125 - [c121]Markus Bertl
, Yngve Lamo
, Martin Leucker
, Tiziana Margaria
, Esfandiar Mohammadi
, Suresh Kumar Mukhiya
, Ludwig Pechmann
, Gunnar Piho
, Fazle Rabbi
:
Challenges for AI in Healthcare Systems. AISoLA (Selected Papers) 2023: 165-186 - [c120]Ludwig Pechmann
, Yannik Potdevin, Kai Brehmer, Dirk Nowotka
, Martin Leucker
:
CRISP-PCCP - A Development Methodology Supporting FDA Approval for Machine Learning Enabled Medical Devices. AISoLA (Selected Papers) 2023: 225-244 - [e13]Marsha Chechik
, Joost-Pieter Katoen
, Martin Leucker
:
Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings. Lecture Notes in Computer Science 14000, Springer 2023, ISBN 978-3-031-27480-0 [contents] - [i19]Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy:
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. CoRR abs/2306.08266 (2023) - [i18]Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker:
Synchronous Agents, Verification, and Blame - A Deontic View. CoRR abs/2309.14048 (2023) - 2022
- [j27]Eike Petersen
, Yannik Potdevin, Esfandiar Mohammadi
, Stephan Zidowitz
, Sabrina Breyer
, Dirk Nowotka
, Sandra Henn
, Ludwig Pechmann
, Martin Leucker
, Philipp Rostalski
, Christian Herzog
:
Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Challenges and Solutions. IEEE Access 10: 58375-58418 (2022) - [c119]Philipp Bende, Olga Vovk, David Caraveo, Ludwig Pechmann, Martin Leucker:
A Case Study on Data Protection for a Cloud- and AI-based Homecare Medical Device. HEDA@Petri Nets 2022 - [c118]Hannes Kallwies
, Martin Leucker
, César Sánchez
:
Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. ATVA 2022: 117-134 - [c117]Benedikt Bollig
, Martin Leucker
, Daniel Neider
:
A Survey of Model Learning Techniques for Recurrent Neural Networks. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 81-97 - [c116]Hannes Kallwies
, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma:
Aggregate Update Problem for Multi-clocked Dataflow Languages. CGO 2022: 79-91 - [c115]Maurice H. ter Beek
, Loek Cleophas
, Martin Leucker
, Ina Schaefer
:
X-by-Construction Meets Runtime Verification. ISoLA (1) 2022: 141-148 - [c114]Max Jonas Friese, Hannes Kallwies
, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma:
Runtime Verification of AUTOSAR Timing Extensions. RTNS 2022: 173-183 - [c113]Hannes Kallwies
, Martin Leucker
, César Sánchez
, Torben Scheffel
:
Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. RV 2022: 181-199 - [c112]Hannes Kallwies
, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss:
TeSSLa - An Ecosystem for Runtime Verification. RV 2022: 314-324 - [c111]Hannes Kallwies
, Martin Leucker, Meiko Prilop, Malte Schmitz:
Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes. TASE 2022: 197-204 - [c110]Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot
, Benedikt Bollig, Martin Leucker, Daniel Neider
, Rajarshi Roy:
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. GandALF 2022: 81-96 - [p1]Ludwig Pechmann
, Martin Mildner, Tim Suthau, Martin Leucker:
Regulatorische Anforderungen an Lösungen der künstlichen Intelligenz im Gesundheitswesen. Künstliche Intelligenz im Gesundheitswesen 2022: 175-198 - [i17]Hannes Kallwies, Martin Leucker, César Sánchez:
Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions. CoRR abs/2207.05678 (2022) - 2021
- [j26]Martin Leucker
, Christian Colombo:
Preface. Int. J. Softw. Tools Technol. Transf. 23(2): 155-156 (2021) - [c109]Igor Khmelnitsky, Daniel Neider
, Rajarshi Roy, Xuan Xie
, Benoît Barbot
, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker
, Lina Ye:
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. ATVA 2021: 364-380 - [c108]Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Igor Khmelnitsky, Martin Leucker, Daniel Neider, Rajarshi Roy, Lina Ye:
Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search. ICGI 2021: 113-129 - [c107]Karam Younes Kharraz, Martin Leucker
, Gerardo Schneider:
Timed Dyadic Deontic Logic. JURIX 2021: 197-204 - [e12]Ezio Bartocci
, Yliès Falcone
, Martin Leucker:
Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 13065, Springer 2021, ISBN 978-3-030-87347-9 [contents] - [i16]Eike Petersen, Yannik Potdevin, Esfandiar Mohammadi, Stephan Zidowitz, Sabrina Breyer, Dirk Nowotka, Sandra Henn, Ludwig Pechmann, Martin Leucker, Philipp Rostalski, Christian Herzog:
Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Technical Challenges and Solutions. CoRR abs/2107.09546 (2021) - 2020
- [j25]Martin Leucker
, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm:
Runtime verification of real-time event streams under non-synchronized arrival. Softw. Qual. J. 28(2): 745-787 (2020) - [c106]Martin Leucker
:
Formal Verification of Neural Networks? SBMF 2020: 3-7 - [c105]André de Matos Pedro, Martin Leucker
, David Pereira, Jorge Sousa Pinto
:
Real-time MTL with durations as SMT with applications to schedulability analysis. TASE 2020: 49-56 - [i15]Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot
, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye:
Property-Directed Verification of Recurrent Neural Networks. CoRR abs/2009.10610 (2020) - [i14]Benedikt Bollig, Normann Decker, Martin Leucker:
Erratum to "Frequency Linear-time Temporal Logic". CoRR abs/2010.00296 (2020)
2010 – 2019
- 2019
- [j24]Martin Leucker
, Jorge A. Pérez, Camilo Rueda
, Frank D. Valencia:
Preface to special issue: ICTAC 2015. Math. Struct. Comput. Sci. 29(1): 1-2 (2019) - [c104]Thomas Preußer, Albert Schulz, Alexander Weiss
, Martin Heininger, Martin Leucker
, Malte Schmitz, Torben Scheffel, Daniel Thoma:
Test und Fehlersuche in komplexen Autonomen Systemen. Echtzeit 2019: 33-42 - [c103]Martin Leucker
, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma:
Runtime Verification for Timed Event Streams with Partial Information. RV 2019: 273-291 - [i13]Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz:
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR abs/1902.03776 (2019) - [i12]Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma:
Runtime Verification For Timed Event Streams With Partial Information. CoRR abs/1907.07761 (2019) - [i11]Mario Gleirscher, Anne E. Haxthausen
, Martin Leucker, Sven Linker:
Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432). Dagstuhl Reports 9(10): 95-116 (2019) - 2018
- [c102]Normann Decker, Boris Dreyer
, Philip Gottschling, Christian Hochberger, Alexander Lange, Martin Leucker
, Torben Scheffel, Simon Wegener
, Alexander Weiss
:
Online analysis of debug trace data for embedded systems. DATE 2018: 851-856 - [c101]César Sánchez, Gerardo Schneider, Martin Leucker
:
Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions. ISoLA (4) 2018: 275-279 - [c100]Christian Colombo
, Yliès Falcone, Martin Leucker
, Giles Reger
, César Sánchez, Gerardo Schneider, Volker Stolz
:
COST Action IC1402 Runtime Verification Beyond Monitoring. RV 2018: 18-26 - [c99]Martin Leucker
, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm:
TeSSLa: runtime verification of non-synchronized real-time streams. SAC 2018: 1925-1933 - [c98]Lukas Convent, Sebastian Hungerecker, Martin Leucker
, Torben Scheffel, Malte Schmitz, Daniel Thoma:
TeSSLa: Temporal Stream-Based Specification Language. SBMF 2018: 144-162 - [e11]Christian Colombo, Martin Leucker:
Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings. Lecture Notes in Computer Science 11237, Springer 2018, ISBN 978-3-030-03768-0 [contents] - [i10]Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma:
TeSSLa: Temporal Stream-based Specification Language. CoRR abs/1808.10717 (2018) - 2017
- [j23]Anke Fähnrich
, Moritz Krebbel, Normann Decker, Martin Leucker
, Felix D. Lange, Kathrin Kalies
, Steffen Möller
:
ClonoCalc and ClonoPlot: immune repertoire analysis from raw files to publication figures with graphical user interface. BMC Bioinform. 18(1): 164:1-164:6 (2017) - [c97]Normann Decker, Peter Habermehl, Martin Leucker
, Arnaud Sangnier
, Daniel Thoma:
Model-Checking Counting Temporal Logics on Flat Structures. CONCUR 2017: 29:1-29:17 - [c96]Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz:
COEMS - open traces from the industry. RV-CuBES 2017: 96-105 - [c95]Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker
, Torben Scheffel, Malte Schmitz, Alexander Weiss
:
Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems. SBMF 2017: 179-196 - [i9]Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma:
Model-checking Counting Temporal Logics on Flat Structures. CoRR abs/1706.08608 (2017) - [i8]Klaus Havelund, Martin Leucker, Giles Reger, Volker Stolz:
A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462). Dagstuhl Reports 7(11): 59-85 (2017) - 2016
- [j22]Normann Decker, Martin Leucker
, Daniel Thoma:
Monitoring modulo theories. Int. J. Softw. Tools Technol. Transf. 18(2): 205-225 (2016) - [c94]Martin Leucker
, Malte Schmitz, Danilo à Tellinghusen:
Runtime Verification for Interconnected Medical Devices. ISoLA (2) 2016: 380-387 - [c93]Martin Leucker
:
On Combinations of Static and Dynamic Analysis - Panel Introduction. ISoLA (1) 2016: 515-516 - [c92]Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker:
Counterexample guided abstraction refinement of product-line behavioural models. Software Engineering 2016: 79-80 - [c91]Martin Leucker
:
Runtime Verification for Linear-Time Temporal Logic. SETSS 2016: 151-194 - 2015
- [c90]Martin Leucker, Martin Sachenbacher, René Schönfelder:
Workshop Energieinformatik. GI-Jahrestagung 2015: 37-38 - [c89]Martin Leucker
, Grigory Markin, Martin R. Neuhäußer:
A New Refinement Strategy for CEGAR-Based Industrial Model Checking. Haifa Verification Conference 2015: 155-170 - [c88]René Schönfelder, Martin Leucker:
Abstract Routing Models and Abstractions in the Context of Vehicle Routing. IJCAI 2015: 2639-2645 - [c87]Alexander Mildner, Armin Janß, Jasmin Dell'Anna-Pudlik, Paul Merz, Martin Leucker
, Klaus Radermacher
:
Development of Device-and Service-Profiles for a Safe and Secure Interconnection of Medical Devices in the Integrated Open OR. RISK 2015: 65-74 - [c86]Martin Leucker, Malte Schmitz:
Secured SOA for the Safe Interconnection of Medical Devices (Position Paper). Software Engineering (Workshops) 2015: 11-14 - [c85]Timm B. Bußhaus, Stefan Fischer, Franziska Kühn, Martin Leucker, Alexander Mildner, Malte Schmitz:
Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE. Software Engineering & Management 2015: 243-248 - [e10]Martin Leucker, Camilo Rueda
, Frank D. Valencia:
Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings. Lecture Notes in Computer Science 9399, Springer 2015, ISBN 978-3-319-25149-3 [contents] - [i7]Cyrille Artho, Einar Broch Johnsen, Martin Leucker, Keiko Nakata:
Static analysis meets runtime verification (NII Shonan Meeting 2015-5). NII Shonan Meet. Rep. 2015 (2015) - 2014
- [j21]Ben C. Moszkowski, Dimitar P. Guelev, Martin Leucker
:
Guest editors' preface to special issue on interval temporal logics. Ann. Math. Artif. Intell. 71(1-3): 1-9 (2014) - [j20]Benedikt Bollig, Peter Habermehl, Martin Leucker
, Benjamin Monmege
:
A Robust Class of Data Languages and an Application to Learning. Log. Methods Comput. Sci. 10(4) (2014) - [j19]Volker Diekert, Martin Leucker
:
Topology, monitorable properties and runtime verification. Theor. Comput. Sci. 537: 29-41 (2014) - [c84]Normann Decker, Peter Habermehl, Martin Leucker
, Daniel Thoma:
Learning Transparent Data Automata. Petri Nets 2014: 130-149 - [c83]Normann Decker, Peter Habermehl, Martin Leucker
, Daniel Thoma:
Ordered Navigation on Multi-attributed Data Words. CONCUR 2014: 497-511 - [c82]René Schönfelder, Martin Leucker
, Sebastian Walther:
Efficient Profile Routing for Electric Vehicles. IOV 2014: 21-30 - [c81]Martin Leucker
:
Challenges for the Dynamic Interconnection of Medical Devices. ISoLA (2) 2014: 387-390 - [c80]Franziska Kühn, Martin Leucker
, Alexander Mildner:
OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices. MCPS 2014: 133-136 - [c79]Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
, Bruno Dawagne, Martin Leucker
:
Counterexample guided abstraction refinement of product-line behavioural models. SIGSOFT FSE 2014: 190-201 - [c78]Normann Decker, Martin Leucker
, Daniel Thoma:
Monitoring Modulo Theories. TACAS 2014: 341-356 - [i6]Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma:
Ordered Navigation on Multi-attributed Data Words. CoRR abs/1404.6064 (2014) - 2013
- [j18]Rico Backasch, Christian Hochberger, Alexander Weiss, Martin Leucker
, Richard Lasslop:
Runtime verification for multicore SoC with high-quality trace data. ACM Trans. Design Autom. Electr. Syst. 18(2): 18:1-18:26 (2013) - [c77]Benedikt Bollig, Peter Habermehl, Martin Leucker
, Benjamin Monmege:
A Fresh Approach to Learning Register Automata. Developments in Language Theory 2013: 118-130 - [c76]Franziska Kühn, Martin Leucker
:
OR.NET: Safe Interconnection of Medical Devices - (Position Paper). FHIES 2013: 188-198 - [c75]Normann Decker, Martin Leucker
, Daniel Thoma:
jUnitRV-Adding Runtime Verification to jUnit. NASA Formal Methods 2013: 459-464 - [c74]Normann Decker, Martin Leucker
, Daniel Thoma:
Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties. RV 2013: 183-200 - [c73]Stefan Fischer, Martin Leucker
:
Runtime verification and reflection for wireless sensor networks. SESENA 2013: 35-36 - 2012
- [j17]Wei Dong, Changzhi Zhao, Shaoxian Shu, Martin Leucker
:
Anticipatory active monitoring for safety- and security-critical software. Sci. China Inf. Sci. 55(12): 2723-2737 (2012) - [j16]Joost-Pieter Katoen
, Daniel Klink, Martin Leucker
, Verena Wolf:
Three-valued abstraction for probabilistic systems. J. Log. Algebraic Methods Program. 81(4): 356-389 (2012) - [c72]Ina Schaefer, Malte Lochau, Martin Leucker
:
Approaches for Mastering Change. ISoLA (1) 2012: 127-130 - [c71]Martin Leucker
, Daniel Thoma:
A Formal Approach to Software Product Families. ISoLA (1) 2012: 131-145 - [c70]Martin Leucker
, Daniel Neider
:
Learning Minimal Deterministic Automata from Inexperienced Teachers. ISoLA (1) 2012: 524-538 - [c69]David Ciechanowicz, Martin Leucker, Martin Sachenbacher:
Ökonomische Bewertung von Vehicle-to-Grid in Deutschland. MKWI 2012: 1473-1486 - [c68]Xian Zhang, Martin Leucker
, Wei Dong:
Runtime Verification with Predictive Semantics. NASA Formal Methods 2012: 418-432 - [c67]Martin Leucker
:
Sliding between Model Checking and Runtime Verification. RV 2012: 82-87 - [c66]Benedikt Bollig, Normann Decker, Martin Leucker
:
Frequency Linear-time Temporal Logic. TASE 2012: 85-92 - 2011
- [j15]Javier Esparza
, Martin Leucker
, Maximilian Schlund:
Learning Workflow Petri Nets. Fundam. Informaticae 113(3-4): 205-228 (2011) - [j14]Andreas Bauer, Martin Leucker
, Christian Schallhart:
Runtime Verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4): 14:1-14:64 (2011) - [c65]Martin Sachenbacher, Martin Leucker, Andreas Artmeier, Julian Haselmayr:
Efficient Energy-Optimal Routing for Electric Vehicles. AAAI 2011: 1402-1407 - [c64]Xian Zhang, Martin Leucker, Wei Dong:
An event pattern language for runtime monitoring based on AOP. ICITST 2011: 744-751 - [c63]Andreas Bauer, Martin Leucker
:
The Theory and Practice of SALT. NASA Formal Methods 2011: 13-40 - [c62]Martin Leucker
:
Teaching Runtime Verification. RV 2011: 34-48 - [c61]David Benavides
, Martin Leucker, Martin Becker, Rick Rabiser
,