default search action

combined dblp search
author search
venue search
publication search

ask others

Martin Leucker

> Home > Persons

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

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/YeKHBBLNR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/YeKHBBLNR24
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)
[c130]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/RequenoGKHLSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/RequenoGKHLSS24
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
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HiplerKLS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HiplerKLS24
Raik Hipler, Hannes Kallwies, Martin Leucker, César Sánchez:
General Anticipatory Runtime Verification. CAV (2) 2024: 133-155
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/dev/AliSSL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dev/AliSSL24
Aliyu Tanko Ali, Andreas Schuldei, Martin Sachenbacher, Martin Leucker:
Simulation-based Analysis of Car-sharing Electrification in Schleswig-Holstein, Germany. COMPASS 2024: 97-106
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/CaldeiraKLT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/CaldeiraKLT24
Manuel Caldeira, Hannes Kallwies, Martin Leucker, Daniel Thoma:
Adding State to Stream Runtime Verification. RV 2024: 163-173
2023
[j29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/KhmelnitskyNRXBBFHLY23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/KhmelnitskyNRXBBFHLY23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BendeVCPL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BendeVCPL23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/eumas/AliLSSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/AliLSSS23
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/fm/LeuckerSV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LeuckerSV23
Martin Leucker, Martin Sachenbacher, Lars Bernd Vosteen:
Digital Twin for Rescue Missions - a Case Study. FMDT@FM 2023
[c124]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/fm/ThomaSLA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ThomaSLA23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/KharrazASL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/KharrazASL23
Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker:
Synchronous Agents, Verification, and Blame - A Deontic View. ICTAC 2023: 332-350
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BegemannKLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BegemannKLS23
Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, Malte Schmitz:
TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. ICTAC 2023: 388-398
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/mabs/AliSSSVLF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mabs/AliSSSVLF23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/KallwiesLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/KallwiesLS23
Hannes Kallwies, Martin Leucker, César Sánchez:
General Anticipatory Monitoring for Temporal Logics on Finite Traces. RV 2023: 106-125
[e13]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/2023
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-08266
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-08266
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-14048
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-14048
Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker:
Synchronous Agents, Verification, and Blame - A Deontic View. CoRR abs/2309.14048 (2023)
2022
[j27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/PetersenPMZBNHP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/PetersenPMZBNHP22
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/BendeVCPL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BendeVCPL22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/KallwiesLS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KallwiesLS22
Hannes Kallwies, Martin Leucker, César Sánchez:
Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. ATVA 2022: 117-134
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BolligLN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BolligLN22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cgo/KallwiesLS0T22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cgo/KallwiesLS0T22
Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma:
Aggregate Update Problem for Multi-clocked Dataflow Languages. CGO 2022: 79-91
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BeekCLS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeekCLS22
Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer:
X-by-Construction Meets Runtime Verification. ISoLA (1) 2022: 141-148
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/rtns/FrieseKLSST22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtns/FrieseKLSST22
Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma:
Runtime Verification of AUTOSAR Timing Extensions. RTNS 2022: 173-183
[c113]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rv/KallwiesLSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/KallwiesLSS22
Hannes Kallwies, Martin Leucker, César Sánchez, Torben Scheffel:
Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. RV 2022: 181-199
[c112]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rv/KallwiesLSSTW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/KallwiesLSSTW22
Hannes Kallwies, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss:
TeSSLa - An Ecosystem for Runtime Verification. RV 2022: 314-324
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/KallwiesLPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/KallwiesLPS22
Hannes Kallwies, Martin Leucker, Meiko Prilop, Malte Schmitz:
Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes. TASE 2022: 197-204
[c110]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10315
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10315
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]
- view
  authority control:
- export record
  dblp key:
  - books/sp/22/PechmannMSL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/22/PechmannMSL22
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-05678
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-05678
Hannes Kallwies, Martin Leucker, César Sánchez:
Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions. CoRR abs/2207.05678 (2022)
2021
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/LeuckerC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/LeuckerC21
Martin Leucker, Christian Colombo:
Preface. Int. J. Softw. Tools Technol. Transf. 23(2): 155-156 (2021)
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/KhmelnitskyNRXB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KhmelnitskyNRXB21
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]
- view
  - electronic edition @ mlr.press (open access)
  - details & citations
- export record
  dblp key:
  - conf/icgi/BarbotBFHKLN0Y21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icgi/BarbotBFHKLN0Y21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/KharrazLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/KharrazLS21
Karam Younes Kharraz, Martin Leucker, Gerardo Schneider:
Timed Dyadic Deontic Logic. JURIX 2021: 197-204
[e12]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2021havelund
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2021havelund
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2107-09546
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-09546
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sqj/LeuckerSSSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/LeuckerSSSS20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/Leucker20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/Leucker20
Martin Leucker:
Formal Verification of Neural Networks? SBMF 2020: 3-7
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/PedroLPP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/PedroLPP20
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2009-10610
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-10610
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2010-00296
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-00296
Benedikt Bollig, Normann Decker, Martin Leucker:
Erratum to "Frequency Linear-time Temporal Logic". CoRR abs/2010.00296 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/LeuckerPRV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/LeuckerPRV19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pearl/PreusserSWHL0ST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pearl/PreusserSWHL0ST19
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rv/LeuckerSS0T19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/LeuckerSS0T19
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1902-03776
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-03776
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1907-07761
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-07761
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/GleirscherHLL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/GleirscherHLL19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/date/DeckerDGHLLSWW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/DeckerDGHLLSWW18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/SanchezSL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/SanchezSL18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ColomboFLRSSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ColomboFLRSSS18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/LeuckerSS0S18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/LeuckerSS0S18
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sbmf/ConventHLS0T18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/ConventHLS0T18
Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma:
TeSSLa: Temporal Stream-Based Specification Language. SBMF 2018: 144-162
[e11]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/2018
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1808-10717
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-10717
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/FahnrichKDLLKM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/FahnrichKDLLKM17
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/DeckerHLST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/DeckerHLST17
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rv/JaksicLLS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/JaksicLLS17
Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz:
COEMS - open traces from the industry. RV-CuBES 2017: 96-105
[c95]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sbmf/DeckerGHLS0W17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/DeckerGHLS0W17
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/DeckerHLST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DeckerHLST17
Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma:
Model-checking Counting Temporal Logics on Flat Structures. CoRR abs/1706.08608 (2017)
[i8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/HavelundLRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/HavelundLRS17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DeckerLT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DeckerLT16
Normann Decker, Martin Leucker, Daniel Thoma:
Monitoring modulo theories. Int. J. Softw. Tools Technol. Transf. 18(2): 205-225 (2016)
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Leucker0T16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Leucker0T16
Martin Leucker, Malte Schmitz, Danilo à Tellinghusen:
Runtime Verification for Interconnected Medical Devices. ISoLA (2) 2016: 380-387
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Leucker16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Leucker16
Martin Leucker:
On Combinations of Static and Dynamic Analysis - Panel Introduction. ISoLA (1) 2016: 515-516
[c92]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/se/CordyHLSDL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/CordyHLSDL16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/setss/Leucker16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/Leucker16
Martin Leucker:
Runtime Verification for Linear-Time Temporal Logic. SETSS 2016: 151-194
2015
[c90]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/gi/LeuckerSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/LeuckerSS15
Martin Leucker, Martin Sachenbacher, René Schönfelder:
Workshop Energieinformatik. GI-Jahrestagung 2015: 37-38
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/LeuckerMN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/LeuckerMN15
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]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/SchonfelderL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/SchonfelderL15
René Schönfelder, Martin Leucker:
Abstract Routing Models and Abstractions in the Context of Vehicle Routing. IJCAI 2015: 2639-2645
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/risk/MildnerJDMLR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/risk/MildnerJDMLR15
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/se/LeuckerS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/LeuckerS15
Martin Leucker, Malte Schmitz:
Secured SOA for the Safe Interconnection of Medical Devices (Position Paper). Software Engineering (Workshops) 2015: 11-14
[c85]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/se/Busshaus0KLMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Busshaus0KLMS15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/2015
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]
- view
  - electronic edition @ nii.ac.jp (open access)
  - details & citations
- export record
  dblp key:
  - journals/shonan-reports/ArthoJLN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/ArthoJLN15
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/amai/MoszkowskiGL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/MoszkowskiGL14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BolligHLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BolligHLM14
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DiekertL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DiekertL14
Volker Diekert, Martin Leucker:
Topology, monitorable properties and runtime verification. Theor. Comput. Sci. 537: 29-41 (2014)
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/DeckerHLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/DeckerHLT14
Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma:
Learning Transparent Data Automata. Petri Nets 2014: 130-149
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/DeckerHLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/DeckerHLT14
Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma:
Ordered Navigation on Multi-attributed Data Words. CONCUR 2014: 497-511
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/iov/SchonfelderLW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iov/SchonfelderLW14
René Schönfelder, Martin Leucker, Sebastian Walther:
Efficient Profile Routing for Electric Vehicles. IOV 2014: 21-30
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Leucker14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Leucker14
Martin Leucker:
Challenges for the Dynamic Interconnection of Medical Devices. ISoLA (2) 2014: 387-390
[c80]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/mcps/KuhnLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mcps/KuhnLM14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/CordyHLSDL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/CordyHLSDL14
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/DeckerLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DeckerLT14
Normann Decker, Martin Leucker, Daniel Thoma:
Monitoring Modulo Theories. TACAS 2014: 341-356
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/DeckerHLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DeckerHLT14
Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma:
Ordered Navigation on Multi-attributed Data Words. CoRR abs/1404.6064 (2014)
2013
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/todaes/BackaschHWLL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/todaes/BackaschHWLL13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dlt/BolligHLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlt/BolligHLM13
Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege:
A Fresh Approach to Learning Register Automata. Developments in Language Theory 2013: 118-130
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/fhies/KuhnL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fhies/KuhnL13
Franziska Kühn, Martin Leucker:
OR.NET: Safe Interconnection of Medical Devices - (Position Paper). FHIES 2013: 188-198
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/DeckerLT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/DeckerLT13
Normann Decker, Martin Leucker, Daniel Thoma:
jUnit^RV-Adding Runtime Verification to jUnit. NASA Formal Methods 2013: 459-464
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/DeckerLT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/DeckerLT13
Normann Decker, Martin Leucker, Daniel Thoma:
Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties. RV 2013: 183-200
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/sesena/FischerL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sesena/FischerL13
Stefan Fischer, Martin Leucker:
Runtime verification and reflection for wireless sensor networks. SESENA 2013: 35-36
2012
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/chinaf/DongZSL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chinaf/DongZSL12
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/KatoenKLW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/KatoenKLW12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/SchaeferLL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/SchaeferLL12
Ina Schaefer, Malte Lochau, Martin Leucker:
Approaches for Mastering Change. ISoLA (1) 2012: 127-130
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LeuckerT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LeuckerT12
Martin Leucker, Daniel Thoma:
A Formal Approach to Software Product Families. ISoLA (1) 2012: 131-145
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LeuckerN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LeuckerN12
Martin Leucker, Daniel Neider:
Learning Minimal Deterministic Automata from Inexperienced Teachers. ISoLA (1) 2012: 524-538
[c69]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mkwi/CiechanowiczLS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkwi/CiechanowiczLS12
David Ciechanowicz, Martin Leucker, Martin Sachenbacher:
Ökonomische Bewertung von Vehicle-to-Grid in Deutschland. MKWI 2012: 1473-1486
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/ZhangLD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/ZhangLD12
Xian Zhang, Martin Leucker, Wei Dong:
Runtime Verification with Predictive Semantics. NASA Formal Methods 2012: 418-432
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/Leucker12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/Leucker12
Martin Leucker:
Sliding between Model Checking and Runtime Verification. RV 2012: 82-87
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/BolligDL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/BolligDL12
Benedikt Bollig, Normann Decker, Martin Leucker:
Frequency Linear-time Temporal Logic. TASE 2012: 85-92
2011
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/EsparzaLS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/EsparzaLS11
Javier Esparza, Martin Leucker, Maximilian Schlund:
Learning Workflow Petri Nets. Fundam. Informaticae 113(3-4): 205-228 (2011)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/BauerLS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/BauerLS11
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/SachenbacherLAH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/SachenbacherLAH11
Martin Sachenbacher, Martin Leucker, Andreas Artmeier, Julian Haselmayr:
Efficient Energy-Optimal Routing for Electric Vehicles. AAAI 2011: 1402-1407
[c64]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/icitst/ZhangLD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icitst/ZhangLD11
Xian Zhang, Martin Leucker, Wei Dong:
An event pattern language for runtime monitoring based on AOP. ICITST 2011: 744-751
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BauerL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BauerL11
Andreas Bauer, Martin Leucker:
The Theory and Practice of SALT. NASA Formal Methods 2011: 13-40
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/Leucker11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/Leucker11
Martin Leucker:
Teaching Runtime Verification. RV 2011: 34-48
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/BenavidesLBRVW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/BenavidesLBRVW11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ssiri/ZhaoDLQ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssiri/ZhaoDLQ11
Changzhi Zhao, Wei Dong, Martin Leucker, Zhichang Qi:
Security Goals Assurance Based on Software Active Monitoring. SSIRI 2011: 70-79
[e9]
- view
- export record
  dblp key:
  - conf/time/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/2011
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]
- view
  - electronic edition @ cai.sk (open access)
  - details & citations
- export record
  dblp key:
  - journals/cai/BolligKKL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cai/BolligKKL10
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker:
SMA - The Smyle Modeling Approach. Comput. Informatics 29(1): 45-72 (2010)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/BauerLS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/BauerLS10
Andreas Bauer, Martin Leucker, Christian Schallhart:
Comparing LTL Semantics for Runtime Verification. J. Log. Comput. 20(3): 651-674 (2010)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BauerLST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BauerLST10
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GrinchteinJL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GrinchteinJL10
Olga Grinchtein, Bengt Jonsson, Martin Leucker:
Learning of event-recording automata. Theor. Comput. Sci. 411(47): 4029-4054 (2010)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BolligKKL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BolligKKL10
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker:
Learning Communicating Automata from MSCs. IEEE Trans. Software Eng. 36(3): 390-408 (2010)
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/EsparzaLS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/EsparzaLS10
Javier Esparza, Martin Leucker, Maximilian Schlund:
Learning Workflow Petri Nets. Petri Nets 2010: 206-225
[c58]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BolligKKLNP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BolligKKLNP10
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon:
libalf: The Automata Learning Framework. CAV 2010: 360-364
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/ArtmeierHLS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/ArtmeierHLS10
Andreas Artmeier, Julian Haselmayr, Martin Leucker, Martin Sachenbacher:
The Shortest Path Problem Revisited: Optimal Routing for Electric Vehicles. KI 2010: 309-316
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/time/LeuckerS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/LeuckerS10
Martin Leucker, César Sánchez:
Regular Linear-Time Temporal Logic. TIME 2010: 3-5
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/SanchezL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/SanchezL10
César Sánchez, Martin Leucker:
Regular Linear Temporal Logic with Past. VMCAI 2010: 295-311
[e8]
- view
- export record
  dblp key:
  - conf/dagstuhl/2010P10451
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2010P10451
Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams:
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010. Dagstuhl Seminar Proceedings 10451, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents]
[i5]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/HavelundLSSW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/HavelundLSSW10
Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams:
10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems 2010
[i4]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/HavelundLSSW10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/HavelundLSSW10a
Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams:
10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems 2010

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/LeuckerS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LeuckerS09
Martin Leucker, Christian Schallhart:
A brief account of runtime verification. J. Log. Algebraic Methods Program. 78(5): 293-303 (2009)
[j7]
- view
  - electronic edition @ uni-siegen.de (archived)
  - details & citations
- export record
  dblp key:
  - journals/stt/LeuckerLNR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stt/LeuckerLNR09
Martin Leucker, Moritz Löser, Dirk Nowotka, Joachim Rischen:
Klassifikationsbäume in Echtzeit. Softwaretechnik-Trends 29(4) (2009)
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/CampetelliGLT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/CampetelliGLT09
Alarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma:
Don't Know for Multi-valued Systems. ATVA 2009: 289-305
[c53]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/BolligHKL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BolligHKL09
Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker:
Angluin-Style Learning of NFA. IJCAI 2009: 1004-1009
[c52]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/informatiktage/LoserLNR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/informatiktage/LoserLNR09
Moritz Löser, Martin Leucker, Dirk Nowotka, Joachim Rischen:
Äquivalenzklassen mit Zeit und Zuständen. Informatiktage 2009: 87-90
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/2009
Martin Leucker, Carroll Morgan:
Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings. Lecture Notes in Computer Science 5684, Springer 2009, ISBN 978-3-642-03465-7 [contents]
2008
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/GrinchteinL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/GrinchteinL08
Olga Grinchtein, Martin Leucker:
Network invariants for real-time systems. Formal Aspects Comput. 20(6): 619-635 (2008)
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DongLS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DongLS08
Wei Dong, Martin Leucker, Christian Schallhart:
Impartial Anticipation in Runtime-Verification. ATVA 2008: 386-396
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BolligKKL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BolligKKL08
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker:
Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. CONCUR 2008: 162-166
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/KatoenKLW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/KatoenKLW08
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf:
Abstraction for Stochastic Systems by Erlang's Method of Stages. CONCUR 2008: 279-294
[c48]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fmoods/GrulerLS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/GrulerLS08
Alexander Gruler, Martin Leucker, Kathrin Danielle Scheidemann:
Modeling and Model Checking Software Product Lines. FMOODS 2008: 113-131
[c47]
- view
- export record
  dblp key:
  - conf/gi/LeuckerS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/LeuckerS07
Martin Leucker, Helmut Seidl:
Lightweight Verification 2008. GI Jahrestagung (2) 2008: 965-966
[c46]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip2/BolligKKL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/BolligKKL08
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker:
SMA - The Smyle Modeling Approach. CEE-SET 2008: 103-117
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/GrulerLS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/GrulerLS08
Alexander Gruler, Martin Leucker, Kathrin Danielle Scheidemann:
Calculating and Modeling Common Parts of Software Product Lines. SPLC 2008: 203-212
[e6]
- view
- export record
  dblp key:
  - conf/dagstuhl/2008P8332
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2008P8332
Henri E. Bal, Lubos Brim, Martin Leucker:
Distributed Verification and Grid Computing, 10.08. - 14.08.2008. Dagstuhl Seminar Proceedings 08332, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents]
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/2008
Martin Leucker:
Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers. Lecture Notes in Computer Science 5289, Springer 2008, ISBN 978-3-540-89246-5 [contents]
[i3]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BalBL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BalBL08
Henri E. Bal, Lubos Brim, Martin Leucker:
08332 Abstracts Collection - Distributed Verification and Grid Computing. Distributed Verification and Grid Computing 2008
[i2]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BalBL08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BalBL08a
Henri E. Bal, Lubos Brim, Martin Leucker:
08332 Executive Summary - Distributed Verification and Grid Computing. Distributed Verification and Grid Computing 2008
[i1]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/Leucker08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/Leucker08
Martin Leucker:
Checking and Enforcing Safety: Runtime Verification and Runtime Reflection. ERCIM News 2008(75) (2008)
2007
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/GrumbergLLS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GrumbergLLS07
Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham:
When not losing is better than winning: Abstraction and refinement for the full mu-calculus. Inf. Comput. 205(8): 1130-1148 (2007)
[c44]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KatoenKLW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KatoenKLW07
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf:
Three-Valued Abstraction for Continuous-Time Markov Chains. CAV 2007: 311-324
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/BarnatBL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/BarnatBL07
Jiri Barnat, Lubos Brim, Martin Leucker:
Parallel Model Checking and the FMICS-jETI Platform. ICECCS 2007: 330-339
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/MargariaRSL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/MargariaRSL07
Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker:
The LearnLib in FMICS-jETI. ICECCS 2007: 340-352
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/LeuckerS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/LeuckerS07
Martin Leucker, César Sánchez:
Regular Linear Temporal Logic. ICTAC 2007: 291-305
[c40]
- view
  - electronic edition @ editions-rnti.fr
  - details & citations
- export record
  dblp key:
  - conf/isola/BauerLST07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BauerLST07
Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig:
Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. ISoLA 2007: 135-146
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/0002LS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/0002LS07
Andreas Bauer, Martin Leucker, Christian Schallhart:
The Good, the Bad, and the Ugly, But How Ugly Is Ugly? RV 2007: 126-138
[c38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BolligKKL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BolligKKL07
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker:
Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning. TACAS 2007: 435-450
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2006
Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol:
Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4346, Springer 2007, ISBN 978-3-540-70951-0 [contents]
2006
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BrimL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BrimL06
Lubos Brim, Martin Leucker:
Foreword. Formal Methods Syst. Des. 29(2): 115-116 (2006)
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BolligL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BolligL06
Benedikt Bollig, Martin Leucker:
Message-passing automata are expressively equivalent to EMSO logic. Theor. Comput. Sci. 358(2-3): 150-172 (2006)
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/aswec/0002LS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aswec/0002LS06
Andreas Bauer, Martin Leucker, Christian Schallhart:
Model-based runtime analysis of distributed reactive systems. ASWEC 2006: 243-252
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/GrinchteinLP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GrinchteinLP06
Olga Grinchtein, Martin Leucker, Nir Piterman:
Inferring Network Invariants Automatically. IJCAR 2006: 483-497
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/Leucker06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/Leucker06
Martin Leucker:
Learning Meets Verification. FMCO 2006: 127-151
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/BauerLS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/BauerLS06
Andreas Bauer, Martin Leucker, Christian Schallhart:
Monitoring of Real-Time Properties. FSTTCS 2006: 260-272
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/0002LS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/0002LS06
Andreas Bauer, Martin Leucker, Jonathan Streit:
SALT - Structured Assertion Language for Temporal Logic. ICFEM 2006: 757-775
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/icgi/GrinchteinL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icgi/GrinchteinL06
Olga Grinchtein, Martin Leucker:
Learning Finite-State Machines from Inexperienced Teachers. ICGI 2006: 344-345
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/FecherLW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/FecherLW06
Harald Fecher, Martin Leucker, Verena Wolf:
Don't Know in Probabilistic Systems. SPIN 2006: 71-88
[e3]
- view
- export record
  dblp key:
  - conf/pdmc/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdmc/2005
Martin Leucker, Jaco van de Pol:
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10, 2005. Electronic Notes in Theoretical Computer Science 135(2), Elsevier 2006 [contents]
2005
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/LeuckerNSW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/LeuckerNSW05
Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber:
Functional programming languages for verification tools: a comparison of Standard ML and Haskell. Int. J. Softw. Tools Technol. Transf. 7(2): 184-194 (2005)
[c30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BergGJLRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BergGJLRS05
Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen:
On the Correspondence Between Conformance Testing and Regular Inference. FASE 2005: 175-189
[c29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/BolligL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BolligL05
Benedikt Bollig, Martin Leucker:
A Hierarchy of Implementable MSC Languages. FORTE 2005: 53-67
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/GrumbergLLS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/GrumbergLLS05
Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham:
Don't Know in the µ-Calculus. VMCAI 2005: 233-249
[c27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LeuckerP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LeuckerP06
Martin Leucker, Jaco van de Pol:
Preface. PDMC@ICALP 2005: 1-2
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/2004test
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2004test
Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner:
Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]. Lecture Notes in Computer Science 3472, Springer 2005, ISBN 3-540-26278-4 [contents]
[e1]
- view
- export record
  dblp key:
  - conf/pdmc/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdmc/2004
Lubos Brim, Martin Leucker:
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004. Electronic Notes in Theoretical Computer Science 128(3), Elsevier 2005 [contents]
2004
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BolligL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BolligL04
Benedikt Bollig, Martin Leucker:
Message-Passing Automata Are Expressively Equivalent to EMSO Logic. CONCUR 2004: 146-160
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/PretschnerL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/PretschnerL04
Alexander Pretschner, Martin Leucker:
Model-Based Testing - A Glossary. Model-Based Testing of Reactive Systems 2004: 607-609
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/GrinchteinJL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/GrinchteinJL04
Olga Grinchtein, Bengt Jonsson, Martin Leucker:
Learning of Event-Recording Automata. FORMATS/FTRTFT 2004: 379-396
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ifipTCS/BolligC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifipTCS/BolligC04
Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski:
Controller Synthesis for Probabilistic Systems. IFIP TCS 2004: 493-506
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/voss/BolligL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/voss/BolligL04
Benedikt Bollig, Martin Leucker:
Verifying Qualitative Properties of Probabilistic Programs. Validation of Stochastic Systems 2004: 124-146
[c21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BrimL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BrimL05
Lubos Brim, Martin Leucker:
Preface. PDMC 2004: 1-2
[c20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GrinchteinJL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GrinchteinJL05
Olga Grinchtein, Bengt Jonsson, Martin Leucker:
Inference of Timed Transition Systems. INFINITY 2004: 87-99
[c19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HolmenLL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HolmenLL05
Fredrik Holmén, Martin Leucker, Marcus Lindström:
UppDMC: A Distributed Model Checker for Fragments of the mu-Calculus. PDMC 2004: 91-105
2003
[j1]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/dke/BolligL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dke/BolligL03
Benedikt Bollig, Martin Leucker:
Deciding LTL over Mazurkiewicz traces. Data Knowl. Eng. 44(2): 219-238 (2003)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/BolligL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/BolligL03
Benedikt Bollig, Martin Leucker:
Model Checking Probabilistic Distributed Systems. ASIAN 2003: 291-304
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BergJLS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BergJLS05
Therese Berg, Bengt Jonsson, Martin Leucker, Mayank Saksena:
Insights to Angluin's Learning. SVV@ICLP 2003: 3-18
[c16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LeuckerSW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LeuckerSW03
Martin Leucker, Rafal Somla, Michael Weber:
Parallel Model Checking for LTL, CTL*, and Lµ². PDMC@CAV 2003: 4-16
[c15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GrinchteinL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GrinchteinL04
Olga Grinchtein, Martin Leucker:
Network Invariants for Real-Time Systems. INFINITY 2003: 57-74
2002
[b1]
- view
  - details & citations
  authority control:
- export record
  dblp key:
  - phd/dnb/Leucker02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Leucker02
Martin Leucker:
Logics for Mazurkiewicz traces. RWTH Aachen University, Germany, 2002, pp. 1-176
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/BolligLN02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BolligLN02
Benedikt Bollig, Martin Leucker, Thomas Noll:
Generalised Regular MSC Languages. FoSSaCS 2002: 52-66
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/LeuckerMM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/LeuckerMM02
Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay:
Dynamic Message Sequence Charts. FSTTCS 2002: 253-264
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BolligLL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BolligLL02
Benedikt Bollig, Martin Leucker, Philipp Lucas:
Extending Compositional Message Sequence Graphs. LPAR 2002: 68-85
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BolligLW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BolligLW02
Benedikt Bollig, Martin Leucker, Michael Weber:
Local Parallel Model Checking for the Alternation-Free µ-Calculus. SPIN 2002: 128-147
2001
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LeuckerN01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LeuckerN01
Martin Leucker, Thomas Noll:
Truth/SLC - A Parallel Verification Platform for Concurrent Systems. CAV 2001: 255-259
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/Leucker01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Leucker01
Martin Leucker:
Prefix-Recognizable Graphs and Monadic Logic. Automata, Logics, and Infinite Games 2001: 263-284
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BolligLW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BolligLW01
Benedikt Bollig, Martin Leucker, Michael Weber:
Parallel Model Checking for the Alternation Free µ-Calculus. TACAS 2001: 543-558
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/time/BolligL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/BolligL01
Benedikt Bollig, Martin Leucker:
Deciding LTL over Mazurkiewicz Traces. TIME 2001: 189-197
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/time/BolligL01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/BolligL01a
Benedikt Bollig, Martin Leucker:
Modelling, Specifying, and Verifying Message Passing Systems. TIME 2001: 240-247
2000
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/Leucker00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/Leucker00
Martin Leucker:
On Model Checking Synchronised Hardware Circuits. ASIAN 2000: 182-198
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LeuckerN00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LeuckerN00
Martin Leucker, Thomas Noll:
Rewriting Logic as a Framework for Generic Verification Tools. WRLA 2000: 121-137

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/Leucker99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Leucker99
Martin Leucker:
Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata. LPAR 1999: 77-91
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/LeuckerN99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/LeuckerN99
Martin Leucker, Thomas Noll:
Rapid Prototyping of Specification Language Implementations. IEEE International Workshop on Rapid System Prototyping 1999: 60-65
1998
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tssdv/LangeL0T98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tssdv/LangeL0T98
Martin Lange, Martin Leucker, Thomas Noll, Stephan Tobies:
Truth - A verification platform for concurrent systems. Tool Support for System Specification, Development and Verification 1998: 150-159

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.