S. Schewe
发表
Sanjay Jain,
Sven Schewe,
John Fearnley,
2017,
SPIN.
Sven Schewe,
Markus N. Rabe,
S. Schewe,
2013,
Theor. Comput. Sci..
Bernd Finkbeiner,
Sven Schewe,
S. Schewe,
2007,
AFM '07.
S. Schewe,
I. Lamprou,
2018
.
S. Schewe,
Daniele Dell'Erba,
2022,
ArXiv.
Yi Li,
Sven Schewe,
Ernst Moritz Hahn,
2014
.
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2020,
ArXiv.
Sven Schewe,
John Fearnley,
John Fearnley,
2011,
Log. Methods Comput. Sci..
E. M. Hahn,
F. Somenzi,
S. Schewe,
2022,
ArXiv.
S. Schewe,
Amélie David,
2015
.
E. M. Hahn,
F. Somenzi,
S. Schewe,
2022,
ArXiv.
S. Schewe,
Alexander Weinert,
Martin Zimmermann,
2018
.
S. Schewe,
Qiyi Tang,
Tansholpan Zhanabekova,
2022,
ArXiv.
Bernd Finkbeiner,
Sven Schewe,
S. Schewe,
2007,
International Journal on Software Tools for Technology Transfer.
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles
pdf
Sven Schewe,
David Flynn,
Alec Banks,
2021,
AISafety@IJCAI.
S. Schewe,
Rüdiger Ehlers,
2022,
ArXiv.
E. M. Hahn,
F. Somenzi,
S. Schewe,
2022,
NeurIPS.
S. Schewe,
D. Wojtczak,
R. Mayr,
2017
.
E. M. Hahn,
S. Schewe,
Guangyuan Li,
2013,
ArXiv.
S. Schewe,
D. Wojtczak,
Mehmet Kurucan,
2022,
IJCAI.
S. Schewe,
Xiaowei Huang,
Pengfei Yang,
2022,
Trans. Mach. Learn. Res..
S. Schewe,
Alec Banks,
Xiaowei Huang,
2021,
ACM Trans. Embed. Comput. Syst..
S. Schewe,
B. Finkbeiner,
2007,
International Journal on Software Tools for Technology Transfer.
S. Schewe,
Daniele Dell'Erba,
2022,
Frontiers in Computer Science.
Sven Schewe,
Fabio Somenzi,
Dominik Wojtczak,
2020,
CONCUR.
S. Schewe,
2006,
Biological Psychiatry.
Sven Schewe,
Anshul Gupta,
Anshul Gupta,
2018,
Games.
Sven Schewe,
Anshul Gupta,
Anshul Gupta,
2015,
AAMAS.
Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant
S. Schewe,
D. Wojtczak,
A. Faraggi,
2021,
2101.03227.
Sven Schewe,
Dominik Wojtczak,
Mahmoud A. A. Mousa,
2017,
FORMATS.
Sven Schewe,
Dominik Wojtczak,
Mahmoud A. A. Mousa,
2016,
2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).
Bernd Finkbeiner,
Sven Schewe,
Matthias Brill,
2006,
FORTE.
Sven Schewe,
Ashutosh Trivedi,
Anshul Gupta,
2015,
SEFM.
S. Schewe,
Wei Huang,
Xiaowei Huang,
2021,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S).
Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features
pdf
Sven Schewe,
Nicolas Berthier,
Xiaowei Huang,
2021,
ArXiv.
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2018,
TACAS.
S. Schewe,
Wei Huang,
Xiaowei Huang,
2022,
2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).
Mark Ryan,
Michael Fisher,
Sven Schewe,
2009,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Sven Schewe,
Russell Martin,
Ioannis Lamprou,
2016,
DISC.
Sven Schewe,
S. Schewe,
2018
.
Bernd Finkbeiner,
Sven Schewe,
S. Schewe,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Farn Wang,
Jung-Hsuan Wu,
Sven Schewe,
2015,
Theor. Comput. Sci..
Farn Wang,
Chung-Hao Huang,
Jung-Hsuan Wu,
2013,
ArXiv.
Michael Fisher,
Sven Schewe,
Savas Konur,
2013,
Theor. Comput. Sci..
Sven Schewe,
Russell Martin,
Vassilis Zissimopoulos,
2018,
MFCS.
Sven Schewe,
Nicolas Berthier,
Idress Husien,
2017,
SETTA.
Moshe Y. Vardi,
S. Schewe,
Yong Li,
2023,
ArXiv.
Sven Schewe,
Ming-Hsien Tsai,
Matthias Heizmann,
2016,
TACAS.
Lijun Zhang,
Sven Schewe,
Guangyuan Li,
2013,
CONCUR.
Sven Schewe,
John Fearnley,
Doron A. Peled,
2012,
J. Comput. Syst. Sci..
Lijun Zhang,
Sven Schewe,
John Fearnley,
2010,
Inf. Comput..
Lijun Zhang,
Sven Schewe,
Markus N. Rabe,
2010,
ArXiv.
Lijun Zhang,
Sven Schewe,
Yong Li,
2018,
VMCAI.
Sven Schewe,
S. Schewe,
2009,
FoSSaCS.
Sven Schewe,
S. Schewe,
2009,
STACS.
Sven Schewe,
Massimo Benerecetti,
Fabio Mogavero,
2021,
ArXiv.
Sanjay Jain,
John Fearnley,
S. Schewe,
2019,
International Journal on Software Tools for Technology Transfer.
Sven Schewe,
Martin Zimmermann,
Alexander Weinert,
2018,
CSL.
Sanjay Jain,
Sven Schewe,
John Fearnley,
2017,
International Journal on Software Tools for Technology Transfer.
Lijun Zhang,
Sven Schewe,
Ernst Moritz Hahn,
2016,
VMCAI.
Sven Schewe,
Ashutosh Trivedi,
Thomas Varghese,
2015,
ICALP.
Sven Schewe,
Anshul Gupta,
Anshul Gupta,
2014,
2014 21st International Symposium on Temporal Representation and Reasoning.
Sven Schewe,
Anshul Gupta,
Anshul Gupta,
2013,
ArXiv.
Sven Schewe,
S. Schewe,
2009,
MFCS.
Sven Schewe,
S. Schewe,
2008,
CSL.
Sven Schewe,
S. Schewe,
2007,
J. Comput. Syst. Sci..
Sven Schewe,
S. Schewe,
2010,
it Inf. Technol..
Anca Muscholl,
Sven Schewe,
S. Schewe,
2013,
MFCS.
Sven Schewe,
Thomas Brihaye,
Julie De Pril,
2012,
LFCS.
Sven Schewe,
Markus N. Rabe,
S. Schewe,
2010,
QAPL.
Sven Schewe,
Markus N. Rabe,
S. Schewe,
2010,
Acta Informatica.
Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems
pdf
Sven Schewe,
Alec Banks,
Vibhav Bharti,
2021,
ArXiv.
Sven Schewe,
Dominik Wojtczak,
Anshul Gupta,
2014,
GandALF.
Bernd Finkbeiner,
Sven Schewe,
S. Schewe,
2010,
CSL.
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2021,
FM.
Liang Zhang,
Sven Schewe,
Xinping Yi,
2020,
ArXiv.
Farn Wang,
Chung-Hao Huang,
Sven Schewe,
2016,
IEEE Transactions on Software Engineering.
Farn Wang,
Chung-Hao Huang,
Sven Schewe,
2012,
GandALF.
Sven Schewe,
Ashutosh Trivedi,
Shankara Narayanan Krishna,
2014,
HSCC.
E. M. Hahn,
F. Somenzi,
S. Schewe,
2019,
TACAS.
Sven Schewe,
S. Schewe,
2014,
Inf. Process. Lett..
Farn Wang,
Chung-Hao Huang,
Sven Schewe,
2013,
Acta Informatica.
Sven Schewe,
Roderick Bloem,
Ayrat Khalimov,
2017,
SYNT@CAV.
Nathalie Bertrand,
Sven Schewe,
John Fearnley,
2012,
CSL.
Sven Schewe,
Richard Mayr,
Patrick Totzke,
2021,
FoSSaCS.
Sven Schewe,
Fabio Somenzi,
Dominik Wojtczak,
2020,
ATVA.
Anca Muscholl,
Sven Schewe,
S. Schewe,
2016,
Theor. Comput. Sci..
E. M. Hahn,
F. Somenzi,
S. Schewe,
2023,
Formal Aspects Comput..
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2021,
ArXiv.
Sven Schewe,
Nicolas Berthier,
Idress Husien,
2017,
SPIN.
Sven Schewe,
Idress Husien,
S. Schewe,
2016,
SEFM.
S. Schewe,
A. Lisitsa,
N. ALjuaid,
2022,
ICISSP.
Bernd Finkbeiner,
Sven Schewe,
S. Schewe,
2006,
CSL.
S. Schewe,
B. Finkbeiner,
2006,
LOPSTR.
Michael Fisher,
Alice Miller,
M. Ryan,
2009
.
Michael Fisher,
Sven Schewe,
Savas Konur,
2009
.
S. Schewe,
Qiyi Tang,
2023,
ArXiv.
S. Schewe,
2020,
FSTTCS.
Sven Schewe,
S. Schewe,
2010,
FSTTCS.
John Fearnley,
S. Schewe,
Lijun Zhang,
2010,
FSTTCS 2010.
S. Schewe,
I. Lamprou,
R. Martin,
2019,
Theor. Comput. Sci..
Sven Schewe,
Russell Martin,
Ioannis Lamprou,
2016,
CIAC.