Skip to contents

Margaria, Tiziana [Other]; Margaria-Steffen, Tiziana [Editor] ; TACAS 7 2001 Genua, ETAPS 4 2001 Genua

Tools and algorithms for the construction and analysis of systems : 7th international conference ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2001

Published in: Lecture notes in computer science ; 2031
Margaria, Tiziana [Other]; Margaria-Steffen, Tiziana [Editor] ; ACOS 1998 Lissabon, ETAPS 1 1998 Lissabon, VISUAL 1998 Lissabon, AIN 2 1997 Cesena

Services and visualization : towards user-friendly design ; ACoS '98, VISUAL '98, AIN '97 ; [ETAPS '98] ; selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1385
Margaria, Tiziana [Other]; Steffen, Bernhard [Other]; Margaria-Steffen, Tiziana [Editor] ; ISoLA 1 2004 Paphos

Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; revised selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 4313
Margaria-Steffen, Tiziana [Editor] ; TACAS 2 1996 Passau

Tools and algorithms for the construction and analysis of systems : second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1996

Published in: Lecture notes in computer science ; 1055
Margaria-Steffen, Tiziana [Editor] ; ISoLA 4 2010 Heraklion

Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraclion, Crete, Greece, October 18 - 21, 2010, proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 20XX-

Published in: Lecture notes in computer science ; .
Margaria-Steffen, Tiziana [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen

First order theories for the verification of complex FSMs

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, Fachgruppe Informatik, 1991

Published in: Aachener Informatik-Berichte ; 91,30
Margaria-Steffen, Tiziana [Author]; Steffen, Bernhard [Author] ; Rheinisch-Westfälische Technische Hochschule Aachen Fachgruppe Informatik

Distinguishing formulas for free

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, Fachgruppe Informatik, 1992

Published in: Aachener Informatik-Berichte ; 92,23
Kesselmann, Manuela [Author] ; Rasche, Christoph [Degree supervisor]; Margaria-Steffen, Tiziana [Degree supervisor]

Entwicklung eines Instrumentes zur Messung von Präsentismus und Handlungsempfehlungen zur Reduktion

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Potsdam, 16. April 2018
Wermelinger, Michel [Editor]; Margaria-Steffen, Tiziana [Other] ; FASE 7 2004 Barcelona, ETAPS 7 2004 Barcelona

Fundamental approaches to software engineering : 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 2984
Margaria-Steffen, Tiziana [Editor]; Melham, T. F. [Editor] ; International Federation for Information Processing Working Group Very Large Scale Integration, International Federation for Information Processing Working Group Very Large Scale Integration, CHARME 11 2001 Livingston, Scotland, CHARME 11 2001 Livingston, Scotland

Correct hardware design and verification methods : 11th IFIP WG 10.5 advanced research working conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York: Springer, [2001]

Published in: Lecture notes in computer science ; 2144
Brinksma, Ed [Other]; Cleaveland, Walter R. [Editor]; Larsen, Kim Guldstrand [Editor]; Margaria-Steffen, Tiziana [Editor]; Steffen, Bernhard [Editor] ; TACAS 1 1995 Århus

Tools and algorithms for the construction and analysis of systems : first international workshop ; Aarhus, Denmark, May 19 - 20, 1995 ; selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1995

Published in: Lecture notes in computer science ; 1019
Margaria, Tiziana [Editor]; Steffen, Bernhard [Editor]

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V - [1st ed. 2025.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer Nature Switzerland, 2025. ; Cham: Imprint: Springer, 2025.

Published in: Lecture Notes in Computer Science ; 15223
Margaria, Tiziana [Editor]; Steffen, Bernhard [Editor]

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I - [1st ed. 2025.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer Nature Switzerland, 2025. ; Cham: Imprint: Springer, 2025.

Published in: Lecture Notes in Computer Science ; 15219
Margaria, Tiziana [Editor]; Steffen, Bernhard [Editor]

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II - [1st ed. 2025.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer Nature Switzerland, 2025. ; Cham: Imprint: Springer, 2025.

Published in: Lecture Notes in Computer Science ; 15220
Margaria, Tiziana [Editor]; Steffen, Bernhard [Editor]

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV - [1st ed. 2025.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer Nature Switzerland, 2025. ; Cham: Imprint: Springer, 2025.

Published in: Lecture Notes in Computer Science ; 15222
Margaria, Tiziana [Editor]; Steffen, Bernhard [Editor]

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III - [1st ed. 2025.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer Nature Switzerland, 2025. ; Cham: Imprint: Springer, 2025.

Published in: Lecture Notes in Computer Science ; 15221
Gossen, Frederik Jakob [Author] ; Margaria, Tiziana [Contributor]; Steffen, Bernhard [Contributor]

Aggressive aggregation

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Eldorado - Repositorium der TU Dortmund, 2021-01-01
Gossen, Frederik Jakob [Author] ; Margaria, Tiziana [Degree supervisor]; Steffen, Bernhard [Degree supervisor]

Aggressive aggregation : (Domain-specific) program optimisation with algebraic decision diagrams

View online
Schließen

Access

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dortmund: Universitätsbibliothek Dortmund, 2021
Margaria, Tiziana [Editor]; Steffen, Bernhard [Editor]

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III - [1st ed. 2022.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer Nature Switzerland, 2022. ; Cham: Imprint: Springer, 2022.

Published in: Lecture Notes in Computer Science ; 13703
Margaria, Tiziana [Editor]; Steffen, Bernhard [Editor]

Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV - [1st ed. 2022.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer Nature Switzerland, 2022. ; Cham: Imprint: Springer, 2022.

Published in: Lecture Notes in Computer Science ; 13704

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication