BibTeX archive

@InProceedings{LBB01:cav,
  author =	 {Kim G. Larsen and Gerd Behrmann and Ed Brinksma and
                  Ansgar Fehnker and Thomas S. Hune and Paul Petterson
                  and Judi Romijn},
  title =	 {{As Cheap as Possible: Efficient Cost-Optimal
                  Reachability for Priced Timed Automata}},
  booktitle =	 {13th Conference on Computer Aided Verification
                  (CAV'01)},
  year =	 2001
}

@InProceedings{BFH01:tacas,
  author =	 {Gerd Behrmann and Ansgar Fehnker and Thomas S. Hune
                  and Kim G. Larsen and Paul Petterson and Judi
                  Romijn},
  title =	 {{Efficient Guiding Towards Cost-Optimality in {\sc
                  Uppaal}}},
  booktitle =	 {7th International Conference on Tools and Algorithms
                  for the Construction and Analysis of Systems
                  (TACAS'2001)},
  year =	 2001
}

@InProceedings{BFH01:hscc,
  author =	 {Gerd Behrmann and Ansgar Fehnker and Thomas S. Hune
                  and Kim G. Larsen and Paul Petterson and Judi Romijn
                  and Frits Vaandrager},
  title =	 {{ Minimum-Cost Reachability for Linearly Priced
                  Timed Automata}},
  booktitle =	 {4th International Workshop on Hybrid Systems:
                  Computation and Control (HSCC'2001)},
  year =	 2001
}

@InProceedings{BFH01:aaai,
  author =	 {Gerd Behrmann and Ansgar Fehnker and Thomas S. Hune
                  and Kim G. Larsen and Paul Petterson and Judi
                  Romijn},
  title =	 {{Guiding and Cost-Optimality in {\sc Uppaal}}},
  booktitle =	 {The 2001 AAAI Spring Symposium Series: Model-Based
                  Validation of Intelligence },
  year =	 2001,
  organization = {AAAI}
}

@InProceedings{ABB00,
  author =	 {Tobias Amnell and Gerd Behrmann and Johan Bengtsson
                  and Pedro R. D'Argenio and Alexandre David and
                  Ansgar Fehnker and Thomas Hune and Bertrand Jeannet
                  and Kim G. Larsen and M. Oliver Möller and Paul
                  Pettersson and Carsten Weise and Wang Yi},
  title =	 {{UPPAAL - Now, Next, and Future}},
  booktitle =	 { Modelling and Verification of Parallel Processes
                  (MOVEP'2k},
  pages =	 {100-125},
  year =	 2001,
  editor =	 {F. Cassez and C. Jard and B. Rozoy and M. Ryan},
  number =	 2067,
  series =	 {LNCS Tutorial}
}

@InProceedings{Feh99b,
  author =	 {Ansgar Fehnker},
  title =	 {{Scheduling a Steel Plant with Timed Automata}},
  booktitle =	 {{Sixth International Conference on Real-Time
                  Computing Systems and Applications (RTCSA'99)}},
  year =	 1999,
  publisher =	 {IEEE Computer Society Press}
}

@InProceedings{DFMV98b,
  author =	 "Henning Dierks and Ansgar Fehnker and Angelika Mader
                  and Frits Vaandrager",
  title =	 {{Operational and Logical Semantics for Polling
                  Real-Time Systems}},
  booktitle =	 {Proceedings FTRTFT'98},
  pages =	 {29-40},
  year =	 1998,
  editor =	 {A.P. Ravn and H. Rische},
  series =	 {LNCS 1486},
  publisher =	 {Springer}
}

@InProceedings{Feh98,
  author =	 "Ansgar Fehnker",
  title =	 {{Automotive Control Revisited -- Linear Inequalities
                  as Approximation of Reachable Sets}},
  booktitle =	 {Hybrid Systems: Computation and Control},
  editor =	 {T.A.~Henzinger and S.~Sastry},
  series =	 {LNCS 1386},
  year =	 1998,
  publisher =	 {Springer},
  month =	 {April},
  pages =	 {110-126}
}

@Misc{Feh00b,
  author =	 {Ansgar Fehnker},
  title =	 {{Heuristic Reachability Analysis of Hybrid Systems}},
  howpublished = {Draft},
  month =	 {November},
  year =	 2000
}

@TechReport{Feh00a,
  author =	 {Ansgar Fehnker},
  title =	 {{Bounding and Heuristics in forward reachability
                  algorithms}},
  institution =	 {Computing Science Institute Nijmegen},
  year =	 1999,
  number =	 {CSI-R0002},
}

@TechReport{Feh99a,
  author =	 {Ansgar Fehnker},
  title =	 {{Scheduling a Steel Plant with Timed Automata}},
  institution =	 {Computing Science Institute Nijmegen},
  year =	 1999,
  number =	 {CSI-R9910},
}

@TechReport{DFMV98a,
  author =	 "Henning Dierks and Ansgar Fehnker and Angelika Mader
                  and Frits Vaandrager",
  title =	 {{Operational and Logical Semantics for Polling
                  Real-Time Systems}},
  institution =	 {University of Nijmegen},
  month =	 {april},
  year =	 1998,
  number =	 {CSI-R9813}
}

@TechReport{Feh97,
  author =	 {Ansgar Fehnker},
  title =	 {{Automotive Control Revisited Linear Inequalities as
                  Approximation of Reachable Sets}},
  institution =	 {Computing Science Institute Nijmegen},
  year =	 1997,
  number =	 {CSI-R9723},
}

@MastersThesis{Feh96,
  author =	 {Ansgar Fehnker},
  title =	 {Two Identification Methods for an Active Sludge
                  Model},
  school =	 {Rijksuniversiteit Groningen},
  year =	 1996
}