10 papers:
HIMI-LCCB-2013-KamoT #collaboration #multi- Interlocked Surfaces: A Dynamic Multi-device Collaboration System (HK, JT), pp. 317–325.
ISSTA-2013-Bonacchi #case study #proving #safety- Formal safety proof: a real case study in a railway interlocking system (AB0), pp. 378–381.
FM-2011-HaxthausenKB #automation #development #modelling #verification- Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems (AEH, AAK, MLB), pp. 118–132.
ECMDA-FA-2008-ChevillatCSSW #generative #modelling- Model-Based Generation of Interlocking Controller Software from Control Tables (CC, DAC, PAS, JGS, LW), pp. 349–360.
FATES-2005-BlomIPRS #testing- Simulated Time for Testing Railway Interlockings with TTCN-3 (SB, NI, JvdP, AR, NS), pp. 1–15.
DAC-2002-EderB #logic #performance #pipes and filters #verification- Achieving maximum performance: a method for the verification of interlocked pipeline control logic (KE, GB), pp. 135–140.
- FM-v2-1999-ButhS #architecture #communication #design #model checking
- Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems (BB, MS), p. 1869.
HPCA-1995-Weiss #implementation #multi #queue- Implementing Register Interlocks in Parallel-Pipeline Multiple Instruction Queue, Superscalar Processors (SW), pp. 14–21.
- FME-1994-Hansen #validation
- Validation of a Railway Interlocking Model (KMH), pp. 582–601.
SOSP-1971-Easton #process- Process Synchronization without Long-Term Interlock (WBE), pp. 95–100.
