default search action
Tim Kelly
Tim P. Kelly
Person information
- affiliation: University of York, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j28]Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly, Yakoub Nemouchi:
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. J. Syst. Softw. 213: 112034 (2024) - [j27]Ran Wei, Zhe Jiang, Haitao Mei, Konstantinos Barmpis, Simon Foster, Tim Kelly, Yan Zhuang:
Automated Model-Based Assurance Case Management Using Constrained Natural Language. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(1): 291-304 (2024) - [j26]Ran Wei, Zhe Jiang, Xiaoran Guo, Ruizhe Yang, Haitao Mei, Athanasios Zolotas, Tim Kelly:
DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(5): 1346-1359 (2024) - [c85]Luís Nascimento, André Luíz de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly:
From Fault Tree Analysis to Runtime Model-Based Assurance Cases. AINA (2) 2024: 451-464 - [i9]Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly:
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. CoRR abs/2403.15236 (2024) - 2023
- [c84]Luís Nascimento, André Luíz de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly:
Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems. AINA (1) 2023: 534-546 - 2022
- [c83]Ran Wei, Zhe Jiang, Xiaoran Guo, Haitao Mei, Athanasios Zolotas, Tim Kelly:
Designing critical systems with iterative automated safety analysis. DAC 2022: 181-186 - 2021
- [j25]Simon Foster, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly:
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. Formal Aspects Comput. 33(6): 855-884 (2021) - [i8]Eric Armengaud, Georg Macher, Alexander Massoner, Sebastian Frager, Rasmus Adler, Daniel Schneider, Simone Longo, Massimiliano Melis, Riccardo Groppo, Federica A. Villa, Pádraig O'Leary, Kevin Bambury, Anita Finnegan, Marc Zeller, Kai Höfig, Yiannis Papadopoulos, Richard Hawkins, Tim Kelly:
DEIS: Dependability Engineering Innovation for Industrial CPS. CoRR abs/2106.01729 (2021) - 2020
- [c82]Jan Reich, Daniel Schneider, Ioannis Sorokos, Yiannis Papadopoulos, Tim Kelly, Ran Wei, Eric Armengaud, Cem Kaypmaz:
Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities. SAFECOMP 2020: 3-17 - [i7]Simon Foster, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly:
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. CoRR abs/2009.12154 (2020) - [i6]Nikita Johnson, Youcef Gheraibia, Tim Kelly:
Independent Co-Assurance using the Safety-Security Assurance Framework (SSAF): A Bayesian Belief Network Implementation for IEC 61508 and Common Criteria. CoRR abs/2010.07288 (2020)
2010 – 2019
- 2019
- [j24]Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins:
Model based system assurance using the structured assurance case metamodel. J. Syst. Softw. 154: 211-233 (2019) - [j23]André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, David Parker, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly:
Variability management in safety-critical systems design and dependability analysis. J. Softw. Evol. Process. 31(8) (2019) - [c81]Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly:
Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. IFM 2019: 379-398 - [c80]Nikita Johnson, Tim Kelly:
Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance. SAFECOMP Workshops 2019: 178-184 - [c79]Nikita Johnson, Tim Kelly:
Devil's in the Detail: Through-Life Safety and Security Co-assurance Using SSAF. SAFECOMP 2019: 299-314 - [i5]Nikita Johnson, Tim Kelly:
An Assurance Framework for Independent Co-assurance of Safety and Security. CoRR abs/1903.01220 (2019) - [i4]Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins:
Model Based System Assurance Using the Structured Assurance Case Metamodel. CoRR abs/1905.02427 (2019) - [i3]Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly:
Mechanised Assurance Cases with Integrated Formal Methods in Isabelle. CoRR abs/1905.06192 (2019) - 2018
- [j22]Radu Calinescu, Danny Weyns, Simos Gerasimou, Muhammad Usman Iftikhar, Ibrahim Habli, Tim Kelly:
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Trans. Software Eng. 44(11): 1039-1069 (2018) - [c78]Erik Blasch, Robert Cruise, Sriraam Natarajan, Ali K. Raz, Tim Kelly:
Control Diffusion of Information Collection for Situation Understanding Using Boosting MLNs. FUSION 2018: 1-8 - [c77]Radu Calinescu, Danny Weyns, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly:
ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. ICSE 2018: 495 - [c76]André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly:
Variability Management in Safety-Critical Software Product Line Engineering. ICSR 2018: 3-22 - [c75]Ran Wei, Tim Kelly, Jan Reich, Simos Gerasimou:
On the Transition from Design Time to Runtime Model-Based Assurance Cases. MoDELS (Workshops) 2018: 56-61 - [c74]Nungki Selviandro, Tim Kelly, Richard Hawkins:
The visual inheritance structure to support the design of visual notations. MoDELS (Workshops) 2018: 746-753 - 2017
- [j21]Mark-Alexander Sujan, Ibrahim Habli, Tim P. Kelly, Astrid Gühnemann, Simone Pozzi, Christopher W. Johnson:
How can health care organisations make and justify decisions about risk reduction? Lessons from a cross-industry review and a health care stakeholder consensus development process. Reliab. Eng. Syst. Saf. 161: 1-11 (2017) - [c73]Osama Doss, Tim Kelly, Tor Stålhane, Børge Haugset, Mark Dixon:
Integration of the 4+1 Software Safety Assurance Principles with Scrum. EuroSPI 2017: 72-82 - [c72]Mark Douthwaite, Tim Kelly:
Establishing Verification and Validation Objectives for Safety-Critical Bayesian Networks. ISSRE Workshops 2017: 302-309 - [c71]Ran Wei, Tim P. Kelly, Richard Hawkins, Eric Armengaud:
DEIS: Dependability Engineering Innovation for Cyber-Physical Systems. STAF Workshops 2017: 409-416 - [c70]Chris Leong, Tim Kelly, Robert Alexander:
Incorporating Epistemic Uncertainty into the Safety Assurance of Socio-Technical Systems. CREST@ETAPS 2017: 56-71 - [i2]Radu Calinescu, Simos Gerasimou, Ibrahim Habli, M. Usman Iftikhar, Tim Kelly, Danny Weyns:
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. CoRR abs/1703.06350 (2017) - 2016
- [j20]André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly:
Model-based safety analysis of software product lines. Int. J. Embed. Syst. 8(5/6): 412-426 (2016) - [j19]Jose Luis de la Vara, Alejandra Ruiz, Katrina Attwood, Huáscar Espinoza, Rajwinder Kaur Panesar-Walawege, Ángel López, Idoya del Río, Tim Kelly:
Model-based specification of safety compliance needs for critical systems: A holistic generic metamodel. Inf. Softw. Technol. 72: 16-30 (2016) - [j18]Osama Doss, Tim P. Kelly:
Challenges and Opportunities in Agile Development in Safety Critical Systems: A Survey. ACM SIGSOFT Softw. Eng. Notes 41(2): 30-31 (2016) - [c69]Ralph Eastwood, Robert Alexander, Tim Kelly:
Safe Multi-objective Planning with a Posteriori Preferences. HASE 2016: 78-85 - [c68]Richard Hawkins, Thomas Richardson, Tim Kelly:
Using Process Models in System Assurance. SAFECOMP 2016: 27-38 - [c67]Osama Doss, Tim Kelly:
Addressing the 4+1 Software Safety Assurance Principles within Scrum. XP Workshops 2016: 17 - [c66]Osama Doss, Tim P. Kelly:
The 4+1 Principles of Software Safety Assurance and Their Implications for Scrum. XP 2016: 286-290 - 2015
- [j17]Tangming Yuan, Tim Kelly, Tianhua Xu:
Computer-assisted safety argument review - a dialectics approach. Argument Comput. 6(2): 130-148 (2015) - [c65]Alejandra Ruiz, Alberto Melzi, Tim Kelly:
Systematic application of ISO 26262 on a SEooC: Support by applying a systematic reuse approach. DATE 2015: 393-396 - [c64]André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly:
Supporting the Automated Generation of Modular Product Line Safety Cases. DepCoS-RELCOMEX 2015: 319-330 - [c63]Richard Hawkins, Ibrahim Habli, Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly:
Weaving an Assurance Case from Design: A Model-Based Approach. HASE 2015: 110-117 - [c62]Richard Hawkins, Tim Kelly, Ibrahim Habli:
Developing Assurance Cases for D-MILS Systems. MILS@HiPEAC 2015 - [c61]Sunil Nair, Neil Walkinshaw, Tim Kelly, Jose Luis de la Vara:
An evidential reasoning approach for assessing confidence in safety evidence. ISSRE 2015: 541-552 - [c60]Tangming Yuan, Suresh Manandhar, Tim Kelly, Simon Wells:
Automatically Detecting Fallacies in System Safety Arguments. PRIMA Workshops 2015: 47-59 - 2014
- [j16]Jonathan M. Aitken, Robert Alexander, Tim Kelly, Simon M. Poulding:
Evolving robust networks for systems-of-systems: is it viable for large networks? Empir. Softw. Eng. 19(5): 1502-1530 (2014) - [c59]Georgios Despotou, Richard W. Jones, Andrew Rae, Sean White, Mark Ryan, Tim Kelly:
Deviation based Safety Analysis and Justification of Clinical Services. ICIMTH 2014: 91-94 - [c58]Georgios Despotou, Richard W. Jones, Sean White, Mark Ryan, Tim Kelly:
Key Issues on Assuring the Safe Operation of Heath IT Systems. ICIMTH 2014: 205-208 - [c57]John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones:
Certifiably safe software-dependent systems: challenges and directions. FOSE 2014: 182-200 - [c56]Ibrahim Habli, Abdulaziz Al-Humam, Tim Kelly, Leila Fahel:
Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures. MCPS 2014: 113-123 - [c55]Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands:
Assurance Cases for Block-Configurable Software. SAFECOMP 2014: 155-169 - [c54]Alejandra Ruiz, Tim Kelly, Jose Luis de la Vara:
Introduction to SASSUR 2014. SAFECOMP Workshops 2014: 371-374 - [c53]Linling Sun, Nuno Silva, Tim Kelly:
Rethinking of Strategy for Safety Argument Development. SAFECOMP Workshops 2014: 384-395 - [c52]Sunil Nair, Neil Walkinshaw, Tim Kelly:
Quantifying Uncertainty in Safety Cases Using Evidential Reasoning. SAFECOMP Workshops 2014: 413-418 - [c51]André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly:
A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products. SBESC 2014: 7-12 - 2013
- [j15]Mark-Alexander Sujan, Floor Koornneef, Nick Chozos, Simone Pozzi, Tim Kelly:
Safety cases for medical devices and health information technology: Involving health-care organisations in the assurance of safety. Health Informatics J. 19(3): 165-182 (2013) - [j14]Patrick J. Graydon, Tim P. Kelly:
Using argumentation to evaluate software assurance standards. Inf. Softw. Technol. 55(9): 1551-1562 (2013) - [c50]Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight:
1st international workshop on assurance cases for software-intensive systems (ASSURE 2013). ICSE 2013: 1505-1506 - [c49]Richard Hawkins, Ibrahim Habli, Tim Kelly:
Principled Construction of Software Safety Cases. SASSUR@SAFECOMP 2013 - [c48]Alejandra Ruiz, Tim Kelly, Huáscar Espinoza:
Towards a multi-view point safety contract. SASSUR@SAFECOMP 2013 - [e2]Ewen Denney, Ibrahim Habli, Tim Kelly, John C. Knight, Ganesh Pai:
Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, ASSURE '13, San Francisco, California, USA, May 19, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-6324-2 [contents] - [e1]Alejandra Ruiz, Tim Kelly, José Luis de la Vara:
SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013. HAL 2013 [contents] - 2012
- [j13]Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige:
Large-scale complex IT systems. Commun. ACM 55(7): 71-77 (2012) - [j12]Tangming Yuan, Tim Kelly:
Argument-based approach to computer system safety engineering. Int. J. Crit. Comput. Based Syst. 3(3): 151-167 (2012) - [j11]Patrick J. Graydon, Ibrahim Habli, Richard Hawkins, Tim Kelly, John C. Knight:
Arguing Conformance. IEEE Softw. 29(3): 50-57 (2012) - [c47]Georgios Despotou, Sean White, Tim Kelly, Mark Ryan:
Introducing safety cases for health IT. SEHC@ICSE 2012: 44-50 - [c46]Alejandra Ruiz, Tim P. Kelly, Mehrdad Sabetzadeh, Didier Van Den Abeele:
Introduction to Sassur 2012. SAFECOMP Workshops 2012: 3-7 - [c45]Patrick J. Graydon, Tim P. Kelly:
Assessing Software Interference Management When Modifying Safety-Related Software. SAFECOMP Workshops 2012: 132-145 - [c44]Jonathan M. Aitken, Robert Alexander, Tim Kelly, Simon M. Poulding:
Evolving Robust Networks for Systems-of-Systems. SSBSE 2012: 30-44 - 2011
- [c43]Richard Hawkins, Kester Dean Clegg, Robert Alexander, Tim Kelly:
Using a Software Safety Argument Pattern Catalogue: Two Case Studies. SAFECOMP 2011: 185-198 - [c42]Richard Hawkins, Tim P. Kelly, John C. Knight, Patrick J. Graydon:
A New Approach to creating Clear Safety Arguments. SSS 2011: 3-23 - [c41]Zoë Stephenson, Christian Fairburn, Georgios Despotou, Tim P. Kelly, Nicola Herbert, Bruce Daughtrey:
Distinguishing Fact from Fiction in a System of Systems Safety Case. SSS 2011: 55-72 - [i1]Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige:
Large-scale Complex IT Systems. CoRR abs/1109.3444 (2011) - 2010
- [j10]Ibrahim Habli, Richard Hawkins, Tim Kelly:
Software safety: relating software assurance and software integrity. Int. J. Crit. Comput. Based Syst. 1(4): 364-383 (2010) - [c40]Ibrahim Habli, Tim Kelly:
A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. ISARCS 2010: 142-160 - [c39]Catherine Menon, Richard Hawkins, John A. McDermid, Tim Kelly:
An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4. SSS 2010: 129-147 - [c38]Georgios Despotou, Mike Bennett, Tim P. Kelly:
Evaluation and Integration of COTS in Evidence based Assurance Frameworks. SSS 2010: 233-254 - [c37]Jonathan M. Aitken, Robert Alexander, Tim Kelly:
A case for dynamic risk assessment in NEC systems of systems. SoSE 2010: 1-6
2000 – 2009
- 2009
- [c36]Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska:
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. SAFECOMP 2009: 326-341 - [p1]Robert Alexander, Martin Hall-May, Georgios Despotou, Tim Kelly:
Towards Using Simulation to Evaluate Safety Policy for Systems of Systems. Safety and Security in Multiagent Systems 2009: 49-66 - 2008
- [j9]Tim Kelly, Martin Adolph:
ITU-T initiatives on climate change. IEEE Commun. Mag. 46(10): 108-114 (2008) - [c35]Ibrahim Habli, Tim Kelly:
A Model-Driven Approach to Assuring Process Reliability. ISSRE 2008: 7-16 - [c34]Ibrahim Habli, Tim Kelly:
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. SafeCert@ETAPS 2008: 27-39 - 2007
- [j8]Zeshan Kurd, Tim Kelly, Jim Austin:
Developing artificial neural networks for safety critical systems. Neural Comput. Appl. 16(1): 11-19 (2007) - [j7]Zeshan Kurd, Tim P. Kelly:
Using fuzzy self-organising maps for safety critical systems. Reliab. Eng. Syst. Saf. 92(11): 1563-1583 (2007) - [c33]Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Dennis Plunkett:
Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems. APSEC 2007: 175-182 - [c32]Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Kelly:
Extending Argumentation to Goal-Oriented Requirements Engineering. ER Workshops 2007: 306-316 - [c31]Ibrahim Habli, Tim Kelly:
Capturing and Replaying Architectural Knowledge through Derivational Analogy. SHARK/ADI@ICSE 2007: 4 - [c30]Weihang Wu, Tim Kelly:
Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety. SAFECOMP 2007: 172-186 - [c29]Ibrahim Habli, Tim Kelly:
Achieving Integrated Process and Product Safety Arguments. SSS 2007: 55-68 - [c28]Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly:
Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study. SSS 2007: 133-146 - [c27]Ibrahim Habli, Tim Kelly:
Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System. SPLC 2007: 193-202 - 2006
- [j6]Ibrahim Habli, Tim Kelly:
Process and product certification arguments: getting the balance right. SIGBED Rev. 3(4): 1-8 (2006) - [c26]Martin Hall-May, Tim Kelly:
Structuring Safety Policy Decomposition. ReMo2V 2006 - [c25]Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark:
Deviational Analyses for Validating Regulations on Real Systems. ReMo2V 2006 - [c24]Weihang Wu, Tim Kelly:
Towards Evidence-Based Architectural Design for Safety-Critical Software Applications. WADS 2006: 383-408 - [c23]Weihang Wu, Tim Kelly:
Managing Architectural Design Decisions for Safety-Critical Software Systems. QoSA 2006: 59-77 - [c22]Robert Alexander, Dimitar Kazakov, Tim Kelly:
System of Systems Hazard Analysis Using Simulation and Machine Learning. SAFECOMP 2006: 1-14 - [c21]Martin Hall-May, Tim Kelly:
Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems. SAFECOMP 2006: 330-343 - [c20]Rob Weaver, Tim Kelly, Paul Mayo:
Gaining Confidence in Goal-based Safety Cases. SSS 2006: 277-290 - [c19]Georgios Despotou, Martin Hall-May, Tim Kelly:
Eliciting safety policy and balancing with operational fitness in systems of systems. SoSE 2006: 1-6 - 2005
- [j5]Rob Weaver, Georgios Despotou, Tim Kelly, John A. McDermid:
Combining software evidence: arguments and assurance. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005) - [j4]Weihang Wu, Tim Kelly:
Failure modelling in software architecture design for safety. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005) - [c18]Weihang Wu, Tim Kelly:
Failure modelling in software architecture design for safety. WADS@ICSE 2005: 6:1-6:7 - [c17]Thilina Gunasinghe, Tim Kelly:
Establishing a Standard Business Process Execution Architecture for Integrating Web Services. ICWS 2005: 365-372 - [c16]Martin Hall-May, Tim Kelly:
Defining and Decomposing Safety Policy for Systems of Systems. SAFECOMP 2005: 37-51 - [c15]Zeshan Kurd, Tim P. Kelly:
Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control. SAFECOMP 2005: 136-150 - 2004
- [c14]Fan Ye, Tim Kelly:
Component Failure Mitigation According to Failure Type. COMPSAC 2004: 258-264 - [c13]Weihang Wu, Tim Kelly:
Safety Tactics for Software Architecture Design. COMPSAC 2004: 368-375 - [c12]Fan Ye, Tim Kelly:
COTS Product Selection for Safety-Critical Systems. ICCBSS 2004: 53-62 - [c11]Zeshan Kurd, Tim P. Kelly, Jim Austin:
Exploiting Safety Constraints in Fuzzy Self-organising Maps for Safety Critical Applications. IDEAL 2004: 266-271 - [c10]Zeshan Kurd, Tim Kelly:
Using Fuzzy Self-Organising Maps for Safety Critical Systems. SAFECOMP 2004: 17-30 - [c9]Fan Ye, Tim Kelly:
Contract-Based Justification for COTS Component within Safety Critical Applications. SCS 2004: 13-22 - 2003
- [j3]