default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th ICFEM 2005: Manchester, UK
- Kung-Kiu Lau, Richard Banach:
Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings. Lecture Notes in Computer Science 3785, Springer 2005, ISBN 3-540-29797-9
Invited Talks
- Anthony Hall:
Realising the Benefits of Formal Methods. 1-4 - Alistair Barros
, Egon Börger:
A Compositional Framework for Service Interaction Patterns and Interaction Flows. 5-35 - John M. Rushby:
An Evidential Tool Bus. 36-36
Specification
- Akram Idani, Yves Ledru, Didier Bert:
Derivation of UML Class Diagrams as Static Views of Formal B Developments. 37-51 - Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever:
29 New Unclarities in the Semantics of UML 2.0 State Machines. 52-65 - Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang:
The Semantics and Tool Support of OZTA. 66-80
Modelling
- Michael Altenhofen, Egon Börger, Jens Lemcke:
An Abstract Model for Process Mediation. 81-95 - Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard:
How Symbolic Animation Can Help Designing an Efficient Formal Model. 96-110
Security
- Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti:
A Theory of Secure Control Flow. 111-124 - Mourad Debbabi, Mohamed Mostafa Saleh:
Game Semantics Model for Security Protocols. 125-140
Communication
- Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum:
Towards Dynamically Communicating Abstract Machines in the B Method. 141-155 - Guy Edward Gallasch, Bing Han, Jonathan Billington:
Sweep-Line Analysis of TCP Connection Management. 156-172 - Yanjun Wen, Ji Wang, Zhi-Chang Qi:
2/3 Alternating Simulation Between Interface Automata. 173-187
Development
- Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik:
Formal Model-Driven Development of Communicating Systems. 188-203 - Ismail Assayad, Valérie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine:
Jahuel: A Formal Framework for Software Synthesis. 204-218 - Juha Plosila, Pasi Liljeberg, Jouni Isoaho:
Modelling and Refinement of an On-Chip Communication Architecture. 219-234
Testing
- Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou:
Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. 235-250 - Johannes Mayer:
Adaptive Random Testing by Bisection with Restriction. 251-263 - Laura Brandán Briones, Ed Brinksma:
Testing Real-Time Multi Input-Output Systems. 264-279
Verification
- Sandrine Blazy, Xavier Leroy:
Formal Verification of a Memory Model for C-Like Imperative Languages. 280-299 - Farn Wang:
Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations. 300-314 - Bernhard Beckert, Steffen Schlager, Peter H. Schmitt:
An Improved Rule for While Loops in Deductive Program Verification. 315-329 - Byron Cook, Georges Gonthier:
Using Stålmarck's Algorithm to Prove Inequalities. 330-344 - Michael Leuschel, Michael J. Butler:
Automatic Refinement Checking for B. 345-359 - Ingo Brückner, Heike Wehrheim:
Slicing an Integrated Formal Method for Verification. 360-374 - Francesc-Xavier Babot, Miquel Bertran, August Climent:
A Static Communication Elimination Algorithm for Distributed System Verification. 375-389 - Arjan J. Mooij, Wieger Wesselink:
Incremental Verification of Owicki/Gries Proof Outlines Using PVS. 390-404 - Jens Brandt, Klaus Schneider:
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry. 405-420
Tools
- Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid:
An Automated Approach to Specification-Based Program Inspection. 421-434 - Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun:
Visualizing and Simulating Semantic Web Services Ontologies. 435-449 - Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal:
A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. 450-464 - M. M. Adams, Philip B. Clayton:
ClawZ: Cost-Effective Formal Verification for Control Systems. 465-479 - Jing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik:
SVG Web Environment for Z Specification Language. 480-494
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-03-12 01:48 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:
