Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(80)
Benedikt Bollig
23
Joost-Pieter Katoen
16
Bengt Jonsson
14
Thomas Noll
11
Christian Schallhart
10
Conferences
(38)
Dagstuhl Seminars
10
CAV
4
CONCUR
3
ICECCS
2
LPAR(RCLP)
2
Journals
(11)
ENTCS
6
STTT
2
TCS
2
TSE
1
IANDC
1
Keywords
(190)
Embed
Subscribe
Academic
Authors
Martin Leucker
Edit
Martin Leucker
University of Lubeck
Publications: 104
|
Citations: 594
|
G-Index: 19
|
H-Index: 12
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Algorithms & Theory
,
Artificial Intelligence
View FAQ about top research area and research interests
Collaborated with
80 co-authors
from 1998 to 2011
; Cited by
588 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(104)
BibTeX
|
RIS
|
RefWorks
Download
Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)
David Benavides
,
Martin Leucker
,
Martin Becker
,
Rick Rabiser
,
Karina Villela
,
Peter Y. H. Wong
Conference:
Southern Conference on Programmable Logic - SPL
, 2011
Security Goals Assurance Based on Software Active Monitoring
Changzhi Zhao
,
Wei Dong
,
Martin Leucker
,
Zhichang Qi
Conference:
International Conference on Secure System Integration and Reliability Improvement - SSIRI
, 2011
The Theory and Practice of SALT
Andreas Bauer
,
Martin Leucker
Published in 2011.
Comparing LTL Semantics for Runtime Verification
(
Citations: 10
)
Andreas Bauer
,
Martin Leucker
,
Christian Schallhart
Journal:
Journal of Logic and Computation - LOGCOM
, vol. 20, no. 3, pp. 651-674, 2010
libalf: The Automata Learning Framework
(
Citations: 5
)
Benedikt Bollig
,
Joost-Pieter Katoen
,
Carsten Kern
,
Martin Leucker
,
Daniel Neider
,
David R. Piegdon
Conference:
Computer Aided Verification - CAV
, pp. 360-364, 2010
Order by:
Citations
(594 times by 421 publications)
Quantitative Multi-objective Verification for Probabilistic Systems
(
Citations: 5
)
Vojtech Forejt
,
Marta Z. Kwiatkowska
,
Gethin Norman
,
David Parker
,
Hongyang Qu
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 112-127, 2011
Abstract Probabilistic Automata
(
Citations: 3
)
Benoît Delahaye
,
Joost-Pieter Katoen
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Falak Sher
,
Andrzej Wasowski
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 324-339, 2011
Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives
(
Citations: 2
)
Christian von Essen
,
Barbara Jobstmann
Journal:
Electronic Proceedings in Theoretical Computer Science
, pp. 17-32, 2011
Safety-assured development of the GPCA infusion pump software
(
Citations: 1
)
BaekGyu Kim
,
Anaheed Ayoub
,
Oleg Sokolsky
,
Insup Lee
,
Paul Jones
,
Yi Zhang
,
Raoul Jetley
Published in 2011.
Towards Supervisory Control of Interactive Markov Chains: Controllability
(
Citations: 1
)
J. Markovski
,
Den Dolech
Conference:
Int. Conf. on Application of Concurrency to System Design - ACSD
, pp. 108-117, 2011
Comments