Martin Leucker
Martin Leucker
Professor of Computer Science, University of Lübeck
E-mail confirmado em isp.uni-luebeck.de - Página inicial
Título
Citado por
Citado por
Ano
A brief account of runtime verification
M Leucker, C Schallhart
The Journal of Logic and Algebraic Programming 78 (5), 293-303, 2009
8982009
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
6212011
Model-based testing of reactive systems
M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner
Volume 3472 of Springer LNCS, 2005
615*2005
Comparing LTL semantics for runtime verification
A Bauer, M Leucker, C Schallhart
Journal of Logic and Computation 20 (3), 651-674, 2010
2532010
Efficient energy-optimal routing for electric vehicles
M Sachenbacher, M Leucker, A Artmeier, J Haselmayr
Twenty-fifth AAAI conference on artificial intelligence, 2011
2132011
The shortest path problem revisited: Optimal routing for electric vehicles
A Artmeier, J Haselmayr, M Leucker, M Sachenbacher
Annual conference on artificial intelligence, 309-316, 2010
2062010
Monitoring of real-time properties
A Bauer, M Leucker, C Schallhart
International Conference on Foundations of Software Technology and …, 2006
2042006
Modeling and model checking software product lines
A Gruler, M Leucker, K Scheidemann
International Conference on Formal Methods for Open Object-Based Distributed …, 2008
1942008
Model-based testing
A Pretschner
Proceedings. 27th International Conference on Software Engineering, 2005 …, 2005
154*2005
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
1452007
Angluin-style learning of NFA
B Bollig, P Habermehl, C Kern, M Leucker
Twenty-First International Joint Conference on Artificial Intelligence, 2009
1272009
Don’t Know in Probabilistic Systems
H Fecher, M Leucker, V Wolf
International SPIN Workshop on Model Checking of Software, 71-88, 2006
1232006
On the correspondence between conformance testing and regular inference
T Berg, O Grinchtein, B Jonsson, M Leucker, H Raffelt, B Steffen
International Conference on Fundamental Approaches to Software Engineering …, 2005
1202005
Three-valued abstraction for continuous-time Markov chains
JP Katoen, D Klink, M Leucker, V Wolf
International Conference on Computer Aided Verification, 311-324, 2007
1152007
Controller synthesis for probabilistic systems
C Baier, M Größer, M Leucker, B Bollig, F Ciesinski
Exploring New Frontiers of Theoretical Informatics, 493-506, 2004
1112004
libalf: The automata learning framework
B Bollig, JP Katoen, C Kern, M Leucker, D Neider, DR Piegdon
International Conference on Computer Aided Verification, 360-364, 2010
1022010
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
952010
Regular linear temporal logic
M Leucker, C Sánchez
International colloquium on theoretical aspects of computing, 291-305, 2007
762007
Model-based runtime analysis of distributed reactive systems
A Bauer, M Leucker, C Schallhart
Australian Software Engineering Conference (ASWEC'06), 10 pp.-252, 2006
732006
Insights to Angluin's learning
T Berg, B Jonsson, M Leucker, M Saksena
Electronic Notes in Theoretical Computer Science 118, 3-18, 2005
642005
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20