BibTeX records: Michael Geisinger

• > Home > Persons > Michael Geisinger

@phdthesis{DBLP:phd/dnb/Geisinger15,
  author       = {Michael Geisinger},
  title        = {Game-based Synthesis for Distributed Control of Industrial Assembly
                  Lines},
  school       = {Technical University Munich},
  year         = {2015},
  url          = {https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20150723-1237829-1-5},
  urn          = {urn:nbn:de:bvb:91-diss-20150723-1237829-1-5},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Geisinger15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigbed/BucklGGRK14,
  author       = {Christian Buckl and
                  Michael Geisinger and
                  Dhiraj Gulati and
                  Fran J. Ruiz{-}Bertol and
                  Alois C. Knoll},
  title        = {{CHROMOSOME:} a run-time environment for plug {\&} play-capable
                  embedded real-time systems},
  journal      = {{SIGBED} Rev.},
  volume       = {11},
  number       = {3},
  pages        = {36--39},
  year         = {2014},
  url          = {https://doi.org/10.1145/2692385.2692391},
  doi          = {10.1145/2692385.2692391},
  timestamp    = {Fri, 24 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigbed/BucklGGRK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigbed/SommerGBBK13,
  author       = {Stephan Sommer and
                  Michael Geisinger and
                  Christian Buckl and
                  Gerd Bauer and
                  Alois C. Knoll},
  title        = {Reconfigurable industrial process monitoring using the {CHROMOSOME}
                  middleware},
  journal      = {{SIGBED} Rev.},
  volume       = {10},
  number       = {4},
  pages        = {61--64},
  year         = {2013},
  url          = {https://doi.org/10.1145/2583687.2583702},
  doi          = {10.1145/2583687.2583702},
  timestamp    = {Fri, 24 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigbed/SommerGBBK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/ChengGB13,
  author       = {Chih{-}Hong Cheng and
                  Michael Geisinger and
                  Christian Buckl},
  editor       = {Ezio Bartocci and
                  C. R. Ramakrishnan},
  title        = {Synthesizing Controllers for Automation Tasks with Performance Guarantees},
  booktitle    = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
                  Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7976},
  pages        = {154--159},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39176-7\_10},
  doi          = {10.1007/978-3-642-39176-7\_10},
  timestamp    = {Mon, 03 Apr 2023 17:23:33 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/ChengGB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ChengGRBK12,
  author       = {Chih{-}Hong Cheng and
                  Michael Geisinger and
                  Harald Ruess and
                  Christian Buckl and
                  Alois C. Knoll},
  editor       = {P. Madhusudan and
                  Sanjit A. Seshia},
  title        = {MGSyn: Automatic Synthesis for Industrial Automation},
  booktitle    = {Computer Aided Verification - 24th International Conference, {CAV}
                  2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7358},
  pages        = {658--664},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31424-7\_46},
  doi          = {10.1007/978-3-642-31424-7\_46},
  timestamp    = {Fri, 24 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ChengGRBK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccps/HuangCKGB12,
  author       = {Kai Huang and
                  Gang Chen and
                  Nadine Keddis and
                  Michael Geisinger and
                  Christian Buckl},
  title        = {Demo Abstract: An Inverted Pendulum Demonstrator for Timed Model-Based
                  Design of Embedded Systems},
  booktitle    = {2012 {IEEE/ACM} Third International Conference on Cyber-Physical Systems,
                  {ICCPS} 2012, Beijing, China, April 17-19, 2012},
  pages        = {224},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICCPS.2012.45},
  doi          = {10.1109/ICCPS.2012.45},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/HuangCKGB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/ChengGRBK12,
  author       = {Chih{-}Hong Cheng and
                  Michael Geisinger and
                  Harald Ruess and
                  Christian Buckl and
                  Alois C. Knoll},
  title        = {Game solving for industrial automation and control},
  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}
                  2012, 14-18 May, 2012, St. Paul, Minnesota, {USA}},
  pages        = {4367--4372},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICRA.2012.6224814},
  doi          = {10.1109/ICRA.2012.6224814},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/ChengGRBK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/BucklGGKL10,
  author       = {Christian Buckl and
                  Irina Gaponova and
                  Michael Geisinger and
                  Alois C. Knoll and
                  Edward A. Lee},
  editor       = {Luca P. Carloni and
                  Stavros Tripakis},
  title        = {Model-based specification of timing requirements},
  booktitle    = {Proceedings of the 10th International conference on Embedded software,
                  {EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
  pages        = {239--248},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1879021.1879053},
  doi          = {10.1145/1879021.1879053},
  timestamp    = {Fri, 24 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/BucklGGKL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}