@inproceedings{DDR04HSCC,
author = "{De Wulf}, M. and Doyen, L. and Raskin, J.-F.",
title = "Almost {ASAP} Semantics: From Timed Models to Timed
Implementations",
booktitle = "Proceedings of HSCC 04: Hybrid Systems---Computation and Control",
series = "LNCS",
volume = 2993,
publisher = "Springer-Verlag",
year = 2004,
pages = "296--310",
}
@inproceedings{DDMR04FORMATS,
author = "{De Wulf}, M. and Doyen, L. and Markey, N. and
Raskin, J.-F.",
title = "Robustness and Implementability of Timed Automata",
booktitle = "Proceedings of FORMATS-FTRTFT 2004",
series = "LNCS",
volume = 3253,
pages = "118--133",
publisher = "Springer-Verlag",
year = 2004
}
@inproceedings{DDR05FM,
author = "{De Wulf}, M. and Doyen, L. and Raskin, J.-F.",
title = "Systematic Implementation of Real-Time Models",
booktitle = "Proceedings of Formal Methods 2005 (FM'2005)",
series = "LNCS",
volume = 3582,
pages = "139-156",
publisher = "Springer-Verlag",
year = 2005
}
@Article{DDR05FAC,
author = "{De Wulf}, M. and Doyen, L. and Raskin, J.-F.",
title = "Almost {ASAP} Semantics: From Timed Models to Timed
Implementations",
journal = {Formal Aspects of Computing},
publisher = "Springer-Verlag",
year = 2005,
volume = 17,
number = 3,
pages = "319--341",
}
@inproceedings{DDR06HSCC,
author = "{De Wulf}, M. and Doyen, L. and Raskin, J.-F.",
title = "A Lattice Theory for Solving Games of Imperfect Information",
booktitle = "Proceedings of HSCC 2006: Hybrid Systems---Computation and Control",
series = "LNCS",
volume = "3927",
publisher = "Springer-Verlag",
year = "2006",
pages = "153-168",
isbn = "3-540-33170-0"
}
@incollection{DDHR06,
author = "{De Wulf}, M. and Doyen, L. and Henzinger, T. A. and Raskin, J.-F.",
title = "Antichains: A New Algorithm for Checking Universality of Finite Automata",
booktitle = "Proceedings of CAV 2006: Computer-Aided Verification",
series = "LNCS",
volume = "4144",
publisher = "Springer-Verlag",
year = "2006",
pages = "17-30",
isbn = "3-540-37406-0"
}