Publications

2023

1. Schupp, Stefan, et al. “On the Applicability of Hybrid Systems Safety Verification Tools from the Automotive Perspective.” International Journal on Software Tools for Technology Transfer, 2023, p. 30, doi:10.1007/s10009-023-00707-0.
   

   @article{schuppFord2023,
     title = {On the Applicability of Hybrid Systems Safety Verification Tools from the Automotive Perspective},
     author = {Schupp, Stefan and \'Abrah\'am, Erika and Waez, Md Tawhid Bin and Rambow, Thomas and Qiu, Zeng},
     journal = {International Journal on Software Tools for Technology Transfer},
     year = {2023},
     pages = {30},
     issn = {1433-2787},
     doi = {10.1007/s10009-023-00707-0}
   }
   

2. Delicaris, Joanna, et al. “Maximizing Reachability Probabilities In Rectangular Automata with Random Clocks.” 17th International Symposium on Theoretical Aspects of Software Engineering, 2023.accepted for publication
   

   @inproceedings{delicarisRectangularRandomClocks2023,
     title = {Maximizing Reachability Probabilities in
     Rectangular Automata with Random Clocks},
     booktitle = {17th International Symposium on Theoretical Aspects of Software Engineering},
     author = {Delicaris, Joanna and Schupp, Stefan and Ábrahám, Erika and Remke, Anne},
     year = {2023},
     note = {accepted for publication}
   }
   

3. Maderbacher, Benedikt, et al. “Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties.” Model Checking Software, edited by Georgiana Caltais and Christian Schilling, Springer Nature Switzerland, 2023, pp. 141–60, doi:10.1007/978-3-031-32157-3_8.
   

   @inproceedings{maderbacherSimplexArchitectures2023,
     author = {Maderbacher, Benedikt and Schupp, Stefan and Bartocci, Ezio and Bloem, Roderick and Ni{\v{c}}kovi{\'{c}}, Dejan and K{\"o}nighofer, Bettina},
     editor = {Caltais, Georgiana and Schilling, Christian},
     title = {Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties},
     booktitle = {Model Checking Software},
     year = {2023},
     publisher = {Springer Nature Switzerland},
     address = {Cham},
     pages = {141--160},
     isbn = {978-3-031-32157-3},
     doi = {10.1007/978-3-031-32157-3_8}
   }
   

4. Hofmann, Till, and Stefan Schupp. “Controlling Timed Automata against MTL Specifications with TACoS.” Science of Computer Programming, vol. 225, 2023, p. 102898, doi:10.1016/j.scico.2022.102898.
   

   @article{HOFMANN2023102898,
     title = {Controlling timed automata against MTL specifications with TACoS},
     journal = {Science of Computer Programming},
     volume = {225},
     pages = {102898},
     year = {2023},
     issn = {0167-6423},
     doi = {10.1016/j.scico.2022.102898},
     url = {https://www.sciencedirect.com/science/article/pii/S0167642322001319},
     author = {Hofmann, Till and Schupp, Stefan},
     keywords = {Controller synthesis, Timed automata, Metric temporal logic}
   }
   

2022

1. Schupp, Stefan, et al. “Recent Developments in Theory and Tool Support for Hybrid Systems Verification with HyPro.” Information and Computation, 2022, p. 104945, doi:10.1016/j.ic.2022.104945.
   

   @article{SCHUPP2022104945,
     title = {Recent developments in theory and tool support for hybrid systems verification with HyPro},
     journal = {Information and Computation},
     pages = {104945},
     year = {2022},
     issn = {0890-5401},
     doi = {10.1016/j.ic.2022.104945},
     url = {https://www.sciencedirect.com/science/article/pii/S0890540122001006},
     author = {Schupp, Stefan and Ábrahám, Erika and Ebert, Tristan},
     keywords = {Hybrid systems, Reachability analysis, Flowpipe construction}
   }
   

2021

1. Abate, Alessandro, et al. “ARCH-COMP21 Category Report: Stochastic Models.” EPiC Series in Computing, vol. 80, EasyChair, 2021, pp. 55–89, doi:10.29007/dprv.
   

   @inproceedings{abateARCHCOMP21CategoryReport2021,
     title = {{{ARCH-COMP21 Category Report}}: {{Stochastic Models}}},
     shorttitle = {{{ARCH-COMP21 Category Report}}},
     booktitle = {{{EPiC Series}} in {{Computing}}},
     author = {Abate, Alessandro and Blom, Henk and Bouissou, Marc and Cauchi, Nathalie and Chraibi, Hassane and Delicaris, Joanna and Haesaert, Sofie and Hartmanns, Arnd and Khaled, Mahmoud and Lavaei, Abolfazl and Ma, Hao and Mallik, Kaushik and Niehage, Mathis and Remke, Anne and Schupp, Stefan and Shmarov, Fedor and Soudjani, Sadegh and Thorpe, Adam and Turcuman, Vlad and Zuliani, Paolo},
     year = {2021},
     month = dec,
     volume = {80},
     pages = {55--89},
     publisher = {{EasyChair}},
     issn = {2398-7340},
     doi = {10.29007/dprv},
     langid = {american}
   }
   

2. Althoff, Matthias, et al. “ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.” EPiC Series in Computing, vol. 80, EasyChair, 2021, pp. 1–31, doi:10.29007/lhbw.
   

   @inproceedings{althoffARCHCOMP21CategoryReport2021,
     title = {{{ARCH-COMP21 Category Report}}: {{Continuous}} and {{Hybrid Systems}} with {{Linear Continuous Dynamics}}},
     shorttitle = {{{ARCH-COMP21 Category Report}}},
     booktitle = {{{EPiC Series}} in {{Computing}}},
     author = {Althoff, Matthias and {\'A}brah{\'a}m, Erika and Forets, Marcelo and Frehse, Goran and Freire, Daniel and Schilling, Christian and Schupp, Stefan and Wetzlinger, Mark},
     year = {2021},
     month = dec,
     volume = {80},
     pages = {1--31},
     publisher = {{EasyChair}},
     issn = {2398-7340},
     doi = {10.29007/lhbw},
     langid = {american}
   }
   

3. Freiberger, Felix, et al. “Controller Verification Meets Controller Code: A Case Study.” Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Association for Computing Machinery, 2021, pp. 98–103, doi:10.1145/3487212.3487337.
   

   @inproceedings{felixfreibergerControllerVerificationMeets2021,
     author = {Freiberger, Felix and Schupp, Stefan and Hermanns, Holger and \'{A}brah\'{a}m, Erika},
     title = {Controller Verification Meets Controller Code: A Case Study},
     year = {2021},
     isbn = {9781450391276},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     url = {https://doi.org/10.1145/3487212.3487337},
     doi = {10.1145/3487212.3487337},
     booktitle = {Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design},
     pages = {98–103},
     numpages = {6},
     keywords = {hybrid automata, verification, controller},
     location = {Virtual Event, China},
     series = {MEMOCODE '21}
   }
   

4. Hofmann, Till, and Stefan Schupp. “TACoS: A Tool for MTL Controller Synthesis.” Software Engineering and Formal Methods, edited by Radu Calinescu and Corina S. Păsăreanu, vol. 13085, Springer International Publishing, 2021, pp. 372–79, doi:10.1007/978-3-030-92124-8_21.
   

   @incollection{hofmannTACoSToolMTL2021,
     title = {{{TACoS}}: {{A Tool}} for {{MTL Controller Synthesis}}},
     shorttitle = {{{TACoS}}},
     booktitle = {Software {{Engineering}} and {{Formal Methods}}},
     author = {Hofmann, Till and Schupp, Stefan},
     editor = {Calinescu, Radu and P{\u a}s{\u a}reanu, Corina S.},
     year = {2021},
     volume = {13085},
     pages = {372--379},
     publisher = {{Springer International Publishing}},
     address = {{Cham}},
     doi = {10.1007/978-3-030-92124-8_21},
     isbn = {978-3-030-92123-1 978-3-030-92124-8},
     langid = {english}
   }
   

5. Pilch, Carina, et al. “Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.” 18th International Conference on Quantitative Evaluation of SysTems (QEST 2021), Springer, 2021.
   

   @inproceedings{pilchcarinaOptimizingReachabilityProbabilities2021,
     title = {Optimizing Reachability Probabilities for a Restricted Class of {{Stochastic Hybrid Automata}} via {{Flowpipe-Construction}}},
     booktitle = {18th {{International Conference}} on {{Quantitative Evaluation}} of {{SysTems}} ({{QEST}} 2021)},
     author = {{Pilch, Carina} and {Schupp, Stefan} and {Remke, Anne}},
     year = {2021},
     series = {Lecture {{Notes}} in {{Computer Science}}},
     publisher = {{Springer}},
     address = {{Paris}}
   }
   

2020

1. Schupp, Stefan, et al. “Context-Dependent Reachability Analysis for Hybrid Systems.” Reuse in Intelligent Systems, edited by Stuart Rubin and Lydia Bouzar-Benlabiod, CRC Press, 2020, pp. 160–80.
   

   @incollection{schuppContextDependentReachabilityAnalysis2020,
     title = {Context-{{Dependent Reachability Analysis}} for {{Hybrid Systems}}},
     booktitle = {Reuse in {{Intelligent Systems}}},
     author = {Schupp, Stefan and Winkens, Justin and {\'A}brah{\'a}m, Erika},
     editor = {Rubin, Stuart and {Bouzar-Benlabiod}, Lydia},
     year = {2020},
     pages = {160--180},
     publisher = {{CRC Press}},
     chapter = {7},
     isbn = {978-0-367-47338-9}
   }
   

2019

1. Althoff, Matthias, et al. “ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.” Proc. of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH’19), edited by Goran Frehse and Matthias Althoff, vol. 61, EasyChair, 2019, pp. 14–40.
   

   @inproceedings{althoffARCHCOMP19CategoryReport2019a,
     title = {{{ARCH-COMP19 Category Report}}: {{Continuous}} and {{Hybrid Systems}} with {{Linear Continuous Dynamics}}},
     booktitle = {Proc. of the 6th {{International Workshop}} on {{Applied Verification}} of {{Continuous}} and {{Hybrid Systems}} ({{ARCH}}'19)},
     author = {Althoff, Matthias and Bak, Stanley and Forets, Marcelo and Frehse, Goran and Kochdumper, Niklas and Ray, Rajarshi and Schilling, Christian and Schupp, Stefan},
     editor = {Frehse, Goran and Althoff, Matthias},
     year = {2019},
     series = {{{EPiC Series}} in {{Computing}}},
     volume = {61},
     pages = {14--40},
     publisher = {{EasyChair}}
   }
   

2. Bu, Lei, et al. “ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.” Proc. of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH’19), edited by Goran Frehse and Matthias Althoff, vol. 61, EasyChair, 2019, pp. 120–28.
   

   @inproceedings{buARCHCOMP19CategoryReport2019a,
     title = {{{ARCH-COMP19 Category Report}}: {{Bounded Model Checking}} of {{Hybrid Systems}} with {{Piecewise Constant Dynamics}}},
     booktitle = {Proc. of the 6th {{International Workshop}} on {{Applied Verification}} of {{Continuous}} and {{Hybrid Systems}} ({{ARCH}}'19)},
     author = {Bu, Lei and Ray, Rajarshi and Schupp, Stefan},
     editor = {Frehse, Goran and Althoff, Matthias},
     year = {2019},
     series = {{{EPiC Series}} in {{Computing}}},
     volume = {61},
     pages = {120--128},
     publisher = {{EasyChair}}
   }
   

3. Leofante, Francesco, et al. “Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems.” Proc. of the 33rd International ECMS Conference on Modelling and Simulation (ECMS’19), edited by Mauro Iacono et al., European Council for Modeling and Simulation, 2019, pp. 407–13, doi:10.7148/2019-0407.
   

   @inproceedings{leofante_engineering_2019,
     title = {Engineering {{Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems}}},
     booktitle = {Proc. of the 33rd {{International ECMS Conference}} on {{Modelling}} and {{Simulation}} ({{ECMS}}'19)},
     author = {Leofante, Francesco and Schupp, Stefan and {\'A}brah{\'a}m, Erika and Tacchella, Armando},
     editor = {Iacono, Mauro and Palmieri, Francesco and Gribaudo, Marco and Ficco, Massimo},
     year = {2019},
     pages = {407--413},
     publisher = {{European Council for Modeling and Simulation}},
     doi = {10.7148/2019-0407}
   }
   

4. Schupp, Stefan. State Set Representations and Their Usage in the Reachability Analysis of Hybrid Systems. RWTH Aachen University, 2019, doi:10.18154/RWTH-2019-08875.
   

   @phdthesis{schupp_state_2019,
     title = {State Set Representations and Their Usage in the Reachability Analysis of Hybrid Systems},
     author = {Schupp, Stefan},
     year = {2019},
     address = {{Aachen}},
     doi = {10.18154/RWTH-2019-08875},
     school = {RWTH Aachen University}
   }
   

2018

1. Althoff, Matthias, et al. “ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.” Proc. of the 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH’18), edited by Goran Frehse et al., vol. 54, EasyChair, 2018, pp. 23–52.
   

   @inproceedings{althoffARCHCOMP18CategoryReport2018a,
     title = {{{ARCH-COMP18 Category Report}}: {{Continuous}} and {{Hybrid Systems}} with {{Linear Continuous Dynamics}}},
     booktitle = {Proc. of the 5th {{International Workshop}} on {{Applied Verification}} of {{Continuous}} and {{Hybrid Systems}} ({{ARCH}}'18)},
     author = {Althoff, Matthias and Bak, Stanley and Chen, Xin and Fan, Chuchu and Forets, Marcelo and Frehse, Goran and Kochdumper, Niklas and Li, Yangge and Mitra, Sayan and Ray, Rajarshi and Schilling, Christian and Schupp, Stefan},
     editor = {Frehse, Goran and Althoff, Matthias and Bogomolov, Sergiy and Johnson, Taylor T.},
     year = {2018},
     series = {{{EPiC Series}} in {{Computing}}},
     volume = {54},
     pages = {23--52},
     publisher = {{EasyChair}}
   }
   

2. Bu, Lei, et al. “ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.” Proc. of the 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH’18), edited by Goran Frehse et al., vol. 54, EasyChair, 2018, pp. 14–22.
   

   @inproceedings{buARCHCOMP18CategoryReport2018a,
     title = {{{ARCH-COMP18 Category Report}}: {{Bounded Model Checking}} of {{Hybrid Systems}} with {{Piecewise Constant Dynamics}}},
     booktitle = {Proc. of the 5th {{International Workshop}} on {{Applied Verification}} of {{Continuous}} and {{Hybrid Systems}} ({{ARCH}}'18)},
     author = {Bu, Lei and Ray, Rajarshi and Schupp, Stefan},
     editor = {Frehse, Goran and Althoff, Matthias and Bogomolov, Sergiy and Johnson, Taylor T.},
     year = {2018},
     series = {{{EPiC Series}} in {{Computing}}},
     volume = {54},
     pages = {14--22},
     publisher = {{EasyChair}}
   }
   

3. Schupp, Stefan, et al. “Context-Dependent Reachability Analysis for Hybrid Systems.” Proc. of the 2018 IEEE International Conference on Information Reuse and Integration (IRI’18), IEEE, 2018, pp. 518–25, doi:10.1109/IRI.2018.00082.
   

   @inproceedings{schupp_context-dependent_2018,
     title = {Context-{{Dependent Reachability Analysis}} for {{Hybrid Systems}}},
     booktitle = {Proc. of the 2018 {{IEEE International Conference}} on {{Information Reuse}} and {{Integration}} ({{IRI}}'18)},
     author = {Schupp, Stefan and Winkens, Justin and {\'A}brah{\'a}m, Erika},
     year = {2018},
     pages = {518--525},
     publisher = {{IEEE}},
     doi = {10.1109/IRI.2018.00082}
   }
   

4. Schupp, Stefan, and Erika Ábrahám. “Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis.” Proc. of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’18), edited by Dirk Beyer and Marieke Huisman, vol. 10806, Springer, 2018, pp. 287–302, doi:10.1007/978-3-319-89963-3_17.
   

   @inproceedings{schupp_efficient_2018,
     title = {Efficient {{Dynamic Error Reduction}} for {{Hybrid Systems Reachability Analysis}}},
     booktitle = {Proc. of the 24th {{International Conference}} on {{Tools}} and {{Algorithms}} for the {{Construction}} and {{Analysis}} of {{Systems}} ({{TACAS}}'18)},
     author = {Schupp, Stefan and {\'A}brah{\'a}m, Erika},
     editor = {Beyer, Dirk and Huisman, Marieke},
     year = {2018},
     series = {Lecture {{Notes}} in {{Computer Science}}},
     volume = {10806},
     pages = {287--302},
     publisher = {{Springer}},
     doi = {10.1007/978-3-319-89963-3_17}
   }
   

5. ---. “The HyDRA Tool : A Playground for the Development of Hybrid Systems Reachability Analysis Methods.” Proc. of the PhD Symposium at IFM’18 on Formal Methods: Algorithms, Tools and Applications, vol. 483, Oslo University, 2018, pp. 2 Seiten.
   

   @inproceedings{schupp_hydra_2018,
     title = {The {{HyDRA Tool}} : {{A Playground}} for the {{Development}} of {{Hybrid Systems Reachability Analysis Methods}}},
     booktitle = {Proc. of the {{PhD Symposium}} at {{iFM}}'18 on {{Formal Methods}}: {{Algorithms}}, {{Tools}} and {{Applications}}},
     author = {Schupp, Stefan and {\'A}brah{\'a}m, Erika},
     year = {2018},
     month = sep,
     series = {Research Report},
     volume = {483},
     pages = {2 Seiten},
     publisher = {{Oslo University}},
     address = {{Oslo}}
   }
   

6. ---. “Spread the Work: Multi-Threaded Safety Analysis for Hybrid Systems.” Proc. of the 16th International Conference on Software Engineering and Formal Methods (SEFM’18), edited by Einar Broch Johnsen and Ina Schaefer, vol. 10886, Springer, 2018, pp. 89–104, doi:10.1007/978-3-319-92970-5_6.
   

   @inproceedings{schupp_spread_2018,
     title = {Spread the {{Work}}: {{Multi-threaded Safety Analysis}} for {{Hybrid Systems}}},
     booktitle = {Proc. of the 16th {{International Conference}} on {{Software Engineering}} and {{Formal Methods}} ({{SEFM}}'18)},
     author = {Schupp, Stefan and {\'A}brah{\'a}m, Erika},
     editor = {Johnsen, Einar Broch and Schaefer, Ina},
     year = {2018},
     series = {Lecture {{Notes}} in {{Computer Science}}},
     volume = {10886},
     pages = {89--104},
     publisher = {{Springer}},
     doi = {10.1007/978-3-319-92970-5_6}
   }
   

2017

1. Althoff, Matthias, et al. “ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.” Proc. of the 4th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH’17), edited by Goran Frehse and Matthias Althoff, vol. 48, EasyChair, 2017, pp. 143–59.
   

   @inproceedings{althoffARCHCOMP17CategoryReport2017a,
     title = {{{ARCH-COMP17 Category Report}}: {{Continuous}} and {{Hybrid Systems}} with {{Linear Continuous Dynamics}}},
     booktitle = {Proc. of the 4th {{International Workshop}} on {{Applied Verification}} of {{Continuous}} and {{Hybrid Systems}} ({{ARCH}}'17)},
     author = {Althoff, Matthias and Bak, Stanley and Cattaruzza, Dario and Chen, Xin and Frehse, Goran and Ray, Rajarshi and Schupp, Stefan},
     editor = {Frehse, Goran and Althoff, Matthias},
     year = {2017},
     series = {{{EPiC Series}} in {{Computing}}},
     volume = {48},
     pages = {143--159},
     publisher = {{EasyChair}}
   }
   

2. Bu, Lei, et al. “ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.” Proc. of the 4th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH’17), edited by Goran Frehse and Matthias Althoff, vol. 48, EasyChair, 2017, pp. 134–42.
   

   @inproceedings{buARCHCOMP17CategoryReport2017a,
     title = {{{ARCH-COMP17 Category Report}}: {{Bounded Model Checking}} of {{Hybrid Systems}} with {{Piecewise Constant Dynamics}}},
     booktitle = {Proc. of the 4th {{International Workshop}} on {{Applied Verification}} of {{Continuous}} and {{Hybrid Systems}} ({{ARCH}}'17)},
     author = {Bu, Lei and Ray, Rajarshi and Schupp, Stefan},
     editor = {Frehse, Goran and Althoff, Matthias},
     year = {2017},
     series = {{{EPiC Series}} in {{Computing}}},
     volume = {48},
     pages = {134--142},
     publisher = {{EasyChair}}
   }
   

3. Hüls, Jannik, et al. “Analyzing Hybrid Petri Nets with Multiple Stochastic Firings Using HyPro.” Proc. of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS’17), edited by Andrea Marin et al., ACM, 2017, pp. 178–85, doi:10.1145/3150928.3150938.
   

   @inproceedings{hulsAnalyzingHybridPetri2017a,
     title = {Analyzing {{Hybrid Petri}} Nets with Multiple Stochastic Firings Using {{HyPro}}},
     booktitle = {Proc. of the 11th {{EAI International Conference}} on {{Performance Evaluation Methodologies}} and {{Tools}} ({{VALUETOOLS}}'17)},
     author = {H{\"u}ls, Jannik and Schupp, Stefan and Remke, Anne and {\'A}brah{\'a}m, Erika},
     editor = {Marin, Andrea and Houdt, Benny Van and Casale, Giuliano and Petriu, Dorina C. and Rossi, Sabina},
     year = {2017},
     pages = {178--185},
     publisher = {{ACM}},
     doi = {10.1145/3150928.3150938}
   }
   

4. Schupp, Stefan, et al. “Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis.” Proc. of the 15th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL’17), edited by Herbert Wiklicky and Erik P. de Vink, vol. 250, 2017, pp. 1–14, doi:10.4204/EPTCS.250.1.
   

   @inproceedings{schupp_divide_2017,
     title = {Divide and {{Conquer}}: {{Variable Set Separation}} in {{Hybrid Systems Reachability Analysis}}},
     booktitle = {Proc. of the 15th {{Workshop}} on {{Quantitative Aspects}} of {{Programming Languages}} and {{Systems}} ({{QAPL}}'17)},
     author = {Schupp, Stefan and Nellen, Johanna and {\'A}brah{\'a}m, Erika},
     editor = {Wiklicky, Herbert and de Vink, Erik P.},
     year = {2017},
     series = {{{EPTCS}}},
     volume = {250},
     pages = {1--14},
     doi = {10.4204/EPTCS.250.1}
   }
   

5. ---. “HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis.” Proc. of the 9th NASA Formal Methods Symp. (NFM’17), vol. LNCS, Springer, 2017, pp. 288–94, doi:10.1007/978-3-319-57288-8_20.
   

   @inproceedings{schupp_hypro_2017,
     title = {{{HyPro}}: {{A C}}++ {{Library}} of {{State Set Representations}} for {{Hybrid Systems Reachability Analysis}}},
     booktitle = {Proc. of the 9th {{NASA Formal Methods Symp}}. ({{NFM}}'17)},
     author = {Schupp, Stefan and {\'A}brah{\'a}m, Erika and Makhlouf, Ibtissem Ben and Kowalewski, Stefan},
     year = {2017},
     series = {{{LNCS}}},
     volume = {LNCS},
     pages = {288--294},
     publisher = {{Springer}},
     doi = {10.1007/978-3-319-57288-8_20}
   }
   

2015

1. Chen, Xin, et al. “A Benchmark Suite for Hybrid Systems Reachability Analysis.” Proc. of the 7th NASA Formal Methods Symp. (NFM’15), vol. 9058, Springer, 2015, pp. 408–14.
   

   @inproceedings{chenBenchmarkSuiteHybrid2015a,
     title = {A {{Benchmark Suite}} for {{Hybrid Systems Reachability Analysis}}},
     booktitle = {Proc. of the 7th {{NASA Formal Methods Symp}}. ({{NFM}}'15)},
     author = {Chen, Xin and Schupp, Stefan and Ben Makhlouf, Ibtissem and Abraham, Erika and Frehse, Goran and Kowalewski, Stefan},
     year = {2015},
     series = {{{LNCS}}},
     volume = {9058},
     pages = {408--414},
     publisher = {{Springer}}
   }
   

2. Corzilius, Florian, et al. “SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving.” Proc. of the 18th International Conference on Theory and Applications of Satisfiability Testing (SAT’15), vol. 9340, Springer, 2015, pp. 360–68, doi:10.1007/978-3-319-24318-4_26.
   

   @inproceedings{corzilius_smt-rat_2015,
     title = {{{SMT-RAT}}: {{An Open Source C}}++ {{Toolbox}} for {{Strategic}} and {{Parallel SMT Solving}}},
     booktitle = {Proc. of the 18th {{International Conference}} on {{Theory}} and {{Applications}} of {{Satisfiability Testing}} ({{SAT}}'15)},
     author = {Corzilius, Florian and Kremer, Gereon and Junges, Sebastian and Schupp, Stefan and {\'A}brah{\'a}m, Erika},
     year = {2015},
     series = {{{LNCS}}},
     volume = {9340},
     pages = {360--368},
     publisher = {{Springer}},
     doi = {10.1007/978-3-319-24318-4_26}
   }
   

3. Schupp, Stefan, et al. “Current Challenges in the Verification of Hybrid Systems.” Proc. of the 5th Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (CyPhy’15), vol. 9361, Springer, 2015, pp. 8–24, doi:10.1007/978-3-319-25141-7_2.
   

   @inproceedings{schupp_current_2015,
     title = {Current {{Challenges}} in the {{Verification}} of {{Hybrid Systems}}},
     booktitle = {Proc. of the 5th {{Workshop}} on {{Design}}, {{Modeling}}, and {{Evaluation}} of {{Cyber Physical Systems}} ({{CyPhy}}'15)},
     author = {Schupp, Stefan and Abraham, Erika and Chen, Xin and Ben Makhlouf, Ibtissem and Frehse, Goran and Sankaranarayanan, Sriram and Kowalewski, Stefan},
     year = {2015},
     series = {Information {{Systems}} and {{Applications}}, Incl. {{Internet}}/{{Web}}, and {{HCI}}},
     volume = {9361},
     pages = {8--24},
     publisher = {{Springer}},
     doi = {10.1007/978-3-319-25141-7_2}
   }
   

2011

1. Link, Jó Ágila Bitsch, et al. “Perfect Difference Sets for Neighbor Discovery: Energy Efficient and Fair.” Proc. of the 3rd Extreme Conference on Communication: The Amazon Expedition (ExtremeCon’11), ACM, 2011, pp. 1–6.
   

   @inproceedings{linkPerfectDifferenceSets2011a,
     title = {Perfect {{Difference Sets}} for {{Neighbor Discovery}}: {{Energy Efficient}} and {{Fair}}},
     booktitle = {Proc. of the 3rd {{Extreme Conference}} on {{Communication}}: {{The Amazon Expedition}} ({{ExtremeCon}}'11)},
     author = {Link, J{\'o} {\'A}gila Bitsch and Wollgarten, Christoph and Schupp, Stefan and Wehrle, Klaus},
     year = {2011},
     series = {({{ExtremeCom}} '11)},
     pages = {1--6},
     publisher = {{ACM}},
     isbn = {978-1-4503-1079-6},
     keywords = {neighbor discovery,sporadic connectivity,wireless networks}
   }