1. Home
  2. Proceedings
  3. SEFM
  4. SEFM 2009
Default Cover Image

2009 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009)

Nov. 23 2009 to Nov. 27 2009

Hanoi

Table of Contents

Papers
[Copyright notice]Freely available from IEEE.pp. iv
Papers
Table of contentsFreely available from IEEE.pp. v-vii
Papers
Conference OrganizersFreely available from IEEE.pp. ix
Papers
Program CommitteeFreely available from IEEE.pp. x
External refereesFreely available from IEEE.pp. xi-xi
Papers
Title Page iFreely available from IEEE.pp. i
Papers
Title Page iiiFreely available from IEEE.pp. iii
Papers
PrefaceFreely available from IEEE.pp. viii
Papers
Software Verification and System AssuranceFull-text access may be available. Sign in or learn about subscription options.pp. 3-10
by John Rushby
Papers
Integrated Modeling and Verification of Real-Time Systems through Multiple ParadigmsFull-text access may be available. Sign in or learn about subscription options.pp. 13-22
by Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi
Papers
Implementation Correctness of a Real-Time Operating SystemFull-text access may be available. Sign in or learn about subscription options.pp. 23-32
by Matthias Daum, Norbert W. Schirmer, Mareike Schmidt
Papers
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)Full-text access may be available. Sign in or learn about subscription options.pp. 33-37
by Christian Colombo, Gordon J. Pace, Gerardo Schneider
Papers
Simulation Relations for Systems with Distributed InterfacesFull-text access may be available. Sign in or learn about subscription options.pp. 41-50
by Robert M. Hierons, Manuel Núñez
Papers
An Automated Approach to Verifying Diagnosability in Multi-agent SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 51-60
by Jonathan Ezekiel, Alessio Lomuscio
Papers
Specifying Interacting Components with Coordinated Concurrent ScenariosFull-text access may be available. Sign in or learn about subscription options.pp. 61-69
by Prakash Chandrasekaran, Madhavan Mukund
Papers
Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission ProtocolFull-text access may be available. Sign in or learn about subscription options.pp. 73-82
by César Andrés, Mercedes G. Merayo, Manuel Núñez
Papers
Relational Interprocedural Verification of Concurrent ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 83-92
by Bertrand Jeannet
Papers
Using Change Impact Analysis to Select Tests for Extended Finite State MachinesFull-text access may be available. Sign in or learn about subscription options.pp. 93-102
by Mahadevan Subramaniam, Bo Guo, Zoltan Pap
Papers
Overflow and Roundoff Error Analysis via Model CheckingFull-text access may be available. Sign in or learn about subscription options.pp. 105-114
by Do Thi Bich Ngoc, Mizuhito Ogawa
Papers
Using Probabilistic Model Checking to Evaluate GUI Testing TechniquesFull-text access may be available. Sign in or learn about subscription options.pp. 115-124
by Cristiano Bertolini, Alexandre Mota
Papers
Heuristic Sensitivity in Guided Random-Walk Based Model CheckingFull-text access may be available. Sign in or learn about subscription options.pp. 125-134
by Thang H. Bui, Albert Nymeyer
Papers
Behavioral Specification of Reactive Systems Using Stream-Based I/O TablesFull-text access may be available. Sign in or learn about subscription options.pp. 137-146
by Benjamin Hummel, Judith Thyssen
Papers
Property-Driven Scenario IntegrationFull-text access may be available. Sign in or learn about subscription options.pp. 147-156
by Jewgenij Botaschanjan, Alexander Harhurin
Papers
Checking Sequence Construction Using Adaptive and Preset Distinguishing SequencesFull-text access may be available. Sign in or learn about subscription options.pp. 157-166
by Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Husnu Yenigun
Papers
[Publisher's information]Freely available from IEEE.pp. 326
Papers
Checkmate: A Generic Static Analyzer of Java Multithreaded ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 169-178
by Pietro Ferrara
Papers
Completeness of Pointer Program Verification by Separation LogicFull-text access may be available. Sign in or learn about subscription options.pp. 179-188
by Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen
Papers
Programming Sagas in SOCKFull-text access may be available. Sign in or learn about subscription options.pp. 189-198
by Ivan Lanese, Gianluigi Zavattaro
Papers
Coordinated Consensus Analysis of Multi-agent Systems Using Event-BFull-text access may be available. Sign in or learn about subscription options.pp. 201-209
by Ninh-Thuan Truong, Thanh-Binh Trinh, Viet-Ha Nguyen
Papers
Event-B Patterns and Their Tool SupportFull-text access may be available. Sign in or learn about subscription options.pp. 210-219
by Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial
Papers
Specifying and Checking Refinement Relationships in VDM++Full-text access may be available. Sign in or learn about subscription options.pp. 220-227
by Yojiro Kawamata, Christian Sommer, Fuyuki Ishikawa, Shinichi Honiden
Papers
A Computability Perspective on Self-Modifying ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 231-239
by Guillaume Bonfante, Jean-Yves Marion, Daniel Reynaud-Plantey
Papers
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval LengthsFull-text access may be available. Sign in or learn about subscription options.pp. 240-249
by Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Papers
Refinement via InterpretationFull-text access may be available. Sign in or learn about subscription options.pp. 250-259
by Manuel A. Martins, Alexandre Madeira, L. S. Barbosa
Papers
Ontology-Based Reasoning in Requirements ElicitationFull-text access may be available. Sign in or learn about subscription options.pp. 263-272
by Dang Viet Dzung, Atsushi Ohnishi
Papers
Formal Modeling and Analysis of an IETF Multicast ProtocolFull-text access may be available. Sign in or learn about subscription options.pp. 273-282
by Elisabeth Lien, Peter Csaba Ölveczky
Papers
Mapping between Alloy Specifications and Database ImplementationsFull-text access may be available. Sign in or learn about subscription options.pp. 285-294
by Alcino Cunha, Hugo Pacheco
Papers
Modal Contracts for Component-Based DesignFull-text access may be available. Sign in or learn about subscription options.pp. 295-303
by Gregor Goessler, Jean-Baptiste Raclet
Papers
Precise Model-Driven Transformations Based on Graphs and MetamodelsFull-text access may be available. Sign in or learn about subscription options.pp. 307-316
by Duc-Hanh Dang, Martin Gogolla
Papers
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for LessFull-text access may be available. Sign in or learn about subscription options.pp. 317-324
by Patrice Chalin
Papers
Author IndexFreely available from IEEE.pp. 325
Showing 41 out of 41