


Остановите войну!
for scientists:
Martin Leucker
Person information

- affiliation: University of Lübeck, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j32]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) - [c105]Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma:
Aggregate Update Problem for Multi-clocked Dataflow Languages. CGO 2022: 79-91 - [c104]Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma:
Runtime Verification of AUTOSAR Timing Extensions. RTNS 2022: 173-183 - 2021
- [j31]Martin Leucker
, Christian Colombo:
Preface. Int. J. Softw. Tools Technol. Transf. 23(2): 155-156 (2021) - [c103]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 - [c102]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 - [c101]Karam Younes Kharraz, Martin Leucker
, Gerardo Schneider:
Timed Dyadic Deontic Logic. JURIX 2021: 197-204 - [e10]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
- [j30]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) - [c100]Martin Leucker
:
Formal Verification of Neural Networks? SBMF 2020: 3-7 - [c99]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
- [j29]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) - [c98]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 - [c97]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
- [c96]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 - [c95]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 - [c94]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 - [c93]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 - [c92]Lukas Convent, Sebastian Hungerecker, Martin Leucker
, Torben Scheffel, Malte Schmitz, Daniel Thoma:
TeSSLa: Temporal Stream-Based Specification Language. SBMF 2018: 144-162 - [e9]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
- [j28]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) - [c91]Normann Decker, Peter Habermehl, Martin Leucker
, Arnaud Sangnier
, Daniel Thoma:
Model-Checking Counting Temporal Logics on Flat Structures. CONCUR 2017: 29:1-29:17 - [c90]Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz:
COEMS - open traces from the industry. RV-CuBES 2017: 96-105 - [c89]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
- [j27]Normann Decker, Martin Leucker
, Daniel Thoma:
Monitoring modulo theories. Int. J. Softw. Tools Technol. Transf. 18(2): 205-225 (2016) - [c88]Martin Leucker
, Malte Schmitz, Danilo à Tellinghusen:
Runtime Verification for Interconnected Medical Devices. ISoLA (2) 2016: 380-387 - [c87]Martin Leucker
:
On Combinations of Static and Dynamic Analysis - Panel Introduction. ISoLA (1) 2016: 515-516 - [c86]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 - [c85]Martin Leucker
:
Runtime Verification for Linear-Time Temporal Logic. SETSS 2016: 151-194 - 2015
- [c84]Martin Leucker, Martin Sachenbacher, René Schönfelder:
Workshop Energieinformatik. GI-Jahrestagung 2015: 37-38 - [c83]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 - [c82]René Schönfelder, Martin Leucker:
Abstract Routing Models and Abstractions in the Context of Vehicle Routing. IJCAI 2015: 2639-2645 - [c81]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 - [c80]Martin Leucker, Malte Schmitz:
Secured SOA for the Safe Interconnection of Medical Devices (Position Paper). Software Engineering (Workshops) 2015: 11-14 - [c79]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 - [e8]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
- [j26]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) - [j25]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) - [j24]Volker Diekert, Martin Leucker
:
Topology, monitorable properties and runtime verification. Theor. Comput. Sci. 537: 29-41 (2014) - [c78]Normann Decker, Peter Habermehl, Martin Leucker
, Daniel Thoma:
Learning Transparent Data Automata. Petri Nets 2014: 130-149 - [c77]Normann Decker, Peter Habermehl, Martin Leucker
, Daniel Thoma:
Ordered Navigation on Multi-attributed Data Words. CONCUR 2014: 497-511 - [c76]René Schönfelder, Martin Leucker
, Sebastian Walther:
Efficient Profile Routing for Electric Vehicles. IOV 2014: 21-30 - [c75]Martin Leucker
:
Challenges for the Dynamic Interconnection of Medical Devices. ISoLA (2) 2014: 387-390 - [c74]Franziska Kühn, Martin Leucker
, Alexander Mildner:
OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices. MCPS 2014: 133-136 - [c73]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 - [c72]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
- [j23]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) - [c71]Benedikt Bollig, Peter Habermehl, Martin Leucker
, Benjamin Monmege:
A Fresh Approach to Learning Register Automata. Developments in Language Theory 2013: 118-130 - [c70]Franziska Kühn, Martin Leucker
:
OR.NET: Safe Interconnection of Medical Devices - (Position Paper). FHIES 2013: 188-198 - [c69]Normann Decker, Martin Leucker
, Daniel Thoma:
jUnitRV-Adding Runtime Verification to jUnit. NASA Formal Methods 2013: 459-464 - [c68]Normann Decker, Martin Leucker
, Daniel Thoma:
Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties. RV 2013: 183-200 - [c67]Stefan Fischer, Martin Leucker
:
Runtime verification and reflection for wireless sensor networks. SESENA 2013: 35-36 - 2012
- [j22]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) - [j21]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) - [c66]Ina Schaefer, Malte Lochau, Martin Leucker
:
Approaches for Mastering Change. ISoLA (1) 2012: 127-130 - [c65]Martin Leucker
, Daniel Thoma:
A Formal Approach to Software Product Families. ISoLA (1) 2012: 131-145 - [c64]Martin Leucker
, Daniel Neider:
Learning Minimal Deterministic Automata from Inexperienced Teachers. ISoLA (1) 2012: 524-538 - [c63]Xian Zhang, Martin Leucker
, Wei Dong:
Runtime Verification with Predictive Semantics. NASA Formal Methods 2012: 418-432 - [c62]Martin Leucker
:
Sliding between Model Checking and Runtime Verification. RV 2012: 82-87 - [c61]Benedikt Bollig, Normann Decker, Martin Leucker
:
Frequency Linear-time Temporal Logic. TASE 2012: 85-92 - 2011
- [j20]Javier Esparza
, Martin Leucker
, Maximilian Schlund:
Learning Workflow Petri Nets. Fundam. Informaticae 113(3-4): 205-228 (2011) - [j19]Andreas Bauer, Martin Leucker
, Christian Schallhart:
Runtime Verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4): 14:1-14:64 (2011) - [c60]Martin Sachenbacher, Martin Leucker, Andreas Artmeier, Julian Haselmayr:
Efficient Energy-Optimal Routing for Electric Vehicles. AAAI 2011 - [c59]Xian Zhang, Martin Leucker, Wei Dong:
An event pattern language for runtime monitoring based on AOP. ICITST 2011: 744-751 - [c58]Andreas Bauer, Martin Leucker
:
The Theory and Practice of SALT. NASA Formal Methods 2011: 13-40 - [c57]Martin Leucker
:
Teaching Runtime Verification. RV 2011: 34-48 - [c56]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 - [c55]Changzhi Zhao, Wei Dong, Martin Leucker
, Zhichang Qi:
Security Goals Assurance Based on Software Active Monitoring. SSIRI 2011: 70-79 - [e7]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
- [j18]Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker:
SMA - The Smyle Modeling Approach. Comput. Informatics 29(1): 45-72 (2010) - [j17]Andreas Bauer, Martin Leucker
, Christian Schallhart:
Comparing LTL Semantics for Runtime Verification. J. Log. Comput. 20(3): 651-674 (2010) - [j16]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) - [j15]Olga Grinchtein, Bengt Jonsson, Martin Leucker
:
Learning of event-recording automata. Theor. Comput. Sci. 411(47): 4029-4054 (2010) - [j14]Benedikt Bollig, Joost-Pieter Katoen
, Carsten Kern, Martin Leucker
:
Learning Communicating Automata from MSCs. IEEE Trans. Software Eng. 36(3): 390-408 (2010) - [c54]Javier Esparza
, Martin Leucker
, Maximilian Schlund:
Learning Workflow Petri Nets. Petri Nets 2010: 206-225 - [c53]Benedikt Bollig, Joost-Pieter Katoen
, Carsten Kern, Martin Leucker
, Daniel Neider, David R. Piegdon:
libalf: The Automata Learning Framework. CAV 2010: 360-364 - [c52]Andreas Artmeier, Julian Haselmayr, Martin Leucker
, Martin Sachenbacher:
The Shortest Path Problem Revisited: Optimal Routing for Electric Vehicles. KI 2010: 309-316 - [c51]Martin Leucker
, César Sánchez
:
Regular Linear-Time Temporal Logic. TIME 2010: 3-5 - [c50]César Sánchez
, Martin Leucker
:
Regular Linear Temporal Logic with Past. VMCAI 2010: 295-311 - [e6]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
- [j13]Martin Leucker
, Christian Schallhart:
A brief account of runtime verification. J. Log. Algebraic Methods Program. 78(5): 293-303 (2009) - [j12]Martin Leucker, Moritz Löser, Dirk Nowotka, Joachim Rischen:
Klassifikationsbäume in Echtzeit. Softwaretechnik-Trends 29(4) (2009) - [c49]Alarico Campetelli, Alexander Gruler, Martin Leucker
, Daniel Thoma:
Don't Know for Multi-valued Systems. ATVA 2009: 289-305 - [c48]Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker:
Angluin-Style Learning of NFA. IJCAI 2009: 1004-1009 - [c47]Moritz Löser, Martin Leucker, Dirk Nowotka, Joachim Rischen:
Äquivalenzklassen mit Zeit und Zuständen. Informatiktage 2009: 87-90 - [e5]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
- [j11]Olga Grinchtein, Martin Leucker
:
Network invariants for real-time systems. Formal Aspects Comput. 20(6): 619-635 (2008) - [c46]Wei Dong, Martin Leucker
, Christian Schallhart:
Impartial Anticipation in Runtime-Verification. ATVA 2008: 386-396 - [c45]Benedikt Bollig, Joost-Pieter Katoen
, Carsten Kern, Martin Leucker
:
Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. CONCUR 2008: 162-166 - [c44]Joost-Pieter Katoen
, Daniel Klink, Martin Leucker
, Verena Wolf:
Abstraction for Stochastic Systems by Erlang's Method of Stages. CONCUR 2008: 279-294 - [c43]Alexander Gruler, Martin Leucker
, Kathrin D. Scheidemann:
Modeling and Model Checking Software Product Lines. FMOODS 2008: 113-131 - [c42]Martin Leucker, Helmut Seidl:
Lightweight Verification 2008. GI Jahrestagung (2) 2008: 965-966 - [c41]Benedikt Bollig, Joost-Pieter Katoen
, Carsten Kern, Martin Leucker
:
SMA - The Smyle Modeling Approach. CEE-SET 2008: 103-117 - [c40]Alexander Gruler, Martin Leucker
, Kathrin D. Scheidemann:
Calculating and Modeling Common Parts of Software Product Lines. SPLC 2008: 203-212 - [e4]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] - [e3]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]Henri E. Bal, Lubos Brim, Martin Leucker:
08332 Abstracts Collection - Distributed Verification and Grid Computing. Distributed Verification and Grid Computing 2008 - [i2]Henri E. Bal, Lubos Brim, Martin Leucker:
08332 Executive Summary - Distributed Verification and Grid Computing. Distributed Verification and Grid Computing 2008 - [i1]Martin Leucker:
Checking and Enforcing Safety: Runtime Verification and Runtime Reflection. ERCIM News 2008(75) (2008) - 2007
- [j10]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) - [c39]Joost-Pieter Katoen, Daniel Klink, Martin Leucker
, Verena Wolf:
Three-Valued Abstraction for Continuous-Time Markov Chains. CAV 2007: 311-324 - [c38]Jiri Barnat, Lubos Brim, Martin Leucker
:
Parallel Model Checking and the FMICS-jETI Platform. ICECCS 2007: 330-339 - [c37]Tiziana Margaria
, Harald Raffelt, Bernhard Steffen, Martin Leucker
:
The LearnLib in FMICS-jETI. ICECCS 2007: 340-352 - [c36]Martin Leucker
, César Sánchez:
Regular Linear Temporal Logic. ICTAC 2007: 291-305 - [c35]Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig:
Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. ISoLA 2007: 135-146 - [c34]Andreas Bauer, Martin Leucker
, Christian Schallhart:
The Good, the Bad, and the Ugly, But How Ugly Is Ugly? RV 2007: 126-138 - [c33]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 - [e2]