Skip to contents

Halbwachs, Nicolas [Editor] ; CAV 11 1999 Trient

Computer aided verification : 11th international conference ; CAV '99, Trento, Italy, July 6 - 10, 1999 ; 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, 1999

Published in: Lecture notes in computer science ; 1633
Halbwachs, Nicolas [Editor]; Zuck, Lenore D. [Editor] ; TACAS 11 2005 Edinburgh, ETAPS 8 2005 Edinburgh

Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 ; 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, 2005

Published in: Lecture notes in computer science ; 3440
Halbwachs, Nicolas [Author] ; Peled, Doron [Other]

Computer Aided Verification : 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 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, 1999

Published in: Lecture notes in computer science ; 1633
Perrelle, Valentin [Author] ; Grenoble [Contributor]; Halbwachs, Nicolas [Contributor]

Analyse statique de programmes manipulant des tableaux ; Analysis of programs using arrays

View online
Schließen

Links

... to thesis

Close

Bookmarks

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

theses.fr, 2013-02-21
Halbwachs, Nicolas [Other]; Zuck, Lenore [Other]

Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440) : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Ed

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

Published in: Lecture notes in computer science ; 3440
Boutonnet, Rémy [Author] ; Université Grenoble Alpes [Contributor]; Halbwachs, Nicolas [Contributor]

Analyse modulaire de propriétés numériques par interprétation abstraite ; Modular analysis of numerical properties by abstract interpretation

View online
Schließen

Links

... to thesis

Close

Bookmarks

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

theses.fr, 2020-03-09
de Roever, Willem-Paul [Author]; Halbwachs, Nicolas [Author]; Winkelmann, Klaus [Author] ; Willem-Paul de Roever and Nicolas Halbwachs and Klaus Winkelmann [Contributor]

Synchronous Languages (Dagstuhl Seminar 9650)

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, 1997
de Roever, Willem-Paul [Author]; Halbwachs, Nicolas [Author]; Berry, Gérard [Author]; Winkelmann, Klaus [Author] ; Willem-Paul de Roever and Nicolas Halbwachs and Gérard Berry and Klaus Winkelmann [Contributor]

Synchronous Languages (Dagstuhl Seminar 01491)

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, 2002
Raymond, Pascal [Author]; Maiza, Claire [Author]; Parent-Vigouroux, Catherine [Author]; Jahier, Erwan [Author]; Halbwachs, Nicolas [Author]; Carrier, Fabienne [Author]; Asavoae, Mihail [Author]; Boutonnet, Rémy [Author] ; Pascal Raymond and Claire Maiza and Catherine Parent-Vigouroux and Erwan Jahier and Nicolas Halbwachs and Fabienne Carrier and Mihail Asavoae and Rémy Boutonnet [Contributor]

Improving WCET Evaluation using Linear Relation Analysis

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, 2019
Maiza, Claire [Author]; Raymond, Pascal [Author]; Parent-Vigouroux, Catherine [Author]; Bonenfant, Armelle [Author]; Carrier, Fabienne [Author]; Cassé, Hugues [Author]; Cuenot, Philippe [Author]; Claraz, Denis [Author]; Halbwachs, Nicolas [Author]; Jahier, Erwan [Author]; Li, Hanbing [Author]; de Michiel, Marianne [Author]; Mussot, Vincent [Author]; Puaut, Isabelle [Author]; Rochange, Christine [Author]; Rohou, Erven [Author]; Ruiz, Jordy [Author]; Sotin, Pascal [Author]; Sun, Wei-Tsun [Author] ; Claire Maiza and Pascal Raymond and Catherine Parent-Vigouroux and Armelle Bonenfant and Fabienne Carrier and Hugues Cassé and Philippe Cuenot and Denis Claraz and Nicolas Halbwachs and Erwan Jahier and Hanbing Li and Marianne de Michiel and Vincent Mussot and Isabelle Puaut and Christine Rochange and Erven Rohou and Jordy Ruiz and Pascal Sotin and Wei-Tsun Sun [Contributor]

The W-SEPT Project: Towards Semantic-Aware WCET Estimation

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, 2017
Halbwachs, Nicolas

About synchronous programming and abstract interpretation

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 1998

Published in: Science of Computer Programming, 31 (1998) 1, Seite 75-89
Halbwachs, Nicolas

Computer Aided Verification: Synchronous programming of reactive systems : A tutorial and commented bibliography : A tutorial and commented bibliography

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

Published in: Computer Aided Verification (1998), Seite 1-16
Halbwachs, Nicolas

Computer Aided Verification: Delay analysis in synchronous programs

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

Published in: Computer Aided Verification (1993), Seite 333-346
Halbwachs, Nicolas

Static Analysis: About synchronous programming and abstract interpretation

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

Published in: Static Analysis (1994), Seite 179-192
Boutonnet, Rémy; Halbwachs, Nicolas

Improving the results of program analysis by abstract interpretation beyond the decreasing sequence

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

Published in: Formal Methods in System Design, 53 (2018) 3, Seite 384-406
Boutonnet, Rémy; Halbwachs, Nicolas

Lecture Notes in Computer Science: Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis

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

Published in: Lecture Notes in Computer Science (2019), Seite 136-159
Halbwachs, Nicolas; Henry, Julien

Static Analysis: When the Decreasing Sequence Fails

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

Published in: Static Analysis (2012), Seite 198-213
Chakraborty, Samarjit; Halbwachs, Nicolas

EMSOFT 2009 guest editors’ introduction

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

Published in: Design Automation for Embedded Systems, 14 (2010) 3, Seite 163-164
Perrelle, Valentin; Halbwachs, Nicolas

Lecture Notes in Computer Science: An Analysis of Permutations in Arrays

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

Published in: Lecture Notes in Computer Science (2010), Seite 279-294
Halbwachs, Nicolas; Péron, Mathias

Discovering properties about arrays in simple programs

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), 2008

Published in: ACM SIGPLAN Notices, 43 (2008) 6, Seite 339-348

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