default search action
BibTeX records: Johann Schumann
@inproceedings{DBLP:conf/compsac/GosevaPopstojanovaHSN23, author = {Katerina Goseva{-}Popstojanova and Denny Hood and Johann Schumann and Noble Nkwocha}, editor = {Hossain Shahriar and Yuuichi Teranishi and Alfredo Cuzzocrea and Moushumi Sharmin and Dave Towey and A. K. M. Jahangir Alam Majumder and Hiroki Kashiwazaki and Ji{-}Jiang Yang and Michiharu Takemoto and Nazmus Sakib and Ryohei Banno and Sheikh Iqbal Ahamed}, title = {The Anatomy of Software Changes and Bugs in Autonomous Operating System}, booktitle = {47th {IEEE} Annual Computers, Software, and Applications Conference, {COMPSAC} 2023, Torino, Italy, June 26-30, 2023}, pages = {28--38}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/COMPSAC57700.2023.00014}, doi = {10.1109/COMPSAC57700.2023.00014}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/compsac/GosevaPopstojanovaHSN23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/refsq/FarrellMS23, author = {Marie Farrell and Anastasia Mavridou and Johann Schumann}, editor = {Alessio Ferrari and Birgit Penzenstadler}, title = {Exploring Requirements for Software that Learns: {A} Research Preview}, booktitle = {Requirements Engineering: Foundation for Software Quality - 29th International Working Conference, {REFSQ} 2023, Barcelona, Spain, April 17-20, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13975}, pages = {179--188}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-29786-1\_12}, doi = {10.1007/978-3-031-29786-1\_12}, timestamp = {Tue, 02 May 2023 16:41:54 +0200}, biburl = {https://dblp.org/rec/conf/refsq/FarrellMS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2310-06506, author = {Konstantin Dmitriev and Johann Schumann and Islam Bostanov and Mostafa Abdelhamid and Florian Holzapfel}, title = {Runway Sign Classifier: {A} {DAL} {C} Certifiable Machine Learning System}, journal = {CoRR}, volume = {abs/2310.06506}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2310.06506}, doi = {10.48550/ARXIV.2310.06506}, eprinttype = {arXiv}, eprint = {2310.06506}, timestamp = {Tue, 24 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-06506.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/KatisMGPS22, author = {Andreas Katis and Anastasia Mavridou and Dimitra Giannakopoulou and Thomas Pressburger and Johann Schumann}, editor = {Sharon Shoham and Yakir Vizel}, title = {Capture, Analyze, Diagnose: Realizability Checking Of Requirements in {FRET}}, booktitle = {Computer Aided Verification - 34th International Conference, {CAV} 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {13372}, pages = {490--504}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-13188-2\_24}, doi = {10.1007/978-3-031-13188-2\_24}, timestamp = {Tue, 28 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/KatisMGPS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2209-13975, author = {Konstantin Dmitriev and Johann Schumann and Florian Holzapfel}, title = {Toward Certification of Machine-Learning Systems for Low Criticality Airborne Applications}, journal = {CoRR}, volume = {abs/2209.13975}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2209.13975}, doi = {10.48550/ARXIV.2209.13975}, eprinttype = {arXiv}, eprint = {2209.13975}, timestamp = {Tue, 24 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2209-13975.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/GiannakopoulouP21, author = {Dimitra Giannakopoulou and Thomas Pressburger and Anastasia Mavridou and Johann Schumann}, title = {Automated formalization of structured natural language requirements}, journal = {Inf. Softw. Technol.}, volume = {137}, pages = {106590}, year = {2021}, url = {https://doi.org/10.1016/j.infsof.2021.106590}, doi = {10.1016/J.INFSOF.2021.106590}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/infsof/GiannakopoulouP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/HeS20, author = {Yuning He and Johann Schumann}, editor = {Shinichi Honiden and Elisabetta Di Nitto and Radu Calinescu}, title = {A framework for the analysis of adaptive systems using bayesian statistics}, booktitle = {{SEAMS} '20: {IEEE/ACM} 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June - 3 July, 2020}, pages = {64--70}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3387939.3391596}, doi = {10.1145/3387939.3391596}, timestamp = {Thu, 24 Sep 2020 12:08:03 +0200}, biburl = {https://dblp.org/rec/conf/icse/HeS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/HeS20a, author = {Yuning He and Johann Schumann}, title = {A Framework for Software Health Management using Bayesian Statistics: Position Paper}, booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June - 19 July, 2020}, pages = {719--722}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3387940.3392208}, doi = {10.1145/3387940.3392208}, timestamp = {Fri, 16 Oct 2020 11:06:55 +0200}, biburl = {https://dblp.org/rec/conf/icse/HeS20a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcnn/HeS20, author = {Yuning He and Johann Schumann}, title = {A Framework for the Analysis of Deep Neural Networks in Aerospace applications using Bayesian Statistics}, booktitle = {2020 International Joint Conference on Neural Networks, {IJCNN} 2020, Glasgow, United Kingdom, July 19-24, 2020}, pages = {1--9}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/IJCNN48605.2020.9207228}, doi = {10.1109/IJCNN48605.2020.9207228}, timestamp = {Tue, 06 Oct 2020 15:44:04 +0200}, biburl = {https://dblp.org/rec/conf/ijcnn/HeS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/MavridouBGPHGS20, author = {Anastasia Mavridou and Hamza Bourbouh and Dimitra Giannakopoulou and Thomas Pressburger and Mohammad Hejase and Pierre{-}Lo{\"{\i}}c Garoche and Johann Schumann}, editor = {Travis D. Breaux and Andrea Zisman and Samuel Fricker and Martin Glinz}, title = {The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained}, booktitle = {28th {IEEE} International Requirements Engineering Conference, {RE} 2020, Zurich, Switzerland, August 31 - September 4, 2020}, pages = {300--310}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/RE48521.2020.00040}, doi = {10.1109/RE48521.2020.00040}, timestamp = {Wed, 14 Oct 2020 13:39:28 +0200}, biburl = {https://dblp.org/rec/conf/re/MavridouBGPHGS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/refsq/GiannakopoulouP20, author = {Dimitra Giannakopoulou and Thomas Pressburger and Anastasia Mavridou and Johann Schumann}, editor = {Nazim H. Madhavji and Liliana Pasquale and Alessio Ferrari and Stefania Gnesi}, title = {Generation of Formal Requirements from Structured Natural Language}, booktitle = {Requirements Engineering: Foundation for Software Quality - 26th International Working Conference, {REFSQ} 2020, Pisa, Italy, March 24-27, 2020, Proceedings {[REFSQ} 2020 was postponed]}, series = {Lecture Notes in Computer Science}, volume = {12045}, pages = {19--35}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-44429-7\_2}, doi = {10.1007/978-3-030-44429-7\_2}, timestamp = {Wed, 10 Jun 2020 08:46:34 +0200}, biburl = {https://dblp.org/rec/conf/refsq/GiannakopoulouP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/refsq/GiannakopoulouP20a, author = {Dimitra Giannakopoulou and Thomas Pressburger and Anastasia Mavridou and Julian Rhein and Johann Schumann and Nija Shi}, editor = {Mehrdad Sabetzadeh and Andreas Vogelsang and Sallam Abualhaija and Markus Borg and Fabiano Dalpiaz and Maya Daneva and Nelly Condori{-}Fern{\'{a}}ndez and Xavier Franch and Davide Fucci and Vincenzo Gervasi and Eduard C. Groen and Renata S. S. Guizzardi and Andrea Herrmann and Jennifer Horkoff and Luisa Mich and Anna Perini and Angelo Susi}, title = {Formal Requirements Elicitation with {FRET}}, booktitle = {Joint Proceedings of {REFSQ-2020} Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 26th International Conference on Requirements Engineering: Foundation for Software Quality {(REFSQ} 2020), Pisa, Italy, March 24, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2584}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2584/PT-paper4.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:43 +0100}, biburl = {https://dblp.org/rec/conf/refsq/GiannakopoulouP20a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/refsq/MavridouBGGPS20, author = {Anastasia Mavridou and Hamza Bourbouh and Pierre{-}Lo{\"{\i}}c Garoche and Dimitra Giannakopoulou and Thomas Pressburger and Johann Schumann}, editor = {Mehrdad Sabetzadeh and Andreas Vogelsang and Sallam Abualhaija and Markus Borg and Fabiano Dalpiaz and Maya Daneva and Nelly Condori{-}Fern{\'{a}}ndez and Xavier Franch and Davide Fucci and Vincenzo Gervasi and Eduard C. Groen and Renata S. S. Guizzardi and Andrea Herrmann and Jennifer Horkoff and Luisa Mich and Anna Perini and Angelo Susi}, title = {Bridging the Gap Between Requirements and Simulink Model Analysis}, booktitle = {Joint Proceedings of {REFSQ-2020} Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 26th International Conference on Requirements Engineering: Foundation for Software Quality {(REFSQ} 2020), Pisa, Italy, March 24, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2584}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2584/PT-paper9.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/refsq/MavridouBGGPS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/HeS20, author = {Yuning He and Johann Schumann}, title = {A Framework for the Analysis of Deep Neural Networks in Autonomous Aerospace Applications using Bayesian Statistics}, booktitle = {2020 {IEEE} Security and Privacy Workshops, {SP} Workshops, San Francisco, CA, USA, May 21, 2020}, pages = {234--239}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/SPW50608.2020.00054}, doi = {10.1109/SPW50608.2020.00054}, timestamp = {Thu, 21 Sep 2023 16:11:10 +0200}, biburl = {https://dblp.org/rec/conf/sp/HeS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/SchumannG19, author = {Johann Schumann and Katerina Goseva{-}Popstojanova}, editor = {Loli Burgue{\~{n}}o and Alexander Pretschner and Sebastian Voss and Michel Chaudron and J{\"{o}}rg Kienzle and Markus V{\"{o}}lter and S{\'{e}}bastien G{\'{e}}rard and Mansooreh Zahedi and Erwan Bousse and Arend Rensink and Fiona Polack and Gregor Engels and Gerti Kappel}, title = {Verification and Validation Approaches for Model-Based Software Engineering}, booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems Companion, {MODELS} Companion 2019, Munich, Germany, September 15-20, 2019}, pages = {514--518}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/MODELS-C.2019.00080}, doi = {10.1109/MODELS-C.2019.00080}, timestamp = {Wed, 23 Feb 2022 12:16:49 +0100}, biburl = {https://dblp.org/rec/conf/models/SchumannG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/HeGS97, author = {Yuning He and Dimitra Giannakopoulou and Johann Schumann}, editor = {Tiziana Margaria and Susanne Graf and Kim G. Larsen}, title = {Statistical Prediction of Failures in Aircraft Collision Avoidance Systems}, booktitle = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {11200}, pages = {249--267}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-22348-9\_16}, doi = {10.1007/978-3-030-22348-9\_16}, timestamp = {Thu, 27 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/HeGS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/MoosbruggerRS17, author = {Patrick Moosbrugger and Kristin Y. Rozier and Johann Schumann}, title = {{R2U2:} monitoring and diagnosis of security threats for unmanned aerial systems}, journal = {Formal Methods Syst. Des.}, volume = {51}, number = {1}, pages = {31--61}, year = {2017}, url = {https://doi.org/10.1007/s10703-017-0275-x}, doi = {10.1007/S10703-017-0275-X}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/MoosbruggerRS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/RozierS17, author = {Kristin Yvonne Rozier and Johann Schumann}, editor = {Giles Reger and Klaus Havelund}, title = {{R2U2:} Tool Overview}, booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, {USA}}, series = {Kalpa Publications in Computing}, volume = {3}, pages = {138--156}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/5pch}, doi = {10.29007/5PCH}, timestamp = {Sun, 15 Aug 2021 10:46:48 +0200}, biburl = {https://dblp.org/rec/conf/rv/RozierS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/GiannakopoulouG16, author = {Dimitra Giannakopoulou and Dennis Guck and Johann Schumann}, editor = {John S. Fitzgerald and Constance L. Heitmeyer and Stefania Gnesi and Anna Philippou}, title = {Exploring Model Quality for {ACAS} {X}}, booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9995}, pages = {274--290}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-48989-6\_17}, doi = {10.1007/978-3-319-48989-6\_17}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/GiannakopoulouG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/SchumannMR16, author = {Johann Schumann and Patrick Moosbrugger and Kristin Y. Rozier}, editor = {Yli{\`{e}}s Falcone and C{\'{e}}sar S{\'{a}}nchez}, title = {Runtime Analysis with {R2U2:} {A} Tool Exhibition Report}, booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid, Spain, September 23-30, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10012}, pages = {504--509}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-46982-9\_35}, doi = {10.1007/978-3-319-46982-9\_35}, timestamp = {Wed, 28 Dec 2022 16:42:42 +0100}, biburl = {https://dblp.org/rec/conf/rv/SchumannMR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/SchumannMR15, author = {Johann Schumann and Patrick Moosbrugger and Kristin Y. Rozier}, editor = {Ezio Bartocci and Rupak Majumdar}, title = {{R2U2:} Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems}, booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna, Austria, September 22-25, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9333}, pages = {233--249}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-23820-3\_15}, doi = {10.1007/978-3-319-23820-3\_15}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/rv/SchumannMR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/SchumannS14, author = {Johann Schumann and Stefan{-}Alexander Schneider}, editor = {Julia M. Badger and Kristin Yvonne Rozier}, title = {Automated Testcase Generation for Numerical Support Functions in Embedded Systems}, booktitle = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8430}, pages = {252--257}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-06200-6\_20}, doi = {10.1007/978-3-319-06200-6\_20}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/nfm/SchumannS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/GeistRS14, author = {Johannes Geist and Kristin Y. Rozier and Johann Schumann}, editor = {Borzoo Bonakdarpour and Scott A. Smolka}, title = {Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems}, booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8734}, pages = {215--230}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-11164-3\_18}, doi = {10.1007/978-3-319-11164-3\_18}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/rv/GeistRS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/ReinbacherRS14, author = {Thomas Reinbacher and Kristin Yvonne Rozier and Johann Schumann}, editor = {Erika {\'{A}}brah{\'{a}}m and Klaus Havelund}, title = {Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8413}, pages = {357--372}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54862-8\_24}, doi = {10.1007/978-3-642-54862-8\_24}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/ReinbacherRS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/SrivastavaS13, author = {Ashok N. Srivastava and Johann Schumann}, title = {Software health management: a necessity for safety critical systems}, journal = {Innov. Syst. Softw. Eng.}, volume = {9}, number = {4}, pages = {219--233}, year = {2013}, url = {https://doi.org/10.1007/s11334-013-0212-0}, doi = {10.1007/S11334-013-0212-0}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isse/SrivastavaS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/SchumannMMPSCD13, author = {Johann Schumann and Timmy Mbaya and Ole J. Mengshoel and Knot Pipatsrisawat and Ashok N. Srivastava and Arthur Choi and Adnan Darwiche}, title = {Software health management with Bayesian networks}, journal = {Innov. Syst. Softw. Eng.}, volume = {9}, number = {4}, pages = {271--292}, year = {2013}, url = {https://doi.org/10.1007/s11334-013-0214-y}, doi = {10.1007/S11334-013-0214-Y}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isse/SchumannMMPSCD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/GiannakopoulouBSEH11, author = {Dimitra Giannakopoulou and David H. Bushnell and Johann Schumann and Heinz Erzberger and Karen Heere}, title = {Formal testing for separation assurance}, journal = {Ann. Math. Artif. Intell.}, volume = {63}, number = {1}, pages = {5--30}, year = {2011}, url = {https://doi.org/10.1007/s10472-011-9224-3}, doi = {10.1007/S10472-011-9224-3}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/amai/GiannakopoulouBSEH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/SchumannCL10, author = {Johann Schumann and Karen Cate and Alan Lee}, editor = {Mar{\'{\i}}a Alpuente}, title = {Analysis of Air Traffic Track Data with the AutoBayes Synthesis System}, booktitle = {Logic-Based Program Synthesis and Transformation - 20th International Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6564}, pages = {21--36}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-20551-4\_2}, doi = {10.1007/978-3-642-20551-4\_2}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/SchumannCL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/SchumannSM10, author = {Johann Schumann and Ashok N. Srivastava and Ole J. Mengshoel}, editor = {Howard Barringer and Yli{\`{e}}s Falcone and Bernd Finkbeiner and Klaus Havelund and Insup Lee and Gordon J. Pace and Grigore Rosu and Oleg Sokolsky and Nikolai Tillmann}, title = {Who Guards the Guardians? - Toward V{\&}V of Health Management Software - (Short Paper)}, booktitle = {Runtime Verification - First International Conference, {RV} 2010, St. Julians, Malta, November 1-4, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6418}, pages = {399--404}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16612-9\_30}, doi = {10.1007/978-3-642-16612-9\_30}, timestamp = {Thu, 26 Jan 2023 14:05:55 +0100}, biburl = {https://dblp.org/rec/conf/rv/SchumannSM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/SchumannMSD10, author = {Johann Schumann and Ole J. Mengshoel and Ashok N. Srivastava and Adnan Darwiche}, editor = {Gruia{-}Catalin Roman and Kevin J. Sullivan}, title = {Towards software health management with bayesian networks}, booktitle = {Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010}, pages = {331--336}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1882362.1882430}, doi = {10.1145/1882362.1882430}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/SchumannMSD10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/sci/SchumannGL10, author = {Johann Schumann and Pramod Gupta and Yan Liu}, editor = {Johann Schumann and Yan Liu}, title = {Application of Neural Networks in High Assurance Systems: {A} Survey}, booktitle = {Applications of Neural Networks in High Assurance Systems}, series = {Studies in Computational Intelligence}, volume = {268}, pages = {1--19}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-10690-3\_1}, doi = {10.1007/978-3-642-10690-3\_1}, timestamp = {Tue, 16 May 2017 14:24:37 +0200}, biburl = {https://dblp.org/rec/series/sci/SchumannGL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/sci/2010-268, editor = {Johann Schumann and Yan Liu}, title = {Applications of Neural Networks in High Assurance Systems}, series = {Studies in Computational Intelligence}, volume = {268}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-10690-3}, doi = {10.1007/978-3-642-10690-3}, isbn = {978-3-642-10689-7}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/sci/2010-268.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEisic/ProkhorovS08, author = {Danil V. Prokhorov and Johann Schumann}, title = {Intelligent Systems for Modeling and Control: Advances in Design and Validation}, booktitle = {2008 {IEEE} International Symposium on Intelligent Control, {ISIC} 2008, San Antonio, TX, USA, September 3-5, 2008}, pages = {18}, publisher = {{IEEE}}, year = {2008}, url = {https://doi.org/10.1109/ISIC.2008.4635932}, doi = {10.1109/ISIC.2008.4635932}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/IEEEisic/ProkhorovS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/SchumannGPMB08, author = {Johann Schumann and Karen Gundy{-}Burlet and Corina S. Pasareanu and Tim Menzies and Tony Barrett}, title = {Tool Support for Parametric Analysis of Large Software Simulation Systems}, booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2008), 15-19 September 2008, L'Aquila, Italy}, pages = {497--498}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/ASE.2008.89}, doi = {10.1109/ASE.2008.89}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/SchumannGPMB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/sci/LiuCSJ07, author = {Yan Liu and Bojan Cukic and Johann Schumann and Michael Jiang}, editor = {Ke Chen and Lipo Wang}, title = {Performance Analysis of Dynamic Cell Structures}, booktitle = {Trends in Neural Computation}, series = {Studies in Computational Intelligence}, volume = {35}, pages = {367--389}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-36122-0\_15}, doi = {10.1007/978-3-540-36122-0\_15}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/sci/LiuCSJ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijait/DenneyFS06, author = {Ewen Denney and Bernd Fischer and Johann Schumann}, title = {An Empirical Evaluation of Automated Theorem Provers in Software Certification}, journal = {Int. J. Artif. Intell. Tools}, volume = {15}, number = {1}, pages = {81--108}, year = {2006}, url = {https://doi.org/10.1142/S0218213006002576}, doi = {10.1142/S0218213006002576}, timestamp = {Tue, 12 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijait/DenneyFS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isnn/SchumannL06, author = {Johann Schumann and Yan Liu}, editor = {Jun Wang and Zhang Yi and Jacek M. Zurada and Bao{-}Liang Lu and Hujun Yin}, title = {Performance Estimation of a Neural Network-Based Controller}, booktitle = {Advances in Neural Networks - {ISNN} 2006, Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {3972}, pages = {981--990}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11760023\_145}, doi = {10.1007/11760023\_145}, timestamp = {Mon, 19 Aug 2024 08:36:56 +0200}, biburl = {https://dblp.org/rec/conf/isnn/SchumannL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smc/SrivastavaS005, author = {Ashok N. Srivastava and Johann Schumann and Bernd Fischer}, title = {An ensemble approach to building Mercer Kernels with prior information}, booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man and Cybernetics, Waikoloa, Hawaii, USA, October 10-12, 2005}, pages = {2352--2359}, publisher = {{IEEE}}, year = {2005}, url = {https://doi.org/10.1109/ICSMC.2005.1571500}, doi = {10.1109/ICSMC.2005.1571500}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/smc/SrivastavaS005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toms/WhittleS04, author = {Jon Whittle and Johann Schumann}, title = {Automating the implementation of Kalman filter algorithms}, journal = {{ACM} Trans. Math. Softw.}, volume = {30}, number = {4}, pages = {434--453}, year = {2004}, url = {https://doi.org/10.1145/1039813.1039816}, doi = {10.1145/1039813.1039816}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/toms/WhittleS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/DenneyFS04, author = {Ewen Denney and Bernd Fischer and Johann Schumann}, editor = {David A. Basin and Micha{\"{e}}l Rusinowitch}, title = {Using Automated Theorem Provers to Certify Auto-generated Aerospace Software}, booktitle = {Automated Reasoning - Second International Joint Conference, {IJCAR} 2004, Cork, Ireland, July 4-8, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3097}, pages = {198--212}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-25984-8\_12}, doi = {10.1007/978-3-540-25984-8\_12}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/DenneyFS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/GuptaS04, author = {Pramod Gupta and Johann Schumann}, title = {A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems}, booktitle = {8th {IEEE} International Symposium on High-Assurance Systems Engineering {(HASE} 2004), 25-26 March 2004, Tampa, FL, {USA}}, pages = {277--278}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/HASE.2004.1281757}, doi = {10.1109/HASE.2004.1281757}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/GuptaS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/DenneyFS04, author = {Ewen Denney and Bernd Fischer and Johann Schumann}, title = {Adding Assurance to Automatically Generated Code}, booktitle = {8th {IEEE} International Symposium on High-Assurance Systems Engineering {(HASE} 2004), 25-26 March 2004, Tampa, FL, {USA}}, pages = {297--299}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/HASE.2004.1281768}, doi = {10.1109/HASE.2004.1281768}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/DenneyFS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/NelsonS04, author = {Stacy D. Nelson and Johann Schumann}, title = {What Makes a Code Review Trustworthy?}, booktitle = {37th Hawaii International Conference on System Sciences {(HICSS-37} 2004), {CD-ROM} / Abstracts Proceedings, 5-8 January 2004, Big Island, HI, {USA}}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/HICSS.2004.1265711}, doi = {10.1109/HICSS.2004.1265711}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/NelsonS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-NE-0401020, author = {Gabriele Scheler and Johann Schumann}, title = {Presynaptic modulation as fast synaptic switching: state-dependent modulation of task performance}, journal = {CoRR}, volume = {cs.NE/0401020}, year = {2004}, url = {http://arxiv.org/abs/cs/0401020}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-NE-0401020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/FischerS03, author = {Bernd Fischer and Johann Schumann}, title = {AutoBayes: a system for generating data analysis programs from statistical models}, journal = {J. Funct. Program.}, volume = {13}, number = {3}, pages = {483--508}, year = {2003}, url = {https://doi.org/10.1017/S0956796802004562}, doi = {10.1017/S0956796802004562}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfp/FischerS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/SchumannFWW03, author = {Johann Schumann and Bernd Fischer and Michael W. Whalen and Jon Whittle}, title = {Certification Support for Automatically Generated Programs}, booktitle = {36th Hawaii International Conference on System Sciences {(HICSS-36} 2003), {CD-ROM} / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, {USA}}, pages = {337}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/HICSS.2003.1174914}, doi = {10.1109/HICSS.2003.1174914}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/SchumannFWW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/FischerS03, author = {Bernd Fischer and Johann Schumann}, title = {Applying AutoBayes to the Analysis of Planetary Nebulae Images}, booktitle = {18th {IEEE} International Conference on Automated Software Engineering {(ASE} 2003), 6-10 October 2003, Montreal, Canada}, pages = {337--342}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/ASE.2003.1240333}, doi = {10.1109/ASE.2003.1240333}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/FischerS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tableaux/Schumann03, author = {Johann Schumann}, editor = {Marta Cialdea Mayer and Fiora Pirri}, title = {Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, {TABLEAUX} 2003, Rome, Italy, September 9-12, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2796}, pages = {3}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45206-5\_3}, doi = {10.1007/978-3-540-45206-5\_3}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/tableaux/Schumann03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/WhalenSF02, author = {Michael W. Whalen and Johann Schumann and Bernd Fischer}, editor = {Andrei Voronkov}, title = {AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description}, booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2392}, pages = {290--294}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45620-1\_25}, doi = {10.1007/3-540-45620-1\_25}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/WhalenSF02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/WhalenSF02, author = {Michael W. Whalen and Johann Schumann and Bernd Fischer}, editor = {Lars{-}Henrik Eriksson and Peter A. Lindsay}, title = {Synthesizing Certified Code}, booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2391}, pages = {431--450}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45614-7\_25}, doi = {10.1007/3-540-45614-7\_25}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/WhalenSF02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/GrayFSB02, author = {Alexander G. Gray and Bernd Fischer and Johann Schumann and Wray L. Buntine}, editor = {Suzanna Becker and Sebastian Thrun and Klaus Obermayer}, title = {Automatic Derivation of Statistical Algorithms: The {EM} Family and Beyond}, booktitle = {Advances in Neural Information Processing Systems 15 [Neural Information Processing Systems, {NIPS} 2002, December 9-14, 2002, Vancouver, British Columbia, Canada]}, pages = {673--680}, publisher = {{MIT} Press}, year = {2002}, url = {https://proceedings.neurips.cc/paper/2002/hash/0234c510bc6d908b28c70ff313743079-Abstract.html}, timestamp = {Mon, 16 May 2022 15:41:51 +0200}, biburl = {https://dblp.org/rec/conf/nips/GrayFSB02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/woss/SchumannN02, author = {Johann Schumann and Stacy D. Nelson}, editor = {David Garlan and Jeff Kramer and Alexander L. Wolf}, title = {Toward V{\&}V of neural network based controllers}, booktitle = {Proceedings of the First Workshop on Self-Healing Systems, {WOSS} 2002, Charleston, South Carolina, USA, November 18-19, 2002}, pages = {67--72}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/582128.582141}, doi = {10.1145/582128.582141}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/woss/SchumannN02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0006196, author = {Johann Schumann}, title = {Automated theorem proving in software engineering}, publisher = {Springer}, year = {2001}, url = {http://www.springer.com/computer/swe/book/978-3-540-67989-9}, isbn = {978-3-540-67989-9}, timestamp = {Fri, 15 Apr 2011 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0006196.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/WhittleBSRPPOLB01, author = {Jon Whittle and Jeffrey Van Baalen and Johann Schumann and Peter Robinson and Thomas Pressburger and John Penix and Phil Oh and Michael R. Lowry and Guillaume P. Brat}, title = {Amphion/NAV: Deductive Synthesis of State Estimation Software}, booktitle = {16th {IEEE} International Conference on Automated Software Engineering {(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA, {USA}}, pages = {395--399}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/ASE.2001.989837}, doi = {10.1109/ASE.2001.989837}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/WhittleBSRPPOLB01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aadebug/Schumann00, author = {Johann Schumann}, editor = {Mireille Ducass{\'{e}}}, title = {Automatic Debugging Support for {UML} Designs}, booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging, {AADEBUG} 2000, Munich, Germany, August 28-30th, 2000}, year = {2000}, url = {https://arxiv.org/abs/cs/0011017}, timestamp = {Thu, 09 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aadebug/Schumann00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Schumann00, author = {Johann Schumann}, editor = {Steffen H{\"{o}}lldobler}, title = {Automated Theorem Proving in High-Quality Software Design}, booktitle = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)}, series = {Applied Logic Series}, volume = {19}, pages = {295--312}, publisher = {Kluwer}, year = {2000}, timestamp = {Thu, 03 Jan 2002 11:54:05 +0100}, biburl = {https://dblp.org/rec/conf/birthday/Schumann00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/faabs/SchumannW00, author = {Johann Schumann and Jon Whittle}, editor = {James L. Rash and Christopher A. Rouff and Walt Truszkowski and Diana F. Gordon and Michael G. Hinchey}, title = {Automatic Synthesis of Agent Designs in {UML}}, booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop, {FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {1871}, pages = {148--162}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45484-5\_12}, doi = {10.1007/3-540-45484-5\_12}, timestamp = {Tue, 24 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/faabs/SchumannW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/WhittleS00, author = {Jon Whittle and Johann Schumann}, editor = {Carlo Ghezzi and Mehdi Jazayeri and Alexander L. Wolf}, title = {Generating statechart designs from scenarios}, booktitle = {Proceedings of the 22nd International Conference on on Software Engineering, {ICSE} 2000, Limerick Ireland, June 4-11, 2000}, pages = {314--323}, publisher = {{ACM}}, year = {2000}, url = {https://doi.org/10.1145/337180.337217}, doi = {10.1145/337180.337217}, timestamp = {Tue, 24 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/WhittleS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/saig/FischerSP00, author = {Bernd Fischer and Johann Schumann and Thomas Pressburger}, editor = {Walid Taha}, title = {Generating Data Analysis Programs from Statistical Models}, booktitle = {Semantics, Applications, and Implementation of Program Generation, International Workshop {SAIG} 2000, Montreal, Canada, September 20, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1924}, pages = {212--229}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45350-4\_15}, doi = {10.1007/3-540-45350-4\_15}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/saig/FischerSP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/Schumann99, author = {Johann Schumann}, editor = {Nicolas Halbwachs and Doron A. Peled}, title = {{PIL/SETHEO:} {A} Tool for the Automatic Analysis of Authentication Protocols}, booktitle = {Computer Aided Verification, 11th International Conference, {CAV} '99, Trento, Italy, July 6-10, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1633}, pages = {500--504}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48683-6\_45}, doi = {10.1007/3-540-48683-6\_45}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/Schumann99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ki/Schumann98, author = {Johann Schumann}, title = {Verifikation von Authentifikationsprotokollen mit Automatischen Beweisern}, journal = {K{\"{u}}nstliche Intell.}, volume = {12}, number = {4}, pages = {48--53}, year = {1998}, timestamp = {Tue, 14 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ki/Schumann98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/MoserILSGSM97, author = {Max Moser and Ortrun Ibens and Reinhold Letz and Joachim Steinbach and Christoph Goller and Johann Schumann and Klaus Mayr}, title = {{SETHEO} and {E-SETHEO} - The {CADE-13} Systems}, journal = {J. Autom. Reason.}, volume = {18}, number = {2}, pages = {237--246}, year = {1997}, url = {https://doi.org/10.1023/A:1005808119103}, doi = {10.1023/A:1005808119103}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/MoserILSGSM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/WolfS97, author = {Andreas Wolf and Johann Schumann}, editor = {William McCune}, title = {{ILF-SETHEO:} Processing Model Elimination Proofs for Natural Language Output}, booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1249}, pages = {61--64}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63104-6\_8}, doi = {10.1007/3-540-63104-6\_8}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/WolfS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/FischerS97, author = {Bernd Fischer and Johann Schumann}, editor = {William McCune}, title = {{SETHEO} Goes Software Engineering: Application of {ATP} to Software Reuse}, booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1249}, pages = {65--68}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63104-6\_9}, doi = {10.1007/3-540-63104-6\_9}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/FischerS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Schumann97, author = {Johann Schumann}, editor = {William McCune}, title = {Automatic Verification of Cryptographic Protocols with {SETHEO}}, booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1249}, pages = {87--100}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63104-6\_12}, doi = {10.1007/3-540-63104-6\_12}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Schumann97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/SchumannF97, author = {Johann Schumann and Bernd Fischer}, title = {{NORA/HAMMR:} Making Deduction-Based Software Component Retrieval Practical}, booktitle = {1997 International Conference on Automated Software Engineering, {ASE} 1997, Lake Tahoe, CA, USA, November 2-5, 1997}, pages = {246--254}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/ASE.1997.632845}, doi = {10.1109/ASE.1997.632845}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/SchumannF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/el/97/Schumann97, author = {Johann Schumann}, editor = {James Geller and Hiroaki Kitano and Christian B. Suttner}, title = {SiCoTHEO - Simple competitive parallel theorem provers based on {SETHEO}}, booktitle = {Parallel Processing for Artificial Intelligence 3}, series = {Machine Intelligence and Pattern Recognition}, volume = {20}, pages = {231--246}, publisher = {Elsevier}, year = {1997}, url = {https://doi.org/10.1016/s0923-0459(97)80012-2}, doi = {10.1016/S0923-0459(97)80012-2}, timestamp = {Fri, 12 Jun 2020 13:51:31 +0200}, biburl = {https://dblp.org/rec/books/el/97/Schumann97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Schumann96, author = {Johann Schumann}, editor = {Michael A. McRobbie and John K. Slaney}, title = {SiCoTHEO: Simple Competitive Parallel Theorem Provers}, booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1104}, pages = {240--244}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61511-3\_87}, doi = {10.1007/3-540-61511-3\_87}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/Schumann96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tableaux/Schumann95, author = {Johann Schumann}, editor = {Peter Baumgartner and Reiner H{\"{a}}hnle and Joachim Posegga}, title = {Using the Theorem Prover {SETHEO} for Verifying the Development of a Communication Protocol in {FOCUS:} {A} Case Study}, booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {918}, pages = {338--352}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59338-1\_46}, doi = {10.1007/3-540-59338-1\_46}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/tableaux/Schumann95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Schumann94, author = {Johann Schumann}, title = {Tableaux-based Theorem Provers: Systems and Implementations}, journal = {J. Autom. Reason.}, volume = {13}, number = {3}, pages = {409--421}, year = {1994}, url = {https://doi.org/10.1007/BF00881952}, doi = {10.1007/BF00881952}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Schumann94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Schumann94, author = {Johann Schumann}, editor = {Alan Bundy}, title = {{DELTA} - {A} Bottom-up Preprocessor for Top-Down Theorem Provers - System Abstract}, booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {814}, pages = {774--777}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58156-1\_58}, doi = {10.1007/3-540-58156-1\_58}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/Schumann94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/GollerLMS94, author = {Christoph Goller and Reinhold Letz and Klaus Mayr and Johann Schumann}, editor = {Alan Bundy}, title = {{SETHEO} {V3.2:} Recent Developments - System Abstract}, booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {814}, pages = {778--782}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58156-1\_59}, doi = {10.1007/3-540-58156-1\_59}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/GollerLMS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/SchumannJ94, author = {Johann Schumann and Manfred R. Jobmann}, editor = {Constantine Halatsis and Dimitris G. Maritsas and George Philokyprou and Sergios Theodoridis}, title = {Analysing the Load Balancing Scheme of a Parallel System on Multiprocessors - {A} Modeling Approach}, booktitle = {{PARLE} '94: Parallel Architectures and Languages Europe, 6th International {PARLE} Conference, Athens, Greece, July 4-8, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {817}, pages = {819--822}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58184-7\_165}, doi = {10.1007/3-540-58184-7\_165}, timestamp = {Fri, 17 Jul 2020 16:12:46 +0200}, biburl = {https://dblp.org/rec/conf/parle/SchumannJ94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/LetzSBB92, author = {Reinhold Letz and Johann Schumann and Stefan Bayerl and Wolfgang Bibel}, title = {{SETHEO:} {A} High-Performance Theorem Prover}, journal = {J. Autom. Reason.}, volume = {8}, number = {2}, pages = {183--212}, year = {1992}, url = {https://doi.org/10.1007/BF00244282}, doi = {10.1007/BF00244282}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/LetzSBB92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Schumann92, author = {Johann Schumann}, editor = {Deepak Kapur}, title = {{KPROP} - An AND-parallel Theorem Prover for Propositional Logic implemented in {KL1} (System Abstract)}, booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {607}, pages = {740--742}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55602-8\_215}, doi = {10.1007/3-540-55602-8\_215}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/Schumann92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigmetrics/JobmannS92, author = {Manfred R. Jobmann and Johann Schumann}, editor = {Michael K. Molloy and Blaine D. Gaither}, title = {Modelling and Performances Analysis of a Parallel Theorem Prover}, booktitle = {Proceedings of the 1992 {ACM} {SIGMETRICS} joint international conference on Measurement and modeling of computer systems, Newport, Rhode Island, USA, June 1-5, 1992}, pages = {259--260}, publisher = {{ACM}}, year = {1992}, url = {https://doi.org/10.1145/133057.133158}, doi = {10.1145/133057.133158}, timestamp = {Fri, 30 Jul 2021 16:13:32 +0200}, biburl = {https://dblp.org/rec/conf/sigmetrics/JobmannS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:tr/tum/FKI-173-92, author = {Johann M. Ph. Schumann and Max Moser}, title = {A graphical user interface for {SETHEO:} proposal}, journal = {Forschungsberichte, {TU} Munich}, volume = {{FKI} 173 92}, pages = {1--23}, year = {1992}, url = {https://d-nb.info/930835778}, timestamp = {Sun, 10 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/tr/tum/FKI-173-92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/dnb/Schumann91, author = {Johann M. Ph. Schumann}, title = {Efficient theorem provers based on an abstract machine}, school = {Technical University Munich, Germany}, year = {1991}, url = {https://d-nb.info/921283970}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/dnb/Schumann91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mmb/JobmannS91, author = {Manfred R. Jobmann and Johann Schumann}, editor = {Axel Lehmann and Fritz Lehmann}, title = {Modelling and performance Analysis of a Parallel Theorem Prover}, booktitle = {Messung, Modellierung und Bewertung von Rechensystemen, 6. GI/ITG-Fachtagung, 18.-20. September 1991, Neubiberg, Deutschland, Proceedings}, series = {Informatik-Fachberichte}, volume = {286}, pages = {228--243}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-3-642-76934-4\_16}, doi = {10.1007/978-3-642-76934-4\_16}, timestamp = {Mon, 22 Nov 2021 17:43:14 +0100}, biburl = {https://dblp.org/rec/conf/mmb/JobmannS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:tr/tum/TUM-I-9129, author = {Manfred R. Jobmann and Johann Schumann}, title = {Modelling and performance analysis of a parallel theorem prover}, journal = {Forschungsberichte, {TU} Munich}, volume = {{TUM} {I} 9129}, pages = {1--17}, year = {1991}, url = {https://d-nb.info/920820042}, timestamp = {Mon, 11 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/tr/tum/TUM-I-9129.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:tr/tum/TUM-I-9133, author = {Johann M. Ph. Schumann}, title = {Parallelization of inference systems by using an abstract machine}, journal = {Forschungsberichte, {TU} Munich}, volume = {{TUM} {I} 9133}, pages = {1--17}, year = {1991}, url = {https://d-nb.info/920820034}, timestamp = {Sun, 10 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/tr/tum/TUM-I-9133.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/SchumannL90, author = {Johann Schumann and Reinhold Letz}, editor = {Mark E. Stickel}, title = {{PARTHEO:} {A} High-Performance Parallel Theorem Prover}, booktitle = {10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {449}, pages = {40--56}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-52885-7\_78}, doi = {10.1007/3-540-52885-7\_78}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/SchumannL90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/SchumannLK90, author = {Johann Schumann and Reinhold Letz and Franz J. Kurfess}, editor = {Mark E. Stickel}, title = {Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation}, booktitle = {10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {449}, pages = {683}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-52885-7\_145}, doi = {10.1007/3-540-52885-7\_145}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/SchumannLK90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/Schumann90, author = {Johann Schumann}, editor = {Bertram Fronh{\"{o}}fer and Graham Wrightson}, title = {Parallel Theorem Provers - An Overview}, booktitle = {Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {590}, pages = {26--50}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-55425-4\_2}, doi = {10.1007/3-540-55425-4\_2}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/Schumann90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:tr/tum/TUM-I-9009, author = {Johann Schumann and Reinhold Letz}, title = {{PARTHEO:} a high performance parallel theorem prover}, journal = {Forschungsberichte, {TU} Munich}, volume = {{TUM} {I} 9009}, pages = {1--17}, year = {1990}, url = {https://d-nb.info/921304757}, timestamp = {Sun, 10 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/tr/tum/TUM-I-9009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ogai/ErtelSS89, author = {Wolfgang Ertel and Johann Schumann and Christian B. Suttner}, editor = {Johannes Retti and Karl Leidlmair}, title = {Learning Heuristics for a Theorem Prover Using Back Propagation}, booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls, Tirol, 28. bis 30. September 1989, Proceedings}, series = {Informatik-Fachberichte}, volume = {208}, pages = {87--95}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/978-3-642-74688-8\_10}, doi = {10.1007/978-3-642-74688-8\_10}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ogai/ErtelSS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wi/BayerlLS89, author = {Stefan Bayerl and Reinhold Letz and Johann Schumann}, editor = {Wilfried Brauer and Christian Freksa}, title = {{PARTHEO:} {A} Parallel Inference Machine}, booktitle = {Wissensbasierte Systeme, 3. Internationaler GI-Kongress, M{\"{u}}nchen, 16./17. Oktober 1989, Proceedings}, series = {Informatik-Fachberichte}, volume = {227}, pages = {527--539}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/978-3-642-75182-0\_51}, doi = {10.1007/978-3-642-75182-0\_51}, timestamp = {Wed, 24 May 2017 08:29:35 +0200}, biburl = {https://dblp.org/rec/conf/wi/BayerlLS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:tr/tum/FKI-100-89, author = {Johann M. Ph. Schumann and Wolfgang Ertel and Christian B. Suttner}, title = {Learning heuristics for a theorem prover using back propagation}, journal = {Forschungsberichte, {TU} Munich}, volume = {{FKI} 100 89}, pages = {1--9}, year = {1989}, url = {https://d-nb.info/920636071}, timestamp = {Sun, 10 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/tr/tum/FKI-100-89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ac/BibelKAHS86, author = {Wolfgang Bibel and Franz J. Kurfess and K. Aspetsberger and Peter Hintenaus and Johann Schumann}, editor = {Philip C. Treleaven and Marco Vanneschi}, title = {Parallel Inference Machines}, booktitle = {Future Parallel Computers, An Advanced Course, Pisa, Italy, June 9-20, 1986, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {272}, pages = {185--226}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18203-9\_5}, doi = {10.1007/3-540-18203-9\_5}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ac/BibelKAHS86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aimsa/BayerlEKLS86, author = {Stefan Bayerl and Elmar Eder and Franz J. Kurfess and Reinhold Letz and Johann Schumann}, editor = {Philippe Jorrand and Vassil Stoyanov Sgurev}, title = {An Implementation of a PROLOG-like Theorem Prover based on the Connection Method}, booktitle = {Artificial Intelligence {II:} Methodology, Systems, Applications - Proceedings of the Second International Conference on Artificial Intelligence: Methodology, Systems, Applications, {AIMSA} 1986, Varna, Bulgaria, September 16-19, 1986}, pages = {29--36}, publisher = {North-Holland}, year = {1986}, timestamp = {Thu, 16 Mar 2017 14:35:58 +0100}, biburl = {https://dblp.org/rec/conf/aimsa/BayerlEKLS86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.