| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Stéphane Lafrance, John Mullins |
Using Admissible Interference to Detect Denial of Service Vulnerabilities.  |
IWFM  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Anthony Karel Seda, Máire Lane |
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs. |
IWFM |
2003 |
DBLP BibTeX RDF |
|
| 1 | Doug Goldson |
Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example. |
IWFM |
2003 |
DBLP BibTeX RDF |
|
| 1 | Christie Bolton, Gavin Lowe |
On the Automatic Verification of Non-Standard Measures of Consistency. |
IWFM |
2003 |
DBLP BibTeX RDF |
|
| 1 | Lu Yan, Kaisa Sere |
Stepwise Development of Peer-to-Peer Systems. |
IWFM |
2003 |
DBLP BibTeX RDF |
|
| 1 | Sharon Keidar, Yoav Rodeh |
Searching for Counter-Examples Adaptively. |
IWFM |
2003 |
DBLP BibTeX RDF |
|
| 1 | Joseph M. Morris, Benjamin Aziz, Frédéric Oehl (eds.) |
6th International Workshop on Formal Methods, IWFM 2003, Dublin City University, Ireland, 11 July, 2003 |
IWFM |
2003 |
DBLP BibTeX RDF |
|
| 1 | Gordon D. Plotkin, John Power |
Logic for Computational Effects: Work in Progress. |
IWFM |
2003 |
DBLP BibTeX RDF |
|
| 1 | Pascal Hitzler, Anthony Karel Seda |
VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM. |
IWFM |
2001 |
DBLP BibTeX RDF |
|
| 1 | Benjamin Aziz, Geoff W. Hamilton |
A Denotational Semantics for the Pi-Calculus. |
IWFM |
2001 |
DBLP BibTeX RDF |
|
| 1 | Doug Goldson |
Multiprogram Design in the theory of Owicki and Gries. |
IWFM |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jim Woodcock 0001, Ana Cavalcanti 0001 |
A Concurrent Language for Refinement. |
IWFM |
2001 |
DBLP BibTeX RDF |
|
| 1 | Andrew Butterfield, Glenn Strong, Claus Pahl (eds.) |
5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001 |
IWFM |
2001 |
DBLP BibTeX RDF |
|
| 1 | Steve Dunne |
Recasting Hoare and He's Unifying Theory of Programs in the Context of General Correctness. |
IWFM |
2001 |
DBLP BibTeX RDF |
|
| 1 | N. Reid, Peter Kilpatrick, Maurice Clint |
Towards a Semantics For Multidimensional Array Assignment in Fortran 95. |
IWFM |
2001 |
DBLP BibTeX RDF |
|
| 1 | Claus Pahl |
Observation and Abstract Behaviour in Specification and Implementation of State-based Systems. |
IWFM |
2001 |
DBLP BibTeX RDF |
|
| 1 | Michael Poppleton, Richard Banach |
Retrenchment: Extending Refinement for Continuous and Control Systems. |
IWFM |
2000 |
DBLP BibTeX RDF |
|
| 1 | Steve King 0001, Carroll Morgan |
An Iterator Construct for the Refinement Calculus. |
IWFM |
2000 |
DBLP BibTeX RDF |
|
| 1 | Christophe Tabacznyj |
Abstract Clustering for Program Comprehension. |
IWFM |
2000 |
DBLP BibTeX RDF |
|
| 1 | Claus Pahl |
Modal Logics for Reasoning about Object-based Component Composition. |
IWFM |
2000 |
DBLP BibTeX RDF |
|
| 1 | A. J. Currie |
A Comparison of Three Model Checkers Applied to a Distributed Database Problem. |
IWFM |
2000 |
DBLP BibTeX RDF |
|
| 1 | David Sinclair, J. Paul Gibson (eds.) |
4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000 |
IWFM |
2000 |
DBLP BibTeX RDF |
|
| 1 | Pascal Hitzler, Anthony Karel Seda |
A Note on the Relationships Between Logic Programs and Neural Networks. |
IWFM |
2000 |
DBLP BibTeX RDF |
|
| 1 | Claus Pahl |
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems. |
IWFM |
2000 |
DBLP BibTeX RDF |
|
| 1 | J. Artur Serrano |
Formal Specifications of Software Design Methods. |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | J. F. Miller |
Teaching and Learning Formal Methods, Improving Productivity. |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Claus Pahl |
Modular Composition of Language Features through Extensions of Semantic Language Models. |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Helen Lowe, John Lowe |
The Role of Proof in a Formal Specification of the Speedway Rulebook. |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | William M. Farmer |
A Scheme for Defining Partial Higher-Order Functions by Recursion. |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Vanderlei Moraes Rodrigues, Flávio Rech Wagner |
A Logic to Specify and Verify Synchronous Transitions. |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Christophe Meudec |
Tests Derivation from Model Based Formal Specifications. |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Henry McLoughlin, Kevin Hely |
Some optimisation problems revisited. |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Georg Droschl |
On the Integration of Formal Methods: Events and Scenarios in PVS and VDM. |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Juan Bicarregui, Brian Matthews |
Proof and Refutation in Formal Software Development. |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | David Gray, Geoff W. Hamilton, David Sinclair, J. Paul Gibson, James F. Power |
Four Logics and a Protocol. |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Michel P. Schellekens |
Valuations revisited. |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jeremy W. Bryans, John Derrick |
Stochastic Specification and Verification. |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Pascal Hitzler, Anthony Karel Seda |
Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Andrew Butterfield, Klemens Haegele (eds.) |
3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999 |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Mark Bickford, Jason Hickey |
Predicate Transformers for Infinite-State Automata in NuPRL Type Theory. |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Mark Changizi |
Motivation for a New Semantics for Vagueness. |
IWFM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Luming Lai |
An Unbounded Nondeterministic Model for CSP-like Languages. |
IWFM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Sharon Flynn, Andrew Butterfield (eds.) |
2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998 |
IWFM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Hugh Gibbons |
Declarative View of Imperative Programs. |
IWFM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Mícheál Mac an Airchinnigh |
Mathematics for Formal Methods, a Proposal for Education Reform. |
IWFM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Richard Shore |
A Use Case Interpretation of B AMN. |
IWFM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Stephen Kilpatrick, Maurice Clint, Peter Kilpatrick |
A Case Study on Proving Transformations Correct: Data-Parallel Conversion. |
IWFM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Brian Matthews, Elvira Locuratolo |
Translating Structured Database Schemas into Abstract Machines. |
IWFM |
1998 |
DBLP BibTeX RDF |
|
| 1 | J. Paul Gibson, Dominique Méry |
Teaching Formal Methods: Lessons to Learn. |
IWFM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Raphaël Couturier |
Formal Engineering of the Bitonic Sort using PVS. |
IWFM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Claus Pahl |
Facilitating Modular Property-Preserving Extensions of Programming Languages. |
IWFM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Terence J. Harmer, Patrick J. McParland, James M. Boyle |
Applications of the TAMPR Transformation System. |
IWFM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Arthur P. Hughes |
Towards an Override in Topoi. |
IWFM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Anthony Karel Seda, Pascal Hitzler |
Strictly Level-Decreasing Logic Programs. |
IWFM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Franz Geiselbrechtinger |
Computer Aided Incremental Specification. |
IWFM |
1997 |
DBLP BibTeX RDF |
|
| 1 | John Herbert |
A Simple Algorithm Specification Language and its Application. |
IWFM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Luming Lai, Jeff W. Sanders |
A Refinement Calculus for Communicating Processes with State. |
IWFM |
1997 |
DBLP BibTeX RDF |
|
| 1 | N. Malik, Kevin Lano |
A Formal Approach to Design Patterns in Re-Engineering. |
IWFM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michael Poppleton |
The Single Transferable Voting System: Functional Decomposition in Formal Specification. |
IWFM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Helen Lowe |
The Use of Theorem Provers in the Teaching and Practice of Formal Methods. |
IWFM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Danielle C. Fowler, Paul A. Swatman |
Presenting Object Oriented Formal Requirements Specifications: Insights from an Action Research Study. |
IWFM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Hongji Yang, Yong Sun |
Reverse Engineering and Reusing COBOL Programs: A Program Transformation Approach. |
IWFM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Alan Stewart |
An Axiomatic Semantics for Data Parallel Computation. |
IWFM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Arthur P. Hughes, Claus Pahl |
A Generic Model for State-based Agent Systems. |
IWFM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Edel Sherratt |
Nonmonotonic Reasoning and Formal Software Development. |
IWFM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Henry McGloughlin, Gerard O'Regan (eds.) |
1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Ireland, 3-4 July 1997 |
IWFM |
1997 |
DBLP BibTeX RDF |
|
| 1 | S. Riddle, P. Wallis |
Denotational Semantics and Refinement. |
IWFM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Rosemary Monahan, Franz Geiselbrechtinger |
Tactics for Transformational Programming. |
IWFM |
1997 |
DBLP BibTeX RDF |
|
| 1 | J. Paul Gibson, Bruno Mermet, Dominique Méry |
Feature Interactions: A Mixed Semantic Model Approach. |
IWFM |
1997 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license