default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th ICFEM 2013: Queenstown, New Zealand
- Lindsay Groves, Jing Sun
:
Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings. Lecture Notes in Computer Science 8144, Springer 2013, ISBN 978-3-642-41201-1
Keynote
- Carroll C. Morgan:
Lattices of Information for Security: Deterministic, Demonic, Probabilistic. 1-3
Specification
- José Dihego, Pedro R. G. Antonino, Augusto Sampaio:
Algebraic Laws for Process Subtyping. 4-19 - Frédéric Mallet, Jean-Vivien Millo:
Boundness Issues in CCSL Specifications. 20-35 - Zhiqiang Zuo, Siau-Cheng Khoo:
Mining Dataflow Sensitive Specifications. 36-52
Proof
- Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin:
A Proof Slicing Framework for Program Verification. 53-69 - Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell:
Formally Verified System Initialisation. 70-85 - Dongxi Liu, Neale Leslie Fulton, John Zic, Martin de Groot:
Verifying an Aircraft Proximity Characterization Method in Coq. 86-101
Testing
- Mengjun Li:
Assisting Specification Refinement by Random Testing. 102-114 - Faimison Rodrigues Porto, André Takeshi Endo, Adenilso da Silva Simão:
Generation of Checking Sequences Using Identification Sets. 115-130 - Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff:
The Circus Testing Theory Revisited in Isabelle/HOL. 131-147
Timed Systems
- Gustavo Carvalho, Augusto Sampaio, Alexandre Mota:
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. 148-164 - Yanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He:
Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. 165-181 - Yuanjie Si, Jun Sun, Yang Liu, Ting Wang:
Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction. 182-198
Concurrency
- Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci:
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. 199-214 - Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin:
A UTP Semantics for Communicating Processes with Shared Variables. 215-230 - Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo:
Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions. 231-248
SysML/MDD
- Alvaro Miyazawa, Lucas Lima, Ana Cavalcanti:
Formal Models of SysML Blocks. 249-264 - Jaco Jacobs, Andrew Simpson:
Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML. 265-280 - Ya Shi, Zhenhua Duan, Cong Tian:
Translation from Workflow Nets to MSVL. 281-296
Verification
- Guoxin Su, David S. Rosenblum:
Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems. 297-312 - Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang, Xiaohong Li:
Verification of Functional and Non-functional Requirements of Web Service Composition. 313-328 - Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai, Jun Sun:
vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems. 329-346
Application
- Binyameen Farooq, Osman Hasan, Sohail Iqbal:
Formal Kinematic Analysis of the Two-Link Planar Manipulator. 347-362 - Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Mikko Pöri:
Formal Modelling of Resilient Data Storage in Cloud. 363-379 - Xiaofeng Wu, Huibiao Zhu:
Linking Operational Semantics and Algebraic Semantics for Wireless Networks. 380-396
Static Analysis
- Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun:
Automated Specification Discovery via User-Defined Predicates. 397-414 - Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li:
Path-Sensitive Data Flow Analysis Simplified. 415-430 - Stephan Arlt, Zhiming Liu, Martin Schäf:
Reconstructing Paths for Reachable Code. 431-446 - Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore, Agostino Cortesi:
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software. 447-463
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 2025-01-16 21:50 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:
