The IEEE Global Initiative on Ethics of Autonomous and Intelligent Systems论文
International series on intelligent systems, control and automation: science and engineering2019引用: 300
Identifying, categorizing and mitigating threats to validity in software engineering secondary studies论文
Information and Software Technology2018引用: 287
An overview of fault tree analysis and its application in model based dependability analysis论文
Expert Systems with Applications2017引用: 425
Challenges in Autonomous Vehicle Testing and Validation论文
SAE International Journal of Transportation Safety2016引用: 630
A survey of approaches combining safety and security for industrial control systems论文
Reliability Engineering & System Safety2015引用: 354
Online Verification of Automated Road Vehicles Using Reachability Analysis论文
IEEE Transactions on Robotics2014引用: 400
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*论文
European Journal of Control2012引用: 324
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems论文
Lecture notes in computer science2011引用: 435
PRISM 4.0: Verification of Probabilistic Real-Time Systems论文
Lecture notes in computer science2011引用: 2.3K
The ins and outs of the probabilistic model checker MRMC论文
Performance Evaluation2010引用: 250
A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty论文
Lecture notes in computer science2009引用: 238
Security Requirements Engineering: A Framework for Representation and Analysis论文
IEEE Transactions on Software Engineering2008引用: 459
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates论文
IEEE Transactions on Automatic Control2007引用: 637
A disciplined approach to adopting agile practices: the agile adoption framework论文
Innovations in Systems and Software Engineering2007引用: 223
Motivation in Software Engineering: A systematic literature review论文
Information and Software Technology2007引用: 498
Automotive Control Systems论文
2005引用: 759
Hazard Analysis Techniques for System Safety论文
2005引用: 445
Model-based evaluation: from dependability to security论文
IEEE Transactions on Dependable and Secure Computing2004引用: 508
Reasoning about partial goal satisfaction for requirements and design engineering论文
2004引用: 267
Measuring Software Product Quality: A Survey of ISO/IEC 9126论文
IEEE Software2004引用: 304
第 1-20 条，共 38 条
上一页下一页