Ulrich Schmid
发表
Peter Robinson,
Martin Biely,
Ulrich Schmid,
2015,
NETYS.
Andreas Steininger,
Helmut Veith,
Ulrich Schmid,
2007
.
Helmut Veith,
Ulrich Schmid,
Igor Konnov,
2013,
SPIN.
Ulrich Schmid,
Heinrich Moser,
U. Schmid,
2006,
OPODIS.
Ulrich Schmid,
U. Schmid,
2000
.
Matthias Függer,
Ulrich Schmid,
Matthias Függer,
2011,
Distributed Computing.
Andreas Steininger,
Matthias Függer,
Christoph Lenzen,
2014,
J. Comput. Syst. Sci..
Ulrich Schmid,
Peter N. Robinson,
2008
.
Johann Blieberger,
Ulrich Schmid,
U. Schmid,
1992,
J. Comput. Syst. Sci..
Ulrich Schmid,
Andreas Tertel,
Josef Meinhardt,
2000
.
Ulrich Schmid,
1995,
Theor. Comput. Sci..
Helmut Veith,
Ulrich Schmid,
Igor Konnov,
2013,
FMCAD 2013.
Krishnendu Chatterjee,
Andreas Pavlogiannis,
Ulrich Schmid,
2017,
Real-Time Systems.
Krishnendu Chatterjee,
Andreas Pavlogiannis,
Ulrich Schmid,
2014,
2014 IEEE Real-Time Systems Symposium.
Ulrich Schmid,
Klaus Schossmaier,
U. Schmid,
2001,
Distributed Computing.
Ulrich Schmid,
Heinrich Moser,
Bernd Thallner,
2010,
Wirel. Networks.
Ulrich Schmid,
Daniel Pfleger,
2016
.
Matthias Függer,
Ulrich Schmid,
Andreas Dielacher,
2009,
2010 European Dependable Computing Conference.
Ulrich Schmid,
Nikolaus Kerö,
Herbert Nachtnebel,
2004,
Real-Time Systems.
Ulrich Schmid,
Manfred Schwarz,
Martin Zeiner,
2017,
ArXiv.
Ulrich Schmid,
Kyrill Winkler,
Thomas Nowak,
2019,
PODC.
Ulrich Schmid,
Heinrich Moser,
U. Schmid,
2013,
Distributed Computing.
Ulrich Schmid,
Alexander Kößler,
U. Schmid,
2014
.
Matthias Függer,
Ulrich Schmid,
Robert Najvirt,
2014,
ArXiv.
Ulrich Schmid,
Manfred Schwarz,
Kyrill Winkler,
2019,
Distributed Computing.
Ulrich Schmid,
Manfred Schwarz,
Kyrill Winkler,
2015,
ICDCN.
Thomas Polzer,
Andreas Steininger,
Michael Hajek,
2013,
Microprocess. Microsystems.
Ulrich Schmid,
Heinrich Moser,
U. Schmid,
2011,
Distributed Computing.
Krishnendu Chatterjee,
Ulrich Schmid,
Martin Zeiner,
2021,
Discret. Appl. Math..
Ulrich Schmid,
1997,
Random Struct. Algorithms.
Johann Blieberger,
Ulrich Schmid,
U. Schmid,
1992,
BIT.
Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms
pdf
Helmut Veith,
Ulrich Schmid,
Igor Konnov,
2012,
ArXiv.
Matthias Függer,
Christoph Lenzen,
Ulrich Schmid,
2013,
2013 Euromicro Conference on Digital System Design.
Ulrich Schmid,
Kyrill Winkler,
Yoram Moses,
2019,
OPODIS.
Johann Blieberger,
Ulrich Schmid,
U. Schmid,
1992,
Perform. Evaluation.
Ulrich Schmid,
Heinrich Moser,
2006
.
Matthias Függer,
Ulrich Schmid,
Thomas Nowak,
2013,
ALGOSENSORS.
Ulrich Schmid,
Alfred Pusterhofer,
1995,
Comput. Networks ISDN Syst..
Ulrich Schmid,
Gottfried Fuchs,
Matthias Függer,
2009
.
Dahlia Malkhi,
Ulrich Schmid,
Lidong Zhou,
2009,
IEEE Transactions on Dependable and Secure Computing.
Matthias Függer,
Ulrich Schmid,
Robert Najvirt,
2018,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Peter Robinson,
Martin Biely,
Ulrich Schmid,
2011,
PODC '11.
Ulrich Schmid,
U. Schmid,
2010,
FORMATS.
Matthias Függer,
Ulrich Schmid,
Gottfried Fuchs,
2006,
2006 Sixth European Dependable Computing Conference.
Wolfgang Kastner,
Ulrich Schmid,
2000
.
Ulrich Schmid,
Klaus Schossmaier,
U. Schmid,
1997,
Real-Time Systems.
Ulrich Schmid,
Dieter Hochtl,
U. Schmid,
1997
.
Matthias Függer,
Ulrich Schmid,
Andreas Dielacher,
2010,
2010 European Dependable Computing Conference.
Ulrich Schmid,
1992,
NATO ASI RTC.
Ulrich Schmid,
Martin Perner,
U. Schmid,
2018,
2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS).
Ulrich Schmid,
1994
.
Andreas Steininger,
Matthias Függer,
Christoph Lenzen,
2015,
Bull. EATCS.
Ulrich Schmid,
1992,
RAIRO Theor. Informatics Appl..
Ulrich Schmid,
Manfred Schwarz,
Kyrill Winkler,
2018,
SIROCCO.
Peter Robinson,
Martin Biely,
Ulrich Schmid,
2009,
OPODIS.
Peter Robinson,
Martin Biely,
Ulrich Schmid,
2012,
SIROCCO.
Christoph Lenzen,
Ulrich Schmid,
Martin Perner,
2013
.
Ulrich Schmid,
U. Schmid,
2010
.
Christof Fetzer,
Ulrich Schmid,
Martin Süßkraut,
2005,
25th IEEE International Conference on Distributed Computing Systems (ICDCS'05).
Peter Robinson,
Martin Biely,
Ulrich Schmid,
2014,
PODC '14.
Andreas Steininger,
Ulrich Schmid,
Gottfried Fuchs,
2006
.
Andreas Steininger,
Matthias Függer,
Christoph Lenzen,
2012,
ArXiv.
Ulrich Schmid,
Heinrich Moser,
2008,
OPODIS.
Booting clock synchronization in partially synchronous systems with hybrid process and link failures
Ulrich Schmid,
Josef Widder,
U. Schmid,
2007,
Distributed Computing.
Ulrich Schmid,
Josef Widder,
2018,
DISC.
Ulrich Schmid,
Thomas Nowak,
Thomas Nowak,
2010
.
Michael Drmota,
Ulrich Schmid,
M. Drmota,
1993,
IEEE Trans. Inf. Theory.
Roman Obermaisser,
Ulrich Schmid,
Hermann Kopetz,
2005
.
Ulrich Schmid,
Josef Widder,
U. Schmid,
2009,
Distributed Computing.
Peter Robinson,
Martin Biely,
Ulrich Schmid,
2009,
DISC.
Andreas Steininger,
Ulrich Schmid,
Varadan Savulimedu Veeravalli,
2017,
Microprocess. Microsystems.
Ulrich Schmid,
Herbert Nachtnebel,
1999
.
Helmut Veith,
Ulrich Schmid,
Igor Konnov,
2013,
2013 Formal Methods in Computer-Aided Design.
Matthias Függer,
Christoph Lenzen,
Danny Dolev,
2013,
J. Comput. Syst. Sci..
Dahlia Malkhi,
Ulrich Schmid,
Lidong Zhou,
2006,
SSS.
Ulrich Schmid,
Bettina Weiss,
2001,
Proceedings 20th IEEE Symposium on Reliable Distributed Systems.
Ulrich Schmid,
2008
.
Ulrich Schmid,
Manfred Schwarz,
Martin Zeiner,
2019,
Discret. Appl. Math..
Dahlia Malkhi,
Ulrich Schmid,
Lidong Zhou,
2006
.
Ulrich Schmid,
Stefan Stöckler,
1992
.
Peter Robinson,
Ulrich Schmid,
U. Schmid,
2008,
PODC '08.
Klaus Diepold,
Ulrich Schmid,
Johannes Günther,
2017
.
Gérard Le Lann,
Ulrich Schmid,
Josef Widder,
2005,
EDCC.
Matthias Függer,
Christoph Lenzen,
Danny Dolev,
2016,
J. Comput. Syst. Sci..
Ulrich Schmid,
1992,
NATO ASI RTC.
Ulrich Schmid,
Klaus Schossmaier,
2003,
Inf. Comput..
Helmut Veith,
Ulrich Schmid,
Igor Konnov,
2014,
SFM.
Michael Drmota,
Ulrich Schmid,
1993,
SIAM J. Appl. Math..
Wolfgang A. Halang,
Horst F. Wedde,
K. H. Kim,
1998,
COMPSAC.
Peter Robinson,
Ulrich Schmid,
2011,
Theor. Comput. Sci..
Ulrich Schmid,
Alois M. J. Goiser,
Samar Khattab,
2010,
2010 Third International Conference on Communication Theory, Reliability, and Quality of Service.
Ulrich Schmid,
U. Schmid,
2008,
SSS.
Ulrich Schmid,
U. Schmid,
2000,
Chic. J. Theor. Comput. Sci..
Thomas Polzer,
Andreas Steininger,
Ulrich Schmid,
2012,
2012 15th Euromicro Conference on Digital System Design.
Gérard Le Lann,
Martin Biely,
Ulrich Schmid,
2005,
ISAS.
Idit Keidar,
Ulrich Schmid,
Bettina Weiss,
2008,
SIAM J. Comput..
Peter Robinson,
Ulrich Schmid,
2008,
SSS.
Ulrich Schmid,
Klaus Schossmaier,
Bettina Weiss,
1999,
MASCOTS '99. Proceedings of the Seventh International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.
Andreas Steininger,
Ulrich Schmid,
M. Sust,
2007,
Elektrotech. Informationstechnik.
Ulrich Schmid,
Manfred Schwarz,
Kyrill Winkler,
2016,
ArXiv.
Peter Robinson,
Martin Biely,
Ulrich Schmid,
2014,
IEEE Transactions on Parallel and Distributed Systems.
Ulrich Schmid,
2005,
Real-Time Systems.
Matthias Függer,
Ulrich Schmid,
Thomas Nowak,
2016,
IEEE Trans. Computers.
Ulrich Schmid,
Roman Kuznets,
Thomas Schlögl,
2020,
PRIMA.
Ulrich Schmid,
Peter N. Robinson,
Martin Biely,
2009
.
Christof Fetzer,
Ulrich Schmid,
C. Fetzer,
2004,
25th IEEE International Conference on Distributed Computing Systems (ICDCS'05).
Martin Biely,
Ulrich Schmid,
Bettina Weiss,
2011,
Theor. Comput. Sci..
Ulrich Schmid,
U. Schmid,
2007,
2007 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication.
Ulrich Schmid,
W. A. Halang,
K. H. Kim,
1998
.
Ezio Bartocci,
Yu Meng,
Ulrich Schmid,
2018,
ADHS.
Ulrich Schmid,
U. Schmid,
1992,
ICALP.
Andreas Steininger,
Axel Jantsch,
Horst Zimmermann,
2015,
Elektrotech. Informationstechnik.
Ulrich Schmid,
Bernd Thallner,
2003
.
Ulrich Schmid,
U. Schmid,
1993,
Theor. Comput. Sci..
Ulrich Schmid,
John M. Rushby,
Bettina Weiss,
2002,
Proceedings 22nd International Conference on Distributed Computing Systems.
Ulrich Schmid,
2001,
2001 International Conference on Dependable Systems and Networks.
Ulrich Schmid,
Lutz Goertz,
Julia Behrens,
2018
.
Ulrich Schmid,
Roman Kuznets,
Laurent Prosperi,
2019,
TARK.
Peter Robinson,
Martin Biely,
Ulrich Schmid,
2011,
2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum.
Andreas Steininger,
Ulrich Schmid,
Varadan Savulimedu Veeravalli,
2014,
Fifteenth International Symposium on Quality Electronic Design.
Matthias Függer,
Ulrich Schmid,
Thomas Nowak,
2013,
IEEE Transactions on Computers.
Ulrich Schmid,
2000
.
Shlomi Dolev,
Ulrich Schmid,
Bernadette Charron-Bost,
2008,
Fault-Tolerant Distributed Algorithms on VLSI Chips.
Krishnendu Chatterjee,
Ulrich Schmid,
Alexander Kößler,
2013,
HSCC '13.
Wolfgang Kastner,
Ulrich Schmid,
1993
.
Matthias Függer,
Ulrich Schmid,
Robert Najvirt,
2015,
ACM Great Lakes Symposium on VLSI.
Wolfgang Kastner,
Ulrich Schmid,
1997
.
Martin Horauer,
Ulrich Schmid,
Klaus Schossmaier,
1998,
IPPS/SPDP Workshops.
Johann Blieberger,
Ulrich Schmid,
U. Schmid,
1995,
J. Algorithms.
Martin Horauer,
Ulrich Schmid,
Roland Holler,
2002
.
Matthias Függer,
Ulrich Schmid,
Robert Najvirt,
2015,
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Christof Fetzer,
Ulrich Schmid,
C. Fetzer,
2003,
22nd International Symposium on Reliable Distributed Systems, 2003. Proceedings..
Ulrich Schmid,
U. Schmid,
1995
.
Ulrich Schmid,
Bernhard Glück,
Robert Kirschner,
2015
.
Helmut Veith,
Ulrich Schmid,
Igor Konnov,
2012,
ArXiv.
Ulrich Schmid,
Kyrill Winkler,
U. Schmid,
2019,
Bull. EATCS.
Andreas Steininger,
Matthias Függer,
Ulrich Schmid,
2008,
2008 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools.
Matthias Függer,
Christoph Lenzen,
Danny Dolev,
2011,
SSS.
Ulrich Schmid,
U. Schmid,
2001,
Annu. Rev. Control..
Ulrich Schmid,
1997
.
Peter Robinson,
Martin Biely,
Ulrich Schmid,
2015,
NETYS.
Matthias Függer,
Ulrich Schmid,
Thomas Nowak,
2013,
Perform. Evaluation.
Martin Horauer,
Ulrich Schmid,
Dietmar Loy,
1997,
Real-Time Systems.
Ulrich Schmid,
Roman Kuznets,
Krisztina Fruzsa,
2021,
TARK.
Ulrich Schmid,
Kyrill Winkler,
Thomas Nowak,
2021,
FCT.
Ulrich Schmid,
Arman Ferdowsi,
Jurgen Maier,
2021,
ArXiv.
Ulrich Schmid,
Manfred Schwarz,
2021,
SSS.
Matthias Függer,
Ulrich Schmid,
Thomas Nowak,
2021,
ACM Great Lakes Symposium on VLSI.
Ulrich Schmid,
Sergio Rajsbaum,
Hugo Rincon Galeana,
2021,
ITCS.
Ulrich Schmid,
Samar Khattab,
Gerhard Fassl,
2010,
2010 Third International Conference on Communication Theory, Reliability, and Quality of Service.
Gérard Le Lann,
Ulrich Schmid,
Inria Rocquencourt,
2005
.
Martin Horauer,
Ulrich Schmid,
Dietmar Loy,
1996
.
Ulrich Schmid,
Josef Widder,
U. Schmid,
2008
.
Ulrich Schmid,
Bettina Weiss,
U. Schmid,
2001
.
Ulrich Schmid,
1992
.
Ulrich Schmid,
U. Schmid,
2004
.