Martin Leucker
Orcid: 0000-0002-3696-9222Affiliations:
- University of Lübeck, Germany
According to our database1,
Martin Leucker
authored at least 162 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024
2023
Analysis of recurrent neural networks via property-directed verification of surrogate models.
Int. J. Softw. Tools Technol. Transf., June, 2023
Trans. Petri Nets Other Model. Concurr., 2023
CoRR, 2023
Proceedings of the Runtime Verification - 23rd International Conference, 2023
Proceedings of the Multi-Agent-Based Simulation XXIV - 24th International Workshop, 2023
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023
A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab.
Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023
Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023
A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management.
Proceedings of the Multi-Agent Systems - 20th European Conference, 2023
2022
Proceedings of the 13th International Symposium on Games, 2022
Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Challenges and Solutions.
IEEE Access, 2022
Proceedings of the Theoretical Aspects of Software Engineering, 2022
Proceedings of the Runtime Verification - 22nd International Conference, 2022
Proceedings of the Runtime Verification - 22nd International Conference, 2022
Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022
Proceedings of the Automated Technology for Verification and Analysis, 2022
Regulatorische Anforderungen an Lösungen der künstlichen Intelligenz im Gesundheitswesen.
Proceedings of the Künstliche Intelligenz im Gesundheitswesen: Entwicklungen, 2022
2021
Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Technical Challenges and Solutions.
CoRR, 2021
Proceedings of the Legal Knowledge and Information Systems, 2021
Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search.
Proceedings of the 15th International Conference on Grammatical Inference, 2021
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.
Proceedings of the Automated Technology for Verification and Analysis, 2021
2020
Softw. Qual. J., 2020
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020
Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020
2019
Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432).
Dagstuhl Reports, 2019
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.
CoRR, 2019
Proceedings of the Runtime Verification - 19th International Conference, 2019
Proceedings of the Echtzeit 2019 - Autonome Systeme, 2019
2018
Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Proceedings of the Runtime Verification - 18th International Conference, 2018
Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
2017
Dagstuhl Reports, 2017
ClonoCalc and ClonoPlot: immune repertoire analysis from raw files to publication figures with graphical user interface.
BMC Bioinform., 2017
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017
Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017
Proceedings of the 28th International Conference on Concurrency Theory, 2017
2016
Proceedings of the Engineering Trustworthy Software Systems - Second International School, 2016
Proceedings of the Software Engineering 2016, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
2015
NII Shonan Meet. Rep., 2015
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015
Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015
Development of Device-and Service-Profiles for a Safe and Secure Interconnection of Medical Devices in the Integrated Open OR.
Proceedings of the Risk Assessment and Risk-Driven Testing - Third International Workshop, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Hardware and Software: Verification and Testing, 2015
Workshop Energieinformatik.
Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015
2014
Log. Methods Comput. Sci., 2014
Ann. Math. Artif. Intell., 2014
OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices.
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the Internet of Vehicles - Technologies and Services, 2014
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014
2013
ACM Trans. Design Autom. Electr. Syst., 2013
Proceedings of the 4th International Workshop on Software Engineering for Sensor Network Applications, 2013
Proceedings of the Runtime Verification - 4th International Conference, 2013
Proceedings of the NASA Formal Methods, 2013
Proceedings of the Foundations of Health Information Engineering and Systems, 2013
Proceedings of the Developments in Language Theory - 17th International Conference, 2013
2012
J. Log. Algebraic Methods Program., 2012
Sci. China Inf. Sci., 2012
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012
Proceedings of the Runtime Verification, Third International Conference, 2012
Proceedings of the NASA Formal Methods, 2012
Ökonomische Bewertung von Vehicle-to-Grid in Deutschland.
Proceedings of the Multikonferenz Wirtschaftsinformatik 2012: Tagungsband der MKWI 2012, Braunschweig, Germany, February 29, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
2011
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011
Proceedings of the Software Product Lines - 15th International Conference, 2011
Proceedings of the Runtime Verification - Second International Conference, 2011
Proceedings of the 6th International Conference for Internet Technology and Secured Transactions, 2011
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
2010
Int. J. Softw. Tools Technol. Transf., 2010
Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010
10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.
Proceedings of the Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11., 2010
10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.
Proceedings of the Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11., 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2009
Äquivalenzklassen mit Zeit und Zuständen.
Proceedings of the Informatiktage 2009, 2009
Proceedings of the Automated Technology for Verification and Analysis, 2009
2008
ERCIM News, 2008
Proceedings of the Software Product Lines, 12th International Conference, 2008
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008
Proceedings of the Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008
Proceedings of the Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008
Proceedings of the Automated Technology for Verification and Analysis, 2008
2007
When not losing is better than winning: Abstraction and refinement for the full mu-calculus.
Inf. Comput., 2007
Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the Runtime Verification, 7th International Workshop, 2007
Proceedings of the Theoretical Aspects of Computing, 2007
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
2006
Theor. Comput. Sci., 2006
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006
Proceedings of the Grammatical Inference: Algorithms and Applications, 2006
Proceedings of the Formal Methods and Software Engineering, 2006
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006
Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006
2005
Functional programming languages for verification tools: a comparison of Standard ML and Haskell.
Int. J. Softw. Tools Technol. Transf., 2005
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005
Proceedings of the Fundamental Approaches to Software Engineering, 2005
2004
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004
Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, 2004
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004
Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004
Proceedings of the Model-Based Testing of Reactive Systems, 2004
2003
Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003
Proceedings of the International Workshop on Software Verification and Validation, 2003
Deciding LTL over Mazurkiewicz traces.
Data Knowl. Eng., 2003
Proceedings of the Advances in Computing Science, 2003
2002
Proceedings of the Model Checking of Software, 2002
Proceedings of the Logic for Programming, 2002
Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002
Proceedings of the Foundations of Software Science and Computation Structures, 2002
2001
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
2000
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000
Proceedings of the Advances in Computing Science, 2000
1999
Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), 1999
Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999
1998
Proceedings of the International Workshop Tool Support for System Specification, 1998