45 papers:
SAC-2015-Buday #formal method- Formalising the SECD machine with nominal Isabelle (GB), pp. 1823–1824.
CADE-2015-Paulson #automaton #finite #formal method #set #using- A Formalisation of Finite Automata Using Hereditarily Finite Sets (LCP), pp. 231–245.
ASE-2014-AhmedNWS #behaviour #formal method #integration- Formalisation of the integration of behavior trees (KA, MAHN, LW, AS), pp. 779–784.
ICEIS-v1-2014-KleinSRF #formal method #integration #on the #using- On the Formalisation of an Application Integration Language Using Z Notation (MJK, SS, FRF, RZF), pp. 314–319.
EDOC-2013-SelwayGMS #approach #formal method #natural language #specification #using- Formalising Natural Language Specifications Using a Cognitive Linguistics/Configuration Based Approach (MS, GG, WM, MS), pp. 59–68.
ESOP-2012-Lochbihler #formal method #java #memory management- Java and the Java Memory Model — A Unified, Machine-Checked Formalisation (AL), pp. 497–517.
SEFM-2011-BubelHG #formal method #java #specification #string #verification- A Formalisation of Java Strings for Program Specification and Verification (RB, RH, UG), pp. 90–105.
FASE-2010-RutleRLW #constraints #formal method #model transformation- A Formalisation of Constraint-Aware Model Transformations (AR, AR, YL, UW), pp. 13–28.
- ICEIS-AIDSS-2010-GerberKM #formal method #metamodelling #ontology #towards #using
- Towards the Formalisation of the TOGAF Content Metamodel using Ontologies (AG, PK, AvdM), pp. 54–64.
KDIR-2010-Bernard #formal method #modelling #reuse- Characterisation, Formalisation and Reuse of Knowledge — Models, Methods and Application Cases (AB), p. 13.
CSL-2010-BarthwalN #context-free grammar #formal method #normalisation- A Formalisation of the Normal Forms of Context-Free Grammars in HOL4 (AB, MN), pp. 95–109.
- ESOP-2009-SchaferEM #attribute grammar #coq #formal method #verification
- Formalising and Verifying Reference Attribute Grammars in Coq (MS, TE, OdM), pp. 143–159.
- FASE-2009-RutleRLW #approach #formal method #version control
- A Category-Theoretical Approach to the Formalisation of Version Control in MDE (AR, AR, YL, UW), pp. 64–78.
TOOLS-EUROPE-2009-RutleRLW #diagrams #formal method #modelling- A Diagrammatic Formalisation of MOF-Based Modelling Languages (AR, AR, YL, UW), pp. 37–56.
KR-2008-ArtaleGK #constraints #formal method- Formalising Temporal Constraints on Part-Whole Relations (AA, NG, CMK), pp. 673–683.
ATEM-J-2006-AmelunxenS #formal method #model transformation #uml- Formalising model transformation rules for UML/MOF 2 (CA, AS), pp. 204–222.
FoSSaCS-2007-BengtsonP #formal method #logic #using #π-calculus- Formalising the π-Calculus Using Nominal Logic (JB, JP), pp. 63–77.
SAS-2007-Brotherston #induction #logic #reasoning- Formalised Inductive Reasoning in the Logic of Bunched Implications (JB), pp. 87–103.
- SEFM-2007-Bayley #design pattern #formal method #logic
- Formalising Design Patterns in Predicate Logic (IB), pp. 25–36.
SCAM-J-2005-BinkleyDGHKK06 #formal method #slicing- A formalisation of the relationship between forms of program slicing (DB, SD, TG, MH, ÁK, BK), pp. 228–252.
- FASE-2005-Mostowski #formal method #java #logic #security #verification
- Formalisation and Verification of Java Card Security Properties in Dynamic Logic (WM), pp. 357–371.
IFM-2005-Turner #formal method #interactive- Formalising Interactive Voice Services with SDL (KJT), pp. 307–326.
- SEFM-2005-ShiRB #formal method #robust
- Formalising Control in Robust Spoken Dialogue Systems (HS, RJR, JAB), pp. 332–341.
- ICEIS-v4-2005-SilvaH #documentation #formal method
- Narrative Support for Technical Documents: Formalising Rhetorical Structure Theory (NDS, PH), pp. 105–110.
OOPSLA-2005-AhernY #formal method #java- Formalising Java RMI with explicit code mobility (AA, NY), pp. 403–422.
- IFM-2004-Winter #behaviour #csp #formal method
- Formalising Behaviour Trees with CSP (KW), pp. 148–167.
- ICEIS-v3-2004-LeymonerieJCBO #approach #architecture #formal method #process #towards
- Towards a Business Process Formalisation Based on an Architecture Centred Approach (FL, LBDJ, SC, CB, FO), pp. 513–518.
ICGT-2002-MensDJ #behaviour #formal method #program transformation- Formalising Behaviour Preserving Program Transformations (TM, SD, DJ), pp. 286–301.
- ESOP-2001-Jacobs #exception #formal method #java
- A Formalisation of Java’s Exception Mechanism (BJ), pp. 284–301.
RTA-2001-VestergaardB #confluence #first-order #proving #using #λ-calculus- A Formalised First-Order Confluence Proof for the λ-Calculus Using One-Sorted Variable Names (RV, JB), pp. 306–321.
- EDOC-1999-SteenD #enterprise #formal method #policy
- Formalising ODP enterprise policies (MWAS, JD), pp. 84–93.
- ICEIS-1999-KotowiczB #concept #enterprise #formal method #information management #multi
- Linguistic Engineering for Conception of Multi-Agents Systems-Application to the Formalisation of Enterprise Information Systems (JPK, XB), pp. 248–255.
UML-1999-PaltorL #formal method #model checking #state machine #uml- Formalising UML State Machines for Model Checking (IP, JL), pp. 430–445.
PPDP-1999-KamareddineM #on the #proving #recursion #termination- On Formalised Proofs of Termination of Recursive Functions (FK, FM), pp. 29–46.
AdaEurope-1997-CheungCC #integration #object-oriented #towards- Towards an Integration of Syntactic Constructs and Structural Features for Formalised Object-Oriented Methods (KSC, PKOC, TYC), pp. 173–184.
CIKM-1995-StranieriZ #formal method #reasoning- Levels of Reasoning as the Basis for a Formalisation of Argumentation (AS, JZ), pp. 333–339.
FME-1994-FencottGLOP #algebra #formal method #modelling #process #semantics #using- Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra (PCF, AG, MAL, SJO, SP), pp. 681–702.
- FME-1994-King #formal method
- Formalising British Rail’s Signalling Rules (TK), pp. 45–54.
CAiSE-1994-SeoL #data type #formal method #process #reuse #using- Formalisation of Data and Process Model Reuse Using Hierarchic Data Types (DS, PL), pp. 256–268.
ICRE-1994-SiddiqiMHB #formal method #requirements #towards- Towards a system for the construction, clarification, discovery and formalisation of requirements (JIAS, ICM, RH, GB), pp. 230–238.
- CAiSE-1993-DuboisBP #elicitation #formal method #information management #requirements
- Elicitating and Formalising Requirements for C.I.M. Information Systems (ED, PDB, MP), pp. 252–274.
- KR-1991-Castaing #formal method #representation
- A New Formalisation of Subsumption in Frame-Based Representation Systems (JC), pp. 78–88.
- VDME-1990-LafontaineLS #formal method #towards
- Two Approaches towards the Formalisation of VDM (CL, YL, PYS), pp. 370–398.
- ESOP-1988-Krieg-Bruckner #algebra #development #formal method
- Algebraic Formalisation of Program Development by Transformation (BKB), pp. 34–48.
ESEC-1987-DuboisLS #formal method #process #specification- Formalising Reconstructuring Operators in a Specification Process (ED, NL, JS), pp. 161–171.
