default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFM 2014: Singapore
- 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 - Zhenjiang Hu, Hugo Pacheco
, Sebastian Fischer:
Validity Checking of Putback Transformations in Bidirectional Programming. 1-15 - Gerwin Klein:
Proof Engineering Considered Essential. 16-21 - Jim Woodcock:
Engineering UToPiA - Formal Semantics for CML. 22-41 - Dines Bjørner, Klaus Havelund:
40 Years of Formal Methods - Some Obstacles and Some Possibilities? 42-61 - Pedro R. G. Antonino, Augusto Sampaio, Jim Woodcock:
A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes. 62-77 - Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools. 78-93 - Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer:
Definition, Semantics, and Analysis of Multirate Synchronous AADL. 94-109 - Guangdong Bai, Jianan Hao, Jianliang Wu, Yang Liu, Zhenkai Liang, Andrew P. Martin:
TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms. 110-126 - Stefan Blom, Marieke Huisman:
The VerCors Tool for Verification of Concurrent Programs. 127-131 - Borzoo Bonakdarpour, Reza Hajisheykhi, Sandeep S. Kulkarni:
Knowledge-Based Automated Repair of Authentication Protocols. 132-147 - Judy Bowen, Steve Reeves:
A Simplified Z Semantics for Presentation Interaction Models. 148-162 - Denis Butin, Daniel Le Métayer:
Log Analysis for Data Protection Accountability. 163-178 - Werner Damm, Bernd Finkbeiner:
Automatic Compositional Synthesis of Distributed Systems. 179-193 - William Denman, César A. Muñoz:
Automated Real Proving in PVS via MetiTarski. 194-199 - John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim:
Quiescent Consistency: Defining and Verifying Relaxed Linearizability. 200-214 - Parasara Sridhar Duggirala, Le Wang, Sayan Mitra, Mahesh Viswanathan, César A. Muñoz:
Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol. 215-229 - H.-Christian Estler, Carlo A. Furia, Martin Nordio, Marco Piccioni, Bertrand Meyer:
Contracts in Practice. 230-246 - Yuan Feng, Lijun Zhang:
When Equivalence and Bisimulation Join Forces in Probabilistic Automata. 247-262 - Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma:
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. 263-278 - Leo Freitas, Iain Whiteside:
Proof Patterns for Formal Methods. 279-295 - Hendra Gunadi, Alwen Tiu:
Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System. 296-311 - Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang:
iscasMc: A Web-Based Probabilistic Model Checker. 312-317 - Ian J. Hayes, Larissa Meinicke:
Invariants, Well-Founded Statements and Real-Time Program Algebra. 318-334 - K. Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor:
Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis. 335-350 - Piotr Kordy, Rom Langerak, Sjouke Mauw, Jan Willem Polderman:
A Symbolic Algorithm for the Analysis of Robust Timed Automata. 351-366 - Ivo Krka, Nicolás D'Ippolito, Nenad Medvidovic, Sebastián Uchitel:
Revisiting Compatibility of Input-Output Modal Transition Systems. 367-381 - K. Rustan M. Leino, Michal Moskal:
Co-induction Simply - Automatic Co-inductive Proofs in a Program Verifier. 382-398 - Yi Li, Tian Huat Tan, Marsha Chechik:
Management of Time Requirements in Component-Based Systems. 399-415 - Shang-Wei Lin, Pao-Ann Hsiung:
Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning. 416-431 - Yang Liu, Yi Xu, Shao Jie Zhang, Chengzheng Sun:
Formal Verification of Operational Transformation. 432-448 - Ognjen Maric, Christoph Sprenger:
Verification of a Transactional Memory Manager under Hardware Failures and Restarts. 449-464 - Chris Marriott, Ana Cavalcanti:
SCJ: Memory-Safety Checking without Annotations. 465-480 - Stefan Mitsch, Jan-David Quesel, André Platzer:
Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems. 481-496 - Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert:
Object Propositions. 497-513 - Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer:
Flexible Invariants through Semantic Collaboration. 514-530 - Pablo Ponzio, Nicolás Rosner, Nazareno Aguirre, Marcelo F. Frias:
Efficient Tight Field Bounds Computation Based on Shape Predicates. 531-546 - Jonas Rinast, Sibylle Schupp, Dieter Gollmann:
A Graph-Based Transformation Reduction to Reach UPPAAL States Faster. 547-562 - Pierre Roux, Pierre-Loïc Garoche:
Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison. 563-578 - Christoph Scheben, Peter H. Schmitt:
Efficient Self-composition for Weakest Precondition Calculi. 579-594 - Roland Wen, Annabelle McIver, Carroll Morgan:
Towards a Formal Analysis of Information Leakage for Signature Attacks in Preferential Elections. 595-610 - Morteza Yousef Sanati, Wendy MacCaull, T. S. E. Maibaum:
Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic. 611-626 - Frank Zeyda, Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio:
A Modular Theory of Object Orientation in Higher-Order UTP. 627-642 - Maria Christakis, K. Rustan M. Leino, Wolfram Schulte:
Formalizing and Verifying a Modern Build Language. 643-657 - Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha:
The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification. 658-672 - Aarti Gupta, V. M. Achutha KiranKumar, Rajnish Ghughal:
Formally Verifying Graphics FPU - An Intel® Experience. 673-687 - Yan Liu, Lin Gui, Yang Liu:
MDP-Based Reliability Analysis of an Ambient Assisted Living System. 688-702 - Suman Roy, A. S. M. Sajeev, Srivibha Sripathy:
Diagnosing Industrial Business Processes: Early Experiences. 703-717 - 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. 718-732 - Hengjun Zhao, Mengfei Yang, Naijun Zhan, Bin Gu, Liang Zou, Yao Chen:
Formal Verification of a Descent Guidance Control Program of a Lunar Lander. 733-748
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 2026-01-30 23:00 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:
