|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3691 occurrences of 1860 keywords
|
|
|
Results
Found 8092 publication records. Showing 8092 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
25 | Lorie M. Liebrock |
Education: Scholarship for Service. |
IEEE Distributed Syst. Online |
2006 |
DBLP DOI BibTeX RDF |
Scholarship for Service, US government, federal civil service, information assurance |
25 | David S. Hardin, Eric W. Smith, William D. Young |
A robust machine code proof framework for highly secure applications. |
ACL2 |
2006 |
DBLP DOI BibTeX RDF |
cryptography, theorem proving, certification, symbolic simulation, ACL2, high-assurance, processor modeling |
25 | Christian Denger, Ronny Kolb |
Testing and inspecting reusable product line components: first empirical results. |
ISESE |
2006 |
DBLP DOI BibTeX RDF |
software product line, inspection, controlled experiment, quality assurance, functional testing, reusable components |
25 | James F. Davis |
Information systems security engineering: a critical component of the systems engineering lifecycle. |
SIGAda |
2004 |
DBLP DOI BibTeX RDF |
ISSE, security, engineering, assurance, IA |
25 | Alessandro Mei, Luigi V. Mancini, Sushil Jajodia |
Secure Dynamic Fragment and Replica Allocation in Large-Scale Distributed File Systems. |
IEEE Trans. Parallel Distributed Syst. |
2003 |
DBLP DOI BibTeX RDF |
File system security, peer-to-peer algorithms, distributed systems, replication, fragmentation, assurance |
25 | Hafiz Farooq Ahmad, Hiroki Suguri |
Dynamic Information Allocation through Mobile Agents to Achieve Load Balancing in Evolving Environment. |
ISADS |
2003 |
DBLP DOI BibTeX RDF |
mobile agent, dynamic load balancing, autonomy, information service, high-assurance |
25 | Axel van Lamsweerde, Emmanuel Letier |
From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
specification building process, safety, Goal-oriented requirements engineering, lightweight formal methods, high assurance systems |
25 | Jessica J. Baldis |
Effects of spatial audio on memory, comprehension, and preference during desktop conferences. |
CHI |
2001 |
DBLP DOI BibTeX RDF |
focal assurance, communication, perception, memory, audio, 3D, sound, user preference, comprehension, spatial |
25 | C. Cant, Simon R. Wiseman |
Simple Assured Bastion Hosts. |
ACSAC |
1997 |
DBLP DOI BibTeX RDF |
assured firewalls, compartmented mode workstation, ITSEC E3 assurance, evaluation effort reuse, bastion host architecture, unevaluated proxies, information exporting, trusted path export sanction, evaluated release checker, authorisation |
25 | Georg Heidenreich, Mark Minas, Detlef Kips |
A New Approach to Consistency Control in Software Engineering. |
ICSE |
1996 |
DBLP BibTeX RDF |
change tracking, computer-based software process management, high-level formalism, life cycle models, software representations, software engineering, compilers, standards, software quality, project management, software process, configuration management, quality assurance, version control, software development management, software project management, consistency control, ISO standards, ISO 9000 |
24 | Reijo Savola |
Towards a taxonomy for information security metrics. |
QoP |
2007 |
DBLP DOI BibTeX RDF |
information security metrics, security assurance, network security, software security, information assurance |
24 | Wasim A. Al-Hamdani |
Assessment of need and method of delivery for information security awareness program. |
InfoSecCD |
2006 |
DBLP DOI BibTeX RDF |
information assurance curriculum, information security curriculum, information security, curriculum development, information assurance |
23 | David S. Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas G. Wagner, Michael W. Whalen |
Development of Security Software: A High Assurance Methodology. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Alaa Aref El Masri, João Pedro Sousa |
Limiting Private Data Exposure in Online Transactions: A User-Based Online Privacy Assurance Model. |
CSE (3) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Hans Löhr, Ahmad-Reza Sadeghi, Christian Stüble, Marion Weber, Marcel Winandy |
Modeling Trusted Computing Support in a Protection Profile for High Assurance Security Kernels. |
TRUST |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Claudio A. Ardagna, Massimo Banzi, Ernesto Damiani, Nabil El Ioini, Fulvio Frati |
Assurance Evaluation for OSS Adoption in a Telco Context. (PDF / PS) |
OSS |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Hung-Ta Pai, Yunghsiang S. Han |
Power-Efficient Direct-Voting Assurance for Data Fusion in Wireless Sensor Networks. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
Wireless sensor networks, Sensor fusion, Network-level security and protection |
23 | Manuel Sánchez, Óscar Cánovas Reverte, Gabriel López 0001, Antonio Fernandez Gómez-Skarmeta |
Levels of Assurance and Reauthentication in Federated Environments. |
EuroPKI |
2008 |
DBLP DOI BibTeX RDF |
reauthentication, LoA, eduGAIN, authorization, federation, SSO |
23 | Daniel Shoemaker 0001, Antonio Drommi, Jeffrey A. Ingalsbe, Nancy R. Mead |
Integrating Secure Software Assurance Content with SE2004 Recommendations. |
CSEE&T |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Dakai Zhu 0001, Xuan Qi, Hakan Aydin |
Energy Management for Periodic Real-Time Tasks with Variable Assurance Requirements. |
RTCSA |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Raman Kazhamiakin, Andreas Metzger, Marco Pistore |
Towards Correctness Assurance in Adaptive Service-Based Applications. |
ServiceWave |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Jan Jürjens, Daniel Reiß, David Trachtenherz |
Model-Based Quality Assurance of Automotive Software. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Ying Su, Jie Peng, Zhanming Jin |
Geo-information quality assurance in disaster management. |
ICDIM |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel |
A Framework of Composable Access Control Definition, Enforcement and Assurance. |
SCCC |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Chunying Zhao, Kang Zhang 0001 |
A Grammar-Based Reverse Engineering Framework for Behavior Verification. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Barry E. Mullins, Timothy H. Lacey, Robert F. Mills, Joseph M. Trechter, Samuel D. Bass |
How the Cyber Defense Exercise Shaped an Information-Assurance Curriculum. |
IEEE Secur. Priv. |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Peter Goldschmidt |
Managing the false alarms: A framework for assurance and verification of surveillance monitoring. |
Inf. Syst. Frontiers |
2007 |
DBLP DOI BibTeX RDF |
Primary monitoring systems (PMS), Second tier monitoring, Simple environments, Suspected non-compliance event (SNCE), False positive management, Complex environments |
23 | Hani Jamjoom, Nikos Anerousis, Raymond B. Jennings III, Debanjan Saha |
Service Assurance Process Re-Engineering Using Location-aware Infrastructure Intelligence. |
Integrated Network Management |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Shrirang Gadgil, Balakrishnan Dasarathy, Frederick Porter, Kirthika Parmeswaran, Ravichander Vaidyanathan |
Fast Recovery and QoS Assurance in the Presence of Network Faults for Mission-Critical Applications in Hostile Environments. |
RTCSA |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Christian Denger, Frank Elberzhager |
Unifying Inspection Processes to Create a Framework to Support Static Quality Assurance Planning. |
EUROMICRO-SEAA |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Jon G. Hall, Derek Mannering, Lucia Rapanotti |
Arguing safety with Problem Oriented Software Engineering. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Rahul Singh, Al Farooq Salam |
Semantic information assurance for secure distributed knowledge management: a business process perspective. |
IEEE Trans. Syst. Man Cybern. Part A |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Hiroyuki Sugahara, Takashi Kunifuji, Tetsunori Hattori, Yoshiyuki Hirano, Yamato Fukuta, Masayuki Matsumoto |
Assurance Technologies for Signal Control System by Optical LAN. |
ICDCS Workshops |
2006 |
DBLP DOI BibTeX RDF |
Signal control system, E-PON, Field Controller, Optical LAN, Logical Controller |
23 | G. Zayaraz 0001, P. Thambidurai, Madhu Srinivasan, Paul Rodrigues 0002 |
Software quality assurance through COSMIC FFP. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
COSMIC FPP, software architecture, complexity, coupling, quality attributes, cohesion |
23 | Andrew Marrington, James M. Hogan, Richard N. Thomas |
Quality Assurance in a Student-Based Agile Software Engineering Process. |
Australian Software Engineering Conference |
2005 |
DBLP DOI BibTeX RDF |
|
23 | A. Ghosh |
Challenges in Mobile Networking and Information Assurance. |
NCA |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Tai-Hoon Kim, Seung-youn Lee |
A Relationship Between Products Evaluation and IT Systems Assurance. |
KES (1) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Jon Louis Bentley, Colin L. Mallows |
How Much Assurance Does a PIN Provide? |
HIP |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Brian D. Snow |
We Need Assurance! |
ACSAC |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Nicolae Costake |
e-Governance: Some Performance and Quality Assurance Aspects. |
EGOV |
2004 |
DBLP DOI BibTeX RDF |
|
23 | John Launchbury |
Galois: high assurance software. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Ajay Chander, Drew Dean, John C. Mitchell |
A Distributed High Assurance Reference Monitor. |
ISC |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Jim Alves-Foss, Carol Taylor, Paul W. Oman |
A Multi-Layered Approach to Security in High Assurance Systems. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Yi Liu 0023, Taghi M. Khoshgoftaar |
Reducing Overfitting in Genetic Programming Models for Software Quality Classification. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Nancy R. Mead |
SEHAS 2003: The Future of High-Assurance Systems. |
IEEE Secur. Priv. |
2003 |
DBLP DOI BibTeX RDF |
SEHAS, ICSE, programming, software, workshop |
23 | Jeffrey M. Voas |
Guest Editor's Introduction: Assuring Software Quality Assurance. |
IEEE Softw. |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Aaron Greenhouse, Timothy J. Halloran, William L. Scherlis |
Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent. |
eTX |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Donald J. Welch, Daniel Ragsdale, Wayne Schepens |
Training for Information Assurance. |
Computer |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Roger Cummings |
The Evolution of Information Assurance. |
Computer |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Michael R. Bussieck, Arne Stolbjerg Drud, Alexander Meeraus, Armin Pruessner |
Quality Assurance and Global Optimization. |
COCOS |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Takanori Ono, Khaled Ragab, Naohiro Kaji, Kinji Mori |
Service Oriented Communication Technology for Achieving Assurance. |
ICDCS Workshops |
2002 |
DBLP DOI BibTeX RDF |
Local Majority, Community, Autonomy, Information Service |
23 | Leesa Murray, Alena Griffiths, Paul A. Strooper |
OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
23 | David A. Wagner 0001 |
Static Analysis and Software Assurance. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Masayuki Matsumoto, S. Shimagaki, Dai Watanabe, Kinji Mori |
Assurance Technologies for Autonomous Train on-Board Computer System. |
FTDCS |
2001 |
DBLP DOI BibTeX RDF |
|
23 | James R. Davis, Jason Scott, Janos Sztipanovits, Marcus Martinez |
Multi-Domain Surety Modeling and Analysis for High Assurance Systems. |
ECBS |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Hareton K. N. Leung, Connie Poon |
Multi-Agent Environment for Software Quality Assurance, AUTOQ. |
EUROMICRO |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Paul Ammann, Paul E. Black |
A Specification-Based Coverage Metric to Evaluate Test Sets. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
Model Checking, Formal Specification, Coverage, Test Sets, SCR, Test Metric, SMV |
23 | David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen, Jerry Gao 0002 |
Object-Oriented Software Testing: Some Research and Development. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Carol L. Hoover, Pradeep K. Khosla |
Analytical Partition of Software Components for Evolvable and Reliable MEMS Design Tools. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Lawrence J. Najjar, J. Christopher Thompson, Jennifer J. Ockerman |
A Wearable Computer for Quality Assurance Inspectors in a Food Processing Plant. |
ISWC |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Gilberto Matos, James M. Purtilo, Elizabeth L. White |
Automated Computation of Decomposable Synchronization Conditions. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Xiaolei Qian |
View-Based Access Control with High Assurance. |
S&P |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Roshan K. Thomas, Ravi S. Sandhu |
Supporting Object-Based High-Assurance Write-up in Multilevel Databases for the Replicated Architecture. |
ESORICS |
1994 |
DBLP DOI BibTeX RDF |
Replicated architecture, writeup, serial correctness, signaling channels, object-oriented databases, message-filtering |
23 | Barbara J. Taute |
Quality assurance and maintenance application systems. |
AFIPS National Computer Conference |
1983 |
DBLP DOI BibTeX RDF |
|
23 | David S. Alberts |
The economics of software quality assurance. |
AFIPS National Computer Conference |
1976 |
DBLP DOI BibTeX RDF |
|
23 | Ivonne Thomas, Christoph Meinel |
An Attribute Assurance Framework to Define and Match Trust in Identity Attributes. |
ICWS |
2011 |
DBLP DOI BibTeX RDF |
Attribute Assurance, Trust, Identity, Identity Federation |
23 | Samuel T. Redwine Jr. |
Fitting Software Assurance into Higher Education. |
Computer |
2010 |
DBLP DOI BibTeX RDF |
education, software life cycle, software assurance |
23 | Jay M. Teets, David P. Tegarden, Roberta S. Russell |
Using Cognitive Fit Theory to Evaluate the Effectiveness of Information Visualizations: An Example Using Quality Assurance Data. |
IEEE Trans. Vis. Comput. Graph. |
2010 |
DBLP DOI BibTeX RDF |
information visualization, quality assurance, Experimental design, user interface evaluation |
23 | Riyako Sakamoto, Khalid Mahmood 0003, Yuuya Kanamaru, Xiaodong Lu, Kinji Mori |
Autonomous Decentralized Community Construction and Reconstruction Technology for Service Assurance. |
SERVICES |
2010 |
DBLP DOI BibTeX RDF |
autonomous decentralized community system, construction and reconstruction, adaptability, accuracy, assurance |
23 | Chien-Cheng Lin, Fengyi Lin, Deron Liang |
An Analysis of Using State of the Art Technologies to Implement Real-Time Continuous Assurance. |
SERVICES |
2010 |
DBLP DOI BibTeX RDF |
Continuous Assurance, ISO/IEC 9126, Middleware, Risk management, Frauds, Interceptor |
23 | Kenji Taguchi 0001, Nobukazu Yoshioka, Takayuki Tobita, Hiroyuki Kaneko |
Aligning Security Requirements and Security Assurance Using the Common Criteria. |
SSIRI |
2010 |
DBLP DOI BibTeX RDF |
security, requirements, assurance, Common Criteria |
23 | Moussa Ouedraogo, Haralambos Mouratidis, Djamel Khadraoui, Eric Dubois 0001 |
An Agent-Based System to Support Assurance of Security Requirements. |
SSIRI |
2010 |
DBLP DOI BibTeX RDF |
Security assurance, Secure Tropos, multi-agents systems, Security requirements, security verification |
23 | Andrew Clarke, Eric Pardede |
Outsourced XML Database: Query Assurance Optimization. |
AINA |
2010 |
DBLP DOI BibTeX RDF |
Outsourced Database, Query Assurance, XML Database |
23 | Yutaka Matsuno, Hiroki Takamura, Yutaka Ishikawa |
A Dependability Case Editor with Pattern Library. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
assurance cases, dependability |
23 | Paul Madsen, Hiroki Itoh |
Challenges to Supporting Federated Assurance. |
Computer |
2009 |
DBLP DOI BibTeX RDF |
Web single sign-on, Assurance, Security & privacy, Identity management systems |
23 | Frank Salger, Stefan Sauer 0001, Gregor Engels |
Integrated specification and quality assurance for large business information systems. |
ISEC |
2009 |
DBLP DOI BibTeX RDF |
quality assurance, software specification |
23 | Shan Chang, Qingxi Li, Yong Qi, Jizhong Zhao, Yuan He, Xue Liu 0001 |
Safety assurance for archeologists using sensor network. |
SenSys |
2008 |
DBLP DOI BibTeX RDF |
safety assurance, wireless sensor networks |
23 | Gwendolyn L. Kolfschoten, Paul Grünbacher, Robert O. Briggs |
Modifiers for Quality Assurance in Group Facilitation. |
CRIWG |
2008 |
DBLP DOI BibTeX RDF |
Quality Assurance, Facilitation, Collaboration Engineering, Modifiers, ThinkLets |
23 | Yolanta Beres, Adrian Baldwin, Simon Shiu |
Model-based assurance of security controls. |
QoP |
2007 |
DBLP DOI BibTeX RDF |
control effectiveness, models, risk, audit, assurance |
23 | Ernest Mnkandla, Barry Dwolatzky |
Defining Agile Software Quality Assurance. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
agile quality assurance, software development, software quality, Agile methodologies |
23 | Dongfeng Wang, Farokh B. Bastani, I-Ling Yen |
Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
dependability assurance, aspect-oriented modeling, process-control systems, Software decomposition |
23 | Pinny Sheoran, Oris Friesen, Barbara J. Huffman de Belón |
Developing and Sustaining Information Assurance: The Role of Community Colleges (Part 1). |
IEEE Secur. Priv. |
2005 |
DBLP DOI BibTeX RDF |
security training, education, information assurance, community college |
23 | John Zachary, John C. McEachen, Daniel W. Ettlich |
Conversation Exchange Dynamics for Real-Time Network Monitoring and Anomaly Detection. |
IWIA |
2004 |
DBLP DOI BibTeX RDF |
Network assurance, real-time network monitoring, visualization, denial of service, network anomaly detection |
23 | Volker Hammer |
IT Design Critieria for Damage Reduction. |
IWIA |
2003 |
DBLP DOI BibTeX RDF |
damage potential, damage reduction, socio-technical criteria, requirements analysis, information assurance, IT Security, design criteria |
23 | John R. James, Frank Mabry |
Using the Trees to Find the Forest: Trustworthy Computing as a Systems-Level Issue. |
IWIA |
2003 |
DBLP DOI BibTeX RDF |
enterprise processes, attack plan, model, architecture, component, information assurance |
23 | Johannes Lauber, Christian Steger, Reinhold Weiss |
Applied Probabilistic AI for Online Diagnosis of a Safety-Critical System Based on a Quality Assurance Program. |
SAC |
1999 |
DBLP DOI BibTeX RDF |
online diagnosis, probabilistic causal reasoning, dynamic Bayesian network, high-assurance system |
23 | Taghi M. Khoshgoftaar, Edward B. Allen |
Predicting Fault-Prone Software Modules in Embedded Systems with Classification Trees. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
embedded systems, software metrics, software reliability, classification trees, CART, fault-prone modules, high assurance |
23 | Aileen Cater-Steel, Edmond P. Fitzgerald |
Quality assurance certification: adoption by Australian software developers and its association with capability maturity. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
software quality assurance certification, Australian software developers, capability maturity, government purchasing policies, QA certification, JAS-ANZ register, organisational characteristics, software quality, survey, CMM, questionnaire, Australia, Hong Kong, research project, Singapore |
23 | Sang Hyuk Son, Robert C. Beckinger, David A. Baker |
DRDB: a distributed real-time database server for high-assurance time-critical applications. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
DRDB, distributed real time database server, high assurance time critical applications, critical tasks, scheduling decisions, concurrency control mechanisms, functional real time database server, operational platform, distributed real time database issues, distributed databases, timing constraints, data consistency, simulated environment, real time database systems, safety critical applications, operating environment |
23 | Arif Ghafoor |
High Assurance Systems Engineering. |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
high assurance systems engineering, hardware engineering, high performance systems, highly specialized hardware, reliability, software reliability, safety, real time applications, design approaches, complex software systems, formal approaches |
23 | Sadahiro Isoda |
A Criticism on the Capture-and-Recapture Method for Software Reliability Assurance. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
Capture-and-recapture, reliability assurance, testing, metrics, hypergeometric distribution |
23 | Rufus H. Cofer, T. J. Sanders |
STADIUM: a new tool for high assurance in systems design. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
STADIUM high assurance tool, large system development, systems engineering phase, operational variabilities, system performance levels, search effects, worst-case system design, statistically based system level simulation, statistically based subsystem level simulation, dual-use technologies, defense conversions, complex commercial systems, design of experiments methodology, circuit level variabilities, subsystem level variabilities, system level variabilities, simulation, software tools, software tool, systems design, systems analysis, systems engineering, system performances, design of experiments, manufacturing variabilities, complex system development |
23 | Wolfgang A. Halang, Bernd J. Krämer |
Safety Assurance in Process Control. |
IEEE Softw. |
1994 |
DBLP DOI BibTeX RDF |
safety assurance, PLC software safety, safety-critical control, algebraic language, Obj3 system, functional programming environment, formal specification, formal specifications, formal verification, formal verification, functional programming, software reliability, safety, interpreter, requirements specification, process control, data representation, programmable logic controllers, programmable controllers, design specification, specification testing, Obj, function blocks, process computer control |
21 | Shao-Fang Wen, Basel Katt |
Exploring the role of assurance context in system security assurance evaluation: a conceptual model. |
Inf. Comput. Secur. |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Jonathan C. Rowanhill, Ashlie B. Hocking, Aditya Zutshi 0003, Kerianne L. Hobbs |
Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Spencer Deevy, Tiago de Moraes Machado, Amen Modhafar, Wesley O'Beirne, Richard F. Paige, Alan Wassyng |
Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases. |
SAFECOMP |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Andrzej Wardzinski, Aleksander Jarzebowicz |
Development of the System Assurance Reference Model for Generating Modular Assurance Cases. |
PRDC |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Aftab Alam Janisar, Khairul Shafee Kalid, Aliza bt Sarlan, Abdul Rehman Gilal |
Security Requirements Assurance: An Assurance Case Perspective. |
ICSECS |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Shao-Fang Wen, Ankur Shukla, Basel Katt |
Developing Security Assurance Metrics to Support Quantitative Security Assurance Evaluation. |
J. Cybersecur. Priv. |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Vincent Messié |
Trust mechanisms for connectivity service assurance on multi- actor infrastructures. (Mécanismes de confiance pour l'assurance de services de connectivités sur infrastructures multi- acteurs). |
|
2022 |
RDF |
|
|
|