ETH E-Collection · ETH Institutional Repository

1. A model transformation semantics and analysis methodology for SecureUML

Brucker, Achim D., Doser, Jürgen and Wolff, Burkhart (2006)

Reports

2. Contract wizard II

Wotruba, Dominik (2003)

Master Theses

3. Errors in dialog design and how to avoid them

Nievergelt, Jürg (1982)

Reports

4. Software specification languages based on regular expressions

Shaw, Alan C. (1979)

Reports

5. Ueber die spezifische Wärme des Kobalts

Göbl, Adolf (1911)

Doctoral and Habilitation Theses

6. Event-B development of the FindP program

Hoang, Thai Son and Abrial, Jean-Raymond (2009)

Reports

7. Modular specification and verification of delegation with SMT solvers

Kassios, Ioannis T. and Müller, Peter (2011)

Reports

8. Automatic transformation from graphical process models to executable code

Hauser, Rainer (2010)

Reports

9. Ueber die Anomalie der spezifischen Wärme bei Lithium

Pankow, Georg W. (1936)

Doctoral and Habilitation Theses

10. Spezifizieren und Generieren von integrierten Umgebungen mit GIPSY

Helbling, Andreas and Murer, Tobias (1995)

Reports

11. Spezifische Wärme der Nitride Seltener Erden

Stutius, Wolfgang (1969)

Doctoral and Habilitation Theses

12. Aspekte unbeschränkter Parallelität

Gati, Georg (1976)

Doctoral and Habilitation Theses

13. Spezifische Wärme von Uebergangsmetallen und ihren Legierungen bei tiefen Temperaturen

Heiniger, Ferdinand (1966)

Doctoral and Habilitation Theses

14. A survey on event-b decomposition

Hoang, Thai Son, Iliasov, Alexei, Silva, Renato A. and Wei, Wei (2012)

Conference Contributions

15. Specifying and Verifying Hysteresis Signature System with HOL-Z

Basin, David A., Kuruma, Hironobu, Takaragi, Kazuo and Wolff, Burkhart (2005)

Reports

16. Event-B patterns and their tool support

Hoang, Thai Son, Fürst, Andreas and Abrial, Jean-Raymond (2012)

Reports

17. Model driven security for process-oriented systems

Basin, David A., Doser, Jürgen and Lodderstedt, Torsten

Conference Contributions

18. From ease in programming to easy maintenance: extending DSL usability with montages

Anlauff, Matthias, Bemporad, Alberto, Chakraborty, Samarjit, Kutter, Philipp, Mignone, Domenico, Morari, Manfred, Pierantonio, Alfonso and Thiele, Lothar (1999)

Reports

19. Die spezifische Wärme seignette-elektrischer Substanzen

Bantle, Werner (1942)

Doctoral and Habilitation Theses

20. Stepwise refinement of mixed specifications of concurrent programs

Sanders, Beverly A. (1989)

Reports

21. An ASM specification of C# threads and the .NET memory model

Stärk, Robert F. and Börger E. (Egon) (2003)

Reports

22. Die Spezifizierungssprache GIPSY/L

Helbling, Andreas and Murer, Tobias (1995)

Reports

23. Specifying access control in Event-B

Hoang, Thai Son, Basin, David A. and Abrial, Jean-Raymond (2009)

Reports

24. Techniken der Darstellung computergestützter Informationssysteme

Jäger, Hans (1977)

Doctoral and Habilitation Theses

25. Studien über die spezifische Wärme von Koks und einigen Kohlenstoffmodifikationen

Debrunner, Paul (1923)

Doctoral and Habilitation Theses