default search action

combined dblp search
author search
venue search
publication search

ask others

6. VMCAI 2005: Paris, France

> Home > Conferences and Workshops > VMCAI

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/2005
Radhia Cousot:
Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings. Lecture Notes in Computer Science 3385, Springer 2005, ISBN 3-540-24297-X

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Cousot05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Cousot05
Patrick Cousot:
Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming. 1-24

Numerical Abstraction

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/SankaranarayananSM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/SankaranarayananSM05
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna:
Scalable Analysis of Linear Systems Using Mathematical Programming. 25-41
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Feret05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Feret05
Jérôme Feret:
The Arithmetic-Geometric Progression Abstract Domain. 42-58
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Martel05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Martel05
Matthieu Martel:
An Overview of Semantics for the Validation of Numerical Programs. 59-77

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Hoare05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Hoare05
C. A. R. Hoare:
The Verifying Compiler, a Grand Challenge for Computing Research. 78-78

Verification I

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Muller-OlmRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Muller-OlmRS05
Markus Müller-Olm, Oliver Rüthing, Helmut Seidl:
Checking Herbrand Equalities and Beyond. 79-96
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Bertrane05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Bertrane05
Julien Bertrane:
Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs. 97-112
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/BradleyMS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/BradleyMS05
Aaron R. Bradley, Zohar Manna, Henny B. Sipma:
Termination of Polynomial Programs. 113-129
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/BurckhardtAM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/BurckhardtAM05
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin:
Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement. 130-145

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Pnueli05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Pnueli05
Amir Pnueli:
Abstraction for Liveness. 146-146

Heap and Shape Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/ChangL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/ChangL05
Bor-Yuh Evan Chang, K. Rustan M. Leino:
Abstract Interpretation with Alien Expressions and Heap Structures. 147-163
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/BalabanPZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/BalabanPZ05
Ittai Balaban, Amir Pnueli, Lenore D. Zuck:
Shape Analysis by Predicate Abstraction. 164-180
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/ManevichYRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/ManevichYRS05
Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv:
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. 181-198
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/SalcianuR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/SalcianuR05
Alexandru Salcianu, Martin C. Rinard:
Purity and Side Effect Analysis for Java Programs. 199-215

Abstract Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/DamsN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/DamsN05
Dennis Dams, Kedar S. Namjoshi:
Automata as Abstractions. 216-232
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/GrumbergLLS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/GrumbergLLS05
Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham:
Don't Know in the µ-Calculus. 233-249
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/SistlaZW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/SistlaZW05
A. Prasad Sistla, Min Zhou, Xiaodong Wang:
Model Checking of Systems Employing Commutative Functions. 250-266

Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Lange05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Lange05
Martin Lange:
Weak Automata for the Linear Time µ-Calculus. 267-281
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Bozzelli05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Bozzelli05
Laura Bozzelli:
Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties. 282-297
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/ShenQL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/ShenQL05
ShengYu Shen, Ying Qin, Sikun Li:
Minimizing Counterexample with Unit Core Extraction and Incremental SAT. 298-312
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/JabbarE05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/JabbarE05
Shahid Jabbar, Stefan Edelkamp:
I/O Efficient Directed Model Checking. 313-329

Applied Abstract Interpretation

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Hymans05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Hymans05
Charles Hymans:
Verification of an Error Correcting Code by Abstract Interpretation. 330-345
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/GenaimS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/GenaimS05
Samir Genaim, Fausto Spoto:
Information Flow Analysis for Java Bytecode. 346-362
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Goubault-LarrecqP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Goubault-LarrecqP05
Jean Goubault-Larrecq, Fabrice Parrennes:
Cryptographic Protocol Analysis on Real C Code. 363-379

Bounded Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/LatvalaBHJ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/LatvalaBHJ05
Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila:
Simple Is Better: Efficient Bounded Model Checking for Past LTL. 380-395
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/AbrahamBKS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/AbrahamBKS05
Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen:
Optimizing Bounded Model Checking for Linear Hybrid Systems. 396-412

Verification II

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Siegel05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Siegel05
Stephen F. Siegel:
Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives. 413-429
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/LamKR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/LamKR05
Patrick Lam, Viktor Kuncak, Martin C. Rinard:
Generalized Typestate Checking for Data Structure Consistency. 430-447
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/KumarKV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/KumarKV05
Nirman Kumar, Viraj Kumar, Mahesh Viswanathan:
On the Complexity of Error Explanation. 448-464
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/AttieC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/AttieC05
Paul C. Attie, Hana Chockler:
Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. 465-481

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.