Leucker, Martin.
Overview
| Works: | 1 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Runtime verification18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings /
by:
(1998 :); Colombo, Christian.; Leucker, Martin.; SpringerLink (Online service)
(Electronic resources)
Formal methods in outer spaceessays dedicated to Klaus Havelund on the occasion of his 65th birthday /
by:
(1998 :); Bartocci, Ezio.; Falcone, Ylies.; Havelund, Klaus, (1955-); Leucker, Martin.; SpringerLink (Online service)
(Electronic resources)
Formal methods25th international symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings /
by:
(1998 :); Chechik, Marsha.; Katoen, Joost-Pieter.; Leucker, Martin.; SpringerLink (Online service)
(Electronic resources)
Theoretical aspects of computing - ICTAC 20096th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /
by:
(1998 :); Leucker, Martin.; Morgan, Carroll.; SpringerLink (Online service)
(Electronic resources)
Theoretical aspects of computing - ICTAC 201512th International Colloquium Cali, Colombia, October 29-31, 2015 : proceedings /
by:
(1998 :); Leucker, Martin.; Rueda, Camilo.; SpringerLink (Online service); Valencia, Frank D.
(Electronic resources)
Runtime verification8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers /
by:
(1998 :); Leucker, Martin.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Theory of Computation.
Software engineering
Computer logic.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Programming Language.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Computer software
Control Structures and Microprogramming.
Formal methods (Computer science)
Computer programming
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Computer Engineering and Networks.
Computer science
Performance and Reliability.
The Computing Profession.
Artificial Intelligence.
Computer Science.
System Performance and Evaluation.
Computer science.
Symbolic and Algebraic Manipulation.