@incollection{baier+funke++2020_reachabili,

title = {Reachability in dynamical systems with rounding},

author = {Christel Baier and Florian Funke and Simon Jantsch and Toghrul Karimov and Engel Lefaucheux and Joël Ouaknine and Amaury Pouly and David Purser and Markus A. Whiteland},

doi = {10.4230/LIPIcs.FSTTCS.2020.36},

year  = {2020},

date = {2020-12-18},

urldate = {2020-12-18},

booktitle = {Proceedings of the IARCS Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTC)},

volume = {182},

pages = {36:1–17},

publisher = {Schloss Dagstuhl -- Leibniz-Zentrum für Informatik},

series = {Leibniz International Proceedings in Informatics},

keywords = {},

pubstate = {published},

tppubtype = {incollection}

}

@incollection{baier+dubslaff++2020_components,

title = {Components in probabilistic systems: Suitable by construction},

author = {Christel Baier and Clemens Dubslaff and Holger Hermanns and Michaela Klauck and Sascha Klüppelholz and Maximilian A. Köhl},

editor = {Tiziana Margaria and Bernhard Steffen},

doi = {10.1007/978-3-030-61362-4_13},

year  = {2020},

date = {2020-10-30},

urldate = {2020-10-30},

booktitle = {Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)},

volume = {12476},

pages = {240–261},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {incollection}

}

@incollection{jantsch+funke++2020_minimal,

title = {Minimal witnesses for probabilistic timed automata},

author = {Simon Jantsch and Florian Funke and Christel Baier},

editor = {Dang Van Hung and Oleg Sokolsky},

doi = {10.1007/978-3-030-59152-6_28},

year  = {2020},

date = {2020-10-23},

urldate = {2020-10-23},

booktitle = {Proceedings of the International Symposium on Automated Technology for Verification and Analysis (ATVA)},

volume = {12302},

pages = {501–517},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {incollection}

}

@incollection{rivoir+bodenstedt++2020_rethinking,

title = {Rethinking anticipation tasks: Uncertainty-aware anticipation of sparse surgical instrument usage for context-aware assistance},

author = {Dominik Rivoir and Sebastian Bodenstedt and Isabel Funke and Felix von Bechtolsheim and Marius Distler and Jürgen Weitz and Stefanie Speidel},

editor = {Anne L. Martel and Purang Abolmaesumi and Danail Stoyanov and Diana Mateus and Maria A. Zuluaga and Kevin S. Zhou and Daniel Racoceanu and Leo Joskowicz},

doi = {10.1007/978-3-030-59716-0_72},

year  = {2020},

date = {2020-10-08},

urldate = {2020-10-08},

booktitle = {Medical Image Computing and Computer Assisted Intervention – MICCAI 2020},

volume = {12263},

pages = {752–762},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {incollection}

}

@incollection{gros+gro++2020_tracevis,

title = {TraceVis: Towards visualization for deep statistical model checking},

author = {Timo P. Gros and David Groß and Stefan Gumhold and Jörg Hoffmann and Michaela Klauck and Marcel Steinmetz},

editor = {Tiziana Margaria and Bernhard Steffen},

doi = {10.1007/978-3-030-83723-5_3},

year  = {2020},

date = {2020-10-01},

urldate = {2020-10-01},

booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends},

volume = {12479},

pages = {27–46},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {incollection}

}

@incollection{escher+teufert++2020_you-ve,

title = {You’ve got nothing on me! Privacy friendly face recognition reloaded},

author = {Stephan C. Escher and Patrick Teufert and Thorsten Strufe},

editor = {Ioana Boureanu and Constantin Cătălin Drăgan and Mark Manulis and Thanassis Giannetsos and Christoforos Dadoyan and Panagiotis Gouvas and Roger A. Hallman and Shujun Li and Victor Chang and Frank Pallas and Jörg Pohle and Angela Sasse},

doi = {10.1007/978-3-030-66504-3_14},

year  = {2020},

date = {2020-09-18},

urldate = {2020-09-18},

booktitle = {Computer Security},

volume = {12580},

pages = {231–242},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {incollection}

}

@incollection{th+mr+is++_2020b,

title = {FingerTac – A wearable tactile thimble for mobile haptic augmented reality applications},

author = {Thomas Hulin and Michael Rothammer and Isabel Tannert and Suraj S. Giri and Benedikt Pleintinger and Harsimran Singh and Bernhard M. Weber and Christian Ott},

editor = {Jessie Y. C. Chen and Gino Fragomeni},

doi = {10.1007/978-3-030-49695-1_19},

year  = {2020},

date = {2020-07-24},

urldate = {2020-07-24},

booktitle = {Virtual, Augmented and Mixed Reality – Design and Interaction},

volume = {12190},

pages = {286–298},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {incollection}

}

@incollection{korzetz+khn++2020_introducin,

title = {Introducing mobile device-based interactions to users: An investigation of onboarding tutorials},

author = {Mandy Korzetz and Romina Kühn and Lukas Büschel and Franz-Wilhelm Schumann and Uwe Aßmann and Thomas Schlegel},

editor = {Masaaki Kurosu},

doi = {10.1007/978-3-030-49062-1_29},

year  = {2020},

date = {2020-07-24},

urldate = {2020-07-24},

booktitle = {Human–Computer Interaction – Multimodal and Natural Interaction},

volume = {12182},

pages = {428–442},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {incollection}

}

@incollection{khn+korzetz++2020_investigat,

title = {Investigating mobile device-based interaction techniques for collocated merging},

author = {Romina Kühn and Mandy Korzetz and Felix Kallenbach and Karl Kegel and Uwe Aßmann and Thomas Schlegel},

editor = {Panayiotis Zaphiris and Andri Ioannou},

doi = {10.1007/978-3-030-50513-4_7},

year  = {2020},

date = {2020-07-24},

urldate = {2020-07-24},

booktitle = {Learning and Collaboration Technologies – Designing, Developing and Deploying Learning Experiences},

volume = {12205},

pages = {92–108},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {incollection}

}

@incollection{funke+jantsch++2020_farkas,

title = {Farkas certificates and minimal witnesses for probabilistic reachability constraints},

author = {Florian Funke and Simon Jantsch and Christel Baier},

editor = {Armin Biere and David Parke},

doi = {10.1007/978-3-030-45190-5_18},

year  = {2020},

date = {2020-04-01},

urldate = {2020-04-01},

booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},

volume = {12078},

pages = {324–345},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {incollection}

}

@incollection{akgn+kalms++2020_resource,

title = {Resource efficient dynamic voltage and frequency scaling on Xilinx FPGAs},

author = {Gökhan Akgün and Lester Kalms and Diana Göhringer},

editor = {Fernando Rincón and Jesús Barba and Hayden K. H. So and Pedro Diniz and Julián Caba},

doi = {10.1007/978-3-030-44534-8_14},

year  = {2020},

date = {2020-04-01},

urldate = {2020-04-01},

booktitle = {Applied Reconfigurable Computing – Architectures, Tools, and Application},

volume = {12083},

pages = {178–192},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {incollection}

}

@incollection{akgn+ul-hasan-k++_2020_sysidlib,

title = {SysIDLib: A high-level synthesis FPGA library for online system identification},

author = {Gökhan Akgün and Habib ul Hasan Khan and Marawan Hebaish and Mahmoud Elshimy and Mohamed A. Abd El Ghany and Diana Göhringer},

editor = {Fernando Rincón and Jesús Barba and Hayden K. H. So and Pedro Diniz and Julián Caba},

doi = {10.1007/978-3-030-44534-8_8},

year  = {2020},

date = {2020-04-01},

urldate = {2020-04-01},

booktitle = {Applied Reconfigurable Computing – Architectures, Tools, and Application},

volume = {12083},

pages = {97–107},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {incollection}

}

@incollection{mk+rk+ua+ts_2020,

title = {A design kit for mobile device-based interaction techniques},

author = {Mandy Korzetz and Romina Kühn and Uwe Aßmann and Thomas Schlegel},

editor = {Constantine Stephanidis and Margherita Antona},

year  = {2020},

date = {2020-01-01},

urldate = {2020-01-01},

booktitle = {HCI International 2020 – Posters},

volume = {1224},

pages = {52–59},

publisher = {Springer},

series = {Communications in Computer and Information Science},

keywords = {},

pubstate = {published},

tppubtype = {incollection}

}

@incollection{rk+mk+dg+ua+ts_2020,

title = {Towards interaction design for mobile devices in collocated mixed-focus collaboration},

author = {Romina Kühn and Mandy Korzetz and Dominik Grzelak and Uwe Aßmann and Thomas Schlegel},

editor = {Constantine Stephanidis and Margherita Antona},

doi = {10.1007/978-3-030-50726-8_5},

year  = {2020},

date = {2020-01-01},

urldate = {2020-01-01},

booktitle = {HCI International 2020 – Posters},

volume = {1224},

pages = {35–43},

publisher = {Springer},

series = {Communications in Computer and Information Science},

keywords = {},

pubstate = {published},

tppubtype = {incollection}

}

@incollection{PiribauerBaier20,

title = {On Skolem-hardness and saturation points in Markov decision processes},

author = {Jakob Piribauer and Christel Baier},

editor = {Artur Czumaj and Anuj Dawar and Emanuela Merelli},

url = {https://drops.dagstuhl.de/opus/volltexte/2020/12545},

year  = {2020},

date = {2020-01-01},

urldate = {2020-01-01},

booktitle = {47th International Colloquium on Automata, Languages, and Programming},

volume = {168},

pages = {138:1–17},

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

series = {Leibniz International Proceedings in Informatics (LIPIcs)},

keywords = {},

pubstate = {published},

tppubtype = {incollection}

}

@incollection{DMBJ20a,

title = {Iterative variable reordering: Taming huge system families},

author = {Clemens Dubslaff and Andrey Morozov and Christel Baier and Klaus Janschek},

editor = {Ansgar Fehnker and Hubert Garavel},

doi = {  10.4204/EPTCS.316.5},

year  = {2020},

date = {2020-01-01},

urldate = {2020-01-01},

booktitle = {Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS)},

volume = {316},

pages = {121–133},

publisher = {Open Publishing Association},

series = {Electronic Proceedings in Theoretical Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {incollection}

}