K. Schneider
发表
K. Schneider,
1997
.
Sandeep K. Shukla,
Klaus Schneider,
Jean-Pierre Talpin,
2014,
Des. Autom. Embed. Syst..
Tobias Schüle,
Klaus Schneider,
Jens Brandt,
2004,
CASES '04.
Klaus Schneider,
Jens Brandt,
Mike Gemünde,
2011,
2011 IEEE International High Level Design Validation and Test Workshop.
K. Schneider,
D. W. Hoffmann,
1999
.
Thomas Kropf,
Klaus Schneider,
Ramayya Kumar,
1993,
HUG.
K. Schneider,
Ramayya Kumar,
T. Kropf,
1992
.
K. Schneider,
Marc Dahlem,
2018
.
K. Schneider,
J. Brandt,
O. Mohamed,
2007
.
K. Schneider,
W. Kunz,
Sireesha R Basavaraju,
2017
.
K. Schneider,
B. Heiligers,
1992
.
K. Schneider,
A. Morgenstern,
Sven Lamberti,
2008
.
K. Schneider,
Syed Haider,
2019
.
Daniel Kroening,
Klaus Schneider,
Cindy Eisner,
2005,
Lecture Notes in Computer Science.
K. Schneider,
Ramayya Kumar,
T. Kropf,
1994
.
K. Schneider,
Holger Weindel,
2007
.
K. Schneider,
G. Logothetis,
2000,
Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537).
K. Schneider,
Roberto Ziller,
2003
.
K. Schneider,
Bamdev Mishra,
R. Gentilini,
2006
.
K. Schneider,
B. Mishra,
R. Gentilini,
2006
.
K. Schneider,
Anoop Bhagyanath,
Julius Roob,
2022,
LCTES.
Marcel Christian Werner,
K. Schneider,
2022,
2022 Forum on Specification & Design Languages (FDL).
J. Talpin,
K. Schneider,
S. Shukla,
2012,
Design Automation for Embedded Systems.
Thomas Kropf,
Klaus Schneider,
Ramayya Kumar,
1993,
HUG.
Klaus Schneider,
Tripti Jain,
K. Schneider,
2018,
MBMV.
Klaus Schneider,
Tripti Jain,
Ankesh Jain,
2017,
2017 International Conference on ReConFigurable Computing and FPGAs (ReConFig).
Klaus Schneider,
Tripti Jain,
Ankesh Jain,
2017,
NoCArc@MICRO.
Klaus Schneider,
Tripti Jain,
K. Schneider,
2016,
2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
K. Schneider,
Omair Rafique,
2022,
SN Computer Science.
Klaus Schneider,
Jens Brandt,
K. Schneider,
2017,
Handbook of Hardware/Software Codesign.
Klaus Schneider,
Jens Brandt,
Yu Bai,
2014,
ACM Trans. Embed. Comput. Syst..
Klaus Schneider,
Manuel Gesell,
Felipe Bichued,
2014,
MBMV.
Klaus Schneider,
Manuel Gesell,
K. Schneider,
2013,
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013).
Klaus Schneider,
Andreas Morgenstern,
Manuel Gesell,
2013,
SEFM.
Klaus Schneider,
Manuel Gesell,
K. Schneider,
2013,
2013 13th International Conference on Application of Concurrency to System Design.
Klaus Schneider,
Jens Brandt,
Mike Gemünde,
2013,
EURASIP J. Embed. Syst..
Sandeep K. Shukla,
Klaus Schneider,
Jean-Pierre Talpin,
2013,
Sci. Comput. Program..
Klaus Schneider,
Manuel Gesell,
K. Schneider,
2013,
MBMV.
Klaus Schneider,
Kerstin Bauer,
K. Schneider,
2011
.
Klaus Schneider,
Jens Brandt,
Yu Bai,
2011,
SCOPES.
Klaus Schneider,
Jens Brandt,
Yu Bai,
2011,
2011 Eleventh International Conference on Application of Concurrency to System Design.
Klaus Schneider,
Jens Brandt,
K. Schneider,
2011
.
Klaus Schneider,
Kerstin Bauer,
K. Schneider,
2010,
HSCC '10.
Klaus Schneider,
Jens Brandt,
K. Schneider,
2009,
2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design.
Klaus Schneider,
Jens Brandt,
K. Schneider,
2009,
SCOPES.
Klaus Schneider,
Jean-Pierre Talpin,
Eric Vecchié,
2009,
2009 Design, Automation & Test in Europe Conference & Exhibition.
Klaus Schneider,
Jens Brandt,
Adrian Willenbücher,
2009,
MBMV.
Klaus Schneider,
Jens Brandt,
Eric Vecchié,
2006,
DIPES.
Klaus Schneider,
Jens Brandt,
Eric Vecchié,
2006,
Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..
Klaus Schneider,
Jens Brandt,
K. Schneider,
2006,
FDL.
Klaus Schneider,
K. Schneider,
2002,
TPHOLs.
Klaus Schneider,
K. Schneider,
2001,
Proceedings Second International Conference on Application of Concurrency to System Design.
Klaus Schneider,
Viktor K. Sabelfeld,
K. Schneider,
1999,
Ershov Memorial Conference.
Klaus Schneider,
Marc Dahlem,
K. Schneider,
2020,
SCOPES.
Klaus Schneider,
Marc Dahlem,
K. Schneider,
2018,
Principled Software Development.
Klaus Schneider,
Andreas Morgenstern,
K. Schneider,
2011,
SPIN.
Klaus Schneider,
K. Schneider,
2001,
LPAR.
Klaus Schneider,
K. Schneider,
1998,
FMCAD.
Tobias Schüle,
Klaus Schneider,
Jens Brandt,
2006,
SLAP@ETAPS.
Klaus Schneider,
Arnd Poetzsch-heffter,
A. Poetzsch-Heffter,
2007
.
Thomas Kropf,
Klaus Schneider,
Ralf Reetz,
1998,
Proceedings Design, Automation and Test in Europe.
Manuel Gesell,
Klaus Schneider,
K. Schneider,
2012,
Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012).
Klaus Schneider,
Michael J. C. Gordon,
Thomas Tuerk,
2006,
Haifa Verification Conference.
Klaus Schneider,
Michael Baldamus,
K. Schneider,
2001,
Proceedings Second International Conference on Application of Concurrency to System Design.
Klaus Schneider,
George Logothetis,
Michaela Huhn,
1999,
CHARME.
Klaus Schneider,
Dirk W. Hoffmann,
K. Schneider,
1999,
TPHOLs.
Thomas Kropf,
Klaus Schneider,
George Logothetis,
1999,
Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).
Klaus Schneider,
George Logothetis,
K. Schneider,
1999,
MBMV.
Klaus Schneider,
Thomas Stauner,
Michaela Huhn,
1999,
FBT.
Klaus Schneider,
Michaela Huhn,
K. Schneider,
1998,
DIPES.
Thomas Kropf,
Klaus Schneider,
Jürgen Ruf,
1998,
MBMV.
Klaus Schneider,
Winfried Grünewald,
K. Schneider,
1998,
MBMV.
Thomas Kropf,
Klaus Schneider,
Jürgen Ruf,
1998
.
Thomas Kropf,
Klaus Schneider,
Ralf Reetz,
1997
.
Thomas Kropf,
Klaus Schneider,
K. Schneider,
1996,
FMCAD.
Thomas Kropf,
Klaus Schneider,
K. Schneider,
1995
.
Klaus Schneider,
Alessandro Gerlinger Romero,
Maurício Gonçalves Vieira Ferreira,
2014,
Innovations in Systems and Software Engineering.
Klaus Schneider,
Mohamed Ammar Ben Khadra,
Yu Bai,
2014,
SpringSim.
Klaus Schneider,
Andreas Morgenstern,
K. Schneider,
2008,
VMCAI.
Klaus Schneider,
Ramayya Kumar,
Dirk Eisenbiegler,
1993,
HUG.
Klaus Schneider,
Kerstin Bauer,
K. Schneider,
2012,
WESE '12.
Sandeep K. Shukla,
Klaus Schneider,
Jean-Pierre Talpin,
2013,
IEEE Transactions on Software Engineering.
Klaus Schneider,
Jens Brandt,
K. Schneider,
2008,
TPHOLs.
Tobias Schüle,
Klaus Schneider,
K. Schneider,
2007,
Formal Methods Syst. Des..
Klaus Schneider,
Jens Brandt,
K. Schneider,
2005,
EUC.
Klaus Schneider,
Jens Brandt,
K. Schneider,
2005,
ICFEM.
Tobias Schüle,
Klaus Schneider,
K. Schneider,
2005,
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05..
Tobias Schüle,
Klaus Schneider,
Jens Brandt,
2005,
Fifth International Conference on Application of Concurrency to System Design (ACSD'05).
K. Schneider,
J. Brandt,
2008
.
Klaus Schneider,
Jens Brandt,
Thomas Tuerk,
2005
.
K. Schneider,
J. Brandt,
T. Tuerk,
2005
.
Klaus Schneider,
Marc Dahlem,
Michael Gillmann,
2017,
LPNMR.
Klaus Schneider,
Manuel Gesell,
K. Schneider,
2012,
PLPV '12.
Klaus Schneider,
Xian Li,
K. Schneider,
2015,
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Thomas Kropf,
Klaus Schneider,
Ramayya Kumar,
1994,
Formal Methods Syst. Des..
Thomas Kropf,
Klaus Schneider,
Ramayya Kumar,
1994,
Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC.
Thomas Kropf,
Klaus Schneider,
Ramayya Kumar,
1993,
CHARME.
Thomas Kropf,
Klaus Schneider,
Ramayya Kumar,
1993,
Formal Methods Syst. Des..
Thomas Kropf,
Klaus Schneider,
Ramayya Kumar,
1991,
CAV.
Thomas Kropf,
Klaus Schneider,
Ramayya Kumar,
1991,
VLSI.
Tobias Schüle,
Klaus Schneider,
K. Schneider,
2004,
Proceedings. 41st Design Automation Conference, 2004..
Klaus Schneider,
Andreas Morgenstern,
Manuel Gesell,
2013,
IFM.
K. Schneider,
Daniel Baudisch,
2015,
International journal of parallel programming.
Klaus Schneider,
Jens Brandt,
Daniel Baudisch,
2012,
2012 International Conference on Embedded Computer Systems (SAMOS).
Klaus Schneider,
Jens Brandt,
Daniel Baudisch,
2011,
2011 12th International Conference on Parallel and Distributed Computing, Applications and Technologies.
Klaus Schneider,
Jens Brandt,
Daniel Baudisch,
2010,
DIPES/BICC.
Tobias Schüle,
Klaus Schneider,
K. Schneider,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Karsten Berns,
Tobias Schüle,
Klaus Schneider,
2007,
ICINCO-RA.
Klaus Schneider,
Maximilian Senftleben,
Roland Meyer,
2014,
2014 14th International Conference on Application of Concurrency to System Design.
Thomas Kropf,
Klaus Schneider,
Ramayya Kumar,
1995,
Proceedings of the 8th International Conference on VLSI Design.
Thomas Kropf,
Klaus Schneider,
Ramayya Kumar,
1994,
TPHOLs.
Klaus Schneider,
Jens Brandt,
K. Schneider,
2012
.
Wolfgang Kunz,
Klaus Schneider,
Christoph Grimm,
2020,
MBMV.
Klaus Schneider,
Andreas Morgenstern,
K. Schneider,
2005,
ICINCO.
S. Edwards,
A. Girault,
K. Schneider,
2014
.
Klaus Schneider,
K. Schneider,
2003
.
Klaus Schneider,
Andreas Morgenstern,
Sven Lamberti,
2008,
MBMV.
Klaus Schneider,
Maximilian Senftleben,
K. Schneider,
2018,
ARCS.
Klaus Schneider,
Nikita Bhardwaj,
Maximilian Senftleben,
2014,
WESE.
Tobias Schüle,
Klaus Schneider,
K. Schneider,
2004,
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..
Klaus Schneider,
Roberto Ziller,
K. Schneider,
2005,
TECS.
Karsten Berns,
Klaus Schneider,
Mario Trapp,
2011,
KES.
Klaus Schneider,
George Logothetis,
K. Schneider,
2002,
Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.
Klaus Schneider,
George Logothetis,
K. Schneider,
2001,
Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.
Klaus Schneider,
Maximilian Senftleben,
K. Schneider,
2018,
Int. J. Crit. Comput. Based Syst..
Klaus Schneider,
Maximilian Senftleben,
K. Schneider,
2016,
VECoS.
Klaus Schneider,
Thomas Tuerk,
K. Schneider,
2005
.
Klaus Schneider,
Tripti Jain,
K. Schneider,
2018,
2018 13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC).
Klaus Schneider,
Anoop Bhagyanath,
Tripti Jain,
2016,
2016 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC).
K. Schneider,
Anoop Bhagyanath,
2023,
ACM Trans. Embed. Comput. Syst..
A. Benveniste,
K. Schneider,
Edward Lee,
2010
.
Tobias Schüle,
Klaus Schneider,
Mario Trapp,
2006,
SEAMS '06.
Klaus Schneider,
George Logothetis,
K. Schneider,
2001,
Proceedings 13th Euromicro Conference on Real-Time Systems.
J. Talpin,
K. Schneider,
S. Shukla,
2012,
Design Automation for Embedded Systems.