Alan Wassyng

Citado por

	Total	Desde 2019
Citas	1250	502
Índice h	19	12
Índice i10	31	17

120

19851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320244 6 7 4 1 1 2 7 8 6 9 4 2 1 5 3 5 4 9 6 8 14 11 25 16 23 47 49 43 76 91 74 59 77 114 80 99 88 100 21

Acceso público

Ver todo

7 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Mark LawfordMcMaster UniversityDirección de correo verificada de mcmaster.ca
Vera PantelicSenior Principal Research Engineer, Adjunct Professor, McMaster Centre for Software CertificationDirección de correo verificada de mcmaster.ca
Neeraj Kumar SinghINPT-ENSEEIHT/IRIT, University of Toulouse, ToulouseDirección de correo verificada de enseeiht.fr
Hao WangXidian UniversityDirección de correo verificada de ieee.org
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas StateDirección de correo verificada de ksu.edu
Monika JaskolkaStellantisDirección de correo verificada de stellantis.com
Paul L. JonesU.S. Food and Drug AdministrationDirección de correo verificada de fda.hhs.gov
Tim KellyProfessor of High Integrity SystemsDirección de correo verificada de york.ac.uk
Wen ChenMcMaster UniversityDirección de correo verificada de mcmaster.ca
Karl SmithUniversity of Minnesota & Purdue UniversityDirección de correo verificada de umn.edu
Anthony FinkelsteinProfessor of Software Systems Engineering, UCLDirección de correo verificada de cs.ucl.ac.uk
Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of MinnesotaDirección de correo verificada de umn.edu
Waldemar W. Koczkodaj, Prof.Professor, Laurentian U., Subury, Ontario, CanadaDirección de correo verificada de cs.laurentian.ca
Nazareno AguirreUniversidad Nacional de Río Cuarto / Consejo Nacional de Investigaciones Científicas y TécnicasDirección de correo verificada de dc.exa.unrc.edu.ar
Ridha KhedriProfessor of Software Engineering, McMaster UniversityDirección de correo verificada de mcmaster.ca

Seguir

Alan Wassyng

McMaster University, Dept Computing and Software, McMaster Centre for Software Certification

Dirección de correo verificada de McMaster.ca

Assurance Cases Software certification software engineering cyber physical systems real-time


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Certifiably safe software-dependent systems: challenges and directions J Hatcliff, A Wassyng, T Kelly, C Comar, P Jones Future of Software Engineering Proceedings, 182-200, 2014	108	2014
A product-focused approach to software certification T Maibaum, A Wassyng Computer 41 (2), 91-93, 2008	81	2008
Lessons learned from a successful implementation of formal methods in an industrial project A Wassyng, M Lawford FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003	73	2003
Software certification: Is there a case against safety cases? A Wassyng, T Maibaum, M Lawford, H Bherer Foundations of Computer Software. Modeling, Development, and Verification of …, 2011	65	2011
Verification of the shutdown system software at the Darlington nuclear generating station GH Archinoff, RJ Hohendorf, A Wassyng, B Quigley, MR Borsch International Conference on Control & Instrumentation in Nuclear …, 1990	63	1990
A coupled finite element-boundary element method of stress analysis BHG Brady, A Wassyng International Journal of Rock Mechanics and Mining Sciences & Geomechanics …, 1981	60	1981
Insulin pump software certification Y Chen, M Lawford, H Wang, A Wassyng Foundations of Health Information Engineering and Systems: Third …, 2014	37	2014
Safe and secure automotive over-the-air updates T Chowdhury, E Lesiuta, K Rikley, CW Lin, E Kang, BG Kim, S Shiraishi, ... Computer Safety, Reliability, and Security: 37th International Conference …, 2018	36	2018
Software tools for safety-critical software development A Wassyng, M Lawford International Journal on Software Tools for Technology Transfer 8, 337-354, 2006	36	2006
Can product-specific assurance case templates be used as medical device standards? A Wassyng, NK Singh, M Geven, N Proscia, H Wang, M Lawford, ... IEEE Design & Test 32 (5), 45-55, 2015	34	2015
Tabular expressions and their relational semantics R Janicki, A Wassyng Fundamenta Informaticae 67 (4), 343-370, 2005	31	2005
A software certification consortium and its top 9 hurdles J Hatcliff, M Heimdahl, M Lawford, T Maibaum, A Wassyng, F Wurden Electronic Notes in Theoretical Computer Science 238 (4), 11-17, 2009	28	2009
To do or not to do: If the requirements engineering payoff is so good, why aren't more companies doing it? A Wassyng, E Simmons, R Hall, D Gause, A Finkelstein, D Damian, ... 13th IEEE International Conference on Requirements Engineering (RE'05), 447-447, 2005	28	2005
Software engineering practices and Simulink: bridging the gap V Pantelic, S Postma, M Lawford, M Jaskolka, B Mackenzie, A Korobkine, ... International Journal on Software Tools for Technology Transfer 20, 95-117, 2018	27	2018
Tabular expressions in software engineering A Wassyng, R Janicki Proceedings of ICSSEA 3, 1-46, 2003	27	2003
Using STPA in an ISO 26262 Compliant Process A Mallya, V Panetelic, A Morayo, M Lawford, A Wassyng Computer Safety, Reliability, and Security: 35th International Conference …, 2016	24	2016
On software certification: we need product-focused approaches A Wassyng, T Maibaum, M Lawford Monterey Workshop, 250-274, 2008	22	2008
Software engineering for model-based development by domain experts M Bialy, V Pantelic, J Jaskolka, A Schaap, L Patcas, M Lawford, ... Handbook of System Safety and Security, 39-64, 2017	20	2017
Assurance via model transformations and their hierarchical refinement Z Diskin, T Maibaum, A Wassyng, S Wynn-Williams, M Lawford Proceedings of the 21th ACM/IEEE International Conference on Model Driven …, 2018	19	2018
Timing tolerances in safety-critical software A Wassyng, M Lawford, X Hu FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005	19	2005

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores