 | 2009 |
|---|
| 6 |       | Kerstin Bauer,
Raffaella Gentilini,
Klaus Schneider:
Property Driven Three-Valued Model Checking on Hybrid Automata.
WoLLIC 2009: 218-229 |
| 2008 |
|---|
| 5 | | Kerstin Bauer,
Thomas Fischer,
Sven Oliver Krumke,
Katharina Gerhardt,
Stephan Westphal,
Peter Merz:
Improved Construction Heuristics and Iterated Local Search for the Routing and Wavelength Assignment Problem.
EvoCOP 2008: 158-169 |
| 4 | | Kerstin Bauer,
Raffaella Gentilini,
Klaus Schneider:
A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata.
Haifa Verification Conference 2008: 38-52 |
| 3 | | Thomas Fischer,
Kerstin Bauer,
Peter Merz:
A Distributed Memetic Algorithm for the Routing and Wavelength Assignment Problem.
PPSN 2008: 879-888 |
| 2 | | Thomas Fischer,
Kerstin Bauer,
Peter Merz:
A Multilevel Approach for the Routing and Wavelength Assignment Problem.
SAINT 2008: 225-228 |
| 1 | | Kerstin Bauer,
Raffaella Gentilini,
Klaus Schneider:
Approximated Reachability on Hybrid Automata: Falsification meets Certification.
Electr. Notes Theor. Comput. Sci. 223: 47-60 (2008) |
