Studio Tom Emerson – Sports, Nature und the City
... Schwiete, Lea Blodig, Lukas Burkhart, Noemi Engel, Sybille Nussbaum, Vedran Brasnic ... and Ice Rink Candidates Katharina Schwiete, Lea Blodig, Lukas Burkhart, Noemi Engel, Sybille ...
https://ethz.ch/content/dam/ethz/special-interest/infk/inst-infsec/...
... @Article{ basin.ea:berichte:2000, author = {David Basin and Luca Vigan{\`o} and Burkhart Wolff ... @Article{ basin.ea:berichte:2000, author = {David Basin and Luca Vigan{\`o} and Burkhart Wolff ...
https://ethz.ch/content/dam/ethz/special-interest/infk/inst-infsec/...
... and Frank Rittinger and Burkhart Wolff We present a proof environment for the specification language Z ... and Frank Rittinger and Burkhart Wolff We present a proof environment for the specification language Z ...
Visitors – Information Security Group | ETH Zurich
... Soledad Egea Gonzales, Atos Research: 06.02.2012-10.02.2012 Prof. Burkhart Wolff: 01.10.2010-30.09.2012 ... Dr. Marina Soledad Egea Gonzales, Atos Research: 06.02.2012-10.02.2012 Prof. Burkhart Wolff ...
https://ethz.ch/content/dam/ethz/special-interest/infk/inst-infsec/...
... Abstract: A Proposal for a Formal OCL Semantics in Isabelle/HOL Achim D. Brucker and Burkhart Wolff ... Abstract: A Proposal for a Formal OCL Semantics in Isabelle/HOL Achim D. Brucker and Burkhart Wolff ...
https://ethz.ch/content/dam/ethz/special-interest/infk/inst-infsec/...
... Abstract: HOL-OCL: Experiences, Consequences and Design Choices Achim D. Brucker and Burkhart Wolff ... Abstract: HOL-OCL: Experiences, Consequences and Design Choices Achim D. Brucker and Burkhart Wolff ...
https://ethz.ch/content/dam/ethz/special-interest/infk/inst-infsec/...
... Burkhart Wolff We present a formal model of the Java two's-complement integral arithmetics. The model ... Burkhart Wolff We present a formal model of the Java two's-complement integral arithmetics. The model ...
https://ethz.ch/content/dam/ethz/special-interest/infk/inst-infsec/...
... Hironobu Kuruma and Shin Nakajima and Burkhart Wolff Z is a standardized and well-established formal ... Hironobu Kuruma and Shin Nakajima and Burkhart Wolff Z is a standardized and well-established formal ...
Publications 2002 – Information Security Group | ETH Zurich
... and Stefan Friedrich and Frank Rittinger and Burkhart Wolff. HOL-Z 2.0: A Proof Environment for Z ... Burkhart Wolff. The CVS-Server Case Study: A Formalized Security Architecture. In FM-TOOLS 2002. Technical ... Stefan Friedrich and Frank Rittinger and Burkhart Wolff. HOL-Z 2.0: A Proof Environment for Z ... ) vertical_align_bottom ] Achim D. Brucker and Frank Rittinger and Burkhart Wolff. The CVS-Server Case Study: A Formalized ...
http://people.inf.ethz.ch/basin/pubs/z-env.bib
... Hironobu Kuruma and Shin Nakajima and Burkhart Wolff}, journal = {Computer Software --- Journal of the ... Hironobu Kuruma and Shin Nakajima and Burkhart Wolff}, journal = {Computer Software --- Journal of the ...
