Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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 = {Mon, 07 Aug 2023 15:56:21 +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 = {Tue, 14 May 2019 10:00:36 +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}
}
a service of 
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.
last updated on 2024-04-25 05:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
