default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. VMCAI 2004: Venice, Italy
- Bernhard Steffen, Giorgio Levi:
Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings. Lecture Notes in Computer Science 2937, Springer 2004, ISBN 3-540-20803-8
Tutorial
- Joshua D. Guttman
:
Security, Protocols, and Trust. 1
Security
- Gilles Barthe, Amitabh Basu, Tamara Rezk:
Security Types Preserving Compilation: (Extended Abstract). 2-15 - Vincent Vanackère:
History-Dependent Scheduling for Cryptographic Processes. 16-29
Formal Methods I
- Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu:
Construction of a Semantic Model for a Typed Assembly Language. 30-43 - Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen:
Rule-Based Runtime Verification. 44-57
Invited Talk
- Shmuel Sagiv:
On the Expressive Power of Canonical Abstraction. 58
Miscellaneous
- Viktor Kuncak, Martin C. Rinard:
Boolean Algebra of Shape Analysis Constraints. 59-72
Model Checking
- Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet:
Approximate Probabilistic Model Checking. 73-84 - Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman:
Completeness and Complexity of Bounded Model Checking. 85-96 - Dorel Lucanu, Gabriel Ciobanu:
Model Checking for Object Specifications in Hidden Algebra. 97-109
Formal Methods II
- Gordon J. Pace, Gerardo Schneider:
Model Checking Polygonal Differential Inclusions Using Invariance Kernels. 110-121 - Yu Pei, Qiwen Xu:
Checking Interval Based Properties for Reactive Systems. 122-134 - Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Widening Operators for Powerset Domains. 135-148
Software Checking
- Rahul Agarwal, Scott D. Stoller:
Type Inference for Parameterized Race-Free Java. 149-160 - Songtao Xia, James Hook:
Certifying Temporal Properties for Compiled C Programs. 161-174 - John Hatcliff, Robby, Matthew B. Dwyer:
Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. 175-190
Invited Talk
- Dawson R. Engler, Madanlal Musuvathi:
Static Analysis versus Software Model Checking for Bug Finding. 191-210
Software Checking
- Francesco Logozzo:
Automatic Inference of Class Invariants. 211-222
Liveness and Completeness
- Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck:
Liveness with Invisible Ranking. 223-238 - Andreas Podelski, Andrey Rybalchenko:
A Complete Method for the Synthesis of Linear Ranking Functions. 239-251 - Thomas W. Reps, Shmuel Sagiv, Greta Yorsh:
Symbolic Implementation of the Best Transformer. 252-266
Formal Methods III
- Shuvendu K. Lahiri, Randal E. Bryant:
Constructing Quantified Invariants via Predicate Abstraction. 267-281 - Kousha Etessami:
Analysis of Recursive Game Graphs Using Data Flow Equations. 282-296 - Cyrille Artho, Klaus Havelund:
Applying Jlint to Space Exploration Software. 297-308 - Reinhard Wilhelm:
Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone. 309-322
Key Note
- David Harel:
A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal. 323-324
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.
last updated on 2025-12-01 23:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
