- Shang-Wei Lin, Pao-Ann Hsiung:
Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning. FM 2014: 416-431 - Yan Liu, Lin Gui, Yang Liu:
MDP-Based Reliability Analysis of an Ambient Assisted Living System. FM 2014: 688-702 - Yang Liu, Yi Xu, Shao Jie Zhang, Chengzheng Sun:
Formal Verification of Operational Transformation. FM 2014: 432-448 - Ognjen Maric, Christoph Sprenger:
Verification of a Transactional Memory Manager under Hardware Failures and Restarts. FM 2014: 449-464 - Chris Marriott, Ana Cavalcanti:
SCJ: Memory-Safety Checking without Annotations. FM 2014: 465-480 - Stefan Mitsch, Jan-David Quesel, André Platzer:
Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems. FM 2014: 481-496 - Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert:
Object Propositions. FM 2014: 497-513 - Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer:
Flexible Invariants through Semantic Collaboration. FM 2014: 514-530 - Pablo Ponzio, Nicolás Rosner, Nazareno Aguirre, Marcelo F. Frias:
Efficient Tight Field Bounds Computation Based on Shape Predicates. FM 2014: 531-546 - Jonas Rinast, Sibylle Schupp, Dieter Gollmann:
A Graph-Based Transformation Reduction to Reach UPPAAL States Faster. FM 2014: 547-562 - Pierre Roux, Pierre-Loïc Garoche:
Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison. FM 2014: 563-578 - Suman Roy, A. S. M. Sajeev, Srivibha Sripathy:
Diagnosing Industrial Business Processes: Early Experiences. FM 2014: 703-717 - Morteza Yousef Sanati, Wendy MacCaull, T. S. E. Maibaum:
Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic. FM 2014: 611-626 - Christoph Scheben, Peter H. Schmitt:
Efficient Self-composition for Weakest Precondition Calculi. FM 2014: 579-594 - Lijun Shan, Yuying Wang, Ning Fu, Xingshe Zhou, Lei Zhao, Lijng Wan, Lei Qiao, Jianxin Chen:
Formal Verification of Lunar Rover Control Software Using UPPAAL. FM 2014: 718-732 - Roland Wen, Annabelle McIver, Carroll Morgan:
Towards a Formal Analysis of Information Leakage for Signature Attacks in Preferential Elections. FM 2014: 595-610 - Jim Woodcock:
Engineering UToPiA - Formal Semantics for CML. FM 2014: 22-41 - Frank Zeyda, Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio:
A Modular Theory of Object Orientation in Higher-Order UTP. FM 2014: 627-642 - Hengjun Zhao, Mengfei Yang, Naijun Zhan, Bin Gu, Liang Zou, Yao Chen:
Formal Verification of a Descent Guidance Control Program of a Lunar Lander. FM 2014: 733-748 - Cliff B. Jones, Pekka Pihlajasaari, Jun Sun:
FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Lecture Notes in Computer Science 8442, Springer 2014, ISBN 978-3-319-06409-3 [contents]