Dang Van Hung, Padmanabhan Krishnan
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods
SEFM, 2009.

@proceedings{SEFM-2009,
	address       = "Hanoi, Vietnam",
	editor        = "Dang Van Hung and Padmanabhan Krishnan",
	ee            = "http://www.computer.org/csdl/proceedings/sefm/2009/3870/00/index.html",
	isbn          = "978-0-7695-3870-9",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods}",
	year          = 2009,
}

Contents (31 items)

6 ×#verification
5 ×#using
4 ×#multi
4 ×#source code
4 ×#specification
3 ×#analysis
3 ×#model checking
3 ×#modelling
3 ×#realtime
3 ×#testing

SEFM-2009-Rushby #assurance #verification

Software Verification and System Assurance (JMR), pp. 3–10.

SEFM-2009-BersaniFPR #modelling #multi #paradigm #realtime #verification

Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms (MMB, CAF, MP, MR), pp. 13–22.

SEFM-2009-DaumSS #correctness #implementation #operating system #realtime

Implementation Correctness of a Real-Time Operating System (MD, NS, MS), pp. 23–32.

SEFM-2009-ColomboPS #java #monitoring #realtime #source code

LARVA --- Safer Monitoring of Real-Time Java Programs (CC, GJP, GS), pp. 33–37.

SEFM-2009-HieronsN #distributed #interface #simulation

Simulation Relations for Systems with Distributed Interfaces (RMH, MN), pp. 41–50.

SEFM-2009-EzekielL #approach #automation #multi #verification

An Automated Approach to Verifying Diagnosability in Multi-agent Systems (JE, AL), pp. 51–60.

SEFM-2009-ChandrasekaranM #component #concurrent #coordination #specification

Specifying Interacting Components with Coordinated Concurrent Scenarios (PC, MM), pp. 61–69.

SEFM-2009-AndresMN #protocol #testing

Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol (CA, MGM, MN), pp. 73–82.

SEFM-2009-Jeannet #concurrent #interprocedural #relational #source code #verification

Relational Interprocedural Verification of Concurrent Programs (BJ), pp. 83–92.

SEFM-2009-SubramaniamGP #finite #impact analysis #state machine #testing #using

Using Change Impact Analysis to Select Tests for Extended Finite State Machines (MS, BG, ZP), pp. 93–102.

SEFM-2009-NgocO #analysis #fault #model checking

Overflow and Roundoff Error Analysis via Model Checking (DTBN, MO), pp. 105–114.

SEFM-2009-BertoliniM #model checking #probability #testing #user interface #using

Using Probabilistic Model Checking to Evaluate GUI Testing Techniques (CB, AM), pp. 115–124.

SEFM-2009-BuiN #heuristic #model checking

Heuristic Sensitivity in Guided Random-Walk Based Model Checking (THB, AN), pp. 125–134.

SEFM-2009-HummelT #behaviour #specification #using

Behavioral Specification of Reactive Systems Using Stream-Based I/O Tables (BH, JT), pp. 137–146.

SEFM-2009-BotaschanjanH #integration

Property-Driven Scenario Integration (JB, AH), pp. 147–156.

SEFM-2009-HieronsJUY #adaptation #sequence #using

Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences (RMH, GVJ, HU, HY), pp. 157–166.

SEFM-2009-Ferrara #java #named #parallel #source code #thread

Checkmate: A Generic Static Analyzer of Java Multithreaded Programs (PF), pp. 169–178.

SEFM-2009-TatsutaCA #logic #pointer #verification

Completeness of Pointer Program Verification by Separation Logic (MT, WNC, MFAA), pp. 179–188.

SEFM-2009-LaneseZ #programming

Programming Sagas in SOCK (IL, GZ), pp. 189–198.

SEFM-2009-TruongTN #analysis #coordination #multi #using

Coordinated Consensus Analysis of Multi-agent Systems Using Event-B (NTT, TBT, VHN), pp. 201–209.

SEFM-2009-HoangFA #tool support

Event-B Patterns and Their Tool Support (TSH, AF, JRA), pp. 210–219.

SEFM-2009-KawamataSIH #refinement #specification

Specifying and Checking Refinement Relationships in VDM++ (YK, CS, FI, SH), pp. 220–227.

SEFM-2009-BonfanteMR #self #source code

A Computability Perspective on Self-Modifying Programs (GB, JYM, DRP), pp. 231–239.

SEFM-2009-BresolinGMS #constraints #integer #logic

Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths (DB, VG, AM, GS), pp. 240–249.

SEFM-2009-MartinsMB #refinement

Refinement via Interpretation (MAM, AM, LSB), pp. 250–259.

SEFM-2009-DzungO #elicitation #ontology #reasoning #requirements

Ontology-Based Reasoning in Requirements Elicitation (DVD, AO), pp. 263–272.

SEFM-2009-LienO #analysis #formal method #modelling #multi #protocol

Formal Modeling and Analysis of an IETF Multicast Protocol (EL, PCÖ), pp. 273–282.

SEFM-2009-CunhaP #alloy #database #implementation #specification

Mapping between Alloy Specifications and Database Implementations (AC, HP), pp. 285–294.

SEFM-2009-GoesslerR #component #contract #design

Modal Contracts for Component-Based Design (GG, JBR), pp. 295–303.

SEFM-2009-DangG #graph #metamodelling #modelling #precise

Precise Model-Driven Transformations Based on Graphs and Metamodels (DHD, MG), pp. 307–316.

SEFM-2009-Chalin #verification

Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less (PC), pp. 317–324.