Klaus Draeger : Publications

Click here to download all publications in a single bibtex file

@techreport{RR-14-05,
  title = "Permissive Controller Synthesis for Probabilistic Systems",
  author = "Klaus Dräger and Vojtĕch Forejt and Marta Kwiatkowska and David Parker and Mateusz Ujma",
  year = "2014",
  institution = "DCS",
  number = "RR-14-01",
  pages = "29",
}

@inproceedings{CDK12,
  title = "Model Checking Stochastic Branching Processes",
  author = "T. Chen and K. Dr\"{a}ger and S. Kiefer",
  year = "2012",
  booktitle = "Proceedings 37th International Symposium on Mathematical Foundations of Computer Science (MFCS)",
  publisher = "Springer",
  series = "LNCS",
  volume = "7464",
}

@inproceedings{DK12,
  title = "Towards Communication-Based Steering of Complex Distributed Systems",
  author = "K. Draeger and M. Kwiatkowska",
  year = "2012",
  booktitle = "Development, Operation and Management of Large-Scale Complex IT Systems",
  editor = "R. Calinescu and D. Garlan",
  note = "to appear",
  publisher = "Springer",
  series = "LNCS",
  volume = "7539",
}

@inproceedings{DKFW10,
  title = "SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems",
  author = "Klaus Dr{\"a}ger and Andrey Kupriyanov and Bernd Finkbeiner and Heike Wehrheim",
  year = "2010",
  booktitle = "Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
  editor = "Javier Esparza and Rupak Majumdar",
  pages = "271-274",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "6015",
}

@article{DFP09,
  title = "Directed model checking with distance-preserving abstractions",
  author = "Dräger, Klaus and Finkbeiner, Bernd and Podelski, Andreas",
  year = "2009",
  issn = "1433-2779",
  journal = "International Journal on Software Tools for Technology Transfer",
  pages = "27-37",
  publisher = "Springer-Verlag",
  url = "http://dx.doi.org/10.1007/s10009-008-0092-z",
  volume = "11",
  doi = "10.1007/s10009-008-0092-z",
}

@techreport{ATR42,
  title = "Subsequence Invariants",
  author = "Klaus Dr{\"a}ger and Bernd Finkbeiner",
  year = "2008",
  institution = "SFB/TR 14 AVACS",
  month = "June",
  note = "ISSN: 1860-9821, http://www.avacs.org.",
  number = "42",
  series = "ATR",
}

@article{BDFW08,
  title = "Slicing Abstractions",
  author = "Ingo Br{\"u}ckner and Klaus Dr{\"a}ger and Bernd Finkbeiner and Heike Wehrheim",
  year = "2008",
  issn = "0169-2968 (Print) 1875-8681 (Online)",
  journal = "Fundamenta Informaticae",
  number = "4",
  pages = "369-392",
  publisher = "IOS Press",
  volume = "89",
}

@inproceedings{DF08,
  title = "Subsequence Invariants",
  author = "Klaus Dr{\"a}ger and Bernd Finkbeiner",
  year = "2008",
  address = "Berlin Heidelberg",
  booktitle = "Proceedings of the 19th International Conference on Concurrency Theory",
  editor = "Franck van Breugel and Marsha Chechik",
  pages = "172-168",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "5201",
}

@inproceedings{KDH+07,
  title = "{Uppaal/DMC} -- Abstraction-based Heuristics for Directed Model Checking",
  author = "Sebastian Kupferschmid and Klaus Dr{\"a}ger and J{\"o}rg Hoffmann and Bernd Finkbeiner and Henning Dierks and Andreas Podelski and Gerd Behrmann",
  year = "2007",
  address = "Berlin Heidelberg",
  booktitle = "Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
  editor = "Orna Grumberg and Michael Huth",
  pages = "679--682",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "4424",
}

@inproceedings{BDFW07,
  title = "Slicing Abstractions",
  author = "Ingo Br{\"u}ckner and Klaus Dr{\"a}ger and Bernd Finkbeiner and Heike Wehrheim",
  year = "2007",
  booktitle = "Proceedings of the International Symposium on Fundamentals of Software Engineering (FSEN)",
  editor = "Farhad Arbab and Marjan Sirjani",
  pages = "17-32",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4767",
}

@inproceedings{DFP06,
  title = "Directed Model Checking with Distance-Preserving Abstractions",
  author = "Klaus Dr{\"a}ger and Bernd Finkbeiner and Andreas Podelski",
  year = "2006",
  address = "Berlin Heidelberg",
  booktitle = "Proceedings of the 13th International SPIN Workshop on Model Checking Software",
  editor = "Antti Valmari",
  pages = "19-36",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "3925",
}