Searching...
Advanced Search
S
SEFM
2009
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
Refworks Procite/RefMan
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Hanoi, Vietnam
November 23-November 27
ISBN: 978-0-7695-3870-9
Table of Contents
Papers
Cover Art
(PDF)
pp. C4,C1
ABSTRACT
PDF
Title Page i
(PDF)
pp. i
ABSTRACT
PDF
Title Page iii
(PDF)
pp. iii
ABSTRACT
PDF
Copyright Page
(PDF)
pp. iv
ABSTRACT
PDF
Table of Contents
(PDF)
pp. v-vii
ABSTRACT
PDF
Preface
(PDF)
pp. viii
ABSTRACT
PDF
Conference Organizers
(PDF)
pp. ix
ABSTRACT
PDF
Program Committee
(PDF)
pp. x
ABSTRACT
PDF
External Referees
(PDF)
pp. xi
ABSTRACT
PDF
Software Verification and System Assurance
(Abstract)
John Rushby
pp. 3-10
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
(Abstract)
Marcello M. Bersani
Carlo A. Furia
Matteo Pradella
Matteo Rossi
pp. 13-22
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Implementation Correctness of a Real-Time Operating System
(Abstract)
Matthias Daum
Norbert W. Schirmer
Mareike Schmidt
pp. 23-32
ABSTRACT
PDF
PURCHASE ARTICLE: $19
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)
(Abstract)
Christian Colombo
Gordon J. Pace
Gerardo Schneider
pp. 33-37
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Simulation Relations for Systems with Distributed Interfaces
(Abstract)
Robert M. Hierons
Manuel Núñez
pp. 41-50
ABSTRACT
PDF
PURCHASE ARTICLE: $19
An Automated Approach to Verifying Diagnosability in Multi-agent Systems
(Abstract)
Jonathan Ezekiel
Alessio Lomuscio
pp. 51-60
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Specifying Interacting Components with Coordinated Concurrent Scenarios
(Abstract)
Prakash Chandrasekaran
Madhavan Mukund
pp. 61-69
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol
(Abstract)
César Andrés
Mercedes G. Merayo
Manuel Núñez
pp. 73-82
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Relational Interprocedural Verification of Concurrent Programs
(Abstract)
Bertrand Jeannet
pp. 83-92
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Using Change Impact Analysis to Select Tests for Extended Finite State Machines
(Abstract)
Mahadevan Subramaniam
Bo Guo
Zoltan Pap
pp. 93-102
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Overflow and Roundoff Error Analysis via Model Checking
(Abstract)
Do Thi Bich Ngoc
Mizuhito Ogawa
pp. 105-114
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Using Probabilistic Model Checking to Evaluate GUI Testing Techniques
(Abstract)
Cristiano Bertolini
Alexandre Mota
pp. 115-124
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Heuristic Sensitivity in Guided Random-Walk Based Model Checking
(Abstract)
Thang H. Bui
Albert Nymeyer
pp. 125-134
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Behavioral Specification of Reactive Systems Using Stream-Based I/O Tables
(Abstract)
Benjamin Hummel
Judith Thyssen
pp. 137-146
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Property-Driven Scenario Integration
(Abstract)
Jewgenij Botaschanjan
Alexander Harhurin
pp. 147-156
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences
(Abstract)
Robert M. Hierons
Guy-Vincent Jourdan
Hasan Ural
Husnu Yenigun
pp. 157-166
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Checkmate: A Generic Static Analyzer of Java Multithreaded Programs
(Abstract)
Pietro Ferrara
pp. 169-178
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Completeness of Pointer Program Verification by Separation Logic
(Abstract)
Makoto Tatsuta
Wei-Ngan Chin
Mahmudul Faisal Al Ameen
pp. 179-188
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Programming Sagas in SOCK
(Abstract)
Ivan Lanese
Gianluigi Zavattaro
pp. 189-198
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Coordinated Consensus Analysis of Multi-agent Systems Using Event-B
(Abstract)
Ninh-Thuan Truong
Thanh-Binh Trinh
Viet-Ha Nguyen
pp. 201-209
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Event-B Patterns and Their Tool Support
(Abstract)
Thai Son Hoang
Andreas Fürst
Jean-Raymond Abrial
pp. 210-219
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Specifying and Checking Refinement Relationships in VDM++
(Abstract)
Yojiro Kawamata
Christian Sommer
Fuyuki Ishikawa
Shinichi Honiden
pp. 220-227
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Computability Perspective on Self-Modifying Programs
(Abstract)
Guillaume Bonfante
Jean-Yves Marion
Daniel Reynaud-Plantey
pp. 231-239
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths
(Abstract)
Davide Bresolin
Valentin Goranko
Angelo Montanari
Guido Sciavicco
pp. 240-249
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Refinement via Interpretation
(Abstract)
Manuel A. Martins
Alexandre Madeira
L. S. Barbosa
pp. 250-259
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Ontology-Based Reasoning in Requirements Elicitation
(Abstract)
Dang Viet Dzung
Atsushi Ohnishi
pp. 263-272
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Formal Modeling and Analysis of an IETF Multicast Protocol
(Abstract)
Elisabeth Lien
Peter Csaba Ölveczky
pp. 273-282
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Mapping between Alloy Specifications and Database Implementations
(Abstract)
Alcino Cunha
Hugo Pacheco
pp. 285-294
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Modal Contracts for Component-Based Design
(Abstract)
Gregor Goessler
Jean-Baptiste Raclet
pp. 295-303
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Precise Model-Driven Transformations Based on Graphs and Metamodels
(Abstract)
Duc-Hanh Dang
Martin Gogolla
pp. 307-316
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less
(Abstract)
Patrice Chalin
pp. 317-324
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Author Index
(PDF)
pp. 325
ABSTRACT
PDF
Publisher's Information
(PDF)
pp. 326
ABSTRACT
PDF
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
