default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMartin 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
- 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)- [c129]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 - [c128]Raik Hipler
, Hannes Kallwies, Martin Leucker, César Sánchez:
General Anticipatory Runtime Verification. CAV (2) 2024: 133-155 - [c127]Aliyu Tanko Ali, Andreas Schuldei, Martin Sachenbacher, Martin Leucker:
Simulation-based Analysis of Car-sharing Electrification in Schleswig-Holstein, Germany. COMPASS 2024: 97-106 - 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) - [c126]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 - [c125]Martin Leucker, Martin Sachenbacher, Lars Bernd Vosteen:
Digital Twin for Rescue Missions - a Case Study. FMDT@FM 2023 - [c124]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 - [c123]Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker:
Synchronous Agents, Verification, and Blame - A Deontic View. ICTAC 2023: 332-350 - [c122]Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, Malte Schmitz:
TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. ICTAC 2023: 388-398 - [c121]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 - [c120]Hannes Kallwies, Martin Leucker, César Sánchez:
General Anticipatory Monitoring for Temporal Logics on Finite Traces. RV 2023: 106-125 - [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, Karina Villela, Peter Y. H. Wong:
Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011). SPLC 2011: 336 - [c60]Changzhi Zhao, Wei Dong, Martin Leucker, Zhichang Qi:
Security Goals Assurance Based on Software Active Monitoring. SSIRI 2011: 70-79 - [e9]Carlo Combi, Martin Leucker, Frank Wolter:
Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011. IEEE 2011, ISBN 978-1-4577-1242-5 [contents] - 2010
- [j13]Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker:
SMA - The Smyle Modeling Approach. Comput. Informatics 29(1): 45-72 (2010) - [j12]Andreas Bauer, Martin Leucker, Christian Schallhart:
Comparing LTL Semantics for Runtime Verification. J. Log. Comput. 20(3): 651-674 (2010) - [j11]Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig:
Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. Int. J. Softw. Tools Technol. Transf. 12(1): 23-37 (2010) - [j10]Olga Grinchtein, Bengt Jonsson, Martin Leucker:
Learning of event-recording automata. Theor. Comput. Sci. 411(47): 4029-4054 (2010) - [j9]Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker:
Learning Communicating Automata from MSCs. IEEE Trans. Software Eng. 36(3): 390-408 (2010) - [c59]Javier Esparza, Martin Leucker, Maximilian Schlund:
Learning Workflow Petri Nets. Petri Nets 2010: 206-225 - [c58]Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon:
libalf: The Automata Learning Framework. CAV 2010: 360-364 - [c57]Andreas Artmeier, Julian Haselmayr, Martin Leucker, Martin Sachenbacher:
The Shortest Path Problem Revisited: Optimal Routing for Electric Vehicles. KI