FORSYTE - Formal Methods in Systems Engineering

TU Darmstadt Computer Science —

Formal Methods in Systems Engineering

	Michael Haupt
	Helmut Veith

	Veronika Weber

	Andreas Holzer
	Visar Januzaj
	Aleksandr Karbyshev
	Mohammad Khaleghi
	Johannes Kinder
	Stefan Kugele
	Marko Samer
	Christian Schallhart
	Michael Tautschnig
	Florian Zuleger

	Boris Langer

	Stefan Wilke

	Juha Ojansivu
	Andreas Weis

	Nikola Dyundev
	Azizjon Khalmukhamedov
	Artjom Kochtchi
	Vanessa Struve

Formal Methods for Embedded Systems
Model checking embedded software; Execution time analysis; Model based testing; Runtime verification

Model Checking and Constraint Solving
Malicious code detection; Automated abstraction; Parameterized verification; SAT and constraint solving

Automata, Logic, and Complexity
Mathematical methods for discrete systems; Classification and algorithms for hard problems; Temporal logic and foundations of verification;

News

Recent Publications

2008-10-29

Diplomarbeit/diploma thesis: Design of a Repository for Embedded Real Time Applications

more news...

2010-04-20

Proving Memory Safety of Floating-Point Computations by Combining Static and Dynamic Program Analysis to appear in International Symposium on Software Testing and Analysis (ISSTA'10)

2010-02-01

Runtime Verification for LTL and TLTL to appear in ACM Transactions on Software and Methodology (TOSEM)

2010-02-01

Comparing LTL Semantics for Runtime Verification to appear in Journal of Logic and Computation (JLC)

2010-02-01

Semantic Integrity in Large-Scale Online Simulations to appear in ACM Transactions on Internet Technology (TOIT)

to top