BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
1 × The Netherlands
1 × USA
1 × United Kingdom
Collaborated with:
∅ A.Smith A.Cavalcanti P.Clayton
Talks about:
generat (2) verifi (2) abstract (1) softwar (1) diagram (1) control (1) automat (1) semant (1) safeti (1) pictur (1)

Person: Colin O'Halloran

DBLP DBLP: O'Halloran:Colin

Contributed to:

FM 20092009
FM 20052005
ASE 20012001
ASE 20002000
ASE 19991999
ASE 19981998
FME 19941994

Wrote 7 papers:

FM-2009-OHalloran #verification
Guess and Verify — Back to the Future (CO), pp. 23–32.
FM-2005-CavalcantiCO #diagrams
Control Law Diagrams in Circus (AC, PC, CO), pp. 253–268.
ASE-2001-OHalloran #assurance
Acceptance Based Assurance (CO), pp. 63–70.
ASE-2000-OHalloran #automation #generative #safety
Issues for the Automatic Generation of Safety Critical Software (CO), pp. 277–280.
ASE-1999-OHalloranS #verification
Verification of Picture Generated Code (CO, AS), pp. 127–136.
ASE-1998-OHalloranS #exclamation #verification
Don’t Verify, Abstract! (CO, AS), pp. 53–62.
FME-1994-OHalloran #evaluation #semantics
Evaluation Semantics in Z (CO), pp. 502–518.
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.