BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Belgium
1 × France
1 × Greece
1 × Ireland
1 × Italy
1 × USA
2 × Denmark
2 × Spain
2 × United Kingdom
Collaborated with:
D.Corney M.Utting P.Kearney G.Watson A.Pika M.T.Wynn A.H.M.t.Hofstede W.M.P.v.d.Aalst B.Alshammari R.Lister D.Teague I.J.Hayes M.Leyer
Talks about:
time (6) program (5) real (4) behaviour (2) schedul (2) assembl (2) verifi (2) integr (2) formal (2) analys (2)

Person: Colin J. Fidge

DBLP DBLP: Fidge:Colin_J=

Contributed to:

CAiSE 20142014
CAiSE 20132013
SEKE 20132013
ITiCSE 20092009
LCTES 20092009
FME 20032003
SEFM 20032003
FME 20022002
IFM 19991999
FME 19961996
CAV 19951995
FME 19941994
FME 19931993

Wrote 13 papers:

CAiSE-2014-PikaWFHLA #behaviour #framework #using
An Extensible Framework for Analysing Resource Behaviour Using Event Logs (AP, MTW, CJF, AHMtH, ML, WMPvdA), pp. 564–579.
CAiSE-2013-PikaAFHW #process #profiling
Profiling Event Logs to Configure Risk Indicators for Process Delays (AP, WMPvdA, CJF, AHMtH, MTW), pp. 465–481.
SEKE-2013-AlshammariFC #bytecode #java #metric #security #source code
Security Metrics for Java Bytecode Programs (BA, CJF, DC), pp. 394–399.
ITiCSE-2009-ListerFT #programming
Further evidence of a relationship between explaining, tracing and writing skills in introductory programming (RL, CJF, DT), pp. 161–165.
LCTES-2009-FidgeC #analysis #data flow #hardware
Integrating hardware and software information flow analyses (CJF, DC), pp. 157–166.
FME-2003-Fidge #legacy #verification
Verifying Emulation of Legacy Mission Computer Systems (CJF), pp. 187–207.
SEFM-2003-WatsonF #assembly #modelling #semantics #source code
A Partial-Correctness Semantics for Modelling Assembler Programs (GW, CJF), pp. 82–90.
FME-2002-Fidge #analysis #assembly #control flow
Timing Analysis of Assembler Code Control-Flow Paths (CJF), pp. 370–389.
IFM-1999-Fidge #behaviour #modelling
Modelling Discrete Behaviour in a Continuous-Time Formalism (CJF), pp. 170–188.
FME-1996-FidgeUKH #realtime #refinement #scheduling
Integrating Real-Time Scheduling Theory and Program Refinement (CJF, MU, PK, IJH), pp. 327–346.
CAV-1995-FidgeKU #realtime #verification
Interactively Verifying a Simple Real-time Scheduler (CJF, PK, MU), pp. 395–408.
FME-1994-Fidge #development #realtime
Adding Real Time to Formal Program Development (CJF), pp. 618–638.
FME-1993-Fidge #realtime #refinement
Real-Time Refinement (CJF), pp. 314–331.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.