Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
A. Ambikapathy
Claudia Calabrese
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
Hak Chiaw Tang
Zhiguo Wang
Radu Timofte
Kuanrui Yin
Home
/
Author
/
JOHN MCDERMID
Author Info
Open Visualization
Name
Affiliation
Papers
JOHN MCDERMID
Department of Computer Science, University of York, Heslington, York, UK
9
Collaborators
Citations
PageRank
11
63
6.05
Referers
Referees
References
153
139
76
Search Limit
100
153
Publications (9 rows)
Collaborators (11 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Trusted Product Lines
3
0.41
2013
Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations
5
0.49
2011
Development of high-integrity software product lines using model transformation
9
0.57
2010
Integrating safety and formal analyses using UML and PFS
17
1.23
2007
On the Formal Development of Safety-Critical Software
3
0.69
2005
Two-stage visual localisation: landmark-based pose initialisation and model-based pose refinement
0
0.34
2005
A contract-based approach to designing safe systems
15
1.03
2003
Epipole Estimation under Pure Camera Translation
4
0.65
2003
Establishing timing requirements for control loops in real-time systems
7
0.64
2003
1