Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Cliff B. Jones, Pekka Pihlajasaari, Jun Sun 0001 (eds.) |
FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Ponzio, Nicolás Rosner, Nazareno Aguirre, Marcelo F. Frias |
Efficient Tight Field Bounds Computation Based on Shape Predicates. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Werner Damm, Bernd Finkbeiner |
Automatic Compositional Synthesis of Distributed Systems. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gerwin Klein |
Proof Engineering Considered Essential. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hendra Gunadi, Alwen Tiu |
Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lijun Shan, Yuying Wang, Ning Fu, Xingshe Zhou 0001, Lei Zhao, Lijng Wan, Lei Qiao, Jianxin Chen |
Formal Verification of Lunar Rover Control Software Using UPPAAL. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Reza Hajisheykhi, Sandeep S. Kulkarni |
Knowledge-Based Automated Repair of Authentication Protocols. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ivo Krka, Nicolás D'Ippolito, Nenad Medvidovic, Sebastián Uchitel |
Revisiting Compatibility of Input-Output Modal Transition Systems. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | William Denman, César A. Muñoz |
Automated Real Proving in PVS via MetiTarski. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Judy Bowen, Steve Reeves |
A Simplified Z Semantics for Presentation Interaction Models. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Denis Butin, Daniel Le Métayer |
Log Analysis for Data Protection Accountability. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer 0001 |
Flexible Invariants through Semantic Collaboration. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhenjiang Hu, Hugo Pacheco 0001, Sebastian Fischer 0001 |
Validity Checking of Putback Transformations in Bidirectional Programming. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yang Liu 0003, Yi Xu, Shao Jie Zhang, Chengzheng Sun |
Formal Verification of Operational Transformation. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang 0001 |
iscasMc: A Web-Based Probabilistic Model Checker. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Blom, Marieke Huisman |
The VerCors Tool for Verification of Concurrent Programs. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ognjen Maric, Christoph Sprenger 0001 |
Verification of a Transactional Memory Manager under Hardware Failures and Restarts. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Rinast, Sibylle Schupp, Dieter Gollmann |
A Graph-Based Transformation Reduction to Reach UPPAAL States Faster. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert |
Object Propositions. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yi Li 0008, Tian Huat Tan, Marsha Chechik |
Management of Time Requirements in Component-Based Systems. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Morteza Yousef Sanati, Wendy MacCaull, T. S. E. Maibaum |
Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dines Bjørner, Klaus Havelund |
40 Years of Formal Methods - Some Obstacles and Some Possibilities? |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hengjun Zhao, Mengfei Yang, Naijun Zhan, Bin Gu 0006, Liang Zou, Yao Chen |
Formal Verification of a Descent Guidance Control Program of a Lunar Lander. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shang-Wei Lin 0001, Pao-Ann Hsiung |
Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi |
Software Security: A Formal Perspective - (Notes for a Talk). |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Evren Ermis, Martin Schäf, Thomas Wies |
Error Invariants. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maria-Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango |
Maximal and Compositional Pattern-Based Loop Invariants. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Soufiene Benkirane, Rachel Norman, Erin Scott, Carron Shankland |
Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shang-Wei Lin 0001, Yang Liu 0003, Jun Sun 0001, Jin Song Dong, Étienne André |
Automatic Compositional Verification of Timed Systems. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Klaus Bauer, Yliès Falcone |
Decentralised LTL Monitoring. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager |
Automata Learning through Counterexample Guided Abstraction Refinement. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Giorgino, Martin Strecker |
Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sam Owre, Indranil Saha, Natarajan Shankar |
Automatic Dimensional Analysis of Cyber-Physical Systems. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Asaf Degani |
Formal Methods in the Wild: Trains, Planes, & Automobile. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yasuhiko Minamide, Shunsuke Mori |
Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mikael Asplund, Atif Manzoor, Mélanie Bouroche, Siobhán Clarke, Vinny Cahill |
A Formal Approach to Autonomous Vehicle Coordination. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Plagge, Michael Leuschel |
Validating B, Z and TLA + Using ProB and Kodkod. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova |
VMC: A Tool for Product Variability Analysis. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hossein Hojjat, Filip Konecný, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rümmer |
A Verification Toolkit for Numerical Transition Systems - Tool Paper. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Denis Cousineau 0002, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts 0001, Hernán Vanzetto |
TLA + Proofs. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | James Heather, Steve A. Schneider |
A Formal Framework for Modelling Coercion Resistance and Receipt Freeness. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel |
The Modal Transition System Control Problem. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen |
A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mirko Spasic, Filip Maric |
Formalization of Incremental Simplex Algorithm by Stepwise Refinement. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix |
When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu |
Executing Formal Semantics with the K Tool. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alan Wassyng |
Who Are We, and What Are We Doing Here? |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard |
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Truong Khanh Nguyen, Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Yan Liu 0012 |
Improved BDD-Based Discrete Analysis of Timed Systems. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Laurent Fribourg, Ulrich Kühne, Romain Soulat |
IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb |
A Certified Constraint Solver over Finite Domains. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Guowei Yang 0001, Sarfraz Khurshid, Miryung Kim |
Specification-Based Test Repair Using a Lightweight Formal Method. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | German E. Sibay, Sebastián Uchitel, Víctor A. Braberman, Jeff Kramer |
Distribution of Modal Transition Systems. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maria Christakis, Peter Müller 0001, Valentin Wüstholz |
Collaborative Verification and Testing with Explicit Assumptions. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Taylor T. Johnson, Jeremy Green, Sayan Mitra, Rachel F. Dudley, Richard Scott Erwin |
Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dimitra Giannakopoulou, Dominique Méry (eds.) |
FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Srinivas Nedunuri, Douglas R. Smith, William R. Cook |
Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fu Song, Tayssir Touili |
Efficient Malware Detection Using Model-Checking. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ammar Osaiweran, Tom Fransen, Jan Friso Groote, Bart J. van Rijnsoever |
Experience Report on Designing and Developing Control Components Using Formal Methods. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Grigore Rosu, Andrei Stefanescu |
From Hoare Logic to Matching Logic Reachability. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez 0001 |
Using Time to Add Order to Distributed Testing. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero 0001 |
Julienne: A Trace Slicer for Conditional Rewrite Theories. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Orna Grumberg, Yael Meller, Karen Yorav |
Applying Software Model Checking Techniques for Behavioral UML Models. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Guodong Li |
Validated Compilation through Logic. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Amálio, Christian Glodt, Pierre Kelsen |
Building VCL Models and Automatically Generating Z Specifications from Them. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Klebanov, Peter Müller 0001, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs 0002, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß 0001 |
The 1st Verified Software Competition: Experience Report. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen, Steve Reeves |
From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kristin Y. Rozier, Moshe Y. Vardi |
A Multi-encoding Approach for LTL Symbolic Satisfiability Checking. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Butler, Wolfram Schulte (eds.) |
FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Fabienne Boyer, Olivier Gruber, Gwen Salaün |
Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David Harel |
Some Thoughts on Behavioral Programming. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sarah M. Loos, André Platzer, Ligia Nistor |
Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Juan Manuel Crespo, César Kunz |
Relational Verification Using Product Programs. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Javier de Dios, Ricardo Peña |
Certification of Safe Polynomial Memory Bounds. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin |
Structured Specifications for Better Verification of Heap-Manipulating Programs. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Maciej Koutny |
Timed Migration and Interaction with Access Permissions. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Méry, Mohamed Mosbah 0001, Mohamed Tounsi 0001 |
Refinement-Based Verification of Local Synchronization Algorithms. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shao Jie Zhang, Jun Sun 0001, Jun Pang 0001, Yang Liu 0003, Jin Song Dong |
On Combining State Space Reductions with Global Fairness Assumptions. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Dietsch, Bernd Westphal, Andreas Podelski |
System Verification through Program Verification. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna 0001 |
Formally Verifying Isolation and Availability in an Idealized Model of Virtualization. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister |
Sampling-Based Runtime Verification. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anne E. Haxthausen, Andreas A. Kjær, Marie Le Bliguet |
Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cavalcanti 0001, Andy J. Wellings, Jim Woodcock 0001 |
The Safety-Critical Java Memory Model: A Formal Account. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Fisher, Nir Piterman, Moshe Y. Vardi |
The Only Way Is Up. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Verifying Linearisability with Potential Linearisation Points. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
Simulating Concurrent Behaviors with Worst-Case Cost Bounds. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He |
Automatically Refining Partial Specifications for Program Verification. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Banks, Jeremy L. Jacob |
Specifying Confidentiality in Circus. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Howard Barringer, Klaus Havelund |
TraceContract: A Scala DSL for Trace Analysis. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aboubakr Achraf El Ghazi, Mana Taghdiri |
Relational Reasoning via SMT Solving. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter Müller 0001, Joseph N. Ruskiewicz |
Using Debuggers to Understand Failed Verification Attempts. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Zhenbang Chen, Zhiming Liu 0001, Ji Wang 0001 |
Failure-Divergence Refinement of Compensating Communicating Processes. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0002, Jan Smans, Frank Piessens |
Verification of Unloadable Modules. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Steve Dunne |
Termination without \checkmark\checkmark in CSP. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Werner Damm, Bernd Finkbeiner |
Does It Pay to Extend the Perimeter of a World Model? |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Janos Sztipanovits |
Model Integration and Cyber Physical Systems: A Semantics Perspective. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz |
Formal Management of CAD/CAM Processes. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry |
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method. |
FM |
2009 |
DBLP DOI BibTeX RDF |
Scope-bounded checking, computation graph, first-order logic, SAT, Alloy, white-box testing, lightweight formal method |
1 | Yang Liu 0003, Wei Chen 0013, Yanhong A. Liu, Jun Sun 0001 |
Model Checking Linearizability via Refinement. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|