Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Tews, Hendrik"'
Autor:
Baier, Christel, Engel, Benjamin, Klüppelholz, Sascha, Märcker, Steffen, Tews, Hendrik, Völp, Marcus
Publikováno v:
NASA Formal Methods Lecture Notes in Computer Science, Volume 7871, 2013, pp 307-321, ISSN: 0302-9743
Probabilistic-Write/Copy-Select (PWCS) is a novel synchronization scheme suggested by Nicholas Mc Guire which avoids expensive atomic operations for synchronizing access to shared objects. Instead, PWCS makes inconsistencies detectable and recoverabl
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A27341
https://tud.qucosa.de/api/qucosa%3A27341/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A27341/attachment/ATT-0/
Autor:
Baier, Christel, Daum, Marcus, Engel, Benjamin, Härtig, Hermann, Klein, Joachim, Klüppelholz, Sascha, Märcker, Steffen, Tews, Hendrik, Völp, Marcus
Publikováno v:
Franck Cassez, Ralf Huuck, Gerwin Klein and Bastian Schlich (Hrsg.): Proceedings Seventh Conference on Systems Software Verification (SSV 2012), Sydney, Australia, 28-30 November 2012, Electronic Proceedings in Theoretical Computer Science 102, S.. 156–166
Reliability in terms of functional properties from the safety-liveness spectrum is an indispensable requirement of low-level operating-system (OS) code. However, with evermore complex and thus less predictable hardware, quantitative and probabilistic
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A27132
https://tud.qucosa.de/api/qucosa%3A27132/attachment/ATT-1/
https://tud.qucosa.de/api/qucosa%3A27132/attachment/ATT-1/
Autor:
Baier, Christel, Daum, Marcus, Engel, Benjamin, Härtig, Hermann, Klein, Joachim, Klüppelholz, Sascha, Märcker, Steffen, Tews, Hendrik, Völp, Marcus
Publikováno v:
Formal Methods for Industrial Critical Systems: 17th International Workshop on Formal methods for industrial critical systems, Paris, France, August 27-28, 2012, Proceedings, S. 47-62, ISBN: 978-3-642-32469-7, ISSN: 0302-9743
Reliability of low-level operating-system (OS) code is an indispensable requirement. This includes functional properties from the safety-liveness spectrum, but also quantitative properties stating, e.g., that the average waiting time on locks is suff
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A27128
https://tud.qucosa.de/api/qucosa%3A27128/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A27128/attachment/ATT-0/
Autor:
Tews, Hendrik
This thesis is about coalgebraic methods in software specification and verification. It extends known techniques of coalgebraic specification to a more general level to pave the way for real world applications of software verification. There are two
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A24178
https://tud.qucosa.de/api/qucosa%3A24178/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A24178/attachment/ATT-0/
Autor:
Baier, Christel, Daum, Marcus, Engel, Benjamin, Härtig, Hermann, Klein, Joachim, Klüppelholz, Sascha, Märcker, Steffen, Tews, Hendrik, Völp, Marcus
Publikováno v:
EPTCS 102, 2012, pp. 156-166
Reliability in terms of functional properties from the safety-liveness spectrum is an indispensable requirement of low-level operating-system (OS) code. However, with evermore complex and thus less predictable hardware, quantitative and probabilistic
Externí odkaz:
http://arxiv.org/abs/1211.6196
Publikováno v:
EPTCS 102, 2012, pp. 73-87
In recent projects on operating-system verification, C and C++ data types are often formalized using a semantics that does not fully specify the precise byte encoding of objects. It is well-known that such an underspecified data-type semantics can be
Externí odkaz:
http://arxiv.org/abs/1211.6190
Autor:
Tews, Hendrik
Publikováno v:
In Electronic Notes in Theoretical Computer Science 11 December 2004 106:335-353
Autor:
Tews, Hendrik
Publikováno v:
In Electronic Notes in Theoretical Computer Science October 2002 65(1):317-336
Autor:
Becker, Hanno, Crespo, Juan Manuel, Galowicz, Jacek, Hensel, Ulrich, Hirai, Yoichi, Kunz, César, Nakata, Keiko, Sacchini, Jorge Luis, Tews, Hendrik, Tuerk, Thomas
Publikováno v:
FM 2016: Formal Methods; 2016, p69-84, 16p