Stop the war!Остановите войну!
for scientists:
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
- 2023
[j28]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)- [c119]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 - [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] - [i18]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) - 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) - [c118]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 - [c117]Hannes Kallwies, Martin Leucker, César Sánchez:
Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. ATVA 2022: 117-134 - [c116]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 - [c115]Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma:
Aggregate Update Problem for Multi-clocked Dataflow Languages. CGO 2022: 79-91 - [c114]Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer:
X-by-Construction Meets Runtime Verification. ISoLA (1) 2022: 141-148 - [c113]Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma:
Runtime Verification of AUTOSAR Timing Extensions. RTNS 2022: 173-183 - [c112]Hannes Kallwies, Martin Leucker, César Sánchez, Torben Scheffel:
Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. RV 2022: 181-199 - [c111]Hannes Kallwies, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss:
TeSSLa - An Ecosystem for Runtime Verification. RV 2022: 314-324 - [c110]Hannes Kallwies, Martin Leucker, Meiko Prilop, Malte Schmitz:
Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes. TASE 2022: 197-204 - [c109]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) - [c108]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 - [c107]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 - [c106]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) - [c105]Martin Leucker:
Formal Verification of Neural Networks? SBMF 2020: 3-7 - [c104]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) - [c103]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 - [c102]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
- [c101]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 - [c100]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 - [c99]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 - [c98]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 - [c97]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) - [c96]Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma:
Model-Checking Counting Temporal Logics on Flat Structures. CONCUR 2017: 29:1-29:17 - [c95]Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz:
COEMS - open traces from the industry. RV-CuBES 2017: 96-105 - [c94]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) - [c93]Martin Leucker, Malte Schmitz, Danilo à Tellinghusen:
Runtime Verification for Interconnected Medical Devices. ISoLA (2) 2016: 380-387 - [c92]Martin Leucker:
On Combinations of Static and Dynamic Analysis - Panel Introduction. ISoLA (1) 2016: 515-516 - [c91]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 - [c90]Martin Leucker:
Runtime Verification for Linear-Time Temporal Logic. SETSS 2016: 151-194 - 2015
- [c89]Martin Leucker, Martin Sachenbacher, René Schönfelder:
Workshop Energieinformatik. GI-Jahrestagung 2015: 37-38 - [c88]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 - [c87]René Schönfelder, Martin Leucker:
Abstract Routing Models and Abstractions in the Context of Vehicle Routing. IJCAI 2015: 2639-2645 - [c86]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 - [c85]Martin Leucker, Malte Schmitz:
Secured SOA for the Safe Interconnection of Medical Devices (Position Paper). Software Engineering (Workshops) 2015: 11-14 - [c84]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) - [c83]Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma:
Learning Transparent Data Automata. Petri Nets 2014: 130-149 - [c82]Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma:
Ordered Navigation on Multi-attributed Data Words. CONCUR 2014: 497-511 - [c81]René Schönfelder, Martin Leucker, Sebastian Walther:
Efficient Profile Routing for Electric Vehicles. IOV 2014: 21-30 - [c80]Martin Leucker:
Challenges for the Dynamic Interconnection of Medical Devices. ISoLA (2) 2014: 387-390 - [c79]Franziska Kühn, Martin Leucker, Alexander Mildner:
OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices. MCPS 2014: 133-136 - [c78]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 - [c77]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) - [c76]Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege:
A Fresh Approach to Learning Register Automata. Developments in Language Theory 2013: 118-130 - [c75]Franziska Kühn, Martin Leucker:
OR.NET: Safe Interconnection of Medical Devices - (Position Paper). FHIES 2013: 188-198 - [c74]Normann Decker, Martin Leucker, Daniel Thoma:
jUnitRV-Adding Runtime Verification to jUnit. NASA Formal Methods 2013: 459-464 - [c73]Normann Decker, Martin Leucker, Daniel Thoma:
Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties. RV 2013: 183-200 - [c72]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) - [c71]Ina Schaefer, Malte Lochau, Martin Leucker:
Approaches for Mastering Change. ISoLA (1) 2012: 127-130 - [c70]Martin Leucker, Daniel Thoma:
A Formal Approach to Software Product Families. ISoLA (1) 2012: 131-145 - [c69]Martin Leucker, Daniel Neider:
Learning Minimal Deterministic Automata from Inexperienced Teachers. ISoLA (1) 2012: 524-538 - [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 2010: 309-316 - [c56]Martin Leucker, César Sánchez:
Regular Linear-Time Temporal Logic. TIME 2010: 3-5 - [c55]César Sánchez, Martin Leucker:
Regular Linear Temporal Logic with Past. VMCAI 2010: 295-311 - [e8]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]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]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
- 2009
- [j8]Martin Leucker, Christian Schallhart:
A brief account of runtime verification. J. Log. Algebraic Methods Program. 78(5): 293-303 (2009) - [j7]Martin Leucker, Moritz Löser, Dirk Nowotka, Joachim Rischen:
Klassifikationsbäume in Echtzeit. Softwaretechnik-Trends 29(4) (2009) - [c54]Alarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma:
Don't Know for Multi-valued Systems. ATVA 2009: 289-305 - [c53]Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker:
Angluin-Style Learning of NFA. IJCAI 2009: 1004-1009 - [c52]Moritz Löser, Martin Leucker, Dirk Nowotka, Joachim Rischen:
Äquivalenzklassen mit Zeit und Zuständen. Informatiktage 2009: 87-90 - [e7]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]Olga Grinchtein, Martin Leucker:
Network invariants for real-time systems. Formal Aspects Comput. 20(6): 619-635 (2008) - [c51]Wei Dong, Martin Leucker, Christian Schallhart:
Impartial Anticipation in Runtime-Verification. ATVA 2008: 386-396 - [c50]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]