Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings /
Saved in:
| Meeting name: | International Conference on Formal Engineering Methods (15th : 2013 : Queenstown, N.Z.) |
|---|---|
| Imprint: | Heidelberg : Springer, [2013] ©2013 |
| Description: | 1 online resource (xviii, 466 pages) : illustrations. |
| Language: | English |
| Series: | Lecture Notes in Computer Science, 0302-9743 ; 8144 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 8144. LNCS sublibrary. SL 2, Programming and software engineering. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11081883 |
Table of Contents:
- Keynote
- Lattices of Information for Security: Deterministic, Demonic, Probabilistic / Carroll C. Morgan
- Specification
- Algebraic Laws for Process Subtyping / José Dihego, Pedro Antonino and Augusto Sampaio
- Boundness Issues in CCSL Specifications / Frédéric Mallet and Jean-Viven Millo
- Mining Dataflow Sensitive Specifications / Zhiqiang Zuo and Siau-Cheng Khoo
- Proof
- A Proof Slicing Framework for Program Verification / Ton Chanh Le [and others]
- Formally Verified System Initialisation / Andrew Boyton [and others]
- Verifying an Aircraft Proximity Characterization Method in Coq / Dongxi Liu [and others]
- Testing
- Assisting Specification Refinement by Random Testing / Mengjun Li
- Generation of Checking Sequences Using Identification Sets / Faimison Rodrigues Porto, Andre Takeshi Endo and Adenilso Simao
- The Circus Testing Theory Revisited in Isabelle/HOL / Abderrahmane Feliachi [and others].
- Timed Systems
- A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification / Gustavo Carvalho, Augusto Sampaio and Alexandre Mota
- Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts / Yanhong Huang [and others]
- Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction / Yuanjie Si [and others]
- Concurrency
- A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems / Étienne André [and others]
- A UTP Semantics for Communicating Processes with Shared Variables / Ling Shi [and others]
- Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions / Duy-Khanh Le, Wei-Ngan Chin and Yong-Meng Teo
- SysML/MDD
- Formal Models of SysML Blocks / Alvaro Miyazawa, Lucas Lima and Ana Cavalcanti
- Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML / Jaco Jacobs and Andrew Simpson.
- Translation from Workflow Nets to MSVL / Ya Shi, Zhenhua Duan and Cong Tian
- Verification
- Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems / Guoxin Su and David S. Rosenblum
- Verification of Functional and Non-functional Requirements of Web Service Composition / Manman Chen [and others]
- vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems / Jianan Hao [and others]
- Application
- Formal Kinematic Analysis of the Two-Link Planar Manipulator / Binyameen Farooq, Osman Hasan and Sohail Iqbal
- Formal Modelling of Resilient Data Storage in Cloud / Inna Pereverzeva [and others]
- Linking Operational Semantics and Algebraic Semantics for Wireless Networks / Xiaofeng Wu and Huibiao Zhu
- Static Analysis
- Automated Specification Discovery via User-Defined Predicates / Guanhua He [and others]
- Path-Sensitive Data Flow Analysis Simplified / Kirsten Winter [and others]
- Reconstructing Paths for Reachable Code / Stephan Arlt, Zhiming Liu and Martin Schäf
- The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software / Giulia Costantini [and others].