BibTeX records: Nils Müllner

download as .bib file

@inproceedings{DBLP:conf/icst/MullnerKRAS17,
  author    = {Nils M{\"{u}}llner and
               Saifullah Khan and
               Md Habibur Rahman and
               Wasif Afzal and
               Mehrdad Saadatmand},
  title     = {Simulation-Based Safety Testing Brake-by-Wire},
  booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
               and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March
               13-17, 2017},
  pages     = {61--64},
  year      = {2017},
  crossref  = {DBLP:conf/icst/2017w},
  url       = {https://doi.org/10.1109/ICSTW.2017.17},
  doi       = {10.1109/ICSTW.2017.17},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/MullnerKRAS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vnc/KhanAMF16,
  author    = {Saifullah Khan and
               Muhammad Alam and
               Nils M{\"{u}}llner and
               Martin Fr{\"{a}}nzle},
  title     = {Poster: {A} hybrid {MAC} scheme for emergency systems in urban VANETs
               environment},
  booktitle = {2016 {IEEE} Vehicular Networking Conference, {VNC} 2016, Columbus,
               OH, USA, December 8-10, 2016},
  pages     = {1--2},
  year      = {2016},
  crossref  = {DBLP:conf/vnc/2016},
  url       = {https://doi.org/10.1109/VNC.2016.7835954},
  doi       = {10.1109/VNC.2016.7835954},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vnc/KhanAMF16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/MullnerFF15,
  author    = {Nils M{\"{u}}llner and
               Martin Fr{\"{a}}nzle and
               Sibylle B. Fr{\"{o}}schle},
  title     = {Estimating the probability of a timely traffic-hazard warning via
               simulation},
  booktitle = {Proceedings of the 48th Annual Simulation Symposium, {ANSS} 2015,
               part of the 2015 Spring Simulation Multiconference, SpringSim '15,
               Alexandria, VA, USA, April 12-15, 2015},
  pages     = {130--137},
  year      = {2015},
  crossref  = {DBLP:conf/springsim/2015-2},
  url       = {http://dl.acm.org/citation.cfm?id=2876359},
  timestamp = {Thu, 07 Apr 2016 15:18:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/springsim/MullnerFF15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vnc/KhanAMF15,
  author    = {Saifullah Khan and
               Muhammad Alam and
               Nils M{\"{u}}llner and
               Martin Fr{\"{a}}nzle},
  title     = {Cooperation and network coding based {MAC} protocol for VANETs},
  booktitle = {2015 {IEEE} Vehicular Networking Conference, {VNC} 2015, Kyoto, Japan,
               December 16-18, 2015},
  pages     = {64--67},
  year      = {2015},
  crossref  = {DBLP:conf/vnc/2015},
  url       = {https://doi.org/10.1109/VNC.2015.7385548},
  doi       = {10.1109/VNC.2015.7385548},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vnc/KhanAMF15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/MullnerTF14a,
  author    = {Nils M{\"{u}}llner and
               Oliver E. Theel and
               Martin Fr{\"{a}}nzle},
  title     = {Composing Thermostatically Controlled Loads to Determine the Reliability
               against Blackouts},
  booktitle = {28th International Conference on Advanced Information Networking and
               Applications Workshops, {AINA} 2014 Workshops, Victoria, BC, Canada,
               May 13-16, 2014},
  pages     = {334--341},
  year      = {2014},
  crossref  = {DBLP:conf/aina/2014w},
  url       = {https://doi.org/10.1109/WAINA.2014.59},
  doi       = {10.1109/WAINA.2014.59},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aina/MullnerTF14a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/MullnerTF14,
  author    = {Nils M{\"{u}}llner and
               Oliver E. Theel and
               Martin Fr{\"{a}}nzle},
  title     = {Combining Decomposition and Lumping to Evaluate Semi-hierarchical
               Systems},
  booktitle = {28th {IEEE} International Conference on Advanced Information Networking
               and Applications, {AINA} 2014, Victoria, BC, Canada, May 13-16, 2014},
  pages     = {1049--1056},
  year      = {2014},
  crossref  = {DBLP:conf/aina/2014},
  url       = {https://doi.org/10.1109/AINA.2014.127},
  doi       = {10.1109/AINA.2014.127},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aina/MullnerTF14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Mullner13,
  author    = {Nils M{\"{u}}llner},
  title     = {Unmasking fault tolerance: quantifying deterministic recovery dynamics
               in probabilistic environments},
  school    = {University of Oldenburg, Germany},
  year      = {2013},
  url       = {http://oops.uni-oldenburg.de/1851},
  urn       = {urn:nbn:de:gbv:715-oops-19320},
  isbn      = {978-3-8142-2319-3},
  timestamp = {Wed, 09 Nov 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/phd/dnb/Mullner13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/MullnerTF13,
  author    = {Nils M{\"{u}}llner and
               Oliver E. Theel and
               Martin Fr{\"{a}}nzle},
  title     = {Combining decomposition and reduction for state space analysis of
               a self-stabilizing system},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {79},
  number    = {7},
  pages     = {1113--1125},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.jcss.2013.01.022},
  doi       = {10.1016/j.jcss.2013.01.022},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcss/MullnerTF13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/MullnerTF12,
  author    = {Nils M{\"{u}}llner and
               Oliver E. Theel and
               Martin Fr{\"{a}}nzle},
  title     = {Combining Decomposition and Reduction for State Space Analysis of
               a Self-Stabilizing System},
  booktitle = {{IEEE} 26th International Conference on Advanced Information Networking
               and Applications, AINA, 2012 , Fukuoka, Japan, March 26-29, 2012},
  pages     = {936--943},
  year      = {2012},
  crossref  = {DBLP:conf/aina/2012},
  url       = {https://doi.org/10.1109/AINA.2012.127},
  doi       = {10.1109/AINA.2012.127},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aina/MullnerTF12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/MullnerT11,
  author    = {Nils M{\"{u}}llner and
               Oliver E. Theel},
  title     = {The Degree of Masking Fault Tolerance vs. Temporal Redundancy},
  booktitle = {25th {IEEE} International Conference on Advanced Information Networking
               and Applications Workshops, {WAINA} 2011, Biopolis, Singapore, March
               22-25, 2011},
  pages     = {21--28},
  year      = {2011},
  crossref  = {DBLP:conf/aina/2011w},
  url       = {https://doi.org/10.1109/WAINA.2011.137},
  doi       = {10.1109/WAINA.2011.137},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aina/MullnerT11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Mullner10,
  author    = {Nils M{\"{u}}llner},
  title     = {Unmasking Fault Tolerance: Masking vs. Non-masking Fault-tolerant
               Systems},
  booktitle = {Proceedings of the Joint Workshop of the German Research Training
               Groups in Computer Science, Algorithmic synthesis of reactive and
               discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010},
  pages     = {54},
  year      = {2010},
  crossref  = {DBLP:conf/dagstuhl/2010algosyn},
  url       = {http://www.algosyn.rwth-aachen.de/GK%20Workshop/Dagstuhl2010.pdf},
  timestamp = {Tue, 15 Mar 2011 19:32:08 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/Mullner10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/MullnerDT08,
  author    = {Nils M{\"{u}}llner and
               Abhishek Dhama and
               Oliver E. Theel},
  title     = {Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms
               by Simulation},
  booktitle = {Proceedings 41st Annual Simulation Symposium {(ANSS-41} 2008), April
               14-16, 2008, Ottawa, Canada},
  pages     = {183--192},
  year      = {2008},
  crossref  = {DBLP:conf/anss/2008},
  url       = {https://doi.org/10.1109/ANSS-41.2008.26},
  doi       = {10.1109/ANSS-41.2008.26},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/anss/MullnerDT08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2017w,
  title     = {2017 {IEEE} International Conference on Software Testing, Verification
               and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March
               13-17, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7898633},
  isbn      = {978-1-5090-6676-6},
  timestamp = {Tue, 25 Apr 2017 12:34:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/2017w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vnc/2016,
  title     = {2016 {IEEE} Vehicular Networking Conference, {VNC} 2016, Columbus,
               OH, USA, December 8-10, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7822829},
  isbn      = {978-1-5090-5197-7},
  timestamp = {Thu, 02 Feb 2017 13:22:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vnc/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/springsim/2015-2,
  editor    = {Saikou Y. Diallo and
               Andreas Tolk},
  title     = {Proceedings of the 48th Annual Simulation Symposium, {ANSS} 2015,
               part of the 2015 Spring Simulation Multiconference, SpringSim '15,
               Alexandria, VA, USA, April 12-15, 2015},
  publisher = {{SCS/ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2876341},
  isbn      = {978-1-5108-0099-1},
  timestamp = {Thu, 07 Apr 2016 15:18:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/springsim/2015-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vnc/2015,
  title     = {2015 {IEEE} Vehicular Networking Conference, {VNC} 2015, Kyoto, Japan,
               December 16-18, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7377407},
  isbn      = {978-1-4673-9411-6},
  timestamp = {Mon, 25 Jan 2016 12:37:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vnc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aina/2014w,
  editor    = {Leonard Barolli and
               Kin Fun Li and
               Tomoya Enokido and
               Fatos Xhafa and
               Makoto Takizawa},
  title     = {28th International Conference on Advanced Information Networking and
               Applications Workshops, {AINA} 2014 Workshops, Victoria, BC, Canada,
               May 13-16, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6843234},
  timestamp = {Mon, 04 May 2015 17:00:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aina/2014w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aina/2014,
  editor    = {Leonard Barolli and
               Kin Fun Li and
               Tomoya Enokido and
               Fatos Xhafa and
               Makoto Takizawa},
  title     = {28th {IEEE} International Conference on Advanced Information Networking
               and Applications, {AINA} 2014, Victoria, BC, Canada, May 13-16, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6835111},
  timestamp = {Mon, 15 Sep 2014 17:23:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aina/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aina/2012,
  editor    = {Leonard Barolli and
               Tomoya Enokido and
               Fatos Xhafa and
               Makoto Takizawa},
  title     = {{IEEE} 26th International Conference on Advanced Information Networking
               and Applications, AINA, 2012 , Fukuoka, Japan, March 26-29, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6184368},
  isbn      = {978-1-4673-0714-7},
  timestamp = {Mon, 15 Sep 2014 17:23:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aina/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aina/2011w,
  title     = {25th {IEEE} International Conference on Advanced Information Networking
               and Applications Workshops, {WAINA} 2011, Biopolis, Singapore, March
               22-25, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5762827},
  isbn      = {978-0-7695-4338-3},
  timestamp = {Mon, 15 Sep 2014 17:23:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aina/2011w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2010algosyn,
  editor    = {Kai Bollue and
               Dominique G{\"{u}}ckel and
               Ulrich Loup and
               Jacob Sp{\"{o}}nemann and
               Melanie Winkler},
  title     = {Proceedings of the Joint Workshop of the German Research Training
               Groups in Computer Science, Algorithmic synthesis of reactive and
               discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010},
  publisher = {Verlagshaus Mainz, Aachen, Germany},
  year      = {2010},
  url       = {http://www.algosyn.rwth-aachen.de/GK%20Workshop/Dagstuhl2010.pdf},
  isbn      = {3-86130-146-6},
  timestamp = {Tue, 15 Mar 2011 19:32:08 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2010algosyn},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/anss/2008,
  title     = {Proceedings 41st Annual Simulation Symposium {(ANSS-41} 2008), April
               14-16, 2008, Ottawa, Canada},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4494389},
  isbn      = {0-7695-3143-1},
  timestamp = {Fri, 14 Nov 2014 14:49:50 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/anss/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier