7. SEFM 2009: Hanoi, Vietnam

Dang Van Hung, Padmanabhan Krishnan (Eds.): Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009. IEEE Computer Society 2009, ISBN 978-0-7695-3870-9

Keynote

John M. Rushby:
Software Verification and System Assurance. 3-10

Real-Time Systems

Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi:
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. 13-22
Matthias Daum, Norbert Schirmer, Mareike Schmidt:
Implementation Correctness of a Real-Time Operating System. 23-32
Christian Colombo, Gordon J. Pace, Gerardo Schneider:
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). 33-37

Distributed Systems

Robert M. Hierons, Manuel Núñez:
Simulation Relations for Systems with Distributed Interfaces. 41-50
Jonathan Ezekiel, Alessio Lomuscio:
An Automated Approach to Verifying Diagnosability in Multi-agent Systems. 51-60
Prakash Chandrasekaran, Madhavan Mukund:
Specifying Interacting Components with Coordinated Concurrent Scenarios. 61-69

Testing/Valdiation

César Andrés, Mercedes G. Merayo, Manuel Núñez:
Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. 73-82
Bertrand Jeannet:
Relational Interprocedural Verification of Concurrent Programs. 83-92
Mahadevan Subramaniam, Bo Guo, Zoltán Pap:
Using Change Impact Analysis to Select Tests for Extended Finite State Machines. 93-102

Model Checking

Do Thi Bich Ngoc, Mizuhito Ogawa:
Overflow and Roundoff Error Analysis via Model Checking. 105-114
Cristiano Bertolini, Alexandre Mota:
Using Probabilistic Model Checking to Evaluate GUI Testing Techniques. 115-124
Thang H. Bui, Albert Nymeyer:
Heuristic Sensitivity in Guided Random-Walk Based Model Checking. 125-134

Behaviours and Scenario Specification

Benjamin Hummel, Judith Thyssen:
Behavioral Specification of Reactive Systems Using Stream-Based I/O Tables. 137-146
Jewgenij Botaschanjan, Alexander Harhurin:
Property-Driven Scenario Integration. 147-156
Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün:
Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences. 157-166

Program Analysis

Pietro Ferrara:
Checkmate: A Generic Static Analyzer of Java Multithreaded Programs. 169-178
Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen:
Completeness of Pointer Program Verification by Separation Logic. 179-188
Ivan Lanese, Gianluigi Zavattaro:
Programming Sagas in SOCK. 189-198

B/VDM

Ninh-Thuan Truong, Thanh-Binh Trinh, Viet Ha Nguyen:
Coordinated Consensus Analysis of Multi-agent Systems Using Event-B. 201-209
Thai Son Hoang, Andreas Furst, Jean-Raymond Abrial:
Event-B Patterns and Their Tool Support. 210-219
Yojiro Kawamata, Christian Sommer, Fuyuki Ishikawa, Shinichi Honiden:
Specifying and Checking Refinement Relationships in VDM++. 220-227

Program Analysis

Guillaume Bonfante, Jean-Yves Marion, Daniel Reynaud-Plantey:
A Computability Perspective on Self-Modifying Programs. 231-239
Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. 240-249
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
Refinement via Interpretation. 250-259

Modelling/Analysis

Dang Viet Dzung, Atsushi Ohnishi:
Ontology-Based Reasoning in Requirements Elicitation. 263-272
Elisabeth Lien, Peter Csaba Ölveczky:
Formal Modeling and Analysis of an IETF Multicast Protocol. 273-282

Components/Database

Alcino Cunha, Hugo Pacheco:
Mapping between Alloy Specifications and Database Implementations. 285-294
Gregor Goessler, Jean-Baptiste Raclet:
Modal Contracts for Component-Based Design. 295-303

Short/Tool Papers

Duc-Hanh Dang, Martin Gogolla:
Precise Model-Driven Transformations Based on Graphs and Metamodels. 307-316
Patrice Chalin:
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less. 317-324

Last update Fri May 25 08:36:21 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page