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 × Brazil
1 × Germany
1 × USA
1 × Uruguay
Collaborated with:
E.Vassev N.F.Schneidewind J.Paquet
Talks about:
model (2) assl (2) approach (1) softwar (1) reliabl (1) product (1) mission (1) develop (1) toward (1) specif (1)

Person: Mike Hinchey

DBLP DBLP: Hinchey:Mike

Facilitated 1 volumes:

SEFM 2012Ed

Contributed to:

SEFM 20112011
SPLC 20112011
SAC 20092009
SAC 20082008

Wrote 4 papers:

SEFM-2011-VassevH #case study #experience #model checking
Developing Model-Checking Mechanisms for ASSL: An Experience Report (EV, MH), pp. 19–34.
SPLC-2011-Hinchey #product line
Families (of Products) in Space (MH), pp. 8–9.
SAC-2009-SchneidewindH #approach #reliability #testing
A consumer/producer approach to risk-driven software reliability and testing (NFS, MH), pp. 537–538.
SAC-2008-VassevHP #specification #towards
Towards an ASSL specification model for NASA swarm-based exploration missions (EV, MH, JP), pp. 1652–1657.

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.