ETH E-Collection · ETH Institutional Repository

1. Event-B development of the FindP program

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

Reports

2. Software specification languages based on regular expressions

Shaw, Alan C. (1979)

Reports

3. Spezifizieren und Generieren von integrierten Umgebungen mit GIPSY

Helbling, Andreas and Murer, Tobias (1995)

Reports

4. The logic of event-B

Schmalz, Matthias (2011)

Reports

5. A survey on event-b decomposition

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

Conference Contributions

6. Event-B patterns and their tool support

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

Reports

7. 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

8. Die Spezifizierungssprache GIPSY/L

Helbling, Andreas and Murer, Tobias (1995)

Reports

9. Specifying access control in Event-B

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

Reports

10. A Trace-based Model for Multiparty Contracts

Hvitved, Tom, Klaedtke, Felix and Zălinescu, Eugen (2012)

Journal Items

11. Tool support for qualitative reasoning in event-B

Yilmaz, Emre (2010)

Master Theses

12. Trinity: The OSGi module development server

Granat, Jérémie (2008)

Master Theses

13. Modular language specification and composition

Denzler, Christoph (2001)

Doctoral and Habilitation Theses

14. A Modular Design for the Common Language Runtime (CLR) Architecture

Fruja, Nicu Georgian (2005)

Reports

15. A Modular Design for the Common Language Runtime (CLR) Architecture

Fruja, Nicu Georgian (2005)

Reports

16. GIPSY: a generator for incremental programming systems

Marti, Reto and Murer, Tobias (1992)

Reports

17. ZEUS

Lieberherr, Karl J. and Knudsen, Svend Erik (1983)

Reports

18. Reasoning about data abstraction in contract languages

Darvas, Ádám Péter (2009)

Doctoral and Habilitation Theses

19. A proposal for a real-time extension of TTCN

Walter, Thomas and Grabowski, Jens (1996)

Reports

20. Relevance filters for event-B

Röder, Jann (2010)

Master Theses

21. Developing topology discovery in Event-B*

Hoang, Thai Son, Kuruma, Hironobu, Basin, David A. and Abrial, Jean-Raymond (2008)

Reports

22. Second-order signature

Güting, Ralf Hartmut (1992)

Reports

23. A modeling language for mixed circuit and semiconductor device simulation

Litsios, James (1996)

Doctoral and Habilitation Theses

24. Towards VLSI spiking neuron assemblies as general-purpose processors

Neftci, Emre Özgür (2010)

Doctoral and Habilitation Theses

25. A formal definition of JML in Coq and its application to runtime assertion checking

Lehner, Hermann (2011)

Doctoral and Habilitation Theses