Sven Schewe
发表
Farn Wang,
Chung-Hao Huang,
Jung-Hsuan Wu,
2013,
ArXiv.
Sven Schewe,
Richard Mayr,
Patrick Totzke,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Sven Schewe,
S. Schewe,
2009,
STACS.
Bernd Finkbeiner,
Sven Schewe,
S. Schewe,
2010,
CSL.
Sven Schewe,
Paul Gainer,
Ernst Moritz Hahn,
2018,
ATVA.
Sven Schewe,
Cong Tian,
2011,
2011 Eighteenth International Symposium on Temporal Representation and Reasoning.
Sven Schewe,
S. Schewe,
2007,
J. Comput. Syst. Sci..
Sven Schewe,
Russell Martin,
Vassilis Zissimopoulos,
2018,
MFCS.
Sven Schewe,
Markus N. Rabe,
S. Schewe,
2010,
QAPL.
Sven Schewe,
S. Schewe,
2008,
CSL.
Bernd Finkbeiner,
Sven Schewe,
Hans-Jörg Peter,
2008,
2008 Real-Time Systems Symposium.
Lijun Zhang,
Sven Schewe,
Markus N. Rabe,
2010,
ArXiv.
Sven Schewe,
2008,
ICALP.
Sven Schewe,
John Fearnley,
2012,
ICALP.
Sven Schewe,
2020,
FSTTCS.
Sven Schewe,
Ashutosh Trivedi,
Shankara Narayanan Krishna,
2014,
HSCC.
Michael Fisher,
Sven Schewe,
Savas Konur,
2013,
Theor. Comput. Sci..
Sven Schewe,
Doron Peled,
2012
.
Sanjay Jain,
Sven Schewe,
John Fearnley,
2017,
SPIN.
Sven Schewe,
Martin Zimmermann,
Alexander Weinert,
2019,
Log. Methods Comput. Sci..
Lijun Zhang,
Sven Schewe,
John Fearnley,
2010,
Inf. Comput..
Sven Schewe,
Nicolas Berthier,
Idress Husien,
2017,
SPIN.
Sven Schewe,
Thomas Varghese,
2012,
ATVA.
Sven Schewe,
John Fearnley,
Doron A. Peled,
2015,
J. Comput. Syst. Sci..
Sven Schewe,
Thomas Varghese,
2014,
MFCS.
Sven Schewe,
Thomas Varghese,
2014,
MFCS.
Lijun Zhang,
Sven Schewe,
Guangyuan Li,
2013,
CONCUR.
Bernd Finkbeiner,
Sven Schewe,
2007,
ATVA.
Sven Schewe,
Dominik Wojtczak,
Anshul Gupta,
2014,
GandALF.
Sven Schewe,
S. Schewe,
2010,
it Inf. Technol..
Sven Schewe,
S. Schewe,
2009,
FoSSaCS.
Sven Schewe,
Fabio Somenzi,
Dominik Wojtczak,
2020,
ArXiv.
Lijun Zhang,
Sven Schewe,
Ernst Moritz Hahn,
2016,
CAV.
Jef Wijsen,
Sven Schewe,
Thomas Schneider,
2019,
Theor. Comput. Sci..
Bernd Finkbeiner,
Sven Schewe,
Matthias Brill,
2006,
FORTE.
Sven Schewe,
Nadeschda Nikitina,
2013,
International Semantic Web Conference.
Sven Schewe,
Fabio Somenzi,
Dominik Wojtczak,
2020,
TACAS.
Sven Schewe,
Russell Martin,
Ioannis Lamprou,
2017,
CIAC.
Bernd Finkbeiner,
Sven Schewe,
S. Schewe,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Sven Schewe,
2006,
ATVA.
Farn Wang,
Chung-Hao Huang,
Sven Schewe,
2016,
IEEE Transactions on Software Engineering.
Sven Schewe,
Lijun Zhang,
2018,
CONCUR.
Bernd Finkbeiner,
Sven Schewe,
Hans-Jörg Peter,
2008,
TACAS.
Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata
pdf
Sven Schewe,
2010,
ArXiv.
Sven Schewe,
Doron A. Peled,
Alon Brook,
2015,
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Sven Schewe,
John Fearnley,
Doron A. Peled,
2012,
J. Comput. Syst. Sci..
Sven Schewe,
Markus N. Rabe,
S. Schewe,
2013,
Theor. Comput. Sci..
Sven Schewe,
Dominik Wojtczak,
Mahmoud A. A. Mousa,
2017,
FORMATS.
Sven Schewe,
2006
.
Anca Muscholl,
Sven Schewe,
S. Schewe,
2016,
Theor. Comput. Sci..
Bernd Finkbeiner,
Sven Schewe,
S. Schewe,
2007,
AFM '07.
Sven Schewe,
Doron A. Peled,
2014,
HOWARD-60.
Sven Schewe,
Russell Martin,
Ioannis Lamprou,
2019,
Theor. Comput. Sci..
Sven Schewe,
S. Schewe,
2018
.
Bernd Finkbeiner,
Sven Schewe,
2005,
ATVA.
Sven Schewe,
Doron A. Peled,
2014,
Acta Informatica.
Sven Schewe,
Anshul Gupta,
Anshul Gupta,
2018,
Games.
Sven Schewe,
S. Schewe,
2010,
FSTTCS.
Sven Schewe,
Dominik Wojtczak,
Karoliina Lehtinen,
2019,
ArXiv.
Sven Schewe,
Doron A. Peled,
2011,
INFINITY.
Bernd Finkbeiner,
Sven Schewe,
2012,
International Journal on Software Tools for Technology Transfer.
Sven Schewe,
John Fearnley,
John Fearnley,
2011,
Log. Methods Comput. Sci..
Sven Schewe,
S. Schewe,
2009,
MFCS.
Sven Schewe,
Fabio Somenzi,
Dominik Wojtczak,
2020,
ATVA.
Nathalie Bertrand,
Sven Schewe,
2012,
FORMATS.
Sven Schewe,
Richard Mayr,
Patrick Totzke,
2021,
FoSSaCS.
Sven Schewe,
2007,
FSTTCS.
Sven Schewe,
Anshul Gupta,
Anshul Gupta,
2015,
AAMAS.
Sven Schewe,
Ming-Hsien Tsai,
Matthias Heizmann,
2016,
TACAS.
Sven Schewe,
Doron A. Peled,
Gal Katz,
2011,
CAV.
Sven Schewe,
Anshul Gupta,
Anshul Gupta,
2013,
ArXiv.
Malte Helmert,
Sven Schewe,
Robert Mattmüller,
2006,
ATVA.
Farn Wang,
Chung-Hao Huang,
Sven Schewe,
2015,
TOPL.
Liang Zhang,
Sven Schewe,
Xinping Yi,
2020,
ArXiv.
Sven Schewe,
Anshul Gupta,
Anshul Gupta,
2014,
2014 21st International Symposium on Temporal Representation and Reasoning.
Sven Schewe,
Idress Husien,
S. Schewe,
2016,
SEFM.
Sven Schewe,
Ashutosh Trivedi,
Anshul Gupta,
2015,
SEFM.
Sven Schewe,
Doron A. Peled,
Gal Katz,
2011,
ATVA.
Nathalie Bertrand,
Sven Schewe,
John Fearnley,
2012,
CSL.
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2019
.
Sven Schewe,
Dominik Wojtczak,
Mahmoud A. A. Mousa,
2016,
2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2018,
TACAS.
Lijun Zhang,
Sven Schewe,
John Fearnley,
2016,
Inf. Comput..
Farn Wang,
Jung-Hsuan Wu,
Sven Schewe,
2015,
Theor. Comput. Sci..
Farn Wang,
Chung-Hao Huang,
Sven Schewe,
2013,
TACAS.
Sven Schewe,
Nicolas Berthier,
Idress Husien,
2017,
SETTA.
Sven Schewe,
S. Schewe,
2014,
Inf. Process. Lett..
Bernd Finkbeiner,
Sven Schewe,
S. Schewe,
2006,
CSL.
Bernd Finkbeiner,
Sven Schewe,
Hans-Jörg Peter,
2010,
IET Softw..
Sanjay Jain,
Sven Schewe,
John Fearnley,
2017,
International Journal on Software Tools for Technology Transfer.
Lijun Zhang,
Sven Schewe,
Yong Li,
2018,
VMCAI.
Sven Schewe,
Roderick Bloem,
Ayrat Khalimov,
2017,
SYNT@CAV.
Sven Schewe,
Thomas Brihaye,
Julie De Pril,
2012,
LFCS.
Sven Schewe,
Paul Gainer,
Ernst Moritz Hahn,
2018,
QEST.
Sven Schewe,
Markus N. Rabe,
S. Schewe,
2010,
Acta Informatica.
Sven Schewe,
Doron A. Peled,
Blaise Genest,
2015,
FoSSaCS.
Yi Li,
Lijun Zhang,
Sven Schewe,
2014,
FM.
Lijun Zhang,
Sven Schewe,
2018,
CONCUR.
Bernd Finkbeiner,
Sven Schewe,
2006,
LOPSTR.
Sven Schewe,
Ashutosh Trivedi,
Thomas Varghese,
2015,
ICALP.
Sven Schewe,
Russell Martin,
Ioannis Lamprou,
2020,
Theor. Comput. Sci..
Sven Schewe,
Fabio Somenzi,
Dominik Wojtczak,
2020,
CONCUR.
Sven Schewe,
Fabio Somenzi,
Dominik Wojtczak,
2019,
ArXiv.
Bernd Finkbeiner,
Sven Schewe,
2007,
Int. J. Found. Comput. Sci..
Sven Schewe,
John Fearnley,
2013
.
Mark Ryan,
Michael Fisher,
Sven Schewe,
2009,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Anca Muscholl,
Sven Schewe,
S. Schewe,
2013,
MFCS.
Farn Wang,
Chung-Hao Huang,
Sven Schewe,
2012,
GandALF.
Sven Schewe,
Nadeschda Nikitina,
2013,
Description Logics.
Bernd Finkbeiner,
Sven Schewe,
S. Schewe,
2007,
International Journal on Software Tools for Technology Transfer.
Sven Schewe,
Russell Martin,
Ioannis Lamprou,
2016,
DISC.
Lijun Zhang,
Sven Schewe,
Ernst Moritz Hahn,
2016,
VMCAI.
Sven Schewe,
Martin Zimmermann,
Alexander Weinert,
2018,
CSL.
Sven Schewe,
2009,
Software Synthesis.
Farn Wang,
Chung-Hao Huang,
Sven Schewe,
2013,
Acta Informatica.
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2021
.
Sven Schewe,
Massimo Benerecetti,
Fabio Mogavero,
2021,
ArXiv.
Sven Schewe,
Russell Martin,
Vassilis Zissimopoulos,
2021,
Theor. Comput. Sci..
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles
pdf
Sven Schewe,
David Flynn,
Alec Banks,
2021,
AISafety@IJCAI.
Sven Schewe,
Wei Huang,
Xiaowei Huang,
2021,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S).
Sven Schewe,
Xinping Yi,
Lijun Zhang,
2022
.
Sven Schewe,
Pawel Parys,
Dominik Wojtczak,
2021,
ArXiv.
Sven Schewe,
Ernst Moritz Hahn,
Andrea Turrini,
2022,
VMCAI.
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2021,
CAV.
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,
Ashutosh Trivedi,
Fabio Somenzi,
2021,
ArXiv.
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,
2021,
FM.
Sven Schewe,
Lijun Zhang,
2021,
J. Comput. Syst. Sci..
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2020,
ArXiv.
Yi Li,
Sven Schewe,
Ernst Moritz Hahn,
2014
.
Michael Fisher,
Sven Schewe,
Savas Konur,
2009
.