Skip to contents

Hatcliff, John [Editor]; Zucca, Elena [Other] ; FMOODS 12 2010 Amsterdam, FORTE 30 2010 Amsterdam

Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; 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, 2010

Published in: Lecture notes in computer science ; 6117
Garavel, Hubert [Editor]; Hatcliff, John [Other] ; TACAS 9 2003 Warschau, ETAPS 6 2003 Warschau

Tools and algorithms for the construction and analysis of systems : 9th 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, 2003

Published in: Lecture notes in computer science ; 2619
Hatcliff, John [Editor]; Mogensen, Torben Æ. [Other]; Thiemann, Peter [Other] ; Københavns Universitet Datalogisk Institut, International Summer School on Partial Evaluation 1998 Kopenhagen

Partial evaluation : practice and theory ; DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998

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, 1999

Published in: Københavns Universitet: DIKU ... international summer school ; 1998 - Lecture notes in computer science ; 1706
Garavel, Hubert [Author] ; Hatcliff, John [Other]

Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

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

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003

Published in: Lecture notes in computer science ; 2619
Hatcliff, John [Author] ; Zucca, Elena [Other]

Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

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.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

Published in: Lecture notes in computer science ; 6117
Hatcliff, John [Author] ; Association for Computing Machinery, ACM Special Interest Group on Programming Languages, ACM Special Interest Group on Algorithms and Computation Theory

Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

View online
Schließen

Access

... to E-book via ACM Digital Library (Volltext)

Close

Bookmarks

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

New York, NY: ACM, 2008

Published in: ACM Digital Library- ACM Conferences
Hatcliff, John [Author] ; Mogensen, Torben [Other]; Thiemann, Peter [Other]

Partial Evaluation. Practice and Theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998

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.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1999

Published in: Lecture notes in computer science ; 1706
Cofer, Darren [Author]; Hatcliff, John [Author]; Huhn, Michaela [Author]; Lawford, Mark [Author] ; Darren Cofer and John Hatcliff and Michaela Huhn and Mark Lawford [Contributor]

Software Certification: Methods and Tools (Dagstuhl Seminar 13051)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013
Abraham, Erika [Author]; Hallerstede, Stefan [Author]; Hatcliff, John [Author]; Stewart, Danielle [Author]; Wafa, Noah Abou El [Author] ; Erika Abraham and Stefan Hallerstede and John Hatcliff and Danielle Stewart and Noah Abou El Wafa [Contributor]

Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Hatcliff, John

Formal Methods and Software Engineering: Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows

View online
Schließen

Access

Close

Bookmarks

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

Springer Berlin Heidelberg, 2008

Published in: Formal Methods and Software Engineering (2008), Seite 3-4
Hatcliff, John

Session details: Session 8

View online
Schließen

Access

Close

Bookmarks

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

Association for Computing Machinery (ACM), 2007

Published in: ACM SIGPLAN Notices, 42 (2007) 1
Hatcliff, John

Session details: Type systems

View online
Schließen

Access

Close

Bookmarks

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

Association for Computing Machinery (ACM), 2003

Published in: ACM SIGPLAN Notices, 38 (2003) 5
Hatcliff, John

Partial Evaluation: An Introduction to Online and Offline Partial Evaluation Using a Simple Flowchart Language

View online
Schließen

Access

Close

Bookmarks

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

Springer Berlin Heidelberg, 1999

Published in: Partial Evaluation (1999), Seite 20-82
Hatcliff, John

Foundations for partial evaluation of functional programs with computational effects

View online
Schließen

Access

Close

Bookmarks

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

Association for Computing Machinery (ACM), 1998

Published in: ACM Computing Surveys, 30 (1998) 3es, Seite 13
Hatcliff, John

Programming Languages: Implementations, Logics and Programs: Mechanically verifying the correctness of an offline partial evaluator

View online
Schließen

Access

Close

Bookmarks

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

Springer Berlin Heidelberg, 1995

Published in: Programming Languages: Implementations, Logics and Programs (1995), Seite 279-298
Hallerstede, Stefan; Hatcliff, John

Formal Aspects of Component Software: A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime

View online
Schließen

Access

Close

Bookmarks

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

Springer Nature Switzerland, 2024

Published in: Formal Aspects of Component Software (2024), Seite 45-64
Robby; Hatcliff, John

Lecture Notes in Computer Science: Slang: The Sireum Programming Language

View online
Schließen

Access

Close

Bookmarks

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

Springer International Publishing, 2021

Published in: Lecture Notes in Computer Science (2021), Seite 253-273
Jung, Georg; Hatcliff, John

A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2010

Published in: Science of Computer Programming, 75 (2010) 7, Seite 615-637
Jung, Georg; Hatcliff, John

A correlation framework for the CORBA component model

View online
Schließen

Access

Close

Bookmarks

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

Springer Science and Business Media LLC, 2007

Published in: International Journal on Software Tools for Technology Transfer, 9 (2007) 5-6, Seite 417-427
Garavel, Hubert; Hatcliff, John

TACAS 2003 Special Issue—Preface

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2006

Published in: Theoretical Computer Science, 354 (2006) 2, Seite 169-172

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