J. Schumann
发表
Tim Menzies,
Johann Schumann,
Corina S. Pasareanu,
2008,
2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
M. Field,
O. Mengshoel,
J. Schumann,
2011
.
Adnan Darwiche,
A. Srivastava,
O. Mengshoel,
2010
.
K. Gundy-Burlet,
M. Field,
J. Schumann,
2008
.
Christoph Goller,
Johann Schumann,
Reinhold Letz,
1994,
CADE.
Johann M. Ph. Schumann,
J. Schumann,
1991
.
J. Schumann,
Max Moser,
1993
.
J. Schumann,
R. Letz,
1990
.
Huafeng Yu,
J. Schumann,
Yuning He,
2022,
PHM Society European Conference.
Ole J. Mengshoel,
Johann Schumann,
Adnan Darwiche,
2010
.
F. Holzapfel,
J. Schumann,
Konstantin Dmitriev,
2021,
2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC).
Yan Liu,
Johann Schumann,
Pramod Gupta,
2010,
Applications of Neural Networks in High Assurance Systems.
Ole J. Mengshoel,
Johann Schumann,
Erik Reed,
2011
.
P. Gupta,
J. Schumann,
C. Tseng,
2006,
2006 IEEE Aerospace Conference.
Johann Schumann,
Yuning He,
J. Schumann,
2020,
2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
Johann Schumann,
Pramod Gupta,
Stephen Jacklin,
2005
.
Yan Liu,
Johann M.Ph. Schumann,
Yan Liu,
2010,
Applications of Neural Networks in High Assurance Systems.
Ole J. Mengshoel,
Johann Schumann,
Ashok N. Srivastava,
2013,
Innovations in Systems and Software Engineering.
Johann Schumann,
Christian B. Suttner,
C. Suttner,
1994
.
Johann Schumann,
Stacy D. Nelson,
J. Schumann,
2004,
37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.
Franz J. Kurfess,
Wolfgang Bibel,
Johann Schumann,
1986,
Future Parallel Computers.
Gabor Karsai,
Johann Schumann,
Michael Lowry,
2019,
AIAA Scitech 2019 Forum.
Johann Schumann,
Rajkumar Thirumalainambi,
Peter Berg,
2010
.
Tim Menzies,
Johann Schumann,
Karen Gundy-Burlet,
2009
.
J. Schumann,
K. Gundy-Burlet,
T. Menzies,
2009,
2009 IEEE Aerospace conference.
Tim Menzies,
Johann Schumann,
Thomas M. Barrett,
2008
.
J. Schumann,
Konstantin Dmitriev,
F. Holzapfel,
2022,
2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC).
F. Holzapfel,
J. Schumann,
Konstantin Dmitriev,
2022,
AIAA SCITECH 2022 Forum.
Ole J. Mengshoel,
Johann Schumann,
Timmy Mbaya,
2011
.
Ole J. Mengshoel,
Johann Schumann,
Timmy Mbaya,
2011,
2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology.
Ole J. Mengshoel,
Johann Schumann,
Ashok N. Srivastava,
2010,
FoSER '10.
Johann Schumann,
Stacy D. Nelson,
J. Schumann,
2002,
WOSS '02.
Johann Schumann,
Pramod Gupta,
Stacy Nelson,
2003
.
Chetan S. Kulkarni,
Johann Schumann,
Michael Lowry,
2021
.
Johann Schumann,
Kristin Yvonne Rozier,
Patrick Moosbrugger,
2017,
Formal Methods in System Design.
Johann Schumann,
Kristin Yvonne Rozier,
Patrick Moosbrugger,
2016,
RV.
Johann Schumann,
Kristin Yvonne Rozier,
Thomas Reinbacher,
2014,
TACAS.
Johann Schumann,
Kristin Yvonne Rozier,
Kristin Y. Rozier,
2017
.
Wolfgang Bibel,
Johann Schumann,
Stefan Bayerl,
1992,
Journal of Automated Reasoning.
Johann Schumann,
Reinhold Letz,
J. Schumann,
1990,
CADE.
Johann Schumann,
J. Schumann,
1994,
Journal of Automated Reasoning.
Johann Schumann,
Kristin Yvonne Rozier,
Patrick Moosbrugger,
2015
.
Johann Schumann,
J. Schumann,
1990,
Dagstuhl Seminar on Parallelization in Inference Systems.
Adnan Darwiche,
O. Mengshoel,
Knot Pipatsrisawat,
2013,
Innovations in Systems and Software Engineering.
Johann Schumann,
Yuning He,
J. Schumann,
2020,
2020 International Joint Conference on Neural Networks (IJCNN).
Johann Schumann,
Yuning He,
J. Schumann,
2020,
2020 IEEE Security and Privacy Workshops (SPW).
Ole J. Mengshoel,
Johann Schumann,
Timmy Mbaya,
2012
.
Yan Liu,
J. Schumann,
2010,
Applications of Neural Networks in High Assurance Systems.
Johann Schumann,
Michael Lowry,
Pramod Gupta,
2004
.