Παρακολούθηση
Martin Leucker
Martin Leucker
Professor of Computer Science, University of Lübeck
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα isp.uni-luebeck.de - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
A brief account of runtime verification
M Leucker, C Schallhart
The journal of logic and algebraic programming 78 (5), 293-303, 2009
11202009
Runtime verification for LTL and TLTL
A Bauer, M Leucker, C Schallhart
ACM Transactions on Software Engineering and Methodology (TOSEM) 20 (4), 1-64, 2011
7892011
Model-based testing of reactive systems
M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner
Volume 3472 of Springer LNCS, 2005
6922005
Comparing LTL semantics for runtime verification
A Bauer, M Leucker, C Schallhart
Journal of Logic and Computation 20 (3), 651-674, 2010
3152010
The shortest path problem revisited: Optimal routing for electric vehicles
A Artmeier, J Haselmayr, M Leucker, M Sachenbacher
KI 2010: Advances in Artificial Intelligence: 33rd Annual German Conference …, 2010
2692010
Efficient energy-optimal routing for electric vehicles
M Sachenbacher, M Leucker, A Artmeier, J Haselmayr
Proceedings of the AAAI conference on artificial intelligence 25 (1), 1402-1407, 2011
2612011
Monitoring of real-time properties
A Bauer, M Leucker, C Schallhart
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer …, 2006
2442006
Modeling and model checking software product lines
A Gruler, M Leucker, K Scheidemann
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 …, 2008
2142008
The good, the bad, and the ugly, but how ugly is ugly?
A Bauer, M Leucker, C Schallhart
International Workshop on Runtime Verification, 126-138, 2007
1842007
Angluin-Style Learning of NFA.
B Bollig, P Habermehl, C Kern, M Leucker
IJCAI 9, 1004-1009, 2009
1612009
On the correspondence between conformance testing and regular inference
T Berg, O Grinchtein, B Jonsson, M Leucker, H Raffelt, B Steffen
Fundamental Approaches to Software Engineering: 8th International Conference …, 2005
1302005
Don’t Know in Probabilistic Systems
H Fecher, M Leucker, V Wolf
Model Checking Software: 13th International SPIN Workshop, Vienna, Austria …, 2006
1242006
libalf: The automata learning framework
B Bollig, JP Katoen, C Kern, M Leucker, D Neider, DR Piegdon
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
1232010
Controller synthesis for probabilistic systems
C Baier, M Größer, M Leucker, B Bollig, F Ciesinski
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer …, 2004
1222004
Three-valued abstraction for continuous-time Markov chains
JP Katoen, D Klink, M Leucker, V Wolf
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
1152007
The optimal routing problem in the context of battery-powered electric vehicles
A Artmeier, J Haselmayr, M Leucker, M Sachenbacher
CPAIOR Workshop on Constraint Reasoning and Optimization for Computational …, 2010
1112010
TeSSLa: temporal stream-based specification language
L Convent, S Hungerecker, M Leucker, T Scheffel, M Schmitz, D Thoma
Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF …, 2018
1012018
Regular linear temporal logic
M Leucker, C Sánchez
International colloquium on theoretical aspects of computing, 291-305, 2007
832007
Monitoring modulo theories
N Decker, M Leucker, D Thoma
International Journal on Software Tools for Technology Transfer 18, 205-225, 2016
752016
Learning of event-recording automata
O Grinchtein, B Jonsson, M Leucker
Theoretical Computer Science 411 (47), 4029-4054, 2010
752010
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20