default search action
7th SEFM 2009: Hanoi, Vietnam
- Dang Van Hung, Padmanabhan Krishnan:
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
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). 33-37
Distributed Systems
- Robert M. Hierons
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
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
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 Fürst, 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
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. 240-249 - Manuel A. Martins
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
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
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
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 2024-12-26 00:35 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: