Shield synthesis (English)
- New search for: Könighofer, Bettina
- Further information on Könighofer, Bettina:
-
https://orcid.org/0000-0001-5183-5452
- New search for: Alshiekh, Mohammed
- New search for: Bloem, Roderick
- New search for: Humphrey, Laura
- New search for: Könighofer, Robert
- New search for: Topcu, Ufuk
- New search for: Wang, Chao
- New search for: Könighofer, Bettina
- Further information on Könighofer, Bettina:
-
https://orcid.org/0000-0001-5183-5452
- New search for: Alshiekh, Mohammed
- New search for: Bloem, Roderick
- New search for: Humphrey, Laura
- New search for: Könighofer, Robert
- New search for: Topcu, Ufuk
- New search for: Wang, Chao
In:
Formal Methods in System Design
;
51
, 2
; 332-361
;
2017
-
ISSN:
- Article (Journal) / Print
-
Title:Shield synthesis
-
Contributors:Könighofer, Bettina ( author ) / Alshiekh, Mohammed ( author ) / Bloem, Roderick ( author ) / Humphrey, Laura ( author ) / Könighofer, Robert ( author ) / Topcu, Ufuk ( author ) / Wang, Chao ( author )
-
Published in:Formal Methods in System Design ; 51, 2 ; 332-361
-
Publisher:
- New search for: Springer US
- New search for: Springer
-
Place of publication:Dordrecht [u.a.]
-
Publication date:2017
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 54.30 / 53.52 / 54.20 / 54.00
- Further information on Basic classification
- New search for: 770/3155
-
Keywords:
-
Classification:
-
Source:
Table of contents – Volume 51, Issue 2
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 267
-
Preface of the Special Issue in Memoriam Helmut VeithGottlob, Georg / Henzinger, Thomas A. / Weissenbacher, Georg et al. | 2017
- 270
-
Para Formula Not Shown : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithmsKonnov, I. / Lazić, M. / Veith, H. / Widder, J. et al. | 2017
- 270
-
Para : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithmsKonnov, Igor / Lazić, Marijana / Veith, Helmut / Widder, Josef et al. | 2017
- 308
-
On compiling Boolean circuits optimized for secure multi-party computationBüscher, Niklas / Franz, Martin / Holzer, Andreas / Veith, Helmut / Katzenbeisser, Stefan et al. | 2017
- 332
-
Shield synthesisKönighofer, Bettina / Alshiekh, Mohammed / Bloem, Roderick / Humphrey, Laura / Könighofer, Robert / Topcu, Ufuk / Wang, Chao et al. | 2017
- 362
-
Program synthesis for interactive-security systemsHarris, William R. / Jha, Somesh / Reps, Thomas W. / Seshia, Sanjit A. et al. | 2017
- 395
-
A methodology to take credit for high-level verification during RTL verificationDoucet, Frederic / Kurshan, Robert et al. | 2017
- 419
-
Keeping logic in the trivium of computer science: a teaching perspectiveMakowsky, J. A. / Zamansky, A. et al. | 2017